02 2017/03 04
26272801020304
05060708091011
12131415161718
19202122232425
26272829303101
Click セミナー

シンポジウムのご案内

ERATO湊離散構造処理系+NEO合同研究会(2010年度第2回研究集会)

場所:ERATO 札幌オフィス
日時:2010年7月30日(金) 10:30-17:20
参加費:無料

プログラム

7月30日(金)

開始時間 終了時間 発表者 タイトル
10:30 11:20 川原 純(ERATO) BDDを用いたオンラインアルゴリズムの自動解析
11:35 12:25 玉置 卓 (京都大学) 3SATに対する乱択アルゴリズムの改良
14:40 15:30 櫻井 祐子(ERATO) 情報経済の理論的基盤とその応用 <関連論文(Coalition Structure Generation Utilizing Compact Characteristic Function Representations)へのリンク>
15:45 16:35 河内 亮周(東京工業大学) アーサー王と魔術師マーリン ―脱乱択化と回路計算量―
16:50 17:20 湊 真一(北海道大学,ERATO) ERATO湊離散構造処理系プロジェクトの概要と最近の話題

参加者リスト(ERATO)

湊真一JST ERATO 
白井康之JST ERATO
櫻井裕子JST ERATO
吉仲亮JST ERATO
川原純JST ERATO
齋藤寿樹JST ERATO

参加者リスト(NEO研究会)

伊藤大雄京都大学
巳波弘佳関西学院大学
玉置卓京都大学
河内亮周東京工業大学
加藤直樹京都大学
照山順一京都大学
徳山豪東北大学
米澤弘毅北海道大学
加藤翔北海道大学
羽室行信関西学院大学 
上嶋章宏大阪電通大
松井泰子東海大学
堀山貴史埼玉大学
全眞嬉東北大学
岡本吉央東京工業大学
川合雄大京都大学
宇野毅明NII
山本章博京都大学
上原隆平JAIST