------------------------------------------------------------------------ 第3回プログラミングおよび応用のシステムに関するワークショップSPA2000 2000年3月20〜22日（静岡県・浜名湖かんざんじ温泉） 日本ソフトウェア科学会オブジェクト指向コンピューティング研究会 主催 プログラム 本案内を含むSPA2000の最新情報がこちら でご覧頂けます． ------------------------------------------------------------------------ 3月20日（月） 12:30-13:30 受付 13:30-13:40 開会 プログラム委員長　渡部 卓雄（北陸先端大） 13:40-14:50 セッション１：移動コード技術（70分） 座長：佐藤 一郎（お茶の水大） スレッド移送のためのバイトコード上の変換技法（30分） 浅野 貴史・脇田 建・佐々 政孝（東京工大） 異機種間モーバイル計算のためのコード表現とその実装（30分） 関口 龍郎・米澤 明憲（東京大） 議論（10分） 14:50-15:05 休憩（15分） 15:05-16:35 セッション２：分散処理（90分） 座長：佐藤 三久（新情報） Dynamic Transport Selection in a CORBA System [研究紹介]（30分） 中島 達夫（早稲田大） A Decentralized Policy Coordination Facility in OpenWebServer（20分） 鈴木 純一・山本 喜一（慶應義塾大） AJaPACK : Experiments in Performance Portable Parrallel Java Numerical Libraries [研究紹介]（30分） 伊藤 茂雄・松岡 聡・長谷川 広和（東京工大） 議論（10分） 16:35-16:50 休憩（15分） 16:50-17:55 セッション３：ネットワーク技術（65分） 座長：河野 健二（電通大） アクティブネットワーク技術を利用したサーバ及びクライアントに透明 なキャッシ ュ機構について（25分） 東村 邦彦（筑波大）・加藤 和彦（筑波大・さきがけ研究21） 縮退アドレスモデルに基づくIPv6上の移動透過プロトコル（30分） 石山 政浩（東芝）・植原 啓介（慶応義塾大）・國司 光宣（慶応義塾大）・ 江崎 浩（東京大）・寺岡 文男（ソニーCSL） 議論（10分） 18:00-20:00 夕食 20:00-22:00 セッション４：イブニングセッション 座長：渡部 卓雄（北陸先端大） 第五世代核言語ができるまで 上田和紀（早稲田大学） ------------------------------------------------------------------------ 3月21日（火） 9:00-10:20 セッション５：メモリ管理（80分） 座長：小野寺 民也（日本アイ・ビー・エム） メモリ管理シミュレータの構想（25分） 内山 雄司・脇田 建（東京工大） リアルタイム環境に適したガベージコレクションAPIの実現について （25分） 権藤 克彦（北陸先端大）・八十島 利典（北陸先端大）・喜多山 卓郎（ソニ ー） 少量のスタックで大部分を深さ優先順にコピーするゴミ集め方式（20分） 八杉 昌宏・伊藤 智一・小宮 常康・湯淺 太一（京都大） 議論（10分） 10:20-10:35 休憩（15分） 10:35-11:55 セッション６：コンポーネント技術（80分） 座長：千葉 滋（筑波大） コンポーネント技術に基づくUndo/Redo機能実装手法（20分） 鷲崎 弘宜・白銀 順子・深澤 良彰（早稲田大） Component-based Algebraic Specification and Verification in CafeOBJ [研究紹 介]（20分） Razvan Diaconescu・二木 厚吉（北陸先端大）・飯田 周作（北陸先端大） LEAD++による動的適応可能なコンポーネントウェアの構成方法 [研究紹介]（30分） 天野 憲樹・渡部 卓雄（北陸先端大） 議論（10分） 12:00-13:30 昼食 13:30-14:30 セッション７：招待講演（60分） 座長：渡部 卓雄（北陸先端大） 進化型ハードウェアとその応用 樋口哲也 博士（電子技術総合研究所） 14:30-14:45休憩（15分） 14:30-16:00 セッション８：データベースとアプリケーション（110分） 座長：原田 康徳（さきがけ研究21） XSLTの逆変換（25分） 岡嶋 大介・萩谷 昌己（東京大） データベース移動に基づく分散データベースシステムDB-MANαにおける同 時実行制 御機構の設計と実装（30分） 酒井 仁・秋山 豊和・海貝 明道・原 隆浩・塚本 昌彦・西尾 章治郎（大 阪 大） GLIシステムの改良と実証実験（25分） 渡辺 恭人・大西 孝義・佐藤 雅明・植原 啓介・村井 純（慶應義塾大） バーチャルキーボード:ビデオ画像からの頑健な実時間指先検出の実現 （20分） 松井 望・山本 喜一（慶應義塾大） 議論（10分） 16:35-16:50 休憩（15分） 16:50-17:50 セッション９：エージェント技術とその応用（60分） 座長：加藤 和彦（筑波大） MobileSpaces: A Framework for Building Adaptive Distributed Applications using a Hierarchical Mobile Agent System [研究紹介]（30分） 佐藤 一郎（お茶の水女子大・さきがけ研究21） A Multi-agent System Support for QoS Negotiation [研究紹介]（20分） Mamadou Tadiou Kone（北陸先端大）・中島 達夫（早稲田大） 議論（10分） 18:00-20:00夕食 20:00-22:00 セッション１０：ポスターセッション ------------------------------------------------------------------------ 3月22日（水） 9:00-10:35 セッション１１：メタレベルアーキテクチャとリフレクショ ン（95分） 座長：横手 靖彦（ソニー） OpenJIT: An Open-Ended, Reflective JIT Compile Framework for Java [研究紹介] （30分） 小川 宏高（東京工大）・志村 浩也（富士通研）・松岡聡（東京工大）・丸 山 冬彦（東京工大）・早田 恭彦（東京工大）・木村 康則（富士通研） 拡張の合成に適したメタレベルの構成（30分） 田中 哲・渡部 卓雄（北陸先端大） 安全な自己反映計算にむけて（25分） 千葉 滋（筑波大・さきがけ研究21） 議論（10分） 10:35-10:50 休憩（15分） 11:20-12:40 セッション１２：オペレーティングシステム（105分） 座長：中島 達夫（早稲田大） Fine-grained Protection Domain based on Segmentation Mechanism（30 分） 品川 高廣（東京大）・河野 健二（電気通信大・さきがけ研究21）・益田 隆司 （東京大） プロセスの依存関係に基づく分散システムのセキュリティ機構（25分） 光来 健一（東京大）・千葉 滋（筑波大・さきがけ研究21）・益田 隆司（東京 大） 車載コンピュータへのBSDの応用（20分） 杉本 信太・植原 啓介・三屋 光史朗・村井 純（慶應義塾大） ネットワークを渡り歩けるコンピュータ（20分） 須崎 有康（電総研） 議論（10分） 12:35-12:45 閉会 ------------------------------------------------------------------------