コメディテクノロジー Yorishiro Programming Mrsgrundy Japan Comedy Talk Technology Tech Web Yorisilo

コンテンツは yorisilo によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、yorisilo またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Yorisilo 依り代 «
Episode 0 - from the nothing, with love

9+ y ago 8:03

MP3•エピソードのホーム

アーカイブされたシリーズ ("無効なフィード" status)

When? This feed was archived on August 02, 2022 16:08 (1+ y ago). Last successful fetch was on June 30, 2019 12:23 (5y ago)

Why? 無効なフィード status. サーバーは持続期間に有効なポッドキャストのフィードを取得することができませんでした。

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

卒研の中間発表です．直観主義命題論理におけるタブロー法による定理証明器のためのアルゴリズムの開発についての発表なのですが，ほぼ，直観主義命題論理とタブロー法の解説だけをしてるだけのアレな内容でお茶を濁したやつです．

発表資料

memo

なんかポッドキャストを始めようとせっせと ~~いろんなサイトをパクって~~ 作ったのは良いけど，こんな時期に何やってんだろうか感が出てきたよ．次の回では，このポッドキャストで話していくこととか，このサイトをどうやって作ったかとかを話したい． pdfにフォントを埋め込んでいなかったせいで，slide shareに上げたpdfが文字化けしまくってその解決に時間がかかったのが辛い．

show notes

http://yorisilo.github.io/podcast/ep0/

6 つのエピソード