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

第56回プログラミング研究会は、10月11日・12日の両日、玉原国際セミナーハウス （群馬県沼田市） で開催されます。参加費は、発表資料をふくめ無料です。発表資料は、紙によるもののほか、USB メモリなどで電子的にも提供する予定です。

【注意】会場の近辺には他の宿泊施設や公共交通機関はございませんので、参加を希望される方は、上記ページに記載の詳細情報を参照するとともに

**** 宿泊の有無にかかわらず、9月30日（金）までに参加申込を行ってください****

お問い合わせは担当の長谷川までお寄せください。皆様のご来聴をお待ち申し上げております。

長谷川立
東京大学数理科学研究科
ryu@ms.u-tokyo.ac.jp

その他詳細は以下のWebページをご参照ください。
http://www.ms.u-tokyo.ac.jp/￣ryu/pro-2005-3/

*************************************

日 　程　：　平成17年10月11日（火）13：45〜17：00
　　　　　　　　　　　　　　　　12日（水） 9：15〜12：30

会 　場　：　玉原国際セミナーハウス（群馬県沼田市上発知町玉原高原）

議　 題　：

10月11日（火）

［13：45〜15：15］
（1）対話型アニメ作成ツールIslayを用いたプログラミング
　　　岡本秀輔（成蹊大）、下村達也、鎌田　賢、米倉達広（茨城大）

（2）IIOSSにおけるUMLモデルの振舞い解析
　　　佐野元之 （オープンテクノロジーズ／明大）、疋田輝雄（明大）

［15：30〜17：00］
（3） アスペクト指向プログラミングと Dependency Injection の融合
　　　石川　零、千葉　滋（東工大）

（4）行列計算のためのMATLABベース静的型付け言語の設計と実装
　　　川端英之、北村俊明（広島市立大）

10月12日（水）

［9：15〜10：45］
（5）定理アーカイブにおけるDoS攻撃耐性
　　　西崎真也、玉野浩嗣（東工大）

（6）Pattern Matching Incompletely RE-Typed Expressions via Transformation
　　　奥居　哲（中部大）、鈴木太朗（会津大）

［11：00〜12：30］
（7）A Transformation-Based Implementation of Lightweight Nested Functions
　　　平石　拓、八杉昌宏、湯淺太一（京大）

（8）Javaのメソッドにおける基本ブロックの配置最適化
　　　田中慎司（日本電信電話）、山田哲靖 （NTTソフトウェア）、八尾　宏（日本電信電話）

　

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

日 　程　：　平成17年10月11日（火）・12日（水）

会 　場　：　玉原国際セミナーハウス

発表申し込み締切　：　平成17年8月12日（金） → 8月26日（金）に延長しました！！

投稿論文原稿提出締切　：　平成17年9月12日（月）

申 込 先　：　長谷川立（東京大学 数理科学研究科）
　　　　　　　　　E-mail: ryu@ms.u-tokyo.ac.jp
　　　　　　　　　Tel （03）5465-8337 FAX （03）5465-8337

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

※その他詳細は以下をご参照下さい。
　 http://www.ms.u-tokyo.ac.jp/￣ryu/pro-2005-3/