「Picat実習マニュアル」の第零版を公開しました。前バージョン（第零版alpha06）からの主要な変更点： 第9章「制約」に次の節を追加しました。 第9.5節「グローバル制約」 第9.6節「制約充足問題の例」

下記の表は、「無料チュートリアル」で配布されている文書に対する2017年11月のアクセス数（LaTeXのソースは除く）です。 順位 アクセス数 文書名 前月順位 前月アクセス数 前月比 1 783 Python実習マニュアル 3 655 +19.5% 2 765 CASL II実習マニュアル 4 5…

「Picat実習マニュアル」の第零版alpha06を公開しました。前バージョン（第零版alpha05）からの主要な変更点： 第9章「制約」に次の節を追加しました。 第9.1節「制約の基礎」 第9.2節「ドメイン変数」 第9.3節「算術制約」 第9.4節「ブーリアン制約」