Master Thesis/Report Presentation Program 1998
平成１０年度 博士前期課程
修士論文・課題研究発表会 プログラム
会場 Ａ（Ｌ１講義室）
会場 Ｂ（Ｌ２講義室）
会場 Ｃ（Ｌ３講義室）
１人につき, 発表２０分, 質問１０分.
2/22 2/23 2/24
9:20 ─ 10:50 １ ６ １１
11:00 ─ 12:30 ２ ７ １２
13:30 ─ 15:00 ３ ８ １３
15:10 ─ 16:40 ４ ９ １４
16:50 ─ 18:20 ５ １０ １５
セ ッ シ ョ ン 番 号
●２月２２日（月）
◎ セッションＡ１＜9:20〜10:50＞ 進行役：中村 恭之
番号 発表者 論文審査委員(敬称略)
9751045 吉吉健太郎 横矢 直和 小笠原 司
情報の視覚化に基づく問合せによるデータマイニング
9751101 三木隆太朗 横矢 直和 小笠原 司
複数の全方位画像センサを用いた遠隔監視システム
9751091 藤井弘和 小笠原 司 横矢 直和 今井 正和
全方位画像情報に基づく非ホロノミック移動ロボットの誘導
◎ セッションＢ１＜9:20〜10:50＞ 進行役：中西 恒夫
番号 発表者 論文審査委員(敬称略)
9751203 安田修 福田 晃 湊 小太郎 最所 圭三
情報発信のための汎用性を考慮した移動計算機環境の構築
9751035 川口浩 福田 晃 渡邉 勝正 最所 圭三
マルチプロセッサを用いた組み込みシステム向けOSの実装
9751067 田中義照 福田 晃 渡邉 勝正 最所 圭三
組み込みシステム向けオペレ−ティングシステムの設計と実装
◎ セッションＣ１＜9:20〜10:50＞ 進行役：石川 佳治
番号 発表者 論文審査委員(敬称略)
9751022 岡澤仁 松本 裕治 植村 俊亮 伝 康晴
ベクトル空間モデルを用いた論文検索におけるベクトル化法およびその評価
9751065 竹内和広 松本 裕治 植村 俊亮 伝 康晴
テキスト修辞構造タグ付けの半自動化に関する研究
9751054 志村壮是 植村 俊亮 松本 裕治 吉川 正俊
オブジェクト関係データベースを用いたXML文書の格納と検索
◎ セッションＡ２＜11:00〜12:30＞ 進行役：中村 恭之
番号 発表者 論文審査委員(敬称略)
9651118 山本長敏 小笠原 司 横矢 直和 今井 正和
テレロボティクス技術に関する調査研究
9751053 柴田篤志 小笠原 司 千原 國宏 今井 正和
全方位画像のKL展開を用いた動的環境におけるロボットの誘導
9751089 福西茂樹 小笠原 司 千原 國宏 今井 正和
平行ステレオを用いた移動ロボットの障害物回避
◎ セッションＢ２＜11:00〜12:30＞ 進行役：高木 一義
番号 発表者 論文審査委員(敬称略)
9751084 野口裕 福田 晃 渡邉 勝正 最所 圭三
プログラマブルデバイスを用いた可変構造シミュレーションシステムRiSPの構築
9751094 藤原真 福田 晃 渡邉 勝正 最所 圭三
カーネルスケジューラの動的変更が可能なオペレーティングシステムの構成法
9751009 石墨紀孝 福田 晃 渡邉 勝正 最所 圭三
組み込み用フラッシュメモリファイルシステムの設計
◎ セッションＣ２＜11:00〜12:30＞ 進行役：宮田 高志
番号 発表者 論文審査委員(敬称略)
9751111 山根洋平 松本 裕治 関 浩之 伝 康晴
文章中の名詞間照応関係の同定
9751072 仲川こころ 関 浩之 松本 裕治 石井 信
検索目的を反映したカテゴリ構造に基づくWWW検索支援
9751012 伊藤実夏 湊 小太郎 松本 裕治 砂原 秀樹
協調翻訳作業のための情報システムの設計と実装
◎ セッションＡ３＜13:30〜15:00＞ 進行役：片山 喜章
番号 発表者 論文審査委員(敬称略)
9751007 飯野恵秋 千原 國宏 湊 小太郎 大城 理
遠隔超音波画像診断におけるプロ−ブ操作教示システム
9751024 岡本卓也 千原 國宏 湊 小太郎 大城 理
マイクロX線CT画像の多重解像度解析による骨梁評価
9751050 佐藤哲大 湊 小太郎 千原 國宏 砂原 秀樹
MR拡散テンソル画像を用いた神経束の抽出
◎ セッションＢ３＜13:30〜15:00＞ 進行役：島 和之
番号 発表者 論文審査委員(敬称略)
9751042 北口修一 福田 晃 鳥居 宏次 最所 圭三
並列性と移植性を持つユーザレベルスレッドライブラリPPLのスケジューラの拡張
9751097 松浦慎二 福田 晃 鳥居 宏次 最所 圭三
ユーザレベルスレッドライブラリPPLにおける柔軟なスケジュ−リング機構
9751106 山下勝也 福田 晃 鳥居 宏次 最所 圭三
デバイスドライバ生成支援システムの試作
◎ セッションＡ４＜15:10〜16:40＞ 進行役：片山 喜章
番号 発表者 論文審査委員(敬称略)
9751043 北出雅史 千原 國宏 湊 小太郎 大城 理
遠隔診断のための超音波Bモ−ド像の伝送用圧縮手法
9751109 山田良和 千原 國宏 湊 小太郎 大城 理
リングアレイプローブを用いた三次元超音波画像計測法
9751071 内藤 淳 尾家 祐二 横矢 直和 山口 英
TCPの対話的動作検証を支援するツールキットの提案
◎ セッションＢ４＜15:10〜16:40＞ 進行役：島 和之
番号 発表者 論文審査委員(敬称略)
9751010 伊藤充男 鳥居 宏次 小山 正樹 松本 健一
バグの迅速な除去を目的とする二人によるデバッギングの実験的考察
9751056 杉村貴士 鳥居 宏次 小山 正樹 松本 健一
バグの発生を予測することを目的としたソフトウェア評価尺度の選択
9751061 田垣内博一 鳥居 宏次 小山 正樹 松本 健一
脳波によるソフトウェアのユーザビリティの評価
◎ セッションＡ５＜16:50〜18:20＞ 進行役：高木 一義
番号 発表者 論文審査委員(敬称略)
9751011 伊藤直史 尾家 祐二 福田 晃 山口 英
国内におけるインターネット不正アクセス解析の試み
−不正アクセス解析支援システムの開発とその応用−
9751033 賀戸大輔 尾家 祐二 福田 晃 山口 英
リアルタイム性・信頼性を考慮したデータ配送が可能な
共有型仮想環境システムの設計と実装
9751087 東陽子 尾家 祐二 福田 晃 山口 英
新たなWWWアクセス性能指標の開発
◎ セッションＢ５＜16:50〜18:20＞ 進行役：門田 暁人
番号 発表者 論文審査委員(敬称略)
9751110 大和正武 鳥居 宏次 小山 正樹 松本 健一
視線によるテキストウィンドウの自動スクロールの提案と実装
9751020 大塚豊 鳥居 宏次 小山 正樹 中小路 久美代
クラス図を用いた設計過程の特徴抽出に関する研究
9751098 松浦文崇 鳥居 宏次 松本 裕治 中小路 久美代
非同期協調作業における電子コミュニケーションの事例分析および支援環境の試作
● ２月２３日（火）
◎ セッションＡ６＜9:20〜10:50＞ 進行役：知念 賢一
番号 発表者 論文審査委員(敬称略)
9751075 中谷信大 尾家 祐二 千原 國宏 山口 英
TCPにおける統合的輻輳制御機構の提案
9751095 星井克也 尾家 祐二 千原 國宏 山口 英
T／TCPの性能評価とWWWへの適用
9751117 吉岡恒夫 尾家 祐二 千原 國宏 山口 英
統計的先読み対象選択方式を用いたWWW先読みサーバの設計と実装
◎ セッションＢ６＜9:20〜10:50＞ 進行役：石原 靖哲
番号 発表者 論文審査委員(敬称略)
9751017 榎本成悟 鹿野 清宏 西谷 紘一 中村 哲 伊勢 史郎
多重極展開を用いた急峻な距離減衰特性を持つマイクロホンシステムの提案
9751096 前田竜作 鹿野 清宏 西谷 紘一 中村 哲 伊勢 史郎
ダクトのANCにおける多チャンネル化の効果に関する実験的検討
(低コストANCシステムの開発)
9751082 二宮基行 高橋 豊 鹿野 清宏 笠原 正治
ケ−ブルテレビハイブリッド網の整数計画法による最適構成に関する研究
◎ セッションＣ６＜9:20〜10:50＞ 進行役：久米 出
番号 発表者 論文審査委員(敬称略)
9751092 藤田早苗 松本 裕治 西田 豊明 伝 康晴
物語における時間表現の分析とそれを用いた文章の構造化
9751032 片山顕正 西田 豊明 横矢 直和 武田 英明
オフィスロボットにおけるインタラクティブな属性学習を用いた
物体の位置情報管理
9751105 望月恒治 西田 豊明 横矢 直和 武田 英明
視覚と環境モデルのマッチングによるサッカーロボットの
位置同定手法に関する研究
◎ セッションＡ７＜11:00〜12:30＞ 進行役：新 麗
番号 発表者 論文審査委員(敬称略)
9751046 木村泰司 尾家 祐二 関 浩之 山口 英
インターネットにおける統一的鍵管理機構の提案
9751059 須藤耕司 尾家 祐二 西田 豊明 山口 英
WWWキャッシュ有効利用のための選択的更新通知機構の設計と実装
9751121 張 舒 尾家 祐二 高橋 豊 山口 英
NSPIXP2から見る日本国内のインターネットにおける経路の不安定性
◎ セッションＢ７＜11:00〜12:30＞ 進行役：井上 智生
番号 発表者 論文審査委員(敬称略)
9751003 朝倉浩志 植村 俊亮 横矢 直和 吉川 正俊
多次元空間における遠隔オブジェクト群を提示する手法について
9751120 張宏斌 植村 俊亮 鹿野 清宏 吉川 正俊
映像データベースの音声情報による話者索引付けの自動化について
9751057 杉本浩史 鹿野 清宏 横矢 直和 中村 哲
音声認識における重み制御に基づくパラメ−タ統合に関する研究
◎ セッションＡ８＜13:30〜15:00＞ 進行役：知念 賢一
番号 発表者 論文審査委員(敬称略)
9751088 廣橋健太郎 尾家 祐二 高橋 豊 安達 文幸
DS-CDMA移動通信における帯域幅拡大による容量増加効果に関する研究
9751047 熊倉大輔 尾家 祐二 高橋 豊 山口 英
TCPにおける統合的輻輳制御機構の実装と評価
9751073 中澤省吾 尾家 祐二 高橋 豊 山口 英
Layer3スイッチの性能評価に関する研究
◎ セッションＢ８＜13:30〜15:00＞ 進行役：陸 金林
番号 発表者 論文審査委員(敬称略)
9751004 あべ松竜盛 渡邉 勝正 福田 晃 木村 晋二
データ駆動型ALUアレイを使用した動的再構成可能計算機の設計と評価
9751025 小川修 渡邉 勝正 福田 晃 木村 晋二
Optimization of Bit Length of Variables for Hardware Synthesis
from C Programs
（変数のビット長の最適化手法を用いたCプログラムからのハ−ドウェア生成）
9751044 木田裕之 渡邉 勝正 福田 晃 木村 晋二
再構成可能部を持つJavaプロセッサの設計と実現
◎ セッションＣ８＜13:30〜15:00＞ 進行役：石川 佳治
番号 発表者 論文審査委員(敬称略)
9751034 川井拓摩 西田 豊明 植村 俊亮 武田 英明
検索ノウハウの蓄積と共有による設計知識ベースシステム：DA/Knowtebook
9751062 高橋徹 西田 豊明 植村 俊亮 武田 英明
ネットワークにおけるコミュニケーションの「場」の形成を支援する
システムに関する研究
9751064 瀧隆太 西田 豊明 植村 俊亮 武田 英明
外化記憶へのカジュアルなインターフェース
◎ セッションＡ９＜15:10〜16:40＞ 進行役：土居 元紀
番号 発表者 論文審査委員(敬称略)
9751122 TRIANSONI 湊 小太郎 尾家 祐二 砂原 秀樹
Proposal of Tandem-Crosspoint ATM Switch Architecture
（タンデム クロスポイント ATM スイッチ アーキテクチャの提案）
9751016 牛場敬裕 横矢 直和 千原 國宏
全周テクスチャ画像を利用したポリゴンモデルの高速表示手法
9751038 神原誠之 横矢 直和 千原 國宏
ビデオシ−スル−型拡張現実感のためのステレオ画像合成
◎ セッションＢ９＜15:10〜16:40＞ 進行役：黒岡 武俊
番号 発表者 論文審査委員(敬称略)
9751021 大坪裕 藤原 秀雄 渡邉 勝正 増澤 利光
内蔵プロセッサを利用したマイクロコントローラのテスト高速化に関する研究
9751037 川嶋奈緒実 藤原 秀雄 渡邉 勝正 増澤 利光
無閉路直交部分スキャンアルゴリズムに関する研究
9751051 佐野ちいほ 藤原 秀雄 渡邉 勝正 増澤 利光
ホールド機能を考慮した順序回路のラスト容易化設計に関する研究
◎ セッションＣ９＜15:10〜16:40＞ 進行役：上野 敦志
番号 発表者 論文審査委員(敬称略)
9751090 福原知宏 西田 豊明 植村 俊亮 今井 正和
統計情報を用いた話題特定と文脈の再構築による複数テキスト要約
9751103 水野克宏 伊藤 実 植村 俊亮 石井 信
ロールに基づくアクセス制御の形式的モデルによる
セキュリティポリシーの記述に関する研究
9751116 吉岡琢 伊藤 実 西田 豊明 石井 信
強化学習によるオセロゲームの戦略の獲得
◎ セッションＡ１０＜16:50〜18:20＞ 進行役：黒田 知宏
番号 発表者 論文審査委員(敬称略)
9751048 財満博昭 横矢 直和 千原 國宏
仮想環境没入型モデラにおけるアニメーション記述手法の提案と実装
9751100 松宮雅俊 横矢 直和 千原 國宏
陰関数表現を用いた没入型曲面形状モデラ
9751114 山本英典 横矢 直和 千原 國宏
カラーヒストグラムを用いた構図の自動抽出に基づく類似画像検索手法
◎ セッションＢ１０＜16:50〜18:20＞ 進行役：片山 徹郎
番号 発表者 論文審査委員(敬称略)
9751086 畠田宏司 渡邉 勝正 藤原 秀雄 木村 晋二
パストランジスタ論理合成のためのFreeBDDの厳密最小化手法
9751015 浮穴学慈 藤原 秀雄 福田 晃 増澤 利光
Studies on Self-Stabilizing κ-Exclusion Protocols
（自己安定κ-相互排除プロトコルに関する研究）
●２月２４日（水）
◎ セッションＡ１１＜9:20〜10:50＞ 進行役：岩佐 英彦
番号 発表者 論文審査委員(敬称略)
9751115 横光澄男 横矢 直和 千原 國宏
多視点ステレオ画像を用いた屋外環境構造の再構成に関する研究
9751019 大久保修司 千原 國宏 横矢 直和 佐藤 宏介
三次元オブジェクトの動作認識における選択的視点制御法
9751030 風間直子 千原 國宏 横矢 直和 佐藤 宏介
CGのための透明物体の光学特性の測定およびその表現方法
◎ セッションＢ１１＜9:20〜10:50＞ 進行役：高田 喜朗
番号 発表者 論文審査委員(敬称略)
9751078 中山彰 鹿野 清宏 関 浩之 中村 哲
心理音響モデルに基づくオーディオ信号への電子透かしの研究
9751058 須田克朗 藤原 秀雄 関 浩之 増澤 利光
線形化可能性を保証する共有レジスタの無待機な実現に関する研究
9751068 寺田雅人 藤原 秀雄 伊藤 実 増澤 利光
分散移動システムにおける全域チェックポイントに関する研究
◎ セッションＡ１２＜11:00〜12:30＞ 進行役：岩佐 英彦
番号 発表者 論文審査委員(敬称略)
9751049 定政憲司 千原 國宏 横矢 直和 佐藤 宏介
影付表現可能なイメージベースドレンダリング
9751085 野田真一 千原 國宏 横矢 直和 佐藤 宏介
実像とCG像の相互隠蔽可能な光学シースルー複合現実感：ZARD
9751099 松橋英幸 千原 國宏 横矢 直和 佐藤 宏介
強調現実感を応用した考古遺跡計測システム
◎ セッションＢ１２＜11:00〜12:30＞ 進行役：宇津呂 武仁
番号 発表者 論文審査委員(敬称略)
9751005 雨森賢一 伊藤 実 鹿野 清宏 石井 信
自己組織化によるテンポラルコード
9751113 山本俊一郎 鹿野 清宏 松本 裕治 中村 哲
ディクテーションシステムにおける言語モデルの構築に関する研究
9751205 張芝 小山 正樹 関 浩之 松本 健一
ネットワーク・オペレーション・システムのJavaにおける構築法の研究
◎ セッションＡ１３＜13:30〜15:00＞ 進行役：井上 美智子
番号 発表者 論文審査委員(敬称略)
9751102 御崎充 千原 國宏 横矢 直和 佐藤 宏介
デジタル形状計測に基づく銅鏡の形式分類に関する研究
9751119 米村隆 千原 國宏 横矢 直和 佐藤 宏介
情報共有が可能な装着型強調現実感システムの構築
9751002 青木利道 千原 國宏 二矢田 勝行 湊 小太郎 佐藤 宏介
多地点全方位画像による仮想環境の構築
◎ セッションＢ１３＜13:30〜15:00＞ 進行役：渡辺 創
番号 発表者 論文審査委員(敬称略)
9851092 深津始 関 浩之 藤原 融 木村 晋二 楫 勇一
再帰的最尤復号器における尤度の計算精度と回路規模の評価
9751104 宮田英紀 関 浩之 藤原 融 楫 勇一
ユーザの固有情報を３つ用いた個人認証および鍵共有のプロトコル
9751029 河西英司 藤原 融 関 浩之 楫 勇一
A Suboptimum Decoding Algorithm Based on RMLD
（再帰的最尤復号法に基づく準最尤復号法）
◎ セッションＣ１３＜13:30〜15:00＞ 進行役：高田 真吾
番号 発表者 論文審査委員(敬称略)
9751079 長行康男 伊藤 実 東倉 洋一 西田 豊明 銅谷 賢治
マルチエージェント環境における他エージェントの行動推定と協調学習
9751031 片桐憲一 高橋 豊 東倉 洋一 西谷 紘一 銅谷 賢治
複数の予測モデルを用いた運動系列の生成と認知
−非線形制御と運動パターンのシンボル化−
9751107 山下晋 高橋 豊 西谷 紘一 笠原 正治
線形相補性問題によるアメリカン・オプションの評価
◎ セッションＡ１４＜15:10〜16:40＞ 進行役：山澤 一誠
番号 発表者 論文審査委員(敬称略)
9751023 岡誠 湊 小太郎 横矢 直和 砂原 秀樹
利用者による自由な情報加工を実現するWWWの拡張
9751112 山本一隆 湊 小太郎 横矢 直和 砂原 秀樹
広域無線通信メディア利用時のゲ−トウェイ協調によるTCPの性能改善
9751201 江坂直紀 湊 小太郎 福田 晃 砂原 秀樹
分配選択型光波長多重スイッチを用いた Layer 3 switching 網の構築の
提案と実装
◎ セッションＢ１４＜15:10〜16:40＞ 進行役：中西 隆一
番号 発表者 論文審査委員(敬称略)
9751066 田中大介 藤原 融 関 浩之 楫 勇一
MAP復号法に対する再帰的アルゴリズム
9751028 鍵本聡 関 浩之 伊藤 実 楫 勇一
分散アルゴリズムのCCSによる記述と形式的検証
−ネットワークグラフ同定問題を例として
9751040 北岡康司 関 浩之 伊藤 実 楫 勇一
有界重なり項書換え系と構成的正則保存性
◎ セッションＣ１４＜15:10〜16:40＞ 進行役：黒岡 武俊
番号 発表者 論文審査委員(敬称略)
9751108 山田耕平 高橋 豊 西谷 紘一 笠原 正治
通信と放送を統合したATMネットワークのセルストリ−ム特性に関する研究
9751093 藤野和久 西谷 紘一 高橋 豊 山下 裕
シ−ケンス制御系の設計と検証
9751123 MARSUDI BUDU UTOMO 西谷 紘一 高橋 豊 山下 裕
蒸留塔制御への入出力線形化法の適用
◎ セッションＡ１５＜16:50〜18:20＞ 進行役：宇津呂 武仁
番号 発表者 論文審査委員(敬称略)
9751006 荒木靖宏 福田 晃 湊 小太郎 最所 圭三
S/MIMEを用いた安全なメーリングリストの設計と実装
9751013 稲田文武 福田 晃 湊 小太郎 最所 圭三
階層型マルチメディアデータのためのキャッシュシステムに関する研究
9751018 大江将史 福田 晃 湊 小太郎 最所 圭三
IPv6におけるエニーキャストの実装と評価
◎ セッションＢ１５＜16:50〜18:20＞ 進行役：田中 猛彦
番号 発表者 論文審査委員(敬称略)
9751008 池田瑞穂 関 浩之 渡邉 勝正 楫 勇一
インタラクティブシステムの形式的手法を用いた設計法
9751041 北川隆 関 浩之 渡邉 勝正 楫 勇一
Javaプログラムに対する電子透かし法
9751060 左右田敦 渡邉 勝正 関 浩之 木村 晋二
ソースプログラムへの付加情報を用いた可読性の向上に関する実験と評価
◎ セッションＣ１５＜16:50〜18:20＞ 進行役：松本 吉央
番号 発表者 論文審査委員(敬称略)
9751039 菊地俊 西谷 紘一 小笠原 司 山下 裕
双腕ロボットアームの適応追従制御
9751055 杉村耕司 鹿野 清宏 小笠原 司 中村 哲
分析フレーム間に渡る残響の影響を考慮した音声認識の検討
9751080 西浦敬信 鹿野 清宏 千原 國宏 中村 哲
マイクロホンアレーを用いた白色相互相関に基づく複数音源位置推定に関する研究