これを効率的に求めるのは未解決問題らしい。ちなみに有限集合上の位相の個数を数える問題とだいたい同じ。ある」という主張は正しいか正しくないかということを,ちょっと前に道を歩いていたらふと気になって考え始めたことがあって,そのことを今日思い出したので記録。用いた概念が定義されているのだけど,その部分を最後まで読んでも何を意図しているかよくわからなかった。絡んで型検査を通らない例2016-10-21かたい電車15分間隔で電車が走っている路線でA駅からB駅へ向かい,その後30分間隔で電車が走っている路線に乗り換えてC駅に行くことを考える.A駅でいつもより一本(つまり15分)早い電車に乗るとどうなるか.おそらくB駅における乗り換えでいつもより15分長く待って,...かたい電車2016-10-17ホーア論理の代入の規則わりとわかりにくくて混乱しやすい気がするホーア論理の代入の規則ですが,見方を少し変えるとわかりやすくなります。同値変形してこうする。ある」が事前条件です。数学の本はアウトラインがわかればあとは自分でよく考えるだけで本を閉じたまま詳細を構成することができる。数学以外の本はそうとは限らない。性質の証明ちょっと気になってやってみたのをどこかにメモしたくなったので書いた。