2017-03-24 17/03/24 日記 雑用しかしてないけど雑用を僕にしては素早く済ませたのでよしとする。 つまり、無限の恣意性をどう空気を読んで低減するかという、フレーム問題だ。 ブール代数を少しいじった。 大げさに言うなら、ブール値モデルを与えるforcing poset、単なるposet、ストーン空間、単なる代数系、これら「として」の見方をinterchangeablyに行き来するのがよさそうだ。 意地のちょい足し図書館で歩数はだいぶ伸ばした。 腕立て12×4, 腹筋10×4, 歩数15133