圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
実線の⽮矢印は「A の章で説明したこ<strong>と</strong>を B の章で⽤用いてい<strong>る</strong>」こ<strong>と</strong>を表<br />
します. 破線の⽮矢印は「A の章を読む<strong>と</strong> B の章が<strong>よ</strong>りスムーズ<strong>に</strong><strong>理</strong>解でき<br />
<strong>る</strong>」こ<strong>と</strong>を表します.<br />
凡例<br />
初出語は「真 (truth, true)」の<strong>よ</strong>う<strong>に</strong>, 太字で表記した後英語での表<br />
記を添えます. また初出の⼈人名は「バートランド・ラッセル (Bertrand<br />
Arthur William Russell, 1872-1970)」の<strong>よ</strong>う<strong>に</strong>, ⽇日本語表記<strong>と</strong>アルファ<br />
ベット表記, ⽣生没年を記します.<br />
諸注意<strong>と</strong>お願い<br />
この記事は主<strong>に</strong>プログラマー, 特<strong>に</strong> Lisp 系⾔言語や ML 系⾔言語, Haskell,<br />
Erlang, F# のいずれか<strong>に</strong><strong>よ</strong><strong>る</strong>関数型<strong>プログラミング</strong><strong>に</strong>あ<strong>る</strong>程度慣れてい<br />
<strong>る</strong>⼈人を対象<strong>と</strong>しています. 特<strong>に</strong> 3, 5, 6 章はそれらの知識を前提します.<br />
数学の予備知識や<strong>圏</strong><strong>論</strong>の基礎, <strong>論</strong><strong>理</strong><strong>に</strong>関す<strong>る</strong>章は<strong>プログラミング</strong>をしない<br />
⼈人も読み物<strong>と</strong>して楽しめ<strong>る</strong><strong>よ</strong>う<strong>に</strong>なってい<strong>る</strong><strong>と</strong>思います.<br />
また, この記事はさまざまな話題を「広く浅く」扱うこ<strong>と</strong>を⽅方針<strong>と</strong>して<br />
書かれています. そのため, 必ずしも内容を深く掘り下げてい<strong>る</strong>わけでは<br />
ありません. 各トピック<strong>に</strong>ついての<strong>よ</strong>り深い<strong>理</strong>解のため<strong>に</strong>は, 記事の最後,<br />
参考⽂文献の章で案内されてい<strong>る</strong>資料が参考<strong>に</strong>な<strong>る</strong>か<strong>と</strong>思います.<br />
謝辞<br />
酒井政裕先⽣生は計算機科学<strong>と</strong><strong>圏</strong><strong>論</strong><strong>に</strong>ついて多くのこ<strong>と</strong>を教えてくださ<br />
いました. 本当<strong>に</strong>ありが<strong>と</strong>うございました.<br />
175
Change language