フレーゲ「概念記法」の表記法の解説。cf. Philip Wadler「As Natural as 0,1,2」http://homepages.inf.ed.ac.uk/wadler/papers/natural/natural3.pdf

tanimina のブックマーク 2010/05/23 11:07

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/21730654/comment/tanimina" data-user-id="tanimina" data-entry-url="https://b.hatena.ne.jp/entry/tenmei.cocolog-nifty.com/matcha/2010/04/post-3b33.html" data-original-href="http://tenmei.cocolog-nifty.com/matcha/2010/04/post-3b33.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Ftenmei.cocolog-nifty.com%2Fmatcha%2F2010%2F04%2Fpost-3b33.html" data-user-icon="/users/tanimina/profile.png">フレーゲ『算術の基本法則』における「概念記法」～記号論理の原点 - テンメイのＲＵＮ＆ＢＩＫＥ</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E6%95%B0%E5%AD%A6">数学</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%AB%96%E7%90%86%E5%AD%A6">論理学</a>]</li></ul><br><p style="clear: left">フレーゲ「概念記法」の表記法の解説。cf. Philip Wadler「As Natural as 0,1,2」<a href="http://homepages.inf.ed.ac.uk/wadler/papers/natural/natural3.pdf" target="_blank" rel="noopener nofollow">http://homepages.inf.ed.ac.uk/wadler/papers/natural/natural3.pdf</a></p><a class="datetime" href="https://b.hatena.ne.jp/tanimina/20100523#bookmark-21730654"><span class="datetime-body">2010/05/23 11:07</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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