fc2より移転しようと思って、はてなへとやってきました。移転の理由としては、こちらの方が記事が書きやすいというのもありますが、最近fc2の自分のブログが異常に重くて管理画面にほとんど入れない状況というのがあります。たまによくなるのですが、さすが…

ガウディ本を読んだのでOz以外の言語で制約プログラミングをやってみたくなりました。すると、(私的には)意外なことにC++やJavaでもライブラリとして提供しているものがあるようです。いつものごとくですが、情報元はWikipedia。その中でも一番使うだけなら…