◆第41回プログラミング研究会　　　　主査：村上昌己，幹事：小野寺民也, 渡部卓雄，八杉昌宏

日 程　　 平成14年10月18日(金)・19日(土)
会 場 　　関西学院大学 神戸三田キャンパス

プログラムは変更される可能性があります．
最新情報は案内ページを御覧ください(研究会ホームページからリンクされています)．
http://science.kwansei.ac.jp/~ktakahashi/PROkgu.html

10月18日(金)

[言語・処理系] 13:10-14:40

(1) Javaアプリケーション組み込み用のLispドライバ
○湯淺 太一(京都大学)

(2) Scheme処理系におけるC言語拡張コードへのライトバリア自動挿入
○花井 亮，小宮 常康，八杉 昌宏，湯淺 太一(京都大学)

[オブジェクト指向・ネットワーク] 14:55-17:10

(3) モバイルエージェントのためのデータフロー解析とその応用
○飯島 正，安田 幸弘，原田 賢一(慶應義塾大学)

(4) MixJuice 言語によるデザインパターンの改善
○田中 哲，一杉 裕志(産業総研)

(5) オープンソースの利用者のための支援環境に関する研究
○張　珍良，亀山 渉(早稲田大学)

10月19日(土)

[プロセス計算] 9:40-10:25

(6) TCCT: タイマを柔軟に制御可能な時間付プロセス計算
○伊藤 徹(京都大学)，林 良生(オムロン)，中島玲二(京都大学)，田辺 誠(宇部工高専)

[セマンティクス] 10:40-12:10

(7) Well-behaved Translations between Structural Operational Semantics
○渡邊 宏(産業総研)

(8) Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs
○古澤 仁，木下 佳樹(産業総研)

[型理論・項書換系] 13:00-15:15

(9) Flow Analytic Type System for Array Bound Checks
○松野 裕，佐藤 周行(東京大学)

(10) 単項的TRSにおける単一化問題について
○三橋 一郎，大山口 通夫，太田 義勝，山田 俊行(三重大学)

(11) 単純型付き項書換え系における停止性の自動証明
○青戸 等人(群馬大学)，山田 俊行(三重大学)

第41回プログラミング研究会(PRO-2002-3)発表募集　　　募集は終了しました！

日 程　平成14年10月18日(金)・19日(土)
会 場　関西学院大学 神戸三田キャンパス
発表申込締切 　平成14年8月19日(月)
発表論文原稿提出締切 　平成14年9月18日(水)
申 込 先 高橋 和子 (関西学院大学理工学部)　 E-mail: ktaka@kwansei.ac.jp
Tel (0795)65-8391 FAX (0795)65-8391
* 申込みに当たっての注意はプログラミング研究会のページ を参照してください。
* できるだけE-mailでお願いします。
* 申込み後返信がない場合はご連絡下さい。