[logic-ml] 第84回プログラミング研究会 開催案内

[Takahito Aoto]

     ＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊

情報処理学会 第84回プログラミング研究発表会開催のご案内をさせて頂きます．
6月14日(火)・15日(水)に函館にて開催されます．皆様のご参加をお待ちしております．

また，第1日目の夜に懇親会を予定しています．懇親会への参加をご希望の方は
6月7日(火)までに下記の要領で青戸までお申し込みください．(発表会への参加
自体については事前の申し込みは不要です．)
------------------------------------
To: aoto [at] nue.riec.tohoku.ac.jp
Subject: PRO84-party

6月14日(火)の懇親会に参加します．
  御名前:
  御所属:
  区別: 学生・一般
(6月7日(火)までにお知らせ下さい．)
------------------------------------

なお，下記のプログラムで，発表の順番につきましては今後変更される可能性が
ございますのでご了承ください．最新情報は以下のWEBページに掲載致します．
  http://www.nue.riec.tohoku.ac.jp/pro-2011-1/

---
担当: 青戸等人(東北大学)，花井亮(東京大学)

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

日程: 2011年6月14日(火)・15日(水)
会場: サン・リフレ函館 2階 視聴覚室
　　　〒040-0034 北海道函館市大森町2-14
　　　JR函館駅より徒歩15分
詳細情報: http://www.nue.riec.tohoku.ac.jp/pro-2011-1/

※ 1件あたり45分 (発表25分，質疑・討論20分) 
※ 発表の順番につきましてはまだ確定ではありませんのでご了承ください．

6月14日(火)

セッション１：14:15-15:45

  2011-1-(1)：14:15-15:00
         An Annotated Type System for Inlining
         ○馬 雷，佐藤 周行(東京大学)

  2011-1-(2)：15:00-15:45
        コントロールオペレータの表現力の比較
        ○高島 尚希，亀山 幸義(筑波大学)

15:45-16:00 休憩

セッション２：16:00-17:30

  2011-1-(3)：16:00-16:45
        拡張可能な外部識別子の設計と実装
        ○倉光 君郎(横浜国立大学)

  2011-1-(4)：16:45-17:30
        SSA形式を用いた動的バイトコード操作器の設計と実装
        ○若森 拓馬，井出 真広，菅谷 みどり，倉光 君郎(横浜国立大学)

19:30-21:30
       懇親会

6月15日(水)

セッション３：9:30-11:45

  2011-1-(5)：9:30-10:15
        書き換え帰納法における文脈探索の有効性について
        ○佐藤 晴彦，栗原 正仁(北海道大学)

  2011-1-(6)：10:15-11:00
        弱単項TRSのE重なり性について
        ○三橋 一郎，大山口 通夫，松浦 邦博(三重大学)

  2011-1-(7)：11:00-11:45
        GUIアクセシビリティ技術による網羅的な画面遷移の回帰検査の自動化
         ○中島 一，増田 健，秋山 幸生(日本電信電話株式会社)

------------------------------------------------------------------------