Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
SAT/SMTソルバの仕組み
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
絵算したい人のためにオススメする3つのストリング図解説 （とオマケ） - 檜山正幸のキマイラ飼育記 (はてなBlog)
[追記]絵算をやってみたい人は、知識の習得だけでなく、双対や随伴に強くなるためのトレーニングを必ずしましょう。[/追記] 注意：人名はカタカナ書きしますが、発音の正確性（むしろ類似性）は保証できません。 まず、ピエル-ルイ・キュリア（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、たぶん改訂されたので
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
