お知らせ 【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。

このエントリーをはてなブックマークに追加

4月

21

 "Potassco User Guide" 読書会 #02

clingoによる解集合プログラミング入門

"Potassco User Guide" 読書会 #02
ハッシュタグ ：#clingo
募集内容

どなたでも

無料

先着順
1/4人

申込者
shnarazk
申込者一覧を見る
開催日時
2018/04/21(土) 15:30 ～ 17:00
Googleカレンダー icsファイル
募集期間

2018/04/14(土) 00:00 〜
2018/04/20(金) 12:00まで

会場

長崎県庁

長崎県長崎市尾上町3番1号

マップで見る

イベントの説明

解集合プログラミングの代表的な処理系であるclingoのユーザーガイド（120ページ）のもくもく読書会です。

  • 3.1.5まで

解集合であるためには、正アトムであることを仮定したならばプログラムから非循環的に導出できなければならない。これが定義。

  • アトムはモデルに含まれる場合にのみ、正とみなされる。
  • 正であることを仮定しないものは導出できなくてもよいので、この場合は空集合が解集合になりうる。
  • あるパスで非循環的でさえあれば、別のところで循環していても構わない。

Example 3.1の説明おかしい。

資料 資料をもっと見る／編集する

資料が投稿されると、最新の3件が表示されます。

フィード

shnarazk

shnarazk さんが "Potassco User Guide" 読書会 #02 を公開しました。

2018/04/14 19:17

"Potassco User Guide" 読書会 #02 を公開しました！

グループ

Mendeley数理論理学論考

Mendeley Group on Mathematical Logic

イベント数 9回

メンバー数 1人

終了

2018/04/21(土)

15:30 〜 17:00
Googleカレンダー icsファイル

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2018/04/14(土) 00:00 〜
2018/04/20(金) 12:00

イベントへのお問い合わせ

会場

長崎県庁

長崎県長崎市尾上町3番1号

管理者

参加者（1人）

shnarazk

shnarazk

"Potassco User Guide" 読書会 #02 に参加を申し込みました！

参加者一覧（1人）