LogicCafe #0 #logic_cafe

ちゅーん @its_out_of_tune

明日です／LogicCafe #0 prologicafe.connpass.com/event/33425/ #logic_cafe

ちゅーん @its_out_of_tune

今日だよ！／LogicCafe #0 prologicafe.connpass.com/event/33425/ #logic_cafe

ちゅーん @its_out_of_tune

#logic_cafe 通用口がペンキ塗替えで使えないので、駐車場側の入り口からご案内します。コーンとか並んでるけどビビらないでね。

ちゅーん @its_out_of_tune

#logic_cafe 一旦上がります、この後入られる方は、ハッシュタグを付けて呟いて下さい。

lion @2015fuj

参加中　#logic_cafe

ざっきー dev @zakky_dev

ぐだぐだな感ww #logic_cafe

ざっきー dev @zakky_dev

NL名古屋は深い深い爪痕を私たちに残しましたね。餃子的な意味で。 #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe あの方（ギョザリーヌ）の話は禁止

スノトラ@握力… @sunotora

#logic_cafe 論理学の勉強会なのに雑

スノトラ@握力… @sunotora

○○の人が多い #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe こはま「OutLookerです」

ざっきー dev @zakky_dev

こはまさんは名古屋最強Haskellerであり名古屋最強Vimmerであり名古屋最強Excelerであり名古屋最強OutLookerである。 #logic_cafe

tomo🐧@learning @cocoatomo

#logic_cafe 面白そう. 教科書は何使うんだろ?

スノトラ@握力… @sunotora

ぺんぎんさんが見てる #logic_cafe

ざっきー dev @zakky_dev

東側の怖いぺんぎんさんに観測されています。 #logic_cafe

スノトラ@握力… @sunotora

お菓子フリー #logic_cafe

ざっきー dev @zakky_dev

「できればWeb上のPDFで読める感じのドキュメントが嬉しいよね」 #logic_cafe

スノトラ@握力… @sunotora

#logic_cafe テキスト決める。

ざっきー dev @zakky_dev

よんたさん「日本語あるんでもっと早く飛ばしていいです。記号読めばだいたいわかる」 #logic_cafe

ざっきー dev @zakky_dev

照井先生あちこちで見かけるなー。 #logic_cafe

ざっきー dev @zakky_dev

ちゅーん氏はH #logic_cafe

ざっきー dev @zakky_dev

直観主義論理のあとに集合論触れて、証明論、構成的数学触ってから線形論理やろうか。って話になってる。 #logic_cafe

ざっきー dev @zakky_dev

古典論理は触れない模様? #logic_cafe

ちゅーん @its_out_of_tune

klapaucius.web.fc2.com/logic/online-t… ここにいっぱいあるよ #logic_cafe

ちゅーん @its_out_of_tune

今日は雰囲気をつかむためにこれを読むよ is.titech.ac.jp/~kashima/manus… #logic_cafe