Tsukuba Logic Group
筑波ロジックグループ.
上が最近とった写真.あと数人いるはず.下がちょっと昔.
筑波ロジックグループでは現在,証明論,集合論,モデル理論 の研究を行なっています.
どちらかと言うとこの写真は Kanto Logic Group ? 今年度第一回お茶会での写真.
この写真には写っていませんが, 池田一磨氏,塚田信高氏もいらしていました.
一磨氏は写真をとられると魂を抜かれると思っていらっしゃるようです.