一般セッション・学生セッション・デモセッション

ソフトウェア科学・工学

一般セッション　[3D会場］　(3月10日 (水) 9:30〜12:00) 数理的アルゴリズム　　座長　大西　建輔(電通大) 3D-1 直交表による実験計画の計画・解析ソフトの開発 ○須田健二(群馬高専) 3D-2 グループに対応した双方向マッチングアルゴリズム ○竹田　淳(三菱)，伊藤由樹，土田泰治(三菱インフォメーションシステムズ)， 奥田晴久，橋本　学(三菱) 3D-3 三次元 Delaunay 三角形分割におけるランダム化点位置決定アルゴリズム ○小林陽介，今井桂子(中大) 3D-4 Balanced C12-Trefoil Decomposition Algorithm of Complete Graphs ○藤本英昭，潮　和彦(近畿大) 3D-5 Balanced C12-Bowtie Decomposition Algorithm of Complete Graphs ○潮　和彦，藤本英昭(近畿大)

一般セッション　[1G会場］　(3月9日 (火) 13:15〜15:15) 要求定義・ソフトウェアプロセス　　座長　海谷　治彦(信州大) 1G-1 組み込みシステム開発用多機能Behaviorモデラ-の開発(第3報) -IT機器のユーザーインターフェース挙動モデリングによる有効性検証- ○漆原映彦，金井　理，岸浪建史(北大) 1G-2 インタビューによる要求抽出作業を誘導するシステム -アプリケーション固有の誘導- ○木口貴人，林雄一郎，小島　章，木下大輔(芝浦工大)，八重樫理人(埼玉大)， 橋浦弘明，古宮誠一(芝浦工大) 1G-3 インクリメンタル開発による既存製品バージョン・アップ ○森　茂子(日本IBM) 1G-4 アスペクト指向による開発プロセス定義 ○上野浩一郎(三菱) 1G-5 構成管理システムを活用したソフトウェア開発プロセス改善への取り組み事例 ○會澤　実，白井保隆(東芝)，大木雅彦，杉山昭洋(トプコン)，吉崎浩二(上武大)

一般セッション　[3G会場］　(3月10日 (水) 9:30〜12:00) 再利用・合成・品質　　座長　野村　佳秀(富士通研) 3G-1 部品合成による自動プログラミングシステム-骨組み部品としてのフレームワークとその知識表現- ○根本典明，上之薗和宏，橋浦弘明，古宮誠一(芝浦工大) 3G-2 データベースのXML化による効果 ○柴田和紀(富士通ネットワークテクノロジーズ) 3G-3 通信機器サービス用Webシステム開発フレームワークの開発 ○山田耕一，鷲尾元太郎，山足光義，茂木　強(三菱) 3G-4 不具合タイプに基づく欠陥分類手法 ○塩浜　徹，三輪泰生(島津製作所) 3G-5 オブジェクト指向プログラムにおけるテストカバレージの計測 ○藁谷大輔，小倉　崇，古宮誠一(芝浦工大)

一般セッション　[4G会場］　(3月10日 (水) 14:30〜17:00) 適応的アルゴリズム　　座長　古谷　博史(宮崎大) 4G-1 ナップザック問題における評価関数設定に対する探索空間構造に関する考察 ○吉澤大樹，橋本周司(早大) 4G-2 編集距離を用いた順序木とタグ木パタンのマッチング ○久保山哲二(東大)，宮原哲浩(広島市大)，安田　浩(東大) 4G-3 ユリウス日と暦日の間の変換アルゴリズムを用いた暦日妥当性チェック関数の提案と実装 ○山泉貴之(日本IBM) 4G-4 HH(Hula-Hoop)数理モデル i.e. 太陽系における「惑星の自転と衛星の公転の関係」並びに 「太陽の自転と惑星の公転の関係」のMPS(Mathematical Problem Solving)モデルのデータ検証 ○林　大雅(機械産業記念事業財団)，林佐千男(電通国際情報サービス) 4G-5 混合分布モデルを用いたマイクロアレイの遺伝子発現量推定 ○竹谷　勝(農業生物資源研)，松田岳博，津村徳道(千葉大)， 岩本政雄(農業生物資源研)，三宅洋一(千葉大)

一般セッション　[5G会場］　(3月11日 (木) 9:30〜12:00) 言語処理系　　座長　田中　二郎(筑波大) 5G-1 （講演取消） 5G-2 LMNtalルールコンパイラにおける内部命令の設計 ○水野　謙，永田貴彦，加藤紀夫，上田和紀(早大) 5G-3 Association　Aspect-アスペクト指向プログラミングにおけるアスペクトのインスタンス化機構の拡張- ○櫻井孝平(芝浦工大)，増原英彦(東大)，鵜林尚靖(九工大)，松浦佐江子，古宮誠一(芝浦工大) 5G-4 SOBA分散同期モデルに基づくコラボレーション用Eclipseプラグインの開発 ○林　良生(オムロン)，新納正康(京都高度技研)，中島玲二(京大) 5G-5 マルチスレッド・プログラムにおける効率的なトレース方式 ○稲垣　巖，古澤　修(日本IBM) 5G-6 （講演取消）

一般セッション　[6G会場］　(3月11日 (木) 14:30〜17:00) ソフトウェア開発支援環境　　座長　山本修一郎(NTTデータ) 6G-1 ユビキタスユーザインタフェースミドルウェア(1) -構想とソフトウェアモデル- ○石原　鑑，中田秀男，轟木伸俊，大崎雅代，秋吉政徳(三菱) 6G-2 ユビキタスユーザインタフェースミドルウェア(2) -構築環境- ○中田秀男，津高新一郎，高田秀志，石原　鑑，寺岡照彦(三菱) 6G-3 ユビキタスユーザインタフェースミドルウェア(3) -表示画面の生成- ○寺岡照彦，北村操代(三菱) 6G-4 ユビキタスユーザインタフェースミドルウェア(4) -異種端末間での作業状態の引継ぎ- ○轟木伸俊，北村操代，石原　鑑(三菱) 6G-5 Visual BasicからJ2EE環境への移行支援ツール ○米谷雅樹(日本IBM) 6G-6 制約に基づくソフトウェア開発計画自動立案システム-WWW上に構築するシステムの概要- ○根本恵美子，木下大輔，古澤三奈，橋浦弘明(芝浦工大)， 八重樫理人(埼玉大)，古宮誠一(芝浦工大)

一般セッション　[1J会場］　(3月9日 (火) 13:15〜15:15) 視覚的プログラミング　　座長　志築文太郎(筑波大) 1J-1 制約に基づくアニメーション作成環境Grifonにおけるデータ構造の階層化 ○中村好一，石井大輔，大野太郎，若槻総一郎，上田和紀(早大) 1J-2 制約に基づくアニメーション作成環境 Grifon ○石井大輔，中村好一，大野太郎，若槻聡一郎，上田和紀(早大) 1J-3 視覚化されたJSPカスタム・タグに対する編集機能の拡張 ○堀内芳雄，武田成史(日本IBM) 1J-4 テンプレートによるWebプログラミングの効率化を実現するシステムの開発 ○濃沼雅史(日本IBM) 1J-5 ウェブページ・ナビゲーションに含まれるリンク先指定の自由度の向上 ○青木美穂子(日本IBM)

学生セッション　[1Q会場］　(3月9日 (火) 13:15〜15:15) ソフトウェア開発支援環境　　座長　山本里枝子(富士通研) 1Q-1 分散XP(eXtreme Programming)支援環境の構築 ○熱田智士(芝浦工大) 1Q-2 グループワークによるソフトウェア開発教育のための進捗状況把握支援システム ○青沼俊介，吉田明広，松浦佐江子(芝浦工大) 1Q-3 グループプログラミング授業における仕様書作成支援ツールの研究 ○吉田明広，青沼俊介，松浦佐江子(芝浦工大) 1Q-4 コード生成のための管理機能を含めたバージョン管理システム ○松本大貴，高橋由樹，堀江夏子，後藤滋文(東京工科大)， 中村章人(産総研)，塚本享治(東京工科大) 1Q-5 自律Agent-Flow型処理を実現する開発環境構築への提案 ○水谷晃三，小林俊裕，山口大輔，永井正武(帝京大) 1Q-6 （講演取消） 1Q-7 軽量プロジェクト管理ツールP1における手戻り制御の実現と効果の実証 ○三角　勝，内藤貴之，大木幹雄(日本工大)

学生セッション　[2Q会場］　(3月9日 (火) 15:30〜17:30) プログラム解析　　座長　四野見秀明(日本IBM) 2Q-1 EJBパターンの実現方法と評価 ○荻山　信，菊池紀子，青山幹雄(南山大) 2Q-2 ソフトウェアメトリクスを用いたjavaプログラムに対する「不吉な匂い」の検出 ○藤原　巧，松浦佐江子(芝浦工大) 2Q-3 （講演取消） 2Q-4 プログラム解析を用いたプログラム盗用の発見法 ○鷹岡良治，脇田　建(東工大) 2Q-5 プログラム変更支援を目的としたコードクローン情報付加ツール ○佐々木亨，肥後芳樹(阪大)，神谷年洋(科学技術振興機構)，楠本真二，井上克郎(阪大) 2Q-6 ウィジェット変更に伴うソースコード変更箇所の探索支援 ○深谷和弘(早大)，白銀純子(東京女子大)，深澤良彰(早大)

学生セッション　[5R会場］　(3月11日 (木) 9:30〜12:00) アルゴリズム基礎　　座長　浅野　孝夫(中央大) 5R-1 能力の異なる複数台の機械に対するスケジューリング問題 ○江田大介(中大) 5R-2 1方向再帰型線形時間一斉射撃アルゴリズムの設計と実装 ○梁瀬隼人，久岡雅也，梅尾博司(阪電通大) 5R-3 Voronoi 図を用いた長方形ロボットの経路探索 ○鈴木一平，今井桂子(中大) 5R-4 道路網における渋滞を考慮した近似最短路問題 ○曲　道楊，今井桂子(中大) 5R-5 確率ゲームモデルの期待値解析 ○水野隆文，加藤昇平，伊藤英則(名工大) 5R-6 Efficient VLSI Decompositions for de Bruijn Graphs ○川喜田裕之(東工大)，山田敏規(埼玉大)，上野修一(東工大)

学生セッション　[6R会場］　(3月11日 (木) 14:30〜17:00) アルゴリズム応用　　座長　今井　桂子(中央大) 6R-1 （講演取消） 6R-2 配線最適化問題に対する2階層GAの検討 ○坪内　透，白井治彦，高橋　勇，黒岩丈介，小高知宏，小倉久和(福井大) 6R-3 点パターンマッチングを用いた画像検索法に関する一考察 ○服部克征(神戸大) 6R-4 コマンド投入系列のモデル化と認証への利用 ○川端真悟，小高知宏，遠藤皆生(福井大) 6R-5 文脈依存NCEグラフ文法に基づく図形言語設計支援システム ○坂本英晃，安達由洋(東洋大) 6R-6 CPGネットワークを用いた「HOAP-1」の運動生成 ○伊藤良彦，加藤昇平，伊藤英則(名工大) 6R-7 ストレージデバイスを複数用いた機密情報分散手法 ○小野真和，高橋広幸，桧垣博章(電機大)

学生セッション　[3V会場］　(3月10日 (水) 9:30〜12:00) 分析設計とUML　　座長　井上　　健(横河電機) 3V-1 動的解析情報を利用したJavaプログラムからのシーケンス図の作成 ○谷口考治，石尾　隆(阪大)，神谷年洋(科学技術振興機構)，楠本真二，井上克郎(阪大) 3V-2 エンドユーザ向け機能設計支援システム ○和泉利彦(農工大) 3V-3 シーケンス図とステートチャート図の相互変換に着目したソフトウェア分析・設計に関する研究 ○長谷川英男，高田眞吾(慶大)，土居範久(中大) 3V-4 オブジェクト指向を用いた組込み製品開発プロセスの適用事例 ○井上大佑，安井浩之，松山　実(武蔵工大) 3V-5 オントロジーを用いたオブジェクト抽出法におけるオブジェクトの統合化についての研究 ○赤星　尚，大山勝徳，金子正人，武内　惇，藤本　洋(日大) 3V-6 オブジェクト指向に従った代数仕様記述法と帰納法による検証 ○嶋田　剛，原田　実(青学大) 3V-7 組み込みソフトウェア向けUMLにおける状態遷移表・ソースコード変換方式の試作と評価 ○小澤陽平，細川卓誠，小泉寿男(電機大) 3V-8 階層化されたクラス図と発想支援システムへの応用 ○白川淳平，戸田成彦，石堂竹彦，原田　実(青学大) 3V-9 ユースケースを利用した顧客指向の進捗管理手法 ○近藤隆史，東　基衞(早大)

学生セッション　[6W会場］　(3月11日 (木) 14:30〜17:00) Webアプリケーション　　座長　上原　忠弘(富士通研) 6W-1 （1Qセッションへ移動） 6W-2 分散サービスの検索と統合を行うシステムの構築 ○青木仁志，高田眞吾(慶大)，土居範久(中大) 6W-3 （講演取消） 6W-4 Webサービスの動的連携と信頼性 ○中村一仁，柘植亮人，青山幹雄(南山大) 6W-5 Webアプリケーションの機能規模の測定技法 ○角頼章広，東　基衞(早大) 6W-6 Webサービス利用におけるメッセージ送受信のパフォーマンスの改善に関する研究 ○清水　暁，高田眞吾(慶大)，土居範久(中大)

学生セッション　[4ZA会場］　(3月10日 (水) 14:30〜17:00) プログラミング　　座長　伊知地　宏(ラムダ数学教育研) 4ZA-1 役割・能力・規則 - モデルに基づく抽象オブジェクトを利用したソフトウェア構成の検討 ○鈴木優輔，重見大輔，柴田直樹，坂下善彦(湘南工科大) 4ZA-2 メタプロセスモデルの共有メモリ並列マシンへの適用 ○渡辺義人，片野真吾，緑川博子，飯塚　肇(成蹊大) 4ZA-3 forkシステムコールを用いた並列ガーベジコレクション ○佐藤憲一郎，松井祥悟(神奈川大) 4ZA-4 Monad構造に基づくコード生成系の実現 ○西垣明哲，原田賢一(慶大) 4ZA-5 オブジェクト指向に基づいた構文解析器構成法の提案 ○佐竹　力(図書館情報大)，中井　央(筑波大) 4ZA-6 静的解析によるWebシステムMVC分離とフレームワーク適用 ○岡本　健，丸山勝久(立命館大) 4ZA-7 （講演取消） 4ZA-8 XML技術を用いたJAVASwingプログラム生成ツールの開発 ○金　長源，塚本享治(東京工科大) 4ZA-9 SVGの拡張性を利用した対話的インタフェースの実現 ○竹下広貴(東京工科大)

デモセッション [デモセッション会場] デ-11 （講演取消）

デモセッション [デモセッション会場] 3月10日（水） デ-17 ユビキタスユーザインタフェースミドルウェア ○北村操代，石原　鑑，中田秀男，寺岡照彦，轟木伸俊(三菱)