2017-03-24から1日間の記事一覧

17/03/24

雑用しかしてないけど雑用を僕にしては素早く済ませたのでよしとする。 つまり、無限の恣意性をどう空気を読んで低減するかという、フレーム問題だ。 ブール代数を少しいじった。 大げさに言うなら、ブール値モデルを与えるforcing poset、単なるposet、スト…