2013年3月23日[土] 帰ってきた決定性公理オフ詳細 圏論、型理論、証明論その他諸々数学と論理について、勉強しましょう! 日時: 3月23日13:00〜17:00頃 集合場所: 東大駒場正門前 備考: 終了後、近場で懇親会を行います。 ※1人持ち時間30〜60分程度の発表形式で行います。 ※参加者には抽選で『論理学をつくる』(TD山先生の講義資料付き)を差し上げます。 ※3月23日で決定です。 ※その他無計画 場所 東京大学 駒場キャンパス 道順を調べる 参加者 (10人) 興味あり (1人) 不参加 (3人)
コメント
|
|