アカウントを変えないとアクセス出来ないかも知れない。 http://s.hatena.ne.jp/m-hiyama/report http://s.hatena.ne.jp/m-hiyama-memo/report http://s.hatena.ne.jp/m-hiyama-taxon/report

モノイド圏 トレース／コンパクト閉圏 圏一般論 高次圏論 モナド indexed/fibred圏 多圏 ======== プログラム意味論 インスティチューション 余代数 量子計算 DFD TQFT 物理っぽい からみ系 論理 形式言語理論 janus msched WCC XML その他代数 ホッピングボ…