成り行きでIsabelle勉強しないといけないことになりました。一応がんばるです。

ブログを続ける気もあります…。ネタもあります…。足りないのは時間と体力です…。『ゲーデルと20世紀の論理学』第4巻の書評も書こうと思っているのですが。