座長 |
開始 |
終了 |
氏 名 |
論文題目 |
審査委員 |
研究室 |
備考 |
高木 |
9:00 |
9:20 |
常 継紅 |
Enclosing the Solution of Initial Value Problems in ODEs Using Interval Arithmetic |
杉浦 |
鳥脇 |
三井 |
杉浦G |
|
|
9:20 |
9:40 |
寺澤 真人 |
胸部X線像からの肺がん検出支援システムにおけるユーザインタフェースの開発と検出精度の向上に関する研究 |
鳥脇 |
清水 |
斉藤 |
鳥脇研 |
|
|
9:40 |
10:00 |
池辺 亮志 |
4次元空間の図形・情報の表示およびナビゲーション手法についての基礎的研究 |
鳥脇 |
大西 |
斉藤 |
鳥脇研 |
|
|
10:00 |
10:20 |
石川 数馬 |
擬似輪郭を含んだ不完全画像からの関節物体の抽出についての検討 |
大西 |
鳥脇 |
田中 |
大西研 |
|
阿草 |
10:30 |
10:50 |
石川 貴洋 |
3次元濃淡画像の観察支援ツールに関する研究 |
鳥脇 |
大西 |
斉藤 |
鳥脇研 |
|
|
10:50 |
11:10 |
伊藤 真洋 |
π-計算に基づく並行プログラム向けツールキットの作成 |
坂部 |
阿草 |
結縁 |
坂部研 |
|
|
11:10 |
11:30 |
熊谷 友宏 |
数値グレブナー基底による多変数代数方程式の解法 |
杉浦 |
鳥脇 |
三井 |
杉浦G |
|
|
11:30 |
11:50 |
中川 智貴 |
多項式零点の精度保証付計算 |
杉浦 |
鳥脇 |
三井 |
杉浦G |
|
|
11:50 |
12:10 |
山本 民樹 |
解析関数の有理関数近似 |
杉浦 |
鳥脇 |
三井 |
杉浦G |
|
渡辺 |
13:10 |
13:30 |
加藤 芳秀 |
チャート法に基づく話し言葉の漸進的構文解析 |
稲垣 |
大西 |
外山 |
稲垣研 |
進学 |
|
13:30 |
13:50 |
本田 和利 |
多エージェント自己認識論理の推論系の効率化とその実現 |
稲垣 |
坂部 |
外山 |
稲垣研 |
|
|
13:50 |
14:10 |
松永 悟 |
話し言葉の漸進的解釈に基づくマルチモーダルインタフェースに関する研究 |
稲垣 |
大西 |
外山 |
稲垣研 |
|
|
14:10 |
14:30 |
袴田 眞史 |
Cソースコード中のコメントと構文要素の自動的な対応付けについて |
阿草 |
稲垣 |
渡辺 |
阿草研 |
|
|
14:30 |
14:50 |
長谷川義範 |
プログラム変更理解のためのパターンベースシステム |
阿草 |
稲垣 |
渡辺 |
阿草研 |
|
大西 |
15:00 |
15:20 |
岩本 奈美 |
カスタマイズ可能な部分評価器とそのソフトウェア再利用への応用 |
阿草 |
坂部 |
高木 |
阿草研 |
|
|
15:20 |
15:40 |
平岩 浩之 |
複数の拡散率を用いるCDMA方式における多元接続干渉の影響と線形干渉除去の効果 |
小川 |
高木 |
片山 |
小川研 |
|
|
15:40 |
16:00 |
大河内俊雄 |
仮想版画 - 非写実的画像に関する基礎研究 |
鳥脇 |
岡田 |
斉藤 |
鳥脇研 |
|
|
16:00 |
16:20 |
北坂 孝幸 |
知識とモデルを利用した3次元胸部X線CT像からの肺野領域抽出 |
鳥脇 |
斉藤 |
清水 |
鳥脇研 |
進学 |
|
16:20 |
16:40 |
澤田 雅明 |
力覚フィードバックによる3次元濃淡情報の提示手法に関する研究 |
鳥脇 |
斉藤 |
清水 |
鳥脇研 |
|
|
16:40 |
17:00 |
沈 俊輔 |
多視点で得られた3次元構造の融合による復元精度の向上 |
大西 |
鳥脇 |
田中 |
大西研 |
進学 |
座長 |
開始 |
終了 |
氏 名 |
論文題目 |
審査委員 |
研究室 |
備考 |
坂部 |
9:00 |
9:20 |
鈴木幸一郎 |
長時間トランザクション処理におけるタスクフローを用いたタスクの実行 |
渡辺 |
坂部 |
佐川 |
渡邉研 |
|
|
9:20 |
9:40 |
鈴木 崇文 |
手続き型プログラムのパラダイム変換支援に関する研究 |
阿草 |
渡辺 |
坂部 |
阿草研 |
|
|
9:40 |
10:00 |
鈴木 宏紀 |
プログラム構造図を基にした動作情報視覚化の枠組み |
阿草 |
鳥脇 |
坂部 |
阿草研 |
|
|
10:00 |
10:20 |
Nawa, Norberto Eiji |
バクテリア進化アルゴリズムに関する研究 (A Study on Bacterial Evolutionary Algorithm) |
内川 |
大西 |
古橋 |
内川研 |
|
高木 |
10:30 |
10:50 |
二井 靖彦 |
代数的仕様における振舞等価性証明のための線形文脈帰納法について |
坂部 |
高木 |
酒井 |
坂部研 |
|
|
10:50 |
11:10 |
浜 聖一 |
音声説明のための書き言葉から話し言葉の生成法に関する研究 |
渡辺 |
大西 |
佐川 |
渡邉研 |
|
|
11:10 |
11:30 |
林 孝行 |
オブジェクト指向パラダイムによる間取り図面事例ベースの表現法 |
渡辺 |
高木 |
佐川 |
渡辺研 |
|
|
11:30 |
11:50 |
彦坂 友弘 |
スライドにおける箇条書表現の生成法の研究 |
渡辺 |
鳥脇 |
佐川 |
渡辺研 |
|
|
11:50 |
12:10 |
日高 隆博 |
プログラム動作情報のモデル化と理解支援への応用 |
阿草 |
渡辺 |
坂部 |
阿草研 |
進学 |
鳥脇 |
13:10 |
13:30 |
倉内 貴裕 |
日本語指示詞における推論による照応の解決手法 - 事物が変化する場合の照応解決 - |
大西 |
稲垣 |
渡辺 |
大西研 |
|
|
13:30 |
13:50 |
山崎 通弘 |
スタイル選択可能な文章作成支援システム |
大西 |
稲垣 |
渡辺 |
大西研 |
|
|
13:50 |
14:10 |
渡辺 竜明 |
動作履歴を用いた焦点絞り込みによるプログラム理解 |
阿草 |
渡辺 |
稲垣 |
阿草研 |
|
|
14:10 |
14:30 |
江場 雅彦 |
型のないオブジェクト指向プログラムの代数的意味記述に関する研究 |
坂部 |
渡辺 |
酒井 |
坂部研 |
|
|
14:30 |
14:50 |
広部 一弥 |
イベント-アクティビティ・モデルに基づいたビデオ・データベ ースのためのインデックス自動作成と検索に関する研究 |
渡辺 |
阿草 |
佐川 |
渡邉研 |
|
渡辺 |
15:00 |
15:20 |
三浦 良 |
関数呼び出し依存グラフを用いたプログラミングナビゲーションシステム |
阿草 |
坂部 |
高木 |
阿草研 |
|
|
15:20 |
15:40 |
宮下 大 |
自動ラベル付けに基づく項書換え系の合流性の判定 |
坂部 |
高木 |
酒井 |
坂部研 |
|
|
15:40 |
16:00 |
安井 公治 |
2分決定グラフを用いた論理関数の非単純分解に関する研究 |
高木 |
坂部 |
阿草 |
高木研 |
|
|
16:00 |
16:20 |
Lim Jit Kean |
運動パラメータに基づく手の動きの識別 |
大西 |
鳥脇 |
田中 |
大西研 |
|
|
16:20 |
16:40 |
劉 強 |
自然な数式によるプログラミングのための環境 |
杉浦 |
鳥脇 |
渡辺 |
杉浦G |
|