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

最終更新日:2008年10月2日

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

 

日  程 : 平成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でお願いします。
* 申込み後返信がない場合はご連絡下さい。