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

最終更新日：2007年12月26日

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

日　　程　：　平成20年1月24日（木）・25日（金）

会　　場　：　〒980-8577 仙台市青葉区片平2丁目1-1
　　　　　　　　東北大学電気通信研究所 2号館大会議室
　　　　　　　　http://www.riec.tohoku.ac.jp/index-j.html

問合せ先　：　磯部 祥尚 （産総研） e-mail: y-isobe@aist.go.jp

案内ページ：　http://staff.aist.go.jp/y-isobe/PRO/PRO67-tohoku.html

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

1月24日（木）午後

（1） 13:00-13:45
　　定理証明器による電子現金プロトコルの検証
　　安田武史、高橋和子（関西学院大）

（2） 13:45-14:30
　　木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
　　佐藤亮介、小林直樹（東北大）

14:30-14:45 休憩

（3） 14:45-15:30
　　Javaにおけるコンテナ向けキャストの除去
　　千葉雄司（日立製作所）

（4） 15:30-16:15
　　Java向け動的コンパイラによる配列参照の最適化
　　柳　　優、田中俊之、千葉雄司、土居範久（中央大）

（5） 16:15-17:00
　　Javaプログラムを対象とするGUI操作記録・再生型デバッグシステム
　　柏村俊太朗（電通大）、丸山 一貴（東大）、寺田　実（電通大）


1月25日（金）午前

（6） 9:30-10:15
　　Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
　　グエン バン タン、小川瑞史（北陸先端大）

（7） 10:15-11:00
　　Java分散オブジェクトからπ計算プロセスへの変換系
　　甲斐貴史、加藤　暢、樋口昌宏（近畿大）

（8） 11:00-11:45
　　Product Derivatives of Regular Expressions
　　鈴木大郎、奥居　哲（会津大）

11:45-13:00 昼休み

1月25日（金）午後

（9） 13:00-13:45
　　JavaScriptと非同期HTTPリクエストによる共同作業支援ミドウェアの構築
　　長尾雄行、土屋陽介、森本祥一、中鉢欣秀（産業技術大学院大）

（10） 13:45-14:30
　　凹凸情報と接触パターンに基づく定性空間表現
　　雲川　翔、高橋和子（関西学院大）

（11） 14:30-15:15
　　プログラミングとマッピング
　　倉光君郎（横浜国立大）

　

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

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

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

を対象とした研究発表の場で、1998年度から毎年3〜4回のペースで論文誌を発行しています。PRO論文誌は研究会と密接にリンクしており、研究会で発表されたもののうちあらかじめ論文投稿を希望し、論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）。おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です。2007年度第4回研究会も多くの発表ならびに論文投稿をお待ちしております。参加費は無料です。申込〆切は11月21日（投稿〆切は12月21日）ですので、よろしくご検討ください。尚、今までは本論文誌で採録された英文論文はDigital Courier にもオンライン版として掲載されていましたが、学会全体での論文誌の見直しに伴い、今後は掲載されないことになりました。ご了承ください。

第67回プログラミング研究発表会 （PRO-2007-4） 発表論文募集

日　　程　：　平成20年1月24日（木）・25日（金）

会　　場　：　東北大学電気通信研究所2号館大会議室
　　　　　　　　 http://www.riec.tohoku.ac.jp/index-j.html

発表申込締切　：　平成19年11月21日（水）
投稿論文原稿提出締切　：　平成19年12月21日（金）

申 込 先　：　磯部祥尚 （産業技術総合研究所 情報技術研究部門）
　　　　　　　　　E-mail: y-isobe@aist.go.jp
　　　　　　　　　Tel: 029-861-5892　Fax: 029-861-5918

案内ページ　：　http://staff.aist.go.jp/y-isobe/PRO/PRO67-tohoku.html

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