"ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】" の動画はこちら
|
この動画をTwitterで共有！ |
外部プレーヤー埋め込みタグ |
"ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】"のニコニコ動画詳細情報
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。Natural Number Gameは↓のURLから。https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/アクセスできないときのミラー：https://cbirkbeck.github.io/natural_number_game/次回：sm40460373LeanやMathlibについて：https://leanprover-community.github.io/お借りした素材背景：みんちり様ニコニ・コモンズnc227434解説枠：blueberry様ニコニ・コモンズ nc155894立ち絵：むにさが様ニコニコ静画im7050036 im6928060山栗鼠様ニコニコ静画im5354179音楽：sanche様、Sakuttipanda様
動画ID：sm40432561
再生時間：8:41
再生回数：再生回数: 回
コメント数：80
マイリスト数：15
最新のコメント：WhiteSpaceと同時に書 日本語で数学やるやつ ←そんなやつはじめか 強すぎｗｗｗ
refl
, うp主経験者？ つよ 乗法の定義にもよるが すごいな ・・・これ薬学...
タグ：数学,Lean,定理証明
"ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】" の関連お勧め情報 検索結果
