Episode 0 - from the nothing, with love
卒研の中間発表です．直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが，ほぼ，直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです．
An episode of the Yorisilo 依り代 podcast, hosted by yorisilo, titled "Episode 0 - from the nothing, with love" was published on December 13, 2014 and runs 8 minutes.
December 13, 2014 ·8m · Yorisilo 依り代
0:00 / 0:00
Episode Description
卒研の中間発表です．直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが，ほぼ，直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです．
発表資料
memo
なんかポッドキャストを始めようとせっせと いろんなサイトをパクって 作ったのは良いけど，こんな時期に何やってんだろうか感が出てきたよ．次の回では，このポッドキャストで話していくこととか，このサイトをどうやって作ったかとかを話したい．
pdfにフォントを埋め込んでいなかったせいで，slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い．
show notes
http://yorisilo.github.io/podcast/ep0/Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.