PRO43

第４３回プログラミング研究会 (PRO-2002-5)
日　程：　２００３年３月１８日（火）～１９日（水）
場　所：　情報処理学会会議室（東京都港区芝浦）

3/18日
10:00
(1)グラフ書き換えと時空間様相論理
○萩谷昌己東京大学大学院情報理工学系研究科

(2)モデル検査器を用いた自動検針システムの仕様検証
○早水公二独立行政法人産業技術総合研究所情報科学連携研究体
篠崎孝一関西電力株式会社
高橋孝一独立行政法人産業技術総合研究所情報科学連携研究体
渡邊宏独立行政法人産業技術総合研究所情報科学連携研究体

(3)一部のパス上で合成可能な任意の複数式に対する演算強度軽減法
○川人基弘日本アイ・ビー・エム株式会社東京基礎研究所
小松秀昭日本アイ・ビー・エム株式会社東京基礎研究所
中谷登志男日本アイ・ビー・エム株式会社東京基礎研究所

13:30
(4)大容量キャッシュに向く圧縮型ガーベッジコレクションについて
○藤川国雄電通大情報システム学研究科
　新田寛電通大情報システム学研究科
　寺島元章電通大情報システム学研究科

(5)GIGA:空間解析器生成系におけるグラフィカルな文法定義システム
○亀山裕亮筑波大学大学院工学研究科
飯塚和久筑波大学大学院工学研究科
志築文太郎筑波大学電子・情報工学系
田中二郎筑波大学電子・情報工学系

15:15
(6)分散透過デバッガー機能の拡張
○高木利公早稲田大学大学院国際情報通信研究科
中里秀則早稲田大学

(7)自動生成された候補からの選択によるソフトウェア要求モデル構築とプログラム生成
○会田拓己早稲田大学理工学部情報学科
大須賀節雄早稲田大学大学院理工学研究科

3/19日
10:00
(8)スレッド局所性を利用したJavaロックの高速化
○河内谷清久仁日本アイ・ビー・エム（株）東京基礎研究所
古関聰日本アイ・ビー・エム（株）東京基礎研究所
小野寺民也日本アイ・ビー・エム（株）東京基礎研究所

(9)動的コンパイル環境における実行時経路情報の構造的収集手法の提案
○安江俊明日本アイ・ビー・エム（株）東京基礎研究所
菅沼俊夫日本アイ・ビー・エム（株）東京基礎研究所
小松秀昭日本アイ・ビー・エム（株）東京基礎研究所
中谷登志男日本アイ・ビー・エム（株）東京基礎研究所

(10)スクリプト言語用部分停止型マルチスレッドデバッガDioneaの開発
○永井和宏金沢工業大学大学院情報工学専攻
伊藤泰金沢工業大学大学院情報工学専攻
佐藤規男金沢工業大学大学院情報工学専攻

13:30
(11)アクションゲーム記述に特化した言語
○西森丈俊　筑波大学大学院ビジネス科学研究科
久野靖　　筑波大学大学院ビジネス科学研究科

(12)スタックフレームからの到達性を利用した世代別GC
○林芳樹東京大学大学院情報理工学系研究科知能機械情報学専攻
寺田実電気通信大学電気通信学部情報通信工学科

15:15
(13)プログラムポイント毎の干渉解析を用いたレジスタ割り当て
○水間利治東京工業大学大学院数理・計算科学専攻
佐々政孝東京工業大学大学院数理・計算科学専攻
脇田建東京工業大学大学院数理・計算科学専攻

(14)言語拡張コード再利用のための制約付きモジュールシステム
○佐伯豊東北大学電気通信研究所

◆第43回プログラミング研究会(PRO-2002-5)発表募集

日程　　平成15年3月18日(火)・19日(水)
会場　　情報処理学会会議室 (東京都港区芝浦3-16-20 芝浦前川ビル7F)
発表申込締切　　平成15年1月20日(月)
発表論文原稿提出締切　　平成15年2月18日(火)

申込先　　原田康徳 (NTT コミュニケーション科学基礎研究所)
E-mail: hara@brl.ntt.co.jp
Tel (046)240-3647 FAX (046)240-4709