PRO79

日　　程　：　　2010年6月14日（月）

会　　場　：　　東京工業大学大岡山キャンパス西8号館E棟10階研究科大会議室
　　　　　　　　　〒152-8552 東京都目黒区大岡山2-12-1
　　　　　　　　　東急目黒線・大井町線大岡山駅より徒歩1分
　　　　　　　　　大岡山キャンパスマップ「大岡山西地区」26番の建物

案内ページ : http://www.nue.riec.tohoku.ac.jp/pro-2010-1/

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

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

2010-1-(1)：9:30-10:15
　　　スタックベースGCの提案とスクリプト言語Luaにおける評価
　　　○小室直，阿部公輝(電気通信大学)

2010-1-(2)：10:15-11:00
　　　リフレクティブなグラフ書換え言語REGREL
　　　○東達軌，武田正之(東京理科大学)

2010-1-(3)：11:00-11:45
　　　L-Closureを用いた真に末尾再帰的なSchemeインタプリタ
　　　○八杉昌宏(京都大学)，小島啓史(レッドハット)，小宮常康(電気通信大学)，平石拓，馬谷誠二，湯淺太一(京都大学)

11:45-13:15 昼休み

セッション２：13:15-14:45

2010-1-(4)：13:15-14:00
　　　構成的理論に基づいたプログラミング言語Zとその実装
　　　○新名庸生，佐藤雅彦，馬谷誠二，八杉昌宏，湯淺太一(京都大学)

2010-1-(5)：14:00-14:45
　　　明示的なα変換を用いたα単一化
　　　○山口文彦，斎藤博明(慶應義塾大学)

14:45-15:00 休憩

セッション３：15:00-16:30

2010-1-(6)：15:00-15:45
　　　自然言語による仕様記述の形式モデルへの変換を利用した品質向上手法
　　　○大森洋一，荒木啓二郎(九州大学)

2010-1-(7)：15:45-16:30
　　　量子化と包摂
　　　○太田昌孝(東京工業大学)

18:00-20:00
　　　懇親会

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

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

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

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

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

日　　程　：　　2010年6月14日（月）・15日（火）

発表申込締切　：　2010年4月14日（水）
投稿論文原稿提出締切　：　2010年5月14日（金）

申込先　：　青戸等人 (東北大学電気通信研究所)
　　　　　　　　　E-mail: aoto [at] nue.riec.tohoku.ac.jp
　　　　　　　　　Tel: 022-217-5420 / Fax: 022-217-5426 (電気通信研究所)

案内ページ : http://www.nue.riec.tohoku.ac.jp/pro-2010-1/

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

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

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