論理学友の会例会#17 - 資料一覧 - connpass

論理学友の会例会#17

終了 2021/10/31（日） 14:00〜

論理学友の会例会#17

論理学友の会他

オンライン

グループ情報

論理学友の会

メンバー数	119人
イベント数	21回

イベント資料一覧

スライド

(未設定)

開場案内スライド

投稿者:論理学友の会

投稿日:2021年10月31日 19時03分

(未設定)

論計舎（スポンサー）からのお知らせスライド

投稿者:論理学友の会

投稿日:2021年10月31日 19時04分

動画

(未設定)

川井発表「カリーハワード対応から始める数理論理学（第5回）」

投稿者:論理学友の会

投稿日:2021年10月31日 20時44分

(未設定)

松本さん発表「Church Rosser性の証明」

投稿者:論理学友の会

投稿日:2021年11月14日 19時59分

ブログなど

(未設定)

連続発表「カリーハワード対応から始める数理論理学（第5回）」

Google ドライブなら、無料でファイルをバックアップして携帯電話、タブレット、パソコンから手軽にアクセスできます。まずは、15 GB の無料の Google ストレージをご利用ください。

投稿者:論理学友の会

投稿日:2021年10月28日 22時03分

(未設定)

松本さん発表資料「Church-Rosser性の証明」

投稿者:論理学友の会

投稿日:2021年10月31日 13時49分