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

kirakking のブックマーク 2016/03/10 18:41

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/281610946/comment/kirakking" data-user-id="kirakking" data-entry-url="https://b.hatena.ne.jp/entry/logic.cs.tsukuba.ac.jp/ppl2016/slides/ppltut.pdf" data-original-href="http://logic.cs.tsukuba.ac.jp/ppl2016/slides/ppltut.pdf" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Flogic.cs.tsukuba.ac.jp%2Fppl2016%2Fslides%2Fppltut.pdf" data-user-icon="/users/kirakking/profile.png">http://logic.cs.tsukuba.ac.jp/ppl2016/slides/ppltut.pdf</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%22type%20inference%22">type inference</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/haskell">haskell</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/PDF">PDF</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/research">research</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/termrewriting">termrewriting</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%22ho%20termrewriting%22">ho termrewriting</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/logic">logic</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/algebra">algebra</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E3%81%82%E3%81%A8%E3%81%A7%E8%AA%AD%E3%82%80">あとで読む</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/kirakking/20160310#bookmark-281610946"><span class="datetime-body">2016/03/10 18:41</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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