bitterharvest’s diary

A Bitter Harvestは小説の題名。作者は豪州のPeter Yeldham。苦闘の末に勝ちえた偏見からの解放は命との引換になったという悲しい物語

2016-10-26から1日間の記事一覧

射は閉じている:どれだけ合成しても大丈夫

2.4 合成 1)圏の構成要素 ここでは、これから説明する合成も含めて、圏を構成する要素についてまとめておこう。圏は次の構成要素から成り立つ。 1) 対象\(A,B,C,..\)を有する。 2) 射\(f,g,h,..\)を有する 3) 射はドメインとコドメインを有する。なお、…

量子力学とHaskell - 目次 

1.身近な存在としての量子力学(1):MRI(磁気共鳴画像診断装置)、(2):ヨーロッパコマドリ、(3):進化論、(4):光合成、(5):光合成(続き)、(6):光合成(続き)、(7):ケット、(8):ケットをHaskellで表現する、(9):重ね…