情報処理学会ホームに戻る

最終更新日：2010年10月13日

第81回 プログラミング研究発表会
 

日　　程　：　　2010年 10月28日（木）〜29日（金）
　　　　　　　　　　　10月28日（木） 13:00 〜 17:00 （発表 5件）
　　　　　　　　　　　10月29日（金） 9:00 〜 16:15 （発表 7件）
会　　場　：　　高知県立文学館

担　　当　：　　首藤一幸（東京工業大学）、Jacques Garrigue（名古屋大学）
問い合わせ先　：　首藤一幸（shudo [at] is.titech.ac.jp）

詳細情報　： http://www.shudo.net/sigpro/2010-3/


------ プログラム ------

※ 1件あたり45分 （発表25分，質疑・討論20分）

10月28日（木）

［13:00〜15:15]
　1. Argument Filterings and Usable Rules in Higher-Order Rewrite Systems
　　　○SUZUKI Sho、KUSAKARI Keiichirou （Nagoya University）、Fr\'{e}d\'{e}ric Blanqui （INRIA）

　2. 例外処理を持つ関数型プログラムの停止性・非停止性証明法
　　　○濱口 毅、酒井 正彦、馬場 正貴、阿草 清滋 （名古屋大学）

　3. 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
　　　○塚田 武志、小林 直樹 （東北大学）

［15:30〜17:00]
　4. ブラウザ上のWebアプリケーションの応答性を高める実装手法
　　　○涌井 智寛、沼崎 隼一、三塚 恵嗣、畠山 正行 （茨城大学）

　5. SH4A向けコンパイラにおける
　　 0-1整数計画法を使った浮動小数点演算精度指定命令の選択と挿入
　　　○坂本 諒、千葉 雄司、久保田 光一、土居 範久 （中央大学）

［19:00〜 ]懇親会

10月29日（金）

［9:00〜10:30]
　6. 2つのメソッド呼び出しに関わる最適化を可能にするアスペクト指向言語
　　　○伊尾木 将之、千葉 滋 （東京工業大学）

　7. 最適化Packrat Parserの空間計算量の計算手法の提案
　　　○水島 宏太、前田 敦司、山口 喜教 （筑波大学）

［10:45〜11:30]
　8. 静的単一代入形式を用いたポインタ解析アルゴリズム
　　　○田中 雄一、大山口 通夫 （三重大学）

［11:30〜13:00] 昼休み

［13:00〜14:30]
　9. スクリプト言語GavaOneの設計と実装
　　　○木村 紀介

　10. Scheme言語によるリスト構造に特化したXMLデータ処理の効率化と記述性の向上
　　　○坪井 啓明、前田 敦司、山口 喜教 （筑波大学）

［14:45〜16:15]
　11. 同一入力位置で複数発生する左再帰へ対応したPackrat Parsingの設計と実装
　　　○白田 佳章、木山 真人、芦原 評 （熊本大学）

　12. 領域限定言語に基づく最適経路問合せ
　　　○森畑 明昌 （東北大学）、松崎 公紀 （高知工科大学）、武市 正人 （東京大学）

 

 

＊＊＊＊＊＊↓↓発表募集は終了しました↓↓＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

プログラミング研究会（PRO）は，

  • プログラミング言語の設計、処理系の実装
  • プログラミングの理論、基本概念
  • プログラミング環境、支援システム
  • プログラミング方法論、パラダイム
  • これらを応用したシステムの開発事例
  • その他、プログラミングに関する面白い話題

を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表さ れたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているもの が査読の対象となっています （論文誌投稿を希望しない発表も歓迎します）． おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2010年第3回研究会も多くの発表ならびに論文投稿をお待ちしており ます．参加費は無料です．申込締切は8月27日（投稿締切は9月27日）ですので， よろしくご検討ください．

第81回プログラミング研究発表会 （PRO-2010-3） 発表論文募集

日　　程　：　　2010年10月28日（木）・29日（金）

会　　場　：　　高知県立文学館
　　　　　　　　　〒780-0850 高知県高知市丸ノ内1-1-20

発表申込締切　：　2010年8月27日（金）
投稿論文原稿提出締切　：　2010年9月27日（月）

申 込 先　：　首藤一幸（東京工業大学）
　　　　　　　　　E-mail: shudo [at] is.titech.ac.jp 　Tel/Fax: 03-5734-3211 

案内ページ : http://www.shudo.net/sigpro/2010-3/

* 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。
* できるだけE-mailでお願いします。
* 申込み後返信がない場合はご連絡下さい。