bitterharvest’s diary

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

プログラマーのための圏論(特論)

圏論をデータベースに応用する(1)

5 随伴とデータベース これまで、圏論の理論的な面を重視しながら、重要な定理である随伴まで学んできた。これだけ学んだのだから素晴らしい応用に出会えるはずだ、と考えるのは当然のことだ。ここでは、情報技術の中でも特に重要なデータベースとの関連に…

数学的帰納法によるプログラミングを修得するためにF-代数を攻略する

4. F-代数 今回はあまり聞きなれてはいないと思われるF-代数( F-algebra )について学んでみよう。代数という名が示すとおり、これは、半群、モノイド、群、環などの代数を表現するための重要な役割を担っているが、それにもまして、数学的帰納法による再帰…

モノイドを攻略する

3. モノイドとコモノイド 今回はモノイド(monoid)と、そして、その双対であるコモノイド(comonoid)を説明しよう。モノイドという用語を使うと難解だと感じる読者も多いことだろうが、小学校以来学んできた足し算や掛け算などの多くの二項演算に関するもの…

コモナドを攻略する

2.コモナド 今回の記事はコモナド(余モンドとも言われる)だ。モナドはあちらこちらで出会うことが多いが、コモナドについての説明はそれほど多くない。今回の記事でも示すが、実はコモナドの概念はとても面白く、現実の世界の中でこれはコモナドではと思う…

モナドを攻略する

1.モナド クリスマスパーティーは大きくなった孫たちが集まりとても賑やかだった。今年は、ターキーを2羽焼いた。例によって、ブライン液につけ、ジューシーな味を楽しんだ。今年のターキー。焦げ具合が違うのは、250度で10分焼いた後、左側を170度、右を1…