第74回プログラミング研究会プログラム

1件あたり45分 (発表25分，質疑・討論20分)

-------------
2009/6/8(月)
-------------

セッション１

10:30-11:15
(1) アスペクト指向言語における操作の抽象化方式
    ○森口 草介，渡部 卓雄（東京工業大学）

11:15-12:00
(2) 属性付きグラフ書換え系による計算モデルの表現とその応用
    ○東 達軌，武田 正之（東京理科大学）

12:00-13:15 昼休み

セッション２

13:15-14:00
(3) スクリプト言語コンパイラのための評価による最適化
    ○戸澤晶彦，小野寺民也（日本IBM）

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

14:45-15:00 休憩

セッション３

15:00-15:45
(5) Decidability and Undecidability Results of Modal mu-calculi
    with N_infty Semantics
    Alexis Goyet，萩谷 昌己，○田辺 良則（東京大学）

15:45-16:30
(6) 質問伝播に基づく投機的部分冗長除去
    ○滝本 宗宏（東京理科大学）

18:00-20:00
    懇親会

-------------
2009/6/9(火)
-------------

セッション４

10:30-11:15
(7) 電子現金の分割利用可能性の形式化と帰納的証明
    ○吉丸 始須雄，高橋 和子（関西学院大学）

11:15-12:00
(8) 動的スクリプト言語処理系が動作する Java 仮想マシンのメモリ分析
    ○三廻部 大，緒方 一則，河内谷 清久仁，小野寺 民也（日本IBM）