第43回プログラミング研究会 (PRO-2002-5)
日 程: 2003年3月18日(火)〜19日(水)
場 所: 情報処理学会会議室(東京都港区芝浦)

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日(火)

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