きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】
- 2022/05/15 15:48:02 投稿
- 再生数：821
- マイリスト数：3
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。ゆかあかLeanプレイ解説講座： sm40432561 自由群を作るゆかりさん： https://youtu.be/c1QZ8mUTjEo 次回： sm40481109 お借りした素材解説枠：blueberry様 ニコニ・コモンズ nc152783立ち絵：むにさが様 ニコニコ静画 im7853117音楽：魔王魂様