Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
![SAT/SMTソルバの仕組み](https://cdn-ak-scissors.b.st-hatena.com/image/square/3f67c3b07885ae88d1a64ef77a49e77f50954f46/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fsat-smt-solver-mechanism-150913044707-lva1-app6892-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
[追記]絵算をやってみたい人は、知識の習得だけでなく、双対や随伴に強くなるためのトレーニングを必ずしましょう。[/追記] 注意:人名はカタカナ書きしますが、発音の正確性(むしろ類似性)は保証できません。 まず、ピエル-ルイ・キュリア(Pierre-Louis Curien、http://www.pps.univ-paris-diderot.fr/~curien/)の "The Joy of String Diagrams" : Title: The Joy of String Diagrams Author: Pierre-Louis Curien URL: http://hal.archives-ouvertes.fr/docs/00/69/71/15/PDF/csl-2008.pdf URLに年号らしき2008が埋め込まれてますが、日付は May 14, 2012、たぶん改訂されたので
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く