イベントの説明
解集合プログラミングの代表的な処理系であるclingoのユーザーガイド(120ページ)のもくもく読書会です。
- homepage: https://potassco.org
- 使用テキスト:Guide v2.1.0 at https://github.com/potassco/guide/releases/
- 3.1.6(p.25)より
- 3.1.12 aggregates -- 集合的制約
- 次回はp.34から
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。