――「約束は守る(守れない約束はしない)」(soundness)←→「守れるならいつも約束する」(completeness)というのが証明と真実との完全対応だけど…。そのためには自分(と環境)を知ることが必要になってくる。。 //☆

mind のブックマーク 2008/03/24 22:21

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/764069/comment/mind" data-user-id="mind" data-entry-url="https://b.hatena.ne.jp/entry/s/www.hyuki.com/kokoro/" data-original-href="https://www.hyuki.com/kokoro/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.hyuki.com%2Fkokoro%2F" data-user-icon="/users/mind/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/%EF%BC%95%2C%E3%81%8A%E7%B4%84%E6%9D%9F%28%E7%BF%92%E3%81%84%E4%BA%8B%29">５,お約束(習い事)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%EF%BC%96.%E5%9B%9A%E4%BA%BA%E3%81%AE%E3%82%B8%E3%83%AC%E3%83%B3%E3%83%9E">６.囚人のジレンマ</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%EF%BC%96%E5%AE%89%E5%BF%83%E3%81%8B%E3%82%89%E4%BF%A1%E9%A0%BC%E3%81%B8">６安心から信頼へ</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%81%A6%E3%81%A4%E3%81%A5%E3%81%8D%7C%E6%8A%80%E8%A1%93">てつづき|技術</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/2._symmetric">2._symmetric</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/algorithm%28%E4%BB%95%E7%B5%84%E3%81%BF%29">algorithm(仕組み)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%60Semantics%28%E3%83%A2%E3%83%87%E3%83%AB%29">`Semantics(モデル)</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%82%B3%E3%82%B3%E3%83%AD%E3%82%B6%E3%82%B7%7C%E6%82%A9%E3%81%BF">ココロザシ|悩み</a>]</li></ul><br><p style="clear: left"> ――「約束は守る(守れない約束はしない)」(soundness)←→「守れるならいつも約束する」(completeness)というのが証明と真実との完全対応だけど…。そのためには自分(と環境)を知ることが必要になってくる。。 //☆</p><a class="datetime" href="https://b.hatena.ne.jp/mind/20080324#bookmark-764069"><span class="datetime-body">2008/03/24 22:21</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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