2014/12/13

Episode 0 - from the nothing, with love


卒研の中間発表です.直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが,ほぼ,直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです.

Time: 08:03 | Download MP3 (3.9MB)


発表資料

memo

なんかポッドキャストを始めようとせっせと いろんなサイトをパクって 作ったのは良いけど,こんな時期に何やってんだろうか感が出てきたよ.次の回では,このポッドキャストで話していくこととか,このサイトをどうやって作ったかとかを話したい. pdfにフォントを埋め込んでいなかったせいで,slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い.

show notes


Comments:

comments powered by Disqus