定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。流れ：VS Codeをインストールして、その拡張機能からlean 4をインストールすれば（ほぼ）...

飛んできた rfl 今見てきたけどleanとC++みたいだね 良いぞー Lean良いよね haskellみたいだった ゆかlean ちゃんとプライベートリポジトリにバックアップするやで・・・（n敗 なんなら紙に書いてたからな（パンチカードは編集しづら...

ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing【動画素材】(敬称略．*はコンテンツツリー併記)音声: VOICEVOX/ ...

なるほどー

※注意: 現時点で三箇所ほど内容全体に関わるミスがあります(3:09, 3:19. 特に内容を大きく左右するものではありませんが6:52でもやらかしています)。投稿者コメントにて...

ボイスロイドべき乗 スマン投コメ見てなかった ｎ回繰り返すってことかな？ すでに再生時間が２０秒なのだがｗ この直観的な説明いいね ええで なるほどなー 海洋生物だから忘れた それは致命的 あったなーそんなの こういう所を具体的な数で説明してくれると...

お久しぶりです。多角形表記解説します。10分以内に収めたかったのですが、1分オーバーしちゃいました。まあでもモーザー数解説できたんでヨシ!! 原始再帰の回数を雑に...

テトレーションの名前の由来これか？ あーあ うわ… ←現実に絶対にかけない(分子量的に ←鋭いな 冒頭のやつ 手頃な大きさ 関数の次元を軽率に上げていく おそろしい でたわね まだかわいい まだほのぼのできる かわいい数 どういうこっちゃねん うぽつ...

１と０のちまちまとした世界なのだ。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。（20230410_応答）意味論...

おててやわらかすき 環境大臣構文 決定可能性からだめな気がする 2人の字幕の色が逆だと読みやすくて助かる おまかわ へー ダメ？ これ、有限子じゃないと 上のドットは最終的な結果が出る場所？ へー うぽつ

自由変項と束縛変項と代入について、そして ∀ξφ ≡ ∀ζ(φ[ζ/ξ]), ∃ξφ ≡ ∃ζ(φ[ζ/ξ]) について話します。前: sm40433507, 次: sm43229064

おお、パッと見難しいけど、たしかに意味的にはそのまんまって感じや 評価器作ってるみたい へー うぽつ！ずっと待ってた チェックリストたすかる うぽつ ただの項が深さ0みたいな考えがあったりするのだろうか やっと分かった！ そのまんまやね はぇ～どうや...

ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing今回は展開が少し早いです．補題3.2.6の厳密な証明，補題3.3.2のヒント...

色変わるの見やすいです A≠Φ ここ丁寧 これやらかしがち

ずんだもん、論理を学ぶ。導入です。※動画内容に疑問点・疑義があれば、お気軽にコメントをお願いします。実際、論理学はずぶの素人なので……。（20230410_応答）Γ⊢φは「...

流れるような宣伝、論理的だね こんこんこんばん 👻 ほう…いちまる派ですか deny 「でない」が"deny" ほむ 数学Aだっけ 美訛りずん子かわいい おもしろい 助かる むしろそのように作られたのかな たのしみ それは嬉しい ふむ んならばすき ...

初投稿です。動画を作ろうと思ってから完成までに半年以上かかってしまいました...(追記) 下の方にいくつか補足をのせました。やや長いので気をつけてください。極限の...

おつ 無限級数は和の極限に他ならないぞ 高校の無限級数じゃあかんの？ つまりはこの0.999…が向かう先は1しかないという事か [3分の1]×3＝1でわかるやん

ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing【動画素材】(敬称略．*はコンテンツツリー併記)音声:VOICEVOX/ 波音リ...

動画時間の20倍はかかったけど、最初イミフだったそれぞれの公理の嬉しさがわかった。ありがとう 位相空間～距離空間といっていいくらいよね オッカムの剃刀的な ありがてえ 次回たのしみ 数学あるある うぽつ

知る人ぞ知る作図ガチ勢御用達のゲーム「EAUCLiDEA」で遊びます。この動画は初見プレイではなく、初見プレイの再現プレイです。遊んでいるゲームはこちら　https://www....

すげぇ ユークリッド空間とか言うし これ楽しいけど☆取るの難しくてPythagoreaに逃げてしまった ほんとに偶然なのぉ？w 円をなるべく小さく書くと図がさっぱりする 操作回数(L)と本来必要な図形数(E) sciencevsmagicのより便利 ...

ノート: https://drive.google.com/file/d/1ak6hUtrgFsWnxkC7peoqZFeB5lX-1DR4/view?usp=sharing［訂正］#03:06 Cauchy-Schwarzの不等式で，右辺の二乗はそれぞれカッコ...

「位相空間」単語は見たことあって気になってたから助かる 位相空間の動画は少ないからありがたかった。乙 距離空間は奥が深いらしいですねえ maxじゃなくてsupなのは∞まで考えるから？ 「補集合の点」ではなくて「補集合の’内点’」と定義してるのですぐさ...

『関手』についてゆかりさんがきりたんに教える動画です。間違い等のご指摘はやさしくしていただけると大変助かります。◆動画目次#00:00 前回のあらすじ・おさらい#01:2...

準同型？ 数学系と情報系はすぐ自己適用したがる きりたんかわいい 文字に押しのけられたんかわいい まあ圏の圏を構成するから恒等射は存在するよな 概念のスマブラ草 抽象化の光明面だ 真のクラスが当然の世界観怖すぎるよな 局所的に小さい、何度も出てくる概...

立ち絵:こーすけさんたまりあ 様BGM:甘茶の音楽工房 様

ヒエッ たすかる 笑わない数学で見たな ちゃんと群論勉強しようと思った。うん 拷問？ デカすぎぃ！ 半分イレギュラーか、全部イレギュラーか おつ 出たわね 線形代数でやるやつ ！？ うぽつ 群論の気配がしてきましたよ

時間あったので、忙しくなる前に上げられました！今後こそ、投稿ペースは落ちそうです。。。ご了承下さい。---いつもコメント・いいね・広告ありがとうございます。個々...

うわ！？ 英語で言うとtherefore ビコちゃん！？ 数学さん省略しすぎで読解むずいんですよねえ ゆえに、は中学？の証明問題とかで習った記憶がある 誰もが一度は顔に見える記号 ｗｗｗ ヒエッ 草 ならば 目だけが光っていた… レジズンダ やよい ...

線分の内分・漸化式・極限といった分野の基礎事項を確認できる、大学入試の良問（1979 鳥取大）を元ネタにしたコント。来週からお仕事が忙しくなりそうなので、動画投稿...

ベクトル使った方がシンプルに書けるかも？ 難系！？ 元ネタは1979年の鳥取大の第2問かな？ アキレスと亀的な？ ３かな ダメです なんつーややこしい機械だw 3 いろいろおかしい まっすぐは帰ってないのでは？ 当然違います 永遠に外をさまよい続ける...

※この動画は数学素人が数学で行き当たりばったり遊ぶ？だけの動画です。ご注意ください。voiceroid 　結月ゆかり　　　　　 紲星あかり

√の中に有理数を入れたら、2つかければ有理数に戻る √の定義の仕方に依るかも？　√と√を掛け合わせると√の中身になるように決めたから kとxを確率としておいた時点で、kとxの定義域は0以上1以下ではないのか

立ち絵:こーすけさんたまりあ 様BGM:甘茶の音楽工房参考文献:https://arxiv.org/pdf/1707.08047.pdfnote:https://note.com/marchen_graph/n/nae2614d51654

偽コンウェイは本物の生き物を使ってライフゲームしてそう 補グラフには辺がないので(Q)もオッケー 補グラフには辺がないのでQもオッケー 頂点数8の偽コンウェイは存在してどんなグラフかも分かっているんですかね 「いかなる閉曲線も含まない」とか なんか一...

youtubeに投稿していたものの転載ですわ！https://youtu.be/Q4jW8KRSXYE------------------------------------------------------------------------------------------...

すごい、この図で下限の概念が一瞬で頭に入ってくるの本当にすごい。この世の全てが分かった気がする よく見たらまだ全然新しい動画かこれ うぽつ ホップは姉貴なのか 大学数学は試験が終わると忘れてしまうのだ。そして研究や仕事で必要になった時に教科書を引っ張...

皆さんこんにちは、ふえるまです。大学で勉強したことの復習もかねて数学を勉強するための基礎を解説する動画シリーズを始めてみました。「数学科ってどんなこと勉強す...

続き見たい 集合すこ 数学が大嫌いだけど希望が見えてきました。ありがとうございます 1だな つよそう 集合と写像は19世紀末以降に発展したものだから数学史的にはその概念がない時代の方が長かったけど、今では必須級 うぽつ

「前の続きなので[解説01の補足02の追記01]とかでしょうか？」「いや流石に補足03で良いでしょ！？」解説本編 [sm40973588]補足01 [sm40998366]補足02 [sm41621873]

このシリーズは毎回なんらかのボケやガバをやってる気がする解説本編 [sm40973588]補足01 [sm40998366]これの次↓補足03 [sm41634024]

今回はアッカーマン関数です。見るがいい！！！！！！アッカーマン関数の再帰的定義のお気持ちの部分が伝わったら幸いです。今回は具体的な数の紹介があまりできなかっ...

かわいい あっやばそう 出力された数よりも計算回数のほうが桁違いに大きかったりする。まあ誤差だけど。 ちょっとグロい 便利な矢印 寿司の人が頑張って計算してたなあ じょ 巨大数といえばアッカーマン関数 あっ・・・ 関数の中に同じ関数が参照されるのはヤ...

コメント・いいね・広告ありがとうございます続き物のようになっておりますが どこから見られてもあまり問題ありません字幕は音声と表現が異なる場合があります音声の内...

東秀とかさとのタッチパネルの音？ うぽつ 面白いんだけど字幕と音声合わせてくれたほうがみやすいかも 墾田永年私財法 Tex綺麗すぎる、真似したい......！ Tex使って動画作るのってどうすれば出来るんだろう おつ うぽつ うぽつ この効果音、どっ...

●使用画像いらすとやhttps://www.irasutoya.com/まりんhttps://www.ac-illust.com/main/detail.php?id=2036400&word=%E5%A4%A9%E5%8B%95%E8%AA%AC&data_type=&a...

うーん　こうしてみよう 草 おお 4日働いて2日遊びたい はい、次は 24 です まあ実際には逆で「脚が六本のヤツを昆虫と呼んでる」わけだがな 数学とか数を数えるとかそういう概念が無い時代に「その形状の方が生き残り易かったから」5本指になったんだよ ...

ついに矢印表記です！！！！巨大数の中ではかなり有名な表記ですね(というかこれ以降知名度が一気に下がる)半年で矢印表記までしか行けてない...投稿ペース上げねば......

oh... おつ↑↑↑↑↑2525 再帰的に数が大きくなる様子が分かりやすい説明ありがたい さっきの計算問題と同じ値なんだけど、表記が抽象的になるほどインパクトを感じる... ↑鋭いな。こっちの世界へ来い テトレーションまでの流れを一般化して平たく書...

（解説動画は）初投稿ですよろしくお願いします自分が全然覚えられないので作りました

マクローリン展開？ おつ 1/(1-x)を2乗してもいけるな はえーきれい 一次の項しか使わないからええか…

いつもご視聴・いいね・フォロー・広告ありがとうございます！↓こちらに問題をまとめたプリントを置いております！ぜひご活用ください！https://seiga.nicovideo.jp/wat...

さっきもいったけど割るって逆数をかけることだから0には逆数ないからできないからね 4をなぜが289が思い付かず17の2乗が思い付いた 割るって他のやり方でいくと逆数をかけることだから0には逆数ないからできないもんね 移項でイコールの向こうに行こう 2...

オチがないのはランプ関数だからですVOICEROID+ 東北きりたん EXA.I.VOICE 結月ゆかりCeVIO AI すずきつづみお借りしたもの→コンテンツツリー

栗まんじゅう問題 じゃあ俺はシグモイド関数 ワイもきりたんと個体数を増やしたい お前消えるのか？ バイバイン 俺はビジービーバー関数 おつ 結月ゆかり工学徒概念は絶対に流行らせろ 自分で投げた話題を回収もせずに放り出すクソガキじょん exp(-x)か...

『カオス （数学） 』について知りたい葵ちゃんにゆかりさんが教える動画です。間違い等のご指摘はやさしくしていただけると大変助かります。◆動画目次#00:00 OP#01:05 ...

8888888888888888 ここ、n≧0とだけ書いてあると∀n≧0にも見える となると円周率の10進数の各桁の値もカオスかな 数学者も物理学者（理論）も究極に極めると何の学者か見分けがつかなくなるほど密接に関係してる　数学あっての物理、物理あっ...

9:28 一番下の行、「b^2-4ac/4a」の部分は、「b^2-4ac/4a^2」の誤りです。申し訳ありません。コメントいただいた方、ありがとうございます。データの活用：https://www....

これ一番下のところαの2乗じゃない？ まだ簡単 ほえー うぽつ こちらこそありがとうです～おつでした！ おわったーみんなおつかれ～ 貝の塩やきと同じようにねｗｗｗｗｗ 数学で数少ない無機質な暗記を求められるものの１つ あっ解の公式って平方完成して証明...

youtubeに投稿していたものの転載ですわ！https://youtu.be/GyozjmgRFYs------------------------------------------------------------------------------------------...

オギャる速度？（幻聴 うぽつ おつ うぽつ