機能改善 【受付票発行機能 仕様変更のお知らせ】 「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。 詳しくはこちらをご覧ください。

お知らせ 【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか? 是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう!詳しい内容・取り込み手順はこちら

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

Mar

29

"Potassco User Guide" 読書会 #01

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

Hashtag :#clingo
Registration info

どなたでも

Free

FCFS
1/4

Description

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

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


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

Feed

shnarazk

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

03/28/2018 13:11

shnarazk

shnarazk published "Potassco User Guide" 読書会 #01.

03/24/2018 19:25

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

Group

記号計算大濠社中

Symbolic Computation Ohori Shachu

Number of events 9

Members 1

Ended

2018/03/29(Thu)

18:30
20:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2018/03/25(Sun) 15:00 〜
2018/03/28(Wed) 12:00

Location

長崎市立図書館

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

Organizer

Attendees(1)

shnarazk

shnarazk

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

Attendees (1)