Master Thesis/Report Presentation Program 2000

平成12年度 博士前期課程
修士論文・課題研究発表会 プログラム



【場所】
会場 A(L1講義室) 会場 B(L2講義室) 会場 C(L3講義室)
【時間】
 1人につき、発表20分、質問10分。 1  9:20 ─ 10:50 2 11:00 ─ 12:30 3 13:30 ─ 15:00 4 15:10 ─ 16:40 5 16:50 ─ 18:20

●2月19日(月)


◎ A1 進行役:片山喜章 番号 発表者 論文審査委員(敬称略) 9951017 内田 眞司 井上 克郎,西谷 紘一,飯田 元,松本 健一 デバッグにおけるプログラム読解戦略の分析モデルとその適用実験 9951041 古賀 健太郎 井上 克郎,小山 正樹,飯田 元,松本 健一 コンポーネント利用情報の収集と共有によるソフトウェア開発支援 9951055 白石 裕美 井上 克郎,小山 正樹,飯田 元,松本 健一 ソフトウェア機能の学習支援を目的とした有用機能候補の提示 ◎ B1  進行役:松本吉央 番号 発表者 論文審査委員(敬称略) 9951133 TAN SOON KEONG 関 浩之,小山 正樹,楫 勇一 線形ブロック符号の最尤復号特性の評価法について 9951001 阿部 武徳 関 浩之,伊藤 実,楫 勇一 有界経路重なり項書換え系の停止性問題について 9951008 斉宮 誠 関 浩之,伊藤 実,楫 勇一 Call-by-Need型最尤復号法における探索戦略について ◎ C1  進行役:奥田剛 番号 発表者 論文審査委員(敬称略) 9951002 蟻川 浩 湊 小太郎,山口 英,砂原 秀樹 グローバルコンピューティングを指向したJava実行環境 9951085 中山 貴夫 湊 小太郎,山口 英,砂原 秀樹 WWWサーバにおける状態監視および通知機構 9951109 村石 恵 湊 小太郎,山口 英,砂原 秀樹 WWWサーバの性能改善手法の一提案とその評価 ◎ A2  進行役:片山喜章 番号 発表者 論文審査委員(敬称略) 9951207 胡 建 井上 克郎,小山 正樹,飯田 元,松本 健一 Investigation of Relation between Impressions and style of Business Web Page
(業務用ウェブページにおけるスタイルと印象の関係の調査) 9951074 寺井 淳裕 井上 克郎,渡邉 勝正,飯田 元,松本 健一 ソースコードの並べ替えに基づくソフトウェア理解性評価 9951105 松矢 明宏 井上 克郎,横矢 直和,飯田 元,松本 健一 生物学実験支援のための視線インタフェースの提案と評価 ◎ B2  進行役:松本吉央 番号 発表者 論文審査委員(敬称略) 9951037 國信 茂太 関 浩之,伊藤 実,楫 勇一 束構造をもつセキュリティクラスに基づくプログラムの情報フロー解析 9951046 近藤 真一郎 関 浩之,伊藤 実,楫 勇一 Contradictions derived from Bellare-style formalizations of security of public key cryptosystems
(公開鍵暗号系に対するBellareらの安全性定式化から導かれる問題点について) 9951003 伊加田 恵志 関 浩之,渡邉 勝正,楫 勇一 スタック検査機能を持つプログラムの制御フロー解析に基づくセキュリティ検証法 ◎ C2  進行役:奥田剛 番号 発表者 論文審査委員(敬称略) 9951131 米山 清二郎 湊 小太郎,山口 英,砂原 秀樹 Building Block方式によるReliable Multicastの実装と評価 9951206 Christopher Martin KERR 山本 平一,小山 正樹,山口 英 Evaluation of Mobile IP for 3rd Generation Mobile Networks
(第3世代移動通信ネットワークにおけるモバイルIPの検証) 9951015 岩田 洋一 山口 英,山本 平一,伊藤 実 政府認証基盤におけるOCSPを用いた証明書検証システムの実装と評価 ◎ A3  進行役:高田喜朗 番号 発表者 論文審査委員(敬称略) 9951078 中江 大海 井上 克郎,関 浩之,飯田 元,松本 健一 大規模レガシーソフトウェアを対象とするコードクローンの定量的分析 9951097 藤崎 恵美子 井上 克郎,関 浩之,松本 健一 強化学習のExploration-Exploitation問題に対する人間の行動決定 9951062 高嶋 章雄 井上 克郎,関 浩之,中小路 久美代,松本 健一 データ解釈のための情報アニメーションに関する研究 ◎ B3  進行役:中西恒夫 番号 発表者 論文審査委員(敬称略) 9951122 山川 匡史 西谷 紘一,杉本 謙二,山下 裕 脳波を用いた思考状態のオンラインモニタリング手法の提案と実装 0051117 横山 哲也 西谷 紘一,杉本 謙二,山下 裕 転がり接触による冗長性を考慮した双腕ロボットによる把持物体の操り 9951059 染川 隆司 山口 英,山本 平一,砂原 秀樹 マルチサービスIPネットワーク実現のための計測技術の開発 ◎ C3  進行役:山澤一誠 番号 発表者 論文審査委員(敬称略) 9951054 守隨 辰也 千原 國宏,横矢 直和,眞鍋 佳嗣 異なるVR環境間での共有データ形式についての研究 9951107 南 広一 千原 國宏,横矢 直和,眞鍋 佳嗣 共有AR空間における協調デザイン作業のための空間管理プロトコル 9951092 林 高志 千原 國宏,金山 憲司,横矢 直和,緒方 司郎,眞鍋 佳嗣 実環境3次元計測のためのステレオマッチング ◎ A4  進行役:高田喜朗 番号 発表者 論文審査委員(敬称略) 9951079 中川 渉 井上 克郎,関 浩之,中小路 久美代,松本 健一 実演奏の表情情報を利用した作曲支援に関する研究 9951051 志方 龍 千原 國宏,関 浩之,湊 小太郎 聴覚障害者のための会議支援システム 9951020 大友 敦 湊 小太郎,千原 國宏,大城 理,砂原 秀樹 MR拡散テンソル画像の対称性評価 ◎ B4  進行役:飯田勝吉 番号 発表者 論文審査委員(敬称略) 9951065 多喜 由城 山口 英,千原 國宏,砂原 秀樹 IPマルチキャストの文献調査と普及促進に関する考察 9951113 毛上 卓也 山口 英,山本 平一,砂原 秀樹 TCPの拡張による信頼性のあるマルチキャスト通信の実現:M/TCP 9951019 大須賀 圭人 山本 平一,山口 英,福田 晃 DHR: WWWキャッシュクラスタにおける故障を考慮したハッシュルーティング機構 ◎ C4  進行役:李晃伸 番号 発表者 論文審査委員(敬称略) 9951104 松本 文宏 木戸出 正繼,横矢 直和,河野 恭之 ノンバーバルインターフェースのための赤外線撮像デバイスによる頭部動作の解析と認識 9951071 谷口 雄一郎 木戸出 正繼,鹿野 清宏,河野 恭之 ユーザが持つ属性の優先順位を考慮したスロットフィル対話管理手法 9951089 西森 崇 木戸出 正繼,鹿野 清宏,河野 恭之 コーディネーター役の介入に着目した三者対話の分析とモデル化 ◎ A5  進行役:土居元紀 番号 発表者 論文審査委員(敬称略) 9951073 田谷 基教 湊 小太郎,千原 國宏,大城 理,砂原 秀樹 全方位カメラを用いた発達障害児の無拘束行動測定システムの開発 9951091 馬場 新悟 湊 小太郎,千原 國宏,大城 理,砂原 秀樹 フォースフィードバックデバイスに対する力覚閾の周波数特性 9951060 征矢野 史等 湊 小太郎,山口 英,今井 正和,砂原 秀樹 インターネットを利用する非同期型遠隔教育のための教育支援環境の構築 ◎ B5  進行役:松本吉央 番号 発表者 論文審査委員(敬称略) 9951040 黒田 浩章 山口 英,山本 平一,小笠原 司 移動通信環境におけるセキュリティ問題を考慮したTCPコネクション継続機構の開発 9951063 高橋 洋輔 山口 英,山本 平一,松本 健一 小規模グループ型マルチキャスト経路制御プロトコルSIMの設計と実装 9951013 井上 雅宣 関 浩之,旭 敏之,千原 國宏 「受付システム」を対象にした擬人化エージェント対話方式の検討 ◎ C5  進行役:今福啓 番号 発表者 論文審査委員(敬称略) 9951090 二宮 知子 鹿野 清宏,西谷 紘一,猿渡 洋 頭部伝達関数の外挿と移動音の合成への応用 9951039 熊谷 建一 鹿野 清宏,横矢 直和,猿渡 洋 バイモーダル音声認識のための音声と顔画像情報の統合モデルに関する研究 9951083 中村 雅也 鹿野 清宏,小笠原 司,猿渡 洋 自律移動型ロボットにおける話者位置推定に関する研究

●2月20日(火)


◎ A1 進行役:天笠俊之 番号 発表者 論文審査委員(敬称略) 9951094 久田 正樹 伊藤 実,千原 國宏,石井 信 シナプス小胞の放出確率による減衰シナプスモデル 9951057 鈴木 優 植村 俊亮,関 浩之,吉川 正俊 A Study on Unified Retrieval Methods for Multimedia Documents
(複数のメディアで構成された電子文書の検索に関する研究) 9951134 DAO DINH KHA 植村 俊亮,松本 裕治,吉川 正俊 An Efficient Storage for XML data using Relative Region Coordinate
(相対リージョン座標を用いたXMLデータの効率的な格納方法) ◎ B1 進行役:堀山貴史 番号 発表者 論文審査委員(敬称略) 9951033 河村 透 福田 晃,渡邉 勝正 リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装 9951082 中野 猛 福田 晃,渡邉 勝正 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成 9951093 久住 憲嗣 福田 晃,渡邉 勝正 組み込み用マイクロカーネルOS Lambda の設計と実装 ◎ C1 進行役:上野敦志 番号 発表者 論文審査委員(敬称略) 9951045 小林 亮博 木戸出 正繼,小笠原 司,河野 恭之 動的環境における複数台移動ロボットの協調 9951086 西田 統 木戸出 正繼,千原 國宏,河野 恭之 オフィス環境における繰り返しジェスチャの認識に関する研究 9851095 藤原 広光 小笠原 司,木戸出 正継,今井 正和 視覚移動ロボットの行動プログラミングのためのシミュレーションシステム ◎ A2 進行役:天笠俊之 番号 発表者 論文審査委員(敬称略) 9951116 森中 雄 植村 俊亮,伊藤 実,吉川 正俊 時系列データの線分近似による類似検索の効率化手法 9951029 桂 智之 植村 俊亮,伊藤 実,吉川 正俊 インタラクティブマルチメディアプレゼンテーションのための同期制約管理モデル 9951106 松山 哲平 伊藤 実,植村 俊亮,石井 信 Some Results on Finding Meaningful Association Rules in Data Mining
(データマイニングにおける相関規則を求める問題に関する研究) ◎ B2 進行役:堀山貴史 番号 発表者 論文審査委員(敬称略) 9951110 村上 智一 福田 晃,渡邉 勝正 組み込み向けシステムを対象とするテンプレートを用いたデバイスドライバの生成手法の提案 9951118 森若 和雄 福田 晃,渡邉 勝正 特定用途のための汎用OSのサイズ縮小に関する研究 9951119 夜久 健一 福田 晃,渡邉 勝正 コード圧縮技術に関する調査研究 ◎ C2 進行役:上野敦志 番号 発表者 論文審査委員(敬称略) 9951035 北野 賢 小笠原 司,木戸出 正継,今井 正和 実時間学習機能を備えた色領域分割システムの構築 9951068 竹村 裕 小笠原 司,木戸出 正継,今井 正和 リズム生成に基づく四足歩行ロボットの歩容生成に関する研究 9951126 山本 哲也 小笠原 司,木戸出 正継,今井 正和 遺伝的プログラミングを用いた協調行動の獲得 ◎ A3 進行役:中村恭之 番号 発表者 論文審査委員(敬称略) 9951120 八田 成久 湊 小太郎,山口 英,今井 正和,砂原 秀樹 旋律データの自動インデクシング 9951084 中村 泰 伊藤 実,小笠原 司,石井 信 振動子駆動型力学システムの強化学習 9951102 松野 陽一郎 伊藤 実,湊 小太郎,石井 信 統計的手法による脳磁図データ解析 ◎ B3 進行役:中西恒夫 番号 発表者 論文審査委員(敬称略) 9951056 鈴木 和博 藤原 秀雄,福田 晃 コントローラの機能を利用したデータパスのテスト容易化設計に関する研究 9951205 米田 友和 藤原 秀雄,福田 晃 連続可検査性に基づくコアベース・システムオンチップのテスト容易化設計法に関する研究 9951061 高先 学 藤原 秀雄,渡邉 勝正 システムオンチップのIPコアと周辺回路のテスト法に関する研究 ◎ C3 進行役:佐藤淳 番号 発表者 論文審査委員(敬称略) 9951076 寺田 雅一 西谷 紘一,杉本 謙二,山下 裕 Hamilton-Jacobi方程式の粘性解を用いた宇宙ロボットの最適姿勢制御 9951112 村上 航 西谷 紘一,杉本 謙二,山下 裕 遠隔制御における遅延・情報欠落の補償方式 9951115 森下 貞治 西谷 紘一,杉本 謙二,山下 裕 分類モデルを利用した自己組織化マップによるプラントの異常状態予測 ◎ A4 進行役:佐藤淳 番号 発表者 論文審査委員(敬称略) 9951121 矢野 真吾 伊藤 実,杉本 謙二,石井 信 巡回置換に基づくアナログニューラルネットワークによる二次割当問題の解法 9951038 久保谷 寛行 伊藤 実,東倉 洋一,杉本 謙二,上田 修功,石井 信 多目的最適化問題と再配置操作付きPareto Simulated Annealing 9951012 井上 雅史 伊藤 実,東倉 洋一,鹿野 清宏,上田 修功,石井 信 ラベル有り・ラベル無し混在データを用いた時系列データ認識手法の検討 ◎ B4 進行役:中西正樹 番号 発表者 論文審査委員(敬称略) 9951108 三輪 俊二郎 藤原 秀雄,渡邉 勝正 組合せテスト生成複雑度でパス遅延故障テスト生成可能な順序回路のクラスに関する研究 9951123 山口 賢一 藤原 秀雄,渡邉 勝正 レジスタ転送レベルデータパスの単一制御並行可検査性に基づく組込み自己テストに関する研究 9951004 井口 泰典 千原 國宏,横矢 直和,眞鍋 佳嗣 スポーツ映像放送のための協調型アクティブビデオカメラシステム ◎ C4 進行役:知念賢一 ※このブロックの開始時間は15:40となります。 番号 発表者 論文審査委員(敬称略) 9951099 松浦 克海 福田 晃,山口 英 仮想計算機によるアドホックネットワークルーティング 9951052 島田 秀輝 福田 晃,山本 平一 移動計算機環境における位置情報管理システムの設計と構築 ◎ A5 進行役:波多野賢治 番号 発表者 論文審査委員(敬称略) 9951023 岡 充 伊藤 実,鹿野 清宏,石井 信 線形非定常力学系同定のためのオンラインEMアルゴリズム 9951103 松本 有央 伊藤 実,川人 光男,千原 國宏,銅谷 賢治,石井 信 視覚野のニューロン集団ダイナミクスによる情報表現の研究 9951021 大羽 成征 伊藤 実,横矢 直和,石井 信 変分法的ベイズ推定による混合主成分分析 ◎ B5 進行役:中西正樹 番号 発表者 論文審査委員(敬称略) 9951047 佐々木 一仁 千原 國宏,横矢 直和,眞鍋 佳嗣 多眼カメラを用いた高精細画像生成 ◎ C5 進行役:知念賢一 番号 発表者 論文審査委員(敬称略) 9951114 森重 孝 福田 晃,山本 平一 複数の通信メディアを利用した階層型データ配信方式 −プロファイル管理システムの提案− 9951127 横畠 正大 福田 晃,藤原 秀雄 可変構造シミュレーションシステムRiSPの機能拡張 9951026 尾辻 崇 渡邉 勝正,藤原 秀雄,木村 晋二 実数型変数の語長推定支援環境に関する研究

●2月21日(水)


◎ A1 進行役:波多野賢治 番号 発表者 論文審査委員(敬称略) 9951064 高林 哲 松本 裕治,渡邉 勝正,伝 康晴 Writing Assistance through Search Techniques 9951101 松永 香 松本 裕治,渡邉 勝正,伝 康晴 質問応答システムにおける段落抽出の方法に関する研究 9951124 山田 悟史 松本 裕治,植村 俊亮,伝 康晴 自然な要約に向けた文節の選択 ◎ B1 進行役:黒田知宏 番号 発表者 論文審査委員(敬称略) 9951032 河合 裕文 横矢 直和,千原 國宏,竹村 治雄 疎密バネモデルを用いた柔物体の仮想環境下における力覚提示を伴う変形操作 9951049 佐藤 智和 横矢 直和,千原 國宏,竹村 治雄 単眼動画像からのマーカと自然特徴点の自動追跡による三次元復元 9951080 中北 賢二 横矢 直和,千原 國宏,竹村 治雄 没入型ディスプレイ内の利用者に追従するビデオアバタの生成と提示 ◎ C1 進行役:作村勇一 ※このブロックの発表開始時間は9:50となります 番号 発表者 論文審査委員(敬称略) 9951031 紙 弘和 小笠原 司,鹿野 清宏,今井 正和 天井画像を用いた屋内ナビゲーション 9951067 武田 政宣 小笠原 司,伊藤 実,今井 正和 状態空間を自律的に構成する連続値強化学習法 ◎ A2 進行役:李晃伸 番号 発表者 論文審査委員(敬称略) 9951025 小椋 敦子 松本 裕治,鹿野 清宏,伝 康晴 音声対話における意図や話題移行の表出に関わる言語特徴の分析 9951036 工藤 拓 松本 裕治,鹿野 清宏,伝 康晴 Japanese Dependency Structure Analysis Based on Support Vector Machines
(Support Vector Machineを用いた日本語係り受け解析) 9851001 浅原 正幸 松本 裕治,鹿野 清宏,伝 康晴 Extended Statistical Model for Morphological Analysis
(形態素解析のための拡張統計モデル) ◎ B2 進行役:黒田知宏 番号 発表者 論文審査委員(敬称略) 9951117 森本 龍太郎 横矢 直和,千原 國宏,竹村 治雄 没入型仮想環境を利用した対話的地形モデリング 9951024 岡本 隆資 横矢 直和,湊 小太郎,竹村 治雄 キーフレーム入力によるモーションデータの検索 9951203 棚瀬 篤史 横矢 直和,湊 小太郎,竹村 治雄 人形型インタフェースを用いたCGアバタ操作による遠隔コミュニケーション ◎ C2 進行役:作村勇一 番号 発表者 論文審査委員(敬称略) 9951087 西出 果 小笠原 司,湊 小太郎,今井 正和 遠隔手術のための仮想平面を用いた3次元情報提示法 9951010 伊野 智行 小笠原 司,千原 國宏,今井 正和 顔と視線情報による電動車椅子の走行支援 9951027 貝野 彰彦 小笠原 司,千原 國宏,今井 正和 皮膚内部歪み分布に着目した有限要素指モデルによる人の把持動作解析 ◎ A3 進行役:宮田高志 番号 発表者 論文審査委員(敬称略) 9951128 吉野 圭一 松本 裕治,鹿野 清宏,伝 康晴 機械学習を用いた日本語ゼロ代名詞照応関係の同定 9951005 池田 陽平 鹿野 清宏,Nick Campbell,松本 裕治,柏岡 秀紀 大阪方言自然発話音声へのToBIの拡張 −大阪イントネーションのモデル化− 9951095 藤井 慶 鹿野 清宏,Nick Campbell,松本 裕治,柏岡 秀紀 ToBI を用いた音声単位選択による音声合成手法 ◎ B3 進行役:中村恭之 番号 発表者 論文審査委員(敬称略) 9951007 市川 徹 横矢 直和,小笠原 司,竹村 治雄 高解像度全方位画像センサを用いた遠隔監視システムのためのイベント検出 9951075 寺沢 征彦 横矢 直和,小笠原 司,竹村 治雄 複数の全方位画像センサを用いた移動物体の存在領域推定に基づく遠隔監視システム 9951130 米田 美里 横矢 直和,小笠原 司,竹村 治雄 全方位画像センサを用いたテレプレゼンスによる移動ロボットの遠隔操縦 ◎ C3 進行役:菅幹生 番号 発表者 論文審査委員(敬称略) 9951030 鎌田 久美 千原 國宏,湊 小太郎,眞鍋 佳嗣,大城 理 腎臓糸球体の没入型インタラクティブ観測システム 9951043 小塚 淳 千原 國宏,湊 小太郎,眞鍋 佳嗣,大城 理 タンパク質ダイナミクスの三次元動画可視化手法 9951048 佐藤 恭子 千原 國宏,湊 小太郎,眞鍋 佳嗣,大城 理 磁気共鳴弾性イメージングによる柔らかさ提示システム ◎ A4 進行役:宮田高志 番号 発表者 論文審査委員(敬称略) 9951100 松尾 康孝 鹿野 清宏,Nick Campbell,松本 裕治,柏岡 秀紀 韻律バランスのとれた音声コーパス収録システムの開発 9951077 戸田 智基 鹿野 清宏,Nick Campbell,松本 裕治,猿渡 洋 STRAIGHT分析合成方式を用いた高品質な声質変換 9951081 長友 健太郎 鹿野 清宏,松本 裕治,猿渡 洋 相補的バックオフアルゴリズムを用いた言語モデルの融合 ◎ B4 進行役:山澤一誠 番号 発表者 論文審査委員(敬称略) 9951016 上田 悦子 小笠原 司,横矢 直和,今井 正和 多視点シルエット画像を用いた手の形状推定 9951022 大原 正満 小笠原 司,横矢 直和,今井 正和 複数の全方位画像を用いた高速な自己位置同定 9951072 種本 満 小笠原 司,横矢 直和,今井 正和 赤外光源を用いた手の画像取得に基づく非接触インタフェースの構築 ◎ C4 進行役:菅幹生 番号 発表者 論文審査委員(敬称略) 9951058 須田 淳一 千原 國宏,湊 小太郎,眞鍋 佳嗣,大城 理 没入型インタラクティブ体内可視化システム 9951098 町田 淳昇 千原 國宏,湊 小太郎,眞鍋 佳嗣,大城 理 レーザブレイクダウンによる超音波三次元イメージング 9951111 村上 満佳子 千原 國宏,湊 小太郎,眞鍋 佳嗣 手話アニメーションにおける修飾表現手法の研究 ◎ A5 進行役:久米出 番号 発表者 論文審査委員(敬称略) 9951034 川村 俊也 鹿野 清宏,木戸出 正継 猿渡 洋 独立成分分析とアレー信号処理を統合したブラインド音源分離 9951088 西村 竜一 鹿野 清宏,木戸出 正継,猿渡 洋 Webリソースを用いた音声認識用言語モデルの自動作成 9951125 山田 実一 鹿野 清宏,木戸出 正継,猿渡 洋 大語彙連続音声認識における環境適応アルゴリズム ◎ B5 進行役:土居元紀 番号 発表者 論文審査委員(敬称略) 9951204 坪田 智子 小笠原 司,千原 國宏,今井 正和 ヒューマンインタフェースのための顔情報の計測に基づくユーザの心理状態推定 0051054 田合 弘幸 小笠原 司,千原 國宏,今井 正和 共存型ロボットにおける人発見・追跡行動のための実時間視覚処理に関する研究 9951201 上石 唯貴 杉本 謙二,福田 晃,笠原 正治 Performance Analysis of TCP over Wired-Wireless Networks with Go-back-N ARQ Protocol
(Go-back-N再送方式を有する有線無線ネットワーク上でのTCPの性能評価) ◎ C5 進行役:飯田勝吉 番号 発表者 論文審査委員(敬称略) 9951009 伊藤 英明 福田 晃,山口 英 無線Ad Hocネットワーク環境における位置情報を用いた通信方式 9951044 小西 利幸 山本 平一,佐和橋 衛,山口 英 W-CDMA下りリンクにおける適応アンテナアレイ送信ダイバーシチを用いたときのチャネル推定法の検討 9951132 AKHMAD UNGGUL PRIANTORO 山本 平一,佐和橋 衛,山口 英 Multipath Interference Canceller for Orthogonal Multiplexed Channels and its Performance in W-CDMA Forward Link
(W-CDMA下りリンク直交多重チャンネルにおけるマルチパス干渉キャンセラ)
専攻長