第5回プログラミングおよび応用のシステムに関するワークショップ
SPA '02 オンライン論文集

2002年3月4日(月)〜3月6日(水) (大分県 別府温泉)
日本ソフトウェア科学会 ソフトウェアシステム研究会 主催

tarball(tar+gz) (2002/03/01 13:00, 2.7MB)

2002年3月4日 (月)

13:30〜14:00 受付

14:00〜14:10 オープニング

14:15〜15:45 セッション１ 座長：渡部卓雄 （東京工業大学）

• モバイルコード技術を用いたアプリケーション層プロトコルの自動配布
  
  揚妻 匡邦(*1), 河野 健二(*1,*2), 益田 隆司(*1)
  (*1)電気通信大学 情報工学科, (*2)科学技術振興事業団 さきがけ研究21
  概要 , 論文
• Cleaにおけるアプリケーションとネットワークのための協調メカニズム
  
  佐藤 孝治, 廣津 登志夫, 福田 健介, 明石 修, 菅原 俊治
  NTT未来ねっと研究所
  概要 , 論文
• A Pluggable Service-to-Service Communication Mechanism for Home Networks
  
  Jin Nakazawa(*1), Yoshito Tobe(*1), Hideyuki Tokuda(*2)
  (*1) 慶應義塾大学 政策・メディア研究科, (*2) 慶應義塾大学 環境情報学部
  概要 , 論文

16:00〜17:00 セッション２ 座長：河野健二（電気通信大学）

• XMLベースGridRPC システムの構築と評価
  
  白砂 哲(*1), 中田 秀基(*1, *2), 松岡 聡(*1), 関口 智嗣(*2)
  (*1) 東京工業大学, (*2) 産業技術総合研究所
  概要 , 論文
• A Universal File Structure for Tabular Form Processing Systems
  
  Tomokazu ARITA(*1), Shun-ichi NAKAGAWA(*1), Kensei TSUCHIDA(*2), Takeo YAKU(*1)
  (*1) 日本大学 文理学部 情報システム解析学科, (*2) 東洋大学 工学部 情報工学科
  概要 , 論文

18:00 夕食

20:00〜22:00 パネルディスカッション 司会：中島達夫 （早稲田大学）

2002年3月5日(火)

9:00〜10:30 セッション３ 座長：加藤和彦（筑波大学）

• ソースコード理解支援ツール --- JavaMarkup
  
  田中 哲, 一杉 裕志
  産業技術総合研究所
  概要 , 論文
• C言語上のスケルトン並列プログラミングシステム
  
  白沢 楽(*1), 胡 振江(*1), 岩崎 英哉(*2)
  (*1) 東京大学工学系研究科計数工学専攻, (*2) 電気通信大学 情報工学科
  概要 , 論文
• XMLを用いたANSI CのためのCASEツールプラットフォーム
  
  川島 勇人, 権藤 克彦
  北陸先端科学技術大学院大学 情報科学研究科
  概要 , 論文

10:45〜11:45 セッション４ 座長：天野憲樹 （北陸先端科学技術大学院大学）

• Josh : バイトコードレベルでのJava用 Aspect Weaver
  
  中川 清志(*1), 立堀 道昭(*2), 千葉 滋(*3)
  (*1) 東京工業大学 理学部, (*2) 筑波大学大学院 工学研究科, (*3) 東京工業大学大学院 情報理工学研究科
  概要 , 論文
• プログラム分散化のためのアスペクト指向言語
  
  西澤 無我(*1), 立堀 道昭(*2), 千葉 滋(*3)
  (*1) 東京工業大学 理学部 情報科学科, (*2) 筑波大学大学院 工学研究科, (*3) 東京工業大学大学院 情報理工学研究科
  概要 , 論文

12:00 昼食

13:15〜14:45 セッション５ 座長：岡村英明（ソニー）

• 安全なソフトウェア実行システムSoftwarePotの設計と実装
  
  大山 恵弘(*1)　神田 勝規(*2)　加藤 和彦(*1, *2)
  (*1) 科学技術振興事業団, (*2) 筑波大学
  概要 , 論文
• 実行可能コンテンツの安全な実行環境
  
  品川 高廣(*1), 河野 健二(*2,*3), 益田 隆司(*2)
  (*1)東京大学大学院 理学系研究科 情報科学専攻, (*2)電気通信大学 情報工学科, (*3)さきがけ研究21
  概要 , 論文
• 適応型分散オブジェクト指向環境のためのオブジェクトモデルと実装
  
  小田 謙太郎, 安武 芳紘, 加藤 健士, 吉田 隆一
  九州工業大学大学院 情報工学研究科 情報科学専攻
  概要 , 論文

15:00〜16:00 ポスター展示セッション ショート説明 座長：廣津登志夫 （NTT）

16:00〜17:00 招待講演 座長：原田康徳（NTT)

• まつもと ゆきひろ氏
  
  タイトル：ヒューマン指向スクリプト言語Ruby

18:00 夕食

20:00〜22:00 ポスター展示セッション

1. 実行時情報を用いて通信を最適化するPCクラスタ上の並列化コンパイラ
   
   横田 大輔 (筑波大学)
2. フォールトトレラントGrid RPC
   
   野田 裕介 (東京工業大学大学院 情報理工学研究科)
3. Access GRID
   
   首藤 一幸 (産業技術総合研究所)
4. ソフトウェアコンポーネントの分散配置法
   
   林 幸弘 (東京工業大学)
5. 不要なデータを捨てながら移動するモバイルエージェント
   
   木村 信真 (東京工業大学 理学部)
6. 耐タンパ・モバイルエージェントを実現するセキュリティ機構の提案と実装
   
   長谷川 信 (北陸先端科学技術大学院大学)
7. 特定ユーザーのみが利用可能な仮想プライベート・ネットワーク
   
   宇崎 央泰 (東京工業大学 理学部)
8. GOMASHIO:アドホックセンサネットワークにおけるノード位置特定方式
   
   岩谷 晶子 (慶應義塾大学 環境情報学部)
9. A Proximity-base Routing Scheme for Mobile Ad Hoc Networks
   
   斉藤 匡人 (慶應義塾大学)
10. デザイン情報を用いたリフレクションの部分評価
    
    山崎 進 (東京工業大学)
11. Josh : バイトコードレベルでのJava用 Aspect Weaver
    
    中川 清志 (東京工業大学 理学部)
12. プログラム分散化のためのアスペクト指向言語
    
    西澤 無我(東京工業大学 理学部), 立堀 道昭(筑波大学大学院 工学研究科), 千葉 滋(東京工業大学大学院 情報理工学研究科)
13. (1) Constructing System Dependence Graphs for Aspect-Oriented Programs
    (2) Testing Aspects
    
    趙 建軍 (福岡工業大学 情報工学部)
14. タイムスタンプ付ストリームI/Oによる実時間処理
    
    栗田 亮 (東京工業大学 理学部)
15. A Scheme-to-Java Translator with Soft Typing
    
    永田 章人 (東京大学 理学部)
16. Concurrent Programming without Garbage Collection
    
    上田 和紀 (早稲田大学)

2002年3月6日(水)

9:00〜10:30 セッション６ 座長：権藤克彦 （北陸先端科学技術大学院大学）

• ユニバーサルインタラクション
  
  長谷川 温, 芥川 知義, 伊部 浩章, 中島 達夫
  早稲田大学 理工学研究科
  概要 , 論文
• ユーザインタフェースのための線形等式・不等式制約解消系
  
  細部 博史
  国立情報学研究所
  概要 , 論文
• LIMIT: 極限コンパスを実装した作図エディタ
  
  宮本 健司
  法政大学 工学部
  概要 , 論文

10:45〜11:45 セッション７ 座長：八杉 昌宏（京都大学）

• 引用文を活用したメイルの要約
  
  伊知地 宏(*1)，倉部 淳(*2)
  (*1) ラムダ数学教育研究所，(*2)インタービジョン・レーザーフィッシュ
  概要 , 論文
• 詳細なセキュリティポリシー記述のためのインタラクティブな作成環境
  
  阿部 洋丈(*1), 王 維(*1), シュラーニ ペーテル(*1), 加藤 和彦(*1, *2)
  (*1) 筑波大学, (*2) 科学振興事業団 さきがけ研究21
  概要 , 論文

11:45〜12:00 クロージング