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