ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

高等魔術の教理と祭儀

The Craft of Prolog を通して魔法を覚える会

Default latent
日時 :
2009/12/26 (土) 12:30 ~ 19:30
定員 :
10人
会場 :
株式会社アックス 東京支店(東京都新宿区四谷4-34-1 新宿御苑前アネックスビル3F)
主催者 :

Jan Wielemaker 曰く


“Prologの酷い使われ方を数多く目にして来たのは事実だ…
インデントを有効に使っていないし、命名規則に一貫性もない
おまけに制御構造は奇妙に捻れ曲がっている…
これらは書き方の教育、特に設計を学ぶ機会の欠如が原因だろう
…(中略)… ``The Craft of Prolog’’は must-read だ”



Richard O’Keefe ``The Craft of Prolog’’を教科書に、Prologでの実践的なプログラミングを習得します。
想定参加者は、Prologに限定せずプログラミングの経験があり、かつPrologを使った事がある人です。
Prolog未経験でこれからという方は、文献等を参考にサザエさん一家を殺っておきましょう。
参考文献



当日やる事


  1. はじめにインデントありき…コーディングスタイル

  2. 神は二日目に変数や定数や構造体を作ろうとして述語を作った…一階述語論理

  3. 俺がお前でお前が俺で…ヘッドのユニフィケーション

  4. 行ったり来たりは切り捨て御免…グリーンカットとレッドカット

  5. ホリ・ススムがクイックスをやるとどうなるか…DFSとBFS

  6. 念心合体、ゴー!アクエリオン!…ユニフィケーション再び

  7. 後で後悔しないために…先にしておく高階述語

  8. バベルの図書館入館申請書…知識ベースの取り扱い

  9. ATフィールド中和…モジュールとメタ述語

  10. 味付けにマクロを少々…ランタイムとメタプログラム


当日の流れ

12時を目安に会場となるアックス東京支店にお越し下さい。
正門入口は閉ざされていますので、バックトラックしてビル西側の裏口よりお入り下さい。m0h1canが地上入口付近に居りますので、それっぽいなと感じる人にお声をおかけ下さい。
スライドでの解説や教本を皆で読んだり議論したりという形式で進めたいと思います。上述の内容を目安に進行する予定ですが、非決定な振舞いになることは保証いたします。
20時までには撤収完了している塩梅で、後片付けの協力などお願い申し上げます。
終了後は適当なところで食事を混じえてロジックを語りたいと思います。

※お昼は済ませてお越し下さい
※飲食物の持ち込みは、散らばらず油汚れの飛散しないものをお願いします
※魔法使いになるための会ですが既に魔法使いの方や30歳未満で非処女/非童貞の方も参加可能です

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
ranha
ranha - (2009/10/29 (木) 14:05)
蟹かまぼこ持って行きます。ぽえ。
m0h1can
m0h1can - (2009/10/29 (木) 14:28)
当日やる事の2-4は初学者というかProlog書けないって言う人がハマってるポイントだと思う

5-8は中級というか普通に書くとしたら必要になるテクニックの解説で、まぁコツみたいもの

9-10は最近の処理系でどうこうって部分で、規模が大きくなると必須な機構ではあるような
m0h1can
m0h1can - (2009/10/29 (木) 19:54)
参加者駆動要件定義なので、日時や場所の希望・可能性についてコメントを募集しております。
oskimura
oskimura - (2009/10/30 (金) 12:26)
冬コミとかぶってますね。
m0h1can
m0h1can - (2009/10/30 (金) 13:04)
御安心ください!0-8時にやってそのまま会場に向かいます!!

というか12/30は暫定ですらないので無視して頂いて構いません
ranha
ranha - (2009/10/30 (金) 14:30)
はい!!冬コミは行かない/行けない/近寄れないの3原則なので私は大丈夫です。
ranha
ranha - (2009/11/03 (火) 02:52)
Prolog雑学,Prologのリアルな歴史,Prologの現在

とかもあると私に良さそうです!!The Craft of Prologとは関係無いと思うのですが...
m0h1can
m0h1can - (2009/11/03 (火) 16:35)
雑学や歴史辺りはお爺ちゃん先生よんで来ないとなー(ちんちんかもかも

それはともかく、書いておいてアレなんですが僕は12/30にやられると困るので別の日程を希望します!!

具体的にはビッグサイトに行くので30の夜とかの方が良いですが、それはそれで取れる時間が少なそうだし…
ranha
ranha - (2009/11/06 (金) 01:33)
私用で12/23 - 12/30あたりに東京に出るので、その辺だと嬉しいかなーという気持ちがあります。

ただ、24,25はデートなので!!24,25は避けて欲しいかなーという気持ちがあります。

30日は何時でも大丈夫です。
m0h1can
m0h1can - (2009/11/09 (月) 15:05)
12/26,27ではどうでしょうか?あと場所についてこのままでは残念なことになってしまいます!
ranha
ranha - (2009/11/09 (月) 21:08)
26,27は大丈夫の筈です(来月の話をすると鬼以外のなんとかが笑う)



0:00 - 8:00だと、24時間の貸し会議室でも値段が張りますね。
ranha
ranha - (2009/11/15 (日) 13:08)
Go言語はダメだったのでやっぱりPrologです・・・。
kinaba
kinaba - (2009/11/19 (木) 01:26)
26, 27 でしたら参加したいかも。。。
m0h1can
m0h1can - (2009/12/06 (日) 15:29)
会場をとってもとっても欲しています…!

筑波で場所があるならそこって手も………
niha
niha - (2009/12/14 (月) 14:16)
26は会社がキックオフでスーパーミラクルゴールなので19時まで拘束されます
助けてください
k.hibino
k.hibino - (2009/12/19 (土) 22:47)
本が期日までの届くかわかりませんが参加します。
m0h1can
m0h1can - (2009/12/22 (火) 23:50)
12時開始で1コマ30分+15分議論が10コマに休憩15分を2回で8時間ですから20時終了でnihaさんを皆で迎え撃つって感じじゃないでしょうか?

時間がうまく調整出来ずごめんなさい。
ranha
ranha - (2009/12/24 (木) 02:25)
でも会場には10:00から入れるって感じでしょうか??

あと例によっての話として

1.ご飯は予め食べてくるのか

2.飲食物・菓子の持ち込みは可能なのか

の2点があります。
m0h1can
m0h1can - (2009/12/24 (木) 18:31)
会場には12時頃に入る具合でよろしくお願いします。

お菓子はこちらで幾らか用意しますが、あまり汚れる類のモノは避けるようお願いします。

あと終了後は例の如く懇親会(?)ってことで…
おがさわらなるひこ
おがさわらなるひこ - (2009/12/25 (金) 18:36)
あーすんません、当初の予定だと10:00- だということだったので夜まではやらんだろーと夜に予定入れちゃいました。
20時まではいますが、懇親会は残念ながら参加できません。
うむう。残念。

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。