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

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

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

3月

29

"Potassco User Guide" 読書会 #01

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

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

どなたでも

無料

先着順
1/4

申込者
shnarazk
申込者一覧を見る
開催日時
2018/03/29(木) 18:30 ~ 20:00
募集期間

2018/03/25(日) 15:00 〜
2018/03/28(水) 12:00まで

会場

長崎市立図書館

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

マップで見る

イベントの説明

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

コンセントなし、無線LANなしの会場ですができればオンライン演習はしたい。


p.18 3.1.1まで。次回はp.18 3.1.2より。

フィード

shnarazk

shnarazkさんが資料をアップしました。

2018/03/28 13:11

shnarazk

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

2018/03/24 19:25

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

グループ

Mendeley数理論理学論考

Mendeley Group on Mathematical Logic

イベント数 9回

メンバー数 1人

終了

2018/03/29(木)

18:30
20:00

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

募集期間
2018/03/25(日) 15:00 〜
2018/03/28(水) 12:00

会場

長崎市立図書館

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

管理者

参加者(1人)

shnarazk

shnarazk

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

参加者一覧(1人)