Episode 0 - from the nothing, with love

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

You can listen to Episode 0 - from the nothing, with love online on Radio and Podcast. Open the player on this page to stream the available audio.

Episode 0 - from the nothing, with love is an episode from Yorisilo 依り代 by yorisilo.

This episode is 08:03 long.

This episode was published on Dec 13, 2014.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from Yorisilo 依り代 when more episodes are available from the podcast feed.