ちょうどCoq始めたところでタイムリー。こちとら自然数のモノイド則ですらヒーヒー言ってる段階で、いつ環にたどり着けるやらだけど、スラスラ自力で書く人がいたもんだ。

勉強

zyzy のブックマーク 2014/11/05 00:57

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/entry/226736493/comment/zyzy" data-user-id="zyzy" data-entry-url="https://b.hatena.ne.jp/entry/s/q.hatena.ne.jp/1410889408" data-original-href="https://q.hatena.ne.jp/1410889408" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fq.hatena.ne.jp%2F1410889408" data-user-icon="/users/zyzy/profile.png">-1×-1 = 1を証明してください。 例とか例えではなく、以下の「ペアノの公理による1+1=2の証明」と同じくらい厳密な証明をお願いいたします。…</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/q/%25E5%258B%2589%25E5%25BC%25B7">勉強</a>]</li></ul><br><p style="clear: left">ちょうどCoq始めたところでタイムリー。こちとら自然数のモノイド則ですらヒーヒー言ってる段階で、いつ環にたどり着けるやらだけど、スラスラ自力で書く人がいたもんだ。</p><a class="datetime" href="https://akarinohon.com/text/taketori.cgi/https://b.hatena.ne.jp/zyzy/20141105#bookmark-226736493"><span class="datetime-body">2014/11/05 00:57</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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