m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 気付いた 「並列処理、時間の空間、マンダラ」あたりの続き。なにやらゴチャゴチャと考えている。最近気付いたことは、時間の空間の基本要素は1セル（矢印）である「ステップ」であって、0セルである「時点」は不要だということ。0セルはあるにはあるのだが、副次的な働きしか持たない。通常は考える必要がない。考えてしまうことによって、色々と不都合があったのだと思う。Tが時間の空間のとき、T0は0セル＝時点の集合だが、これはまーどうでもいい。T1を考える。T ＝ T1 と略記（乱用）することにする。Tは、順序（部分順序）集合だ。しかし、≦ よりは ＜ が意味を持つので、＜ を使うことが多い。ｓ， t∈T に対して、ｓ ＜… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20121114%2F1352859839" title="時間の空間、時点は不要、空間ワープ、無音ステップ、実行の同値性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-11-14 11:23:59 rich https://m-hiyama-memo.hatenablog.jp/entry/20121114/1352859839 1.0 100%