きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】

"きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】" の動画はこちら

この動画をTwitterで共有！

外部プレーヤー埋め込みタグ

"きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】"のニコニコ動画詳細情報

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。ゆかあかLeanプレイ解説講座：sm40432561自由群を作るゆかりさん：https://youtu.be/c1QZ8mUTjEo次回：sm40481109お借りした素材解説枠：blueberry様ニコニ・コモンズnc152783立ち絵：むにさが様ニコニコ静画im7853117音楽：魔王魂様
動画ID：sm40469814
再生時間：9:29
再生回数：再生回数: 回
コメント数：36
マイリスト数：3
最新のコメント：ムスカ大佐の気持ち VSCodeのフォントファ証明モードを使わない解説2回まで見たけどきりもいいたん...
タグ：数学,VOICEROID実況プレイ,東北きりたん実況プレイ