時計の短針・長針が直角になるのはいつか - 檜山正幸のキマイラ飼育記 (はてなBlog) これの話。Tをニュートン流の“時間の空間”とする。Tは図形的には直線だが物理次元を持つ。Tを12時間で割った T/12h = T12 を考える。これは図形的には円周S1だが、あくまで…

リンデンバウム代数やエルブランの定理からの教訓としての指導原理。 構文構造からモデルを作れる。 モデル全体に十分に強い同値関係を入れれば、構文構造から作ったモデルを代表元にとれる。 したがって、妥当性検証は、構文構造から作ったモデルに対して行…