わかりやすいな - UDONCHAN のブックマーク / はてなブックマーク

わかりやすいな

UDONCHAN のブックマーク 2014/08/30 21:25

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/99700390/comment/UDONCHAN" data-user-id="UDONCHAN" data-entry-url="https://b.hatena.ne.jp/entry/s/ja.wikibooks.org/wiki/Haskell/%E3%82%AB%E3%83%AA%E3%83%BC%3D%E3%83%8F%E3%83%AF%E3%83%BC%E3%83%89%E5%90%8C%E5%9E%8B" data-original-href="https://ja.wikibooks.org/wiki/Haskell/%E3%82%AB%E3%83%AA%E3%83%BC%3D%E3%83%8F%E3%83%AF%E3%83%BC%E3%83%89%E5%90%8C%E5%9E%8B" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikibooks.org%2Fwiki%2FHaskell%2F%25E3%2582%25AB%25E3%2583%25AA%25E3%2583%25BC%253D%25E3%2583%258F%25E3%2583%25AF%25E3%2583%25BC%25E3%2583%2589%25E5%2590%258C%25E5%259E%258B" data-user-icon="/users/UDONCHAN/profile.png">Haskell/カリー=ハワード同型 - Wikibooks</a><br><p style="clear: left">わかりやすいな</p><a class="datetime" href="https://b.hatena.ne.jp/UDONCHAN/20140830#bookmark-99700390"><span class="datetime-body">2014/08/30 21:25</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Haskell/カリー=ハワード同型 - Wikibooks

ja.wikibooks.org2012/06/28

カリー=ハワード同型(Curry-Howard isomorphism)は数学の一見無関係に思えるふたつの領域、型理論と構造論理を結びつける実に驚くべき関係である。導入[編集] これよりカリー=ハワード同型は単に C-H と表記する...

39 人がブックマーク・4 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Haskell/カリー=ハワード同型 - Wikibooks

はてなブックマーク

公式Twitter

はてなのサービス