サクサク読めて、アプリ限定の機能も多数!
「「直観主義命題論理という論理体系の命題 ⇔ 単純型付きλ計算の型」そして「自然演繹という証明システムでの証明 ⇔ 単純型付きλ計算のプログラム」の間の対応関係のことが Curry-Howard 対応 と呼ばれています。」
kenichiice のブックマーク 2012/03/04 14:03
d.y.d. 文字コード&ベイズ推定[プログラミング][数学][継続][関数]「「直観主義命題論理という論理体系の命題 ⇔ 単純型付きλ計算の型」そして「自然演繹という証明システムでの証明 ⇔ 単純型付きλ計算のプログラム」の間の対応関係のことが Curry-Howard 対応 と呼ばれています。」2012/03/04 14:03
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.kmonos.net2006/05/02
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。...
123 人がブックマーク・25 件のコメント
\ コメントが サクサク読める アプリです /
「「直観主義命題論理という論理体系の命題 ⇔ 単純型付きλ計算の型」そして「自然演繹という証明システムでの証明 ⇔ 単純型付きλ計算のプログラム」の間の対応関係のことが Curry-Howard 対応 と呼ばれています。」
kenichiice のブックマーク 2012/03/04 14:03
このブックマークにはスターがありません。
最初のスターをつけてみよう!
d.y.d. 文字コード&ベイズ推定
www.kmonos.net2006/05/02
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。...
123 人がブックマーク・25 件のコメント
\ コメントが サクサク読める アプリです /