Technology
卒研の中間発表です．直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが，ほぼ，直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです．発表資料 memo なんかポッドキャストを始めようとせっせと いろんなサイトをパクって 作ったのは良いけど，こんな時期に何やってんだろうか感が出てきたよ．次の回では，このポッドキャストで話していくこととか，このサイトをどうやって作ったかとかを話したい． pdfにフォントを埋め込んでいなかったせいで，slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い． show notes A Tableau Decision Procedure for Propositional Intuitionistic Logic (2006) Intuitionistic propositional logic is polynomial-space complete 論理と計算のしくみ 命題論理の体系 http://yorisilo.github.io/podcast/ep0/