『Program Synthesis Explained』へのコメント

Program Synthesis（プログラム合成）の合成・検証ループについて

ABA のブックマーク 2018/07/11 19:44

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/367325844/comment/ABA" data-user-id="ABA" data-entry-url="https://b.hatena.ne.jp/entry/s/www.cs.utexas.edu/~bornholt/post/synthesis-explained.html" data-original-href="https://www.cs.utexas.edu/~bornholt/post/synthesis-explained.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.cs.utexas.edu%2F~bornholt%2Fpost%2Fsynthesis-explained.html" data-user-icon="/users/ABA/profile.png">Program Synthesis Explained</a><br><p style="clear: left">Program Synthesis（プログラム合成）の合成・検証ループについて</p><a class="datetime" href="https://b.hatena.ne.jp/ABA/20180711#bookmark-367325844"><span class="datetime-body">2018/07/11 19:44</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Program Synthesis Explained

www.cs.utexas.edu/~bornholt2015/08/11

Professor Luis Ceze is a great adviser, but he has one well-hidden, shameful secret: his PhD is in computer architecture.1 I’m working on correcting this grave misjudgement by surrounding him with ...

3 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

Program Synthesis Explained

はてなブックマーク

公式Twitter

はてなのサービス