))
ウェブ開発、プログラミング、モバイル、ガジェットなどにフォーカスしたテクノロジー系ポッドキャストです。 #rebuildfm
Episode 0 - from the nothing, with love
Manage episode 162912838 series 1037378
著作 yorisilo の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。
卒研の中間発表です．直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが，ほぼ，直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです．
発表資料
memo
なんかポッドキャストを始めようとせっせと いろんなサイトをパクって 作ったのは良いけど，こんな時期に何やってんだろうか感が出てきたよ．次の回では，このポッドキャストで話していくこととか，このサイトをどうやって作ったかとかを話したい． pdfにフォントを埋め込んでいなかったせいで，slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い．
show notes
- A Tableau Decision Procedure for Propositional Intuitionistic Logic (2006)
- Intuitionistic propositional logic is polynomial-space complete
- 論理と計算のしくみ
- 命題論理の体系
10 つのエピソード
