主査：村上昌己，幹事：岩崎英哉，八杉昌宏，渡部卓雄

日　　程　　平成15年10月14日（火）・15日（水）
会　　場　　岩手県立大学 共通講義棟 307講義室
　　　　　　　（岩手県岩手郡滝沢村滝沢字巣子）

最新情報は案内ページを御覧ください（研究会ホームページからリンクされています）．
http://ist.ksc.kwansei.ac.jp/~ktaka/PROipu.html

------------------------------------------------------------------------
議　　題

10月14日（火）

[言語・プログラミング支援] 13:45-15:15

（1） 5種類のコードを用いてプログラムを記録する非VM型中間語ildの開発
○堂免信義（リライアブルソフトウェア）， 今城哲二（日立製作所）

（2） Refactoring Aspect-oriented Programs
○Masanori Iwamoto，Jianjun Zhao（福岡工大）

[オブジェクト指向・ごみ集め] 15:30-17:00

（3） オブジェクト指向並列言語OPAのための遅延正規化手法
○馬谷誠二，八杉昌宏，小宮常康，湯淺太一（京大）

（4） 圧縮型ガーベッジコレクションの高速化について
○寺島元章，新田　寛（電通大）

10月15日（水）

[実装・ごみ集め] 10:00-12:15

（5） 階層的グループ化に基づくコピー型ごみ集めによる局所性改善
○八杉昌宏，小宮常康，湯淺太一（京大）

（6） 実行履歴を利用するスレッド別ごみ集め
○千葉雄司（日立製作所）

（7） 非対称なスピンロックの提案とそのJavaへの応用
○河内谷清久仁，古関　聰，小野寺民也（日本アイ・ビー・エム）

[項書換系] 13:15-14:45

（8） Persistence of Termination for Non-Overlapping Term Rewriting Systems
○岩見宗弘（島根大）

（9） Characterizing Inductive Theorems by Extensional Initial Models in a Higher-Order Equational Logic
○草刈圭一朗，酒井正彦，坂部俊樹（名大）

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

開催日時：2003年10月14日（火）・15日（水）
会　　　場：岩手県立大学

応募締切日：2003年8月15日（金）

詳細は以下のページをご覧ください。
http://ist.ksc.kwansei.ac.jp/~ktaka/PROipu.html