サクサク読めて、アプリ限定の機能も多数！
hiroyuki1983 のブックマーク 2012/10/16 13:20
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.slideshare.net/slideshow2010/03/29
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
112 人がブックマーク・16 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
関数プログラミング入門
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
112 人がブックマーク・16 件のコメント
＼ コメントが サクサク読める アプリです ／