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

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

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

5月

25

"Potassco User Guide" 読書会 #03

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

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

どなたでも

無料

先着順
1/4

申込者
shnarazk
申込者一覧を見る
開催日時
2018/05/25(金) 18:00 ~ 19:30
募集期間

2018/05/22(火) 00:00 〜
2018/05/25(金) 01:00まで

会場

長崎市立図書館

長崎県長崎市興善町1-1

マップで見る

イベントの説明

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


  • 3.1.12 aggregates -- 集合的制約
  • 次回はp.34から

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

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

フィード

shnarazk

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

2018/05/22 11:06

"Potassco User Guide" 読書会 #03 を公開しました!

グループ

Mendeley数理論理学論考

Mendeley Group on Mathematical Logic

イベント数 9回

メンバー数 1人

終了

2018/05/25(金)

18:00
19:30

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

募集期間
2018/05/22(火) 00:00 〜
2018/05/25(金) 01:00

会場

長崎市立図書館

長崎県長崎市興善町1-1

管理者

参加者(1人)

shnarazk

shnarazk

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

参加者一覧(1人)