記事へのコメント25

    • 注目コメント
    • 新着コメント
    t_f_m
    あとでちゃんと読む

    その他
    natsutan
    やばいほうのドモルガンとは

    その他
    kenichiice
    「「直観主義命題論理という論理体系の命題 ⇔ 単純型付きλ計算の型」そして「自然演繹という証明システムでの証明 ⇔ 単純型付きλ計算のプログラム」の間の対応関係のことが Curry-Howard 対応 と呼ばれています。」

    その他
    yuroyoro
    Curry-Howard同型対応

    その他
    antipop
    カリー・ハワード対応

    その他
    masterq
    Curry-Howard対応

    その他
    todesking
    今のLTでやったことのモチベーションについてはここを読むといいです

    その他
    yaotti
    カリー・ハワード同型

    その他
    murashit
    カリー=ハワード

    その他
    rakk
    Curry-Howard 対応

    その他
    tanakaBox
    カリー・ハワード対応

    その他
    tanimina
    カリーハワード同型対応

    その他
    motemen

    その他
    kgbu
    Curry-Howard同型って、やっと覚えられそう

    その他
    odz
    おもしろい

    その他
    ujihisa
    yhara++

    その他
    okagawa
    カリー・ハワード同型の話

    その他
    yshl
    たらいまわし関数の停止性

    その他
    k1m
    稲葉さんはいい記事を書くなぁ。

    その他
    nanakoso
    カリー・ハワード対応

    その他
    yamaz
    yamaz

    2006/05/26

    その他
    endo_5501
    やはりベイズの応用範囲は広いな.近いうちに真面目に勉強しておこう

    その他
    sshi
    ベイズで文字コードを推定/学習させるのはおもしろいな。

    その他
    yujiorama
    カリー-ホワード対応が何か,という概念だけわかった

    その他
    Kur
    Curry-Howard Isomorphism カリー=ハワード対応:"一見あんまり関係なさそうな世界に見事な対応関係がある"

    その他
    nozom
    tarai関数の停止性について

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    d.y.d. 文字コード&ベイズ推定

    12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴い...

    ブックマークしたユーザー

    • xiangze2025/04/30 xiangze
    • kuy2017/01/13 kuy
    • krrrr2016/09/27 krrrr
    • miyakawa_taku2016/03/23 miyakawa_taku
    • yorisilo2015/10/27 yorisilo
    • yuuki55552015/06/22 yuuki5555
    • thimura2015/05/13 thimura
    • t_f_m2015/05/06 t_f_m
    • natsutan2015/05/06 natsutan
    • TAKEmaru2014/07/30 TAKEmaru
    • Untouchable2014/06/07 Untouchable
    • mickn2014/06/07 mickn
    • nfunato2014/05/17 nfunato
    • oppekepei2014/01/09 oppekepei
    • somemo2013/12/26 somemo
    • suruji422013/12/19 suruji42
    • ursk2013/05/31 ursk
    • amadarain2013/05/31 amadarain
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - 暮らし

    いま人気の記事 - 暮らしをもっと読む

    新着記事 - 暮らし

    新着記事 - 暮らしをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む