bitterharvest’s diary

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

2014-09-15から1日間の記事一覧

Haskellプログラミング講座(中級編) - 目次

目次 1. ライプニッツの公式から円周率を求める 2. Haskellでクイズ「嫉妬深い男たち」を解く(1)、(2)、(3)、(4)、(5) 3. Haskellを利用して簡単な会計システムを実現する(1)、(2)、(3)、(4)、(5) 4. 乱舞するメッセ…

Haskellの真髄に迫る - 一般化代数的データ(6)

1.米田の補題 圏論の重要な概念のひとつに米田の補題がある。これは次で表される。\({\mathcal C}\)を圏とした時、任意の\({\mathcal C}\)の対象\(A\)と関手\(F: {\mathcal C} \rightarrow {\bf Sets}\)に対して \({\rm Nat}({\rm Hom}(A,-),F) \cong F(A)…

Haskellの真髄に迫る - 一般化代数的データ(5)

1.米田の補題 圏論の重要な概念のひとつに米田の補題がある。これは次で表される。\({\mathcal C}\)を圏とした時、任意の\({\mathcal C}\)の対象\(A\)と関手\(F: {\mathcal C} \rightarrow {\bf Sets}\)に対して \({\rm Nat}({\rm Hom}(A,-),F) \cong F(A)…