Nobuhisa https://blog.hatena.ne.jp/Nobuhisa/ Nobuhisa's diary https://nobuhisa.hatenablog.jp/ メモ 読む とりあえずはメモだけ このような「型＝命題，プログラム＝証明」という対応のことを，カリー・ハワードの対応（Curry-Howard correspondence）という http://itpro.nikkeibp.co.jp/article/COLUMN/20070909/281498/ http://www.kmonos.net/wlog/61.html#_0538060508 http://pkturner.org/programming/Curry-Howard.html 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnobuhisa.hatenablog.jp%2Fentry%2F20080629%2F1214675743" title="Curry-Howard - Nobuhisa&#39;s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-06-29 02:55:43 rich https://nobuhisa.hatenablog.jp/entry/20080629/1214675743 1.0 100%