きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】

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

この動画をTwitterで共有！

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

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

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。初見プレイなので途中ちょっとガバってます。前回：sm40481109気づいたら前回から2ヶ月空いてました……。ごめんなさい。お借りした素材解説枠：blueberry様ニコニ・コモンズnc152783立ち絵：むにさが様ニコニコ静画im7853117音楽：魔王魂様
動画ID：sm40779784
再生時間：15:18
再生回数：再生回数: 回
コメント数：22
マイリスト数：2
最新のコメント：元の型付きラムダ... 草なるほどうぽつーあぁおつうぽつすげぇたしかにw そうだね(疑う人間... 食事もある程度管... このときをまってたやってたぞ。もう... ...
タグ：数学,VOICEROID実況,VOICEROIDファンの数学サイド