m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 “時間の空間”の圏 - 檜山正幸のキマイラ飼育記 メモ編 時間の空間 再論 - 檜山正幸のキマイラ飼育記 メモ編 基本的な連続時間は、境界があってもなくてもよい1次元の多様体の形をしている。基本的な離散時間は、たかだか可算個の頂点と、頂点を結ぶ辺からなるグラフだが、すべての頂点でin-degree, out-degreeが1以下、そして連結。基本的な時間の直和とファイバー和（スパンによる貼り合わせ）からできるものはまた時間。片側線型な離散時間をTとする。Tの頂点は0, 1, 2, ...。Gをグラフとして、G×Tに、2複体の構造を入れたものが古典時空。同期しながら動く2点の軌道は、{・←→・｝… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20080226%2F1204005710" 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 2008-02-26 15:01:50 rich https://m-hiyama-memo.hatenablog.jp/entry/20080226/1204005710 1.0 100%