日 程 : 平成20年10月28日(火)・29日(水)
会 場 : 松江テルサ (島根県松江市朝日町)
担 当 : Jacques Garrigue(名大)・ 小宮常康(電通大)
交通案内や懇親会に関する情報
プログラム(最新版はこちらをご覧下さい)
10月28日 (火)
[09:10-10:40]
・効率的なビットマップマーキングを用いたRuby用ごみ集め実装
○中村成洋、松本行弘(ネットワーク応用通信研究所)
・Ruby VMにおけるmostly-copying GCの実装
○鵜川始陽(電通大)
[10:50-12:20]
・Ruby処理系へのスナップショットGCの実装
○相川 光、笹田耕一、本位田真一(東大)
・Ricsin: RubyにCを埋め込むシステム
○笹田耕一(東大)
[13:20-14:50]
・Rubyにおける実用的な多言語処理の実装
○松本行弘(ネットワーク応用通信研究所)
・atomic-Ruby: 世界でたった一つだけのRuby
○奈須翔太、辻 良繁、相川 光、笹田耕一、竹内郁雄(東大)
[15:00-17:15]
・メモリ共有を考慮したRPCシステム
○安積卓也(名大)、大山博司(オークマ)、高田広章(名大)
・動的電圧制御システムにおけるエネルギー効率的なプログラムの導出
○横山哲郎、今井敬吾、曾 剛、冨山宏之、高田広章、結縁祥治(名大)
・並列コピーの導入による生存区間分割手法の性能向上
○中林淳一郎(早大)、片岡正樹、古関 聰、小松秀昭(日本IBM)、深澤良彰(早大)
10月29日 (水)
[09:10-10:40]
・制約付き項書換え系における書換え帰納法
○坂田 翼、西田直樹、坂部俊樹、酒井正彦、草刈圭一朗(名大)
・On the Inclusion Problem for Context-free Real-time Languages
○Nguyen Van Tang、Mizuhito Ogawa(JAIST)
[10:50-12:20]
・組合せ子の非循環性と関連する性質について
○岩見宗弘(島根大)
・型安全な再利用可能アスペクトを目指したMJベースのAOP言語とその型システムの提案
○草野直樹、鎌田十三郎(神戸大)
[13:30-15:00]
・Recognizability of Redexes for Higher-Order Rewrite Systems
○Hideto Kasuya(愛知県立大)、Masahiko Sakai、Kiyoshi Agusa(名大)
・データ列に対する各種アルゴリズムの逆変換に基づく統一的導出
○森本真一(日本電気航空宇宙システム)
[15:10-16:40]
・並列プログラムの候補生成と適合性検査による並列化
○森畑明昌、松崎公紀(東大)、胡 振江(NII)、武市正人(東大)
・Head-Needed Strategy of Higher-Order Rewrite Systems and its Decidable Classes
○Hideto Kasuya、Masahiko Sakai、Kiyoshi Agusa
**↓↓発表募集は終了しました↓↓***********************
プログラミング研究会(PRO)は、
* プログラミング言語の設計、処理系の実装
* プログラミングの理論、基本概念
* プログラミング環境、支援システム
* プログラミング方法論、パラダイム
* これらを応用したシステムの開発事例
* その他、プログラミングに関する面白い話題
を対象とした研究発表の場で、1998年度から毎年3〜4回のペースで論文誌を発行しています。PRO論文誌は研究会と密接にリンクしており、研究会で発表されたもののうちあらかじめ論文投稿を希望し、論文原稿を提出されているものが査読の対象となっています(論文誌投稿を希望しない発表も歓迎します)。おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です。本年10月の研究会も多くの発表ならびに論文投稿をお待ちしております。参加費は無料です。申込〆切は8月28日(投稿〆切は9月28日)ですので、よろしくご検討ください。
第71回プログラミング研究発表会 (PRO-2008-3) 発表論文募集
日 程 : 平成20年10月28日(火)・29日(水)
会 場 : 松江テルサ (島根県松江市朝日町)
発表申込締切 : 平成20年8月28日(木)
投稿論文原稿提出締切 : 平成20年9月28日(日)
申 込 先 : Jacques Garrigue(名古屋大学多元数理科学研究科)
E-mail: ipsj-pro71[_at_]math.nagoya-u.ac.jp ([_at_]を@に変えてください)
Tel/Fax: 075-231-0160
* 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/
を参照してください。
* できるだけE-mailでお願いします。
* 申込み後返信がない場合はご連絡下さい。