このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

選択的実行の足し算の構成

プログラム意味論

×が双積の場合、

  • f + g := Δ;(f×g);∇

だが、双積とは別な並列同時実行 f\otimesg があるとき、

  • f + g := Δ\otimes;(f\otimesg);∇\otimes∃

だと思う。ここで、

  • Δ\otimes は\otimesの対角
  • ∇\otimes∃ の余対角のうちのどれかの終了を待つもの。
  • ∇\otimes∀ はすべてを待つもの。