B,C,K,Wシステム - Wikipedia

gikazigo のブックマーク 2013/09/08 05:32

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/160723294/comment/gikazigo" data-user-id="gikazigo" data-entry-url="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0" data-original-href="https://ja.wikipedia.org/wiki/B,C,K,W%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2FB%2CC%2CK%2CW%25E3%2582%25B7%25E3%2582%25B9%25E3%2583%2586%25E3%2583%25A0" data-user-icon="/users/gikazigo/profile.png">B,C,K,Wシステム - Wikipedia</a><br><p style="clear: left">B,C,K,Wシステム - Wikipedia</p><a class="datetime" href="https://b.hatena.ne.jp/gikazigo/20130908#bookmark-160723294"><span class="datetime-body">2013/09/08 05:32</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

B,C,K,Wシステム - Wikipedia

ja.wikipedia.org2013/09/07

B, C, K, Wシステムは、基本的な4つの定数記号 B, C, K, W からなるコンビネータ論理の変種である。この体系はハスケル・カリーの博士論文Grundlagen der kombinatorischen Logikによるもので、その結論部分はCur...

9 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

B,C,K,Wシステム - Wikipedia

はてなブックマーク

公式Twitter

はてなのサービス