最後に、圏の等式を次により定める：
例.
カリー＝ハワード対応により、型付けられた表現は対応する論理式の証明と見做すことができる。以下、いくつかの例を与える。
適当に命題変数の名前を付け替えれば所望の論理式の証明が得られる。
(β → α) → (γ → β) → γ → α の自然演繹における証明とラムダ項.
その他の応用.
最近ではカリー＝ハワード対応が[[遺伝的プログラミング]]における探索空間のパーティションを定義する方法として提案されている。この手法は遺伝子型（システムにより進化するプログラムの木）の集合に対して（種と呼ばれる）カリー＝ハワード対応する証明を索引付ける。
外部リンク.
[[Category:証明論]]
[[Category:理論計算機科学]]
[[Category:型理論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
[[Category:計算機科学哲学]]
河原医療大学校 新居浜校
設置学科.
以前設置されていた学科
五條簡易裁判所
所在地.
管轄.
比屋根渉
経歴.
プロ入り前.
ヤクルト時代.
ヤクルト退団後.
「納得するまで野球を続けたい」という理由で、は、大和高田クラブ（奈良県大和高田市を拠点に活動するクラブチーム）に所属。
選手としての特徴・人物.
葛城簡易裁判所
所在地.
管轄.
宇陀簡易裁判所
所在地.
管轄.
河原医療大学校
河原医療大学校（かわはらいりょうだいがっこう）は、学校法人河原学園が運営している医療系の専門学校。
設置学科.
以前設置されていた学科
五條区検察庁
資格の大原 愛媛校
資格の大原 愛媛校（しかくのおおはら えひめこう）は、学校法人大原学園と提携している学校法人河原学園が運営する、社会人を対象とした専門学校。
概要.
国際デザイン・アート専門学校
ウィリアム・ゴールドマンは東アフリカを旅行中にこの事件のことを知り、これが本作の脚本を執筆するきっかけとなった。
あらすじ.
キャスト.
※括弧内は日本語吹替
子供の時間 ドラマ (NHKテレビ番組)
子供の時間 ドラマ（こどものじかん ドラマ）はNHK総合テレビ夕方の子供番組枠『子供の時間』で放送されていた子供向けドラマを扱う。
一岡竜司
経歴.
プロ入り前.
巨人時代.
広島時代.