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

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

道具

Mx
  1. 計算装置、計算器としてのハイブ
  2. 計算装置のセマンティクスはスコットブラケットで書く。
  3. スコットブラケットの内部はプログラムコードや計算図式
  4. 計算図式やプログラムコードの変換、プログラム変換／翻訳
  5. 計算装置・記述の変換としてのポアンカレ双対
  6. プログラムの意味は、関数／部分関数／非決定性関数／関係など
  7. 計算回路（図）とその意味は扱いやすい