琴葉茜と証明体系の等価性

"琴葉茜と証明体系の等価性" の動画はこちら

この動画をTwitterで共有！

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

"琴葉茜と証明体系の等価性"のニコニコ動画詳細情報

前回定義したLKが、参考文献通りのLKと等価な証明体系であることを示します。第3回ソフトウェアトーク理工サイド交流祭参加動画です。前: sm43229064
動画ID：sm44131836
再生時間：11:18
再生回数：再生回数: 回
コメント数：12
マイリスト数：3
最新のコメント：おつうぽつ！おつうぽつおつうぽつうぽつ琴葉茜↔︎ 証明体系うぽつべっきって読むのかこ
タグ：数学,VOICEROID解説,VOICEROIDファンの数学サイド