記事へのコメント5

    • 人気コメント
    • 新着コメント
    kmizushima kmizushima カリー=ハワード対応の話、ふつーにもっと広まるといいよね

    2019/11/01 リンク

    その他
    namakin namakin カリー=ハワード同型対応はもっと知られるべきだと思う。これを知ると知らないとでは、型というものに対する認識が全く変わってくる。

    2019/11/01 リンク

    その他
    hamamuratakuo hamamuratakuo "1934年、カリーはA -> Bという関数の型が「AならばB」という命題として読み替えることができるという興味深い事実を発見しました。さらにA -> B型の式(つまり関数)がこの命題の証明と対応することにも気づきました。"

    2019/11/01 リンク

    その他
    igrep igrep たのしい

    2019/10/31 リンク

    その他
    h-hirai h-hirai ああぁCoqの本も積んでる……。

    2019/10/31 リンク

    その他

    関連記事

    Haskellの型と直観論理 - 朝日ネット 技術者ブログ

    開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)に...

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

    • qurorokun2020/06/02 qurorokun
    • nosoosso2019/12/23 nosoosso
    • jewel122019/11/07 jewel12
    • Nyoho2019/11/05 Nyoho
    • developmaso2019/11/04 developmaso
    • emonkak2019/11/04 emonkak
    • tackman2019/11/02 tackman
    • damselfish2019/11/02 damselfish
    • omega3142019/11/02 omega314
    • xef2019/11/01 xef
    • kmizushima2019/11/01 kmizushima
    • komlow2019/11/01 komlow
    • nna7742019/11/01 nna774
    • mrgk2019/11/01 mrgk
    • namakin2019/11/01 namakin
    • toitoitoi27182019/11/01 toitoitoi2718
    • slay-t2019/11/01 slay-t
    • utgwkk2019/11/01 utgwkk
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    ASCII.jp:300種類以上の髪型をシミュレーションできるアプリ―注目のiPhoneアプリ3選

    6 users https://ascii.jp/

    ライティング・ルーブリックの実践

    1 user https://doi.org/