[logic-ml] [開催案内] 情報処理学会 第83回プログラミング研究発表会(3/16-17)

[Keisuke Nakano]

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

この場を借りまして，情報処理学会 第83回プログラミング研究発表会開催の
ご案内をさせて頂きます．日程は3月16日-17日で，場所はIBM東京基礎研究所です．
皆様のご参加をお待ちしております．

なお，入館手続きをスムーズに行うため，参加予定の方は事前連絡をお願いし
ます．（当日の飛び入り参加も可能ですが，入館に時間がかかる可能性があり
ます．）

また，3月16日の研究会終了後には懇親会を予定しております．参加希望者は
あわせて出席予定をお知らせ下さい．

   --------
   To: kawatiya <at> jp.ibm.com
   Subject: PRO83参加予定

   第83回PRO研究会に出席します．

   (↓どちらかを消して下さい)
   3月16日の懇親会に参加します．
   3月16日の懇親会に参加しません．

   御名前:
   御所属:
   --------

最新情報は下記ページに掲示されますのでご確認ください．
http://millsmess.cs.uec.ac.jp/pro/2010-5/

               担当：中野圭介(電通大)，河内谷清久仁(日本IBM)

----------------
第83回プログラミング研究会 (PRO-2010-5)
日程：2011年 3月 16日(水)・17日(木)
場所：日本アイ・ビー・エム（株）東京基礎研究所
　　　〒242-8502 神奈川県大和市下鶴間1623-14
　　　東急田園都市線つきみ野駅から徒歩10分，または
　　　小田急江ノ島線／東急田園都市線 中央林間駅より徒歩12分
　　　(交通ガイド http://www.trl.ibm.com/lab/trlmap.htm)

----------------
[プログラム]

2011/03/16 (水)

 9:10 -  9:55   (1) Rubyの文字列処理の手軽な高速化
                   ○中川 博貴 (東京大学)
                     笹田 耕一 (東京大学)

 9:55 - 10:40   (2) 大規模主記憶環境における GC 方式の性能評価
                   ○井出 真広 (横浜国立大学)
                     養安 元気 (横浜国立大学)
                     倉光 君郎 (横浜国立大学)

10:40 - 11:25   (3) 要求駆動型部分無用コード除去
                   ○滝本 宗宏 (東京理科大学)

 (昼食)

12:45 - 13:30   (4) 分散メモリアーキテクチャ向けFuceランタイムシステムと
                   その上でのストリーム処理の評価
                   ○雨宮 聡史 (九州大学)
                     雨宮 真人 (大阪工業大学)

13:30 - 14:15   (5) メモ化表へのプリフェッチによるPackrat Parserの並列化
                   ○遠藤 仁 (筑波大学)
                     前田 敦司 (筑波大学)
                     山口 喜教 (筑波大学)

14:15 - 15:00   (6) 正規表現マッチングの並列化とそのHadoopでの評価
                   ○松崎 公紀 (高知工科大学)
                     江本 健斗 (東京大学)
                     劉 雨 (総合研究大学院大学)

 (休憩)

15:10 - 15:55   (7) CNFSATからHornSATへの変換手法について
                   ○小林 弘二 (フリー)

15:55 - 16:40   (8) 証明支援系Coqのプログラムに対する対話的修正機構の提案
                   ○森口 草介 (東京工業大学)
                     渡部 卓雄 (東京工業大学)

16:40 - 16:50   CS領域奨励賞授与式

18:30 - 21:00   懇親会

					

----------------
2011/03/17 (木)

 9:10 -  9:55   (9) サーバ・クライアント処理の動的分割・再配置機能を備えた
                   Webアプリケーション用言語
                   ○石橋 崇 (電気通信大学)
                     小宮 常康 (電気通信大学)
                     多田 好克 (電気通信大学)

 9:55 - 10:40   (10) Decidability of Reachability for Right-Shallow
                    Context-Sensitive Term Rewriting Systems
                    ○小島 芳治 (名古屋大学)
                      酒井 正彦 (名古屋大学)
                      西田 直樹 (名古屋大学)
                      草刈 圭一朗 (名古屋大学)
                      坂部 俊樹 (名古屋大学)

10:40 - 11:25   (11) Determinization of Conditional Term Rewriting
                    Systems for Program Generation
                    ○長島 正憲 (名古屋大学)
                      酒井 正彦 (名古屋大学)
                      坂部 俊樹 (名古屋大学)

 (昼食)

12:45 - 13:30   (12) Orchid: Webアプリケーションのための安全なコード生成
                    機能を持つプログラミング言語
                    ○高橋 宏文 (筑波大学)
                      亀山 幸義 (筑波大学)

13:30 - 14:15   (13) グラフ書換え言語REGRELによるメタプログラミングの表現
                    ○東 達軌 (東京理科大学)
                      武田 正之 (東京理科大学)

14:15 - 15:00   (14) Practical Implementation of EPLAS: an Epistemic
                    Programming Language for All Scientists
                    ○方 文琤 (埼玉大学)
                      Isao Takahashi (埼玉大学)
                      Yuichi Goto (埼玉大学)
                      Jingde Cheng (埼玉大学)

 (休憩)

15:10 - 15:55   (15) 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発
                    ○篠崎 隆宏 (東京工業大学)
                      関嶋 政和 (東京工業大学)
                      萩原 茂樹 (東京工業大学)
                      古井 貞煕 (東京工業大学)

15:55 - 16:40   (16) 日本語プログラミング言語における関数の多重定義解決の実装と評価
                    ○馬場 祐人 (早稲田大学)
                      筧 捷彦 (早稲田大学)