LogicCafe #0 #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe カエル、記号への拒否反応。

ざっきー dev @zakky_dev

直観主義論理を軽く触れた結果、古典論理をやろうという話になった。 #logic_cafe

ちゅーん @its_out_of_tune

mi.s.osakafu-u.ac.jp/~kada/ml13note… なんか色々あってテキストこれで決定しそう #logic_cafe

スノトラ@握力… @sunotora

古典も直観もむずかしい #logic_cafe

スノトラ@握力… @sunotora

先に帰る。お疲れさまでした。 #logic_cafe

ちゅーん @its_out_of_tune

各位お疲れさまでしたー。色々至らない点がある場合と至らない点は無かった場合がありますが（排中律）楽しんでいただけたようで何よりです。また来月もよろしくお願いします。 #logic_cafe

よんた @keita44_f4

今日の #logic_cafe 楽しかった。板書については @sunotora さんがきっとまとめてまずいところを削除してあげてくれるに違いない。

lion @2015fuj

参加しました．お疲れさまでした〜 #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe 今日の板書をアップしました。閲覧可能かチェックお願いしますー。 evernote.com/shard/s143/sh/…

スノトラ@握力… @sunotora

#logic_cafe 今日の板書をアップしました。閲覧可能かチェックお願いしますー。 evernote.com/shard/s143/sh/…