8/4 第2回関西日曜数学友の会 発表者とタイトルが決まりましたので、公開させて頂きます。 なお、発表者、聴講者はまだまだ募集しておりますので、みなさまどうぞ下記リンクからお申し込みの上、お越しくださいませ。 kansai-sunday-math.connpass.com/event/87619/ #kanmath02 pic.twitter.com/HyjTjTFhiB
2018-07-29 16:09:248/4 第2回関西日曜数学友の会 講演内容を改めてご紹介致します。 参加申し込みはまだまだ受け付けておりますので、どうぞお越しくださいませ。 *途中入退場は自由です。 kansai-sunday-math.connpass.com/event/87619/ #kanmath02 pic.twitter.com/8n0lO5Im1N
2018-07-29 23:58:54[1..100]>>=pen: 8月4日(土)大阪「第2回 関西日曜数学 友の会」(「圏論とHaskell」の発表あり」) #kanmath02 kansai-sunday-math.connpass.com/ev… chaton.practical-scheme.net/haskell-ja/a/2…
2018-07-30 16:06:04第2回 関西日曜数学 友の会 kansai-sunday-math.connpass.com/event/87619/ #kanmath02
2018-07-30 20:33:44第2回 関西日曜数学 友の会 に参加を申し込みました! kansai-sunday-math.connpass.com/event/87619/?u… #kanmath02
2018-07-31 09:02:50週末はここで話をする予定。 第2回 関西日曜数学 友の会 kansai-sunday-math.connpass.com/event/87619/ #kanmath02
2018-08-02 08:50:08西方より、JR大阪12:43着の新快速で向かう予定です。 遠方からの方、どうぞ気をつけてお越しください。 #kanmath02
2018-08-04 06:24:26今日はこちら。 第2回 関西日曜数学 友の会 kansai-sunday-math.connpass.com/event/87619/ #kanmath02
2018-08-04 11:26:36うっかり「圏論とHaskell」なんてタイトルにしてしまったが、全然そんな内容をまとめられなくてさわりだけになってしまった。まあとりあえず話をするだけしよう #kanmath02
2018-08-04 11:29:04関西日曜数学友の会第二回開始 #kanmath02
2018-08-04 13:22:07大西先生の「証明はなぜ哲学の問題になるのか」の発表が始まりました! レジュメまで用意してお配り頂きました! #kanmath02
2018-08-04 13:28:57#kanmath02 論理性の担保と発想の展開に数学を活用するイメージかな? pic.twitter.com/TJOT83RT1E
2018-08-04 13:29:23・数学的記号は指している数学的対象が存在するはず ・因果的つながりをもたない「対象」の存在をどのように知りうるのか #kanmath02
2018-08-04 13:40:32「哲学界隈で流行っていた表示的意味論や因果的認識論を数学にテストケースとして適用したに過ぎないので、数学の哲学としては面白くない。」とハッキングは言っていると。 #kanmath02
2018-08-04 13:40:47