Time: 08:03 | Download MP3 (3.9MB)
発表資料
memo
なんかポッドキャストを始めようとせっせと いろんなサイトをパクって 作ったのは良いけど,こんな時期に何やってんだろうか感が出てきたよ.次の回では,このポッドキャストで話していくこととか,このサイトをどうやって作ったかとかを話したい.
pdfにフォントを埋め込んでいなかったせいで,slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い.
show notes
- A Tableau Decision Procedure for Propositional Intuitionistic Logic (2006)
- Intuitionistic propositional logic is polynomial-space complete
- 論理と計算のしくみ
- 命題論理の体系