【解析】 きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】
メニュー
×
TOP
ランキング一覧
ショートランキング
ニコランWEBとは
募集について
1000回記念企画
My9niconico
このページをXでシェア
基本情報
通常
解説・講座
視聴ステータスについて
×
通常
ログインなし視聴可
非公開
視聴不可
削除
視聴不可
権利者削除
視聴不可
デバイス制限
ログイン及び設定必要
有料
購入後視聴可
P限定
プレミアム会員視聴可
会員限定
チャンネル加入後視聴可
15:18
きりたん気ままにLeanで証明：全射とエピ射の同値【VOICEROID実況】
投稿日時
2022/07/17 13:13
バージョン
ニコニコ(Re)
投稿者
ぐにらち
リアルタイムデータ
数値
再生数
469
コメント数
22
マイリスト数
2
いいね数
28
累計広告
3,600
期間中広告
0
タグ
数学
VOICEROID実況
VOICEROIDファンの数学サイド
Lean
東北きりたん実況プレイ
定理証明支援系
🔍 ニコニコで検索
📊 ニコランWEBで検索
📖 大百科記事を見る
💬 大百科掲示板を見る
説明文
きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。
初見プレイなので途中ちょっとガバってます。
前回：
sm40481109
気づいたら前回から2ヶ月空いてました……。ごめんなさい。
お借りした素材
解説枠：blueberry様 ニコニ・コモンズ
nc152783
立ち絵：むにさが様 ニコニコ静画
im7853117
音楽：魔王魂様
関連リンク
ニコニ広告
ニコニコモンズ
公開マイリスト
高画質サムネ
ニコチャート
ニコログ
シリーズ解析
X 検索
コメント解析
コメント解析はボタンを押すと読み込みます
コメント解析を読み込む
ニコラン的プロフィール
この動画（sm40779784）はニコランのランキング履歴がありません。
ニコニコ動画で見る
