m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 マンダラ またマンダラ圏Mandに関係するのだが、マンダラ圏では、直列結合と並列結合がある。並列結合にはテンソル積とスター積がある。並列結合＝(テンソル積+スター積) だけでコンパクト閉圏となる。これらの演算のなかで、テンソル積は直列結合にも並列結合にも絡んでいる。対局的な性質を持つ2つの演算は、「直列結合 v.s. スター積」だろう。どちらも2つのプログラムを通信させて、全体として複合プログラムを作る演算だ。が、通信の解釈が違う。時間方向での通信（逐次）、空間方向での通信（同時並行）の違い。 時間方向の通信＝処理の引継ぎ＝直列結合：「繋ぎ目は空間の代数＝ブール可換環」 空間方向の通信＝同期協調動作＝並… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20110802%2F1312248931" 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 2011-08-02 10:35:31 rich https://m-hiyama-memo.hatenablog.jp/entry/20110802/1312248931 1.0 100%