Стажировка 2016-07-27 02 Денис Нелюбин. PostgreSQL и jsonbSmartTools
![とにかく始めるClojure](https://cdn-ak-scissors.b.st-hatena.com/image/square/3f6fcbd2f56dc32f4a8bc6f620393c916c5de1e0/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Feasy-starting-clojure-110114225133-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く