ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】 - 笑える動画、感動する動画、話題の動画をご紹介します。

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第2回は「rw」コマンド・Leanでの自然数や足し算の定義について。Natural Number Gameは↓のURLから。https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/アクセスできないときのミラー：https://cbirkbeck.github.io/natural_number_game/前回（第1回）：sm40432561LeanやMathlibについて：https://leanprover-community.github.io/お借りした素材背景：みんちり様ニコニ・コモンズnc227434解説枠：blueberry様ニコニ・コモンズ nc155894立ち絵：むにさが様ニコニコ静画im7050036 im6928060山栗鼠様ニコニコ静画im5354179音楽：魔王魂様、こんとどぅふぇ様、sanche様
動画ID：sm40460373
再生時間：9:44
再生回数：再生回数: 回
コメント数：32
マイリスト数：2
最新のコメント：Lean上では定義という はえー 続き待ってる うぽつ aと0は書かなくてもい いい動画だった なんとなくノリが分か ここすごいな この動画見てずっと遊 ...
タグ：数学,Lean,定理証明