圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
余代数<br />
余代数の<strong>圏</strong><br />
CPL を思いだす<br />
カタモーフィズム<br />
アナモーフィズム<br />
有限<strong>と</strong>無限<br />
ハイロモーフィズム<br />
パラモーフィズム<br />
アポモーフィズム<br />
第 7 章 モナド<strong>と</strong>クライスリ<strong>圏</strong><br />
モナド<br />
Haskell のモナド<br />
クライスリ<strong>圏</strong><br />
モナド<strong>と</strong>クライスリ三つ組<br />
コラム <strong>圏</strong><strong>論</strong><strong>と</strong>哲学<br />
第Ⅲ部<br />
<strong>論</strong><strong>理</strong><strong>と</strong><strong>圏</strong><strong>論</strong><br />
第 8 章 <strong>論</strong><strong>理</strong>の基礎<br />
<strong>論</strong><strong>理</strong><strong>と</strong>は何か (再考)<br />
統語<strong>論</strong><strong>と</strong>意味<strong>論</strong><br />
⼀一階命題<strong>論</strong><strong>理</strong>の統辞<strong>論</strong><br />
⼀一階命題<strong>論</strong><strong>理</strong>のモデル<strong>論</strong>的意味<strong>論</strong><br />
⼀一階述語<strong>論</strong><strong>理</strong>の統辞<strong>論</strong><br />
⼀一階述語<strong>論</strong><strong>理</strong>のモデル<strong>論</strong>的意味<strong>論</strong><br />
証明<strong>論</strong><br />
コンビネータ<strong>論</strong><strong>理</strong> SK<br />
最⼩小<strong>論</strong><strong>理</strong> HM<br />
直観主義<strong>論</strong><strong>理</strong> HJ<br />
古典<strong>論</strong><strong>理</strong> HK<br />
演繹<strong>と</strong>証明<br />
⾃自然演繹<br />
シークエント計算<br />
第 9 章 <strong>論</strong><strong>理</strong><strong>と</strong>計算<strong>と</strong><strong>圏</strong><br />
直観主義<strong>論</strong><strong>理</strong><br />
ブラウワーの直観主義<br />
BHK 解釈<br />
177<br />
カリー=ハワード同型対応<br />
<strong>圏</strong><strong>論</strong><strong>と</strong>カリー=ハワード同型対応<br />
双デカルト閉<strong>圏</strong><br />
具体的な対応<br />
古典<strong>論</strong><strong>理</strong>への拡張<br />
さまざまな対応<br />
文献紹介<br />
記号一覧