somemo のブックマーク / はてなブックマーク

somemo のブックマーク 2012/09/02 10:48

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/61257978/comment/somemo" data-user-id="somemo" data-entry-url="https://b.hatena.ne.jp/entry/proofcafe.org/sf/" data-original-href="http://proofcafe.org/sf/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fproofcafe.org%2Fsf%2F" data-user-icon="/users/somemo/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/coq">coq</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/somemo/20120902#bookmark-61257978"><span class="datetime-body">2012/09/02 10:48</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

ソフトウェアの基礎

proofcafe.org2011/09/30

Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morris...

172 人がブックマーク・15 件のコメント

他のコメントを読む

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

はてなブックマーク

ソフトウェアの基礎

はてなブックマーク

公式Twitter

はてなのサービス