情報処理学会プログラミング研究会 - 第73回研究発表会 - プログラム

情報処理学会 第73回プログラミング研究発表会

日程:2009年3月16日(月)・17日(火)
会場: 東京大学 駒場第1キャンパス 18号館ホール
〒153-8902 東京都目黒区駒場3-8-1
京王井の頭線 駒場東大前駅下車 徒歩5分ぐらい
担当:河内谷清久仁(日本IBM)，増原英彦(東京大学)
(問い合わせ先: 河内谷清久仁 <kawatiya [at] jp.ibm.com>)

プログラム

2009/03/16(月)

セッション1 − 座長：伊知地 宏 (ラムダ数学教育研究所)

 12:45-13:30
  (1) ドメイン特化型言語のためのビジュアルエディタの定式化
      ○佐々木 晃，市川 寛 (法政大学)，田沼 英樹 (東京工業大学)

 13:30-14:15
  (2) テンプレート・プログラミングモデルに基づく安全なクライアント・サーバ自動分割
      ○立堀 道昭，鈴村 豊太郎，小野寺 民也 (日本IBM)

 14:15-14:30  休憩

セッション2 − 座長：田中 哲朗 (東京大学)

 14:30-15:15
  (3) データ列に関するアルゴリズムの属性文法の逆変換に基づく導出
      ○森本 真一 (日本電気航空宇宙システム)

 15:15-16:00
  (4) リターンバリア型実時間ごみ集めの抽象モデル検査
      ○藤川 浩光，馬谷 誠二，八杉 昌宏，湯淺 太一 (京都大学)

 16:00-16:15  CS領域奨励賞授与式

 18:00-20:00  懇親会


2009/03/17(火)

セッション3 − 座長：笹田 耕一 (東京大学)

 10:30-11:15
  (5) メソッド実行委託を用いたRubyプロセスの負荷分散ライブラリ
      ○川ノ上 哲規，岩崎 英哉，鵜川 始陽 (電気通信大学)

 11:15-12:00
  (6) 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証
      ○Ling F.，佐々 政孝 (東京工業大学)

 12:00-12:45
  (7) Computing the Cost of Typechecking of Composition of Macro Tree Transducers
      ○中野 圭介 (電気通信大学)，Sebastian Maneth (National ICT Australia Ltd. / University of New South Wales)
Last update: 2009-03-17 =