仕様変更を行ない、受付票を常に発行することになりました。詳しくはこちらをご覧ください。infoどなたでもFreeFCFS1/4Description解集合プログラミングの代表的な処理系であるclingoのユーザーガイド(120ページ)のもくもく読書会です。https://github.com/potassco/guide/releases/3.1.2(p.18)より1Fホール(クレームつけられないようにした方がよさそう)3.1.5まで解集合であるためには、正アトムであることを仮定したならばプログラムから非循環的に導出できなければならない。アトムはモデルに含まれる場合にのみ、正とみなされる。正であることを仮定しないものは導出できなくてもよいので、この場合は空集合が解集合になりうる。あるパスで非循環的でさえあれば、別のところで循環していても構わない。3.1の説明おかしい。