[[FrontPage]] * IDEON 合宿 2007春 プログラム (2007-04-09 版) [#i5d08591] :日時| - 1日目: 2007年4月11日(水) 13:00-22:00 - 2日目: 2007年4月12日(木) 09:00-18:00 :場所| - 慶應義塾大学湘南藤沢キャンパス・セミナーゲストハウス :参加予定者 (アルファベット順)| - doi, imaq, ks91, scottie, shirou(仮), sho, shudo, takano, yoshfuji, youki :テーマ| - オーバレイネットワークプログラミング ** アジェンダ [#v25b9482] *** 1日目 [#p331c346] - 並行プログラミングモデル (13:00-15:00 くらい) -- CSP -- 並行論理型言語 (特に GHC/KL1) --《追加してください》 - オーバレイネットワークプログラミングのための言語設計 (15:30-18:00 くらい) -- OverLog -- GHC on wija --《追加してください》 - 地球規模オペレーティングシステムの実現に向けた議論 (19:00-22:00 くらい) *** 2日目 [#uf193e2f] 以下のいずれか - GHC によるオーバレイネットワークプログラミング(仮) --《処理系を鋭意開発中》 - OW 用宣言型プログラミングエンジン(仮) -- 《思いつきです》 - OW 上の Applet(仮) -- 《どいさんの思いつきです》 - 《追加してください》 途中、徳田・村井研の授業にお邪魔します (16:30-16:45 くらい) * IDEON 合宿 2007春 リーディングリスト (2007-04-09 版) [#d548d524] **ゴール [#xda22c0c] ***地球規模オペレーティングシステム [#z8cd5951] - ブルース・スターリング, 招き猫. -- タクラマカン (文庫), 早川書房, ISBN4-15-011341-6 -- 無数のネットワークが自動的なコーディネートによる贈答経済を構成する社会を描く SF 作品。 **アーキテクチャ [#mc2cd115] ***地産地消 P2P [#y683053a] - Kenji Saito, Eiichi Morino, Yoshihiko Suko, Takaaki Suzuki and Jun Murai, Local Production, Local Consumption Peer-to-Peer Architecture for a Dependable and Sustainable Social Infrastructure. -- http://www.media-art-online.org/pdf/das-p2p2007-lplc.pdf -- 大規模地産地消ネットワークのための 5階層アーキテクチャを提案。 ***分散計算 [#r7e54b08] - 野澤康文, 横山大作, 近山 隆, 分散ハッシュ表に基づく大規模探索問題の耐故障並列化手法 -- http://www.logos.t.u-tokyo.ac.jp/~yokoyama/study/nozawa_2006pro.pdf **計算モデル [#te6dd4dc] ***CSP (Communicating Sequential Processes) [#e8e1a835] - C.A.R. Hoare, Communicating Sequential Processes. -- http://www.usingcsp.com/cspbook.pdf -- 通信する逐次プロセスによる計算モデル/プログラミング言語/プロセス代数である CSP を提唱する古典の新版。 ***その他プロセス計算/代数 [#m84f9c9d] - Wikipedia -- http://en.wikipedia.org/wiki/Process_calculi **プログラミング言語 [#k78d6699] ***並行論理型言語 GHC (Guarded Horn Clauses) [#v72f7fee] - Kazunori Ueda, Guarded Horn Clauses. -- http://www.ueda.info.waseda.ac.jp/~ueda/pub/GHCthesis.pdf -- GHC の原典であり、上田先生の学位論文。 - Kenji Saito, TGHC: Timed Guarded Horn Clauses. -- http://www.media-art-online.org/pdf/tghc.pdf -- GHC に実時間制約を導入した言語の設計。斉藤の修士論文に当たるもの。 - 上田和紀, 並行論理プログラミング言語 GHC/KL1. -- http://www.ueda.info.waseda.ac.jp/~ueda/readings/GHC-intro.pdf -- 上田先生自身による GHC/KL1 入門。 ***OverLog [#afcbfabd] - Boon Thau Loo, Petros Maniatis, Tyson Condie, Timothy Roscoe, Joseph M. Hellerstein and Ion Stoica, Implementing Declarative Overlays. -- http://db.cs.berkeley.edu/papers/sosp05-p2.pdf -- Chord を 47ルールで記述できる言語 Overlog に関する論文。