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

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

2013-06-03から1日間の記事一覧

ホモトピーを使った計算モデル

プログラム意味論 高次圏論 リンク

STATE SPACES AND DIPATHS UP TO DIHOMOTOPY ： http://people.math.aau.dk/~raussen/GETCO/D02/hha.pdf , http://www.intlpress.com/HHA/v5/n2/a9/v5n2a9.pdf (絵付き) Simulations as Homotopies ： http://www.math.uwo.ca/~kworytki/getco2.pdf Simplici…

過去にこだわっていた概念

圏一般論 モナド 復習

circ-Kleisli： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=circ-Kleisli 作用乗法： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%BA%EE%CD%D1%BE%E8%CB%A1 両モナド： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CE%B…