会場・座長 |
開始 |
終了 |
氏名 |
題目 |
研究室 |
4号館423 |
09:20 |
09:35 |
恩田 瑞記 |
文の表面に現れていない意味の推定 |
大西研 |
斎藤(理) |
09:35 |
09:50 |
白井 基裕 |
メタ項書換え計算を用いた項書換え系の等価性判定アルゴリズムの実現 |
坂部研 |
|
09:50 |
10:05 |
関 雅夫 |
回帰型神経回路網による時系列パターン記憶と自己想起 |
大西研 |
|
10:05 |
10:20 |
中西 真紀 |
独立成分分析法によるブラインドセパレーション 〜サンプリングによる位相の影響〜 |
大西研 |
|
10:20 |
10:35 |
山本 亮 |
メタ項書換え系によるオブジェクト指向言語の抽象機械TOMの実行系の実現 |
坂部研 |
4号館431 |
09:20 |
09:35 |
木下 隆平 |
拡張ユークリッドの互除法による多項式の数値的因数分解 |
鳥居研 |
朝倉 |
09:35 |
09:50 |
石垣 宏純 |
2点境界値問題のChebyshev級数解法 |
鳥居研 |
|
09:50 |
10:05 |
各務 裕之 |
一般化ファジィペトリネットモデルを用いたファジィ制御系の安定解析に関する研究 |
内川研 |
|
10:05 |
10:20 |
塩沢 範之 |
数式を媒介としたマンマシンインターフェースの開発 |
鳥居研 |
|
10:20 |
10:35 |
藤井 一幸 |
脳波を用いたヒューマンインターフェースに関する研究 |
内川研 |
4号館433 |
09:20 |
09:35 |
池内 絹恵 |
2次元イラスト部品を用いた顔画像の生成法に関する研究 |
末永研 |
結縁 |
09:35 |
09:50 |
尾関 友浩 |
動画像処理による机上の指動作認識とユーザインタフェースへの応用に関する研究 |
末永研 |
|
09:50 |
10:05 |
酒井 宏治 |
MPEG動画像の動きベクトルを用いたシーン分類に関する研究 |
渡邉研 |
|
10:05 |
10:20 |
番正 聡志 |
Reed-Solomon符号を用いた二次元コードの復号化アルゴリズムに関する考察 |
岩垂研 |
|
10:20 |
10:35 |
吉田 裕一 |
知識型処理に基づく気管支枝名自動対応づけ手順の改善に関する研究 |
鳥脇研 |
|
10:35 |
10:45 |
休憩 |
4号館423 |
10:45 |
11:00 |
小尻 智子 |
解導出シナリオを用いた協調学習支援機構の研究 |
渡邉研 |
斎藤(理) |
11:00 |
11:15 |
三田 勝史 |
漸進的並列処理のためのプログラム解析に関する研究 |
渡邉研 |
|
11:15 |
11:30 |
助川 宏行 |
群化とトップダウンを用いた画像認識 |
大西研 |
|
11:30 |
11:45 |
山田 卓也 |
図と言語を組み合わせたプレゼンテーション生成システムにおける図の生成法に関する研究 |
渡邉研 |
|
11:45 |
12:00 |
米田 貴博 |
盲児の空間理解能力獲得を支援するシステム -身体運動を伴う課題の追加- |
大西研 |
4号館431 |
10:45 |
11:00 |
酒本 健二 |
仮説に基づく真偽維持システムのJavaによる実現 |
稲垣研 |
朝倉 |
11:00 |
11:15 |
鈴木 尚志 |
潜在的意味抽出法に基づいた概念の自動抽出と構造化 |
稲垣研 |
|
11:15 |
11:30 |
伊達 宣之 |
仮想化内視鏡システムにおける弾性臓器の形状変形手法に関する検討 |
鳥脇研 |
|
11:30 |
11:45 |
渡名喜元史 |
仮想化内視鏡システムにおける複合現実感を利用したユーザインタフェースの検討 |
鳥脇研 |
|
11:45 |
12:00 |
花房 浩章 |
タブロー法を用いた知識論理の証明システムに関する研究 |
稲垣研 |
4号館433 |
10:45 |
11:00 |
藤井 博文 |
有理関数系を基底とする補間と数値積分法 |
鳥居研 |
結縁 |
11:00 |
11:15 |
伊藤 尚也 |
データモデル・カバレッジの提案とその実装 |
阿草研 |
|
11:15 |
11:30 |
清水 邦彦 |
偏微分のある種の離散化とそのラプラス方程式への応用 |
鳥居研 |
|
11:30 |
11:45 |
豊田 隆司 |
項集合書換え系におけるナローイングの効率的実現 |
阿草研 |
|
11:45 |
12:00 |
宮本 巧輝 |
Sinc-Galerkin 法による Poisson 方程式の解法 |
鳥居研 |
|
12:00 |
13:00 |
休憩 |
会場・座長 |
開始 |
終了 |
氏名 |
題目 |
研究室 |
4号館423 |
13:00 |
13:15 |
尾関嘉一郎 |
Join-Calculus言語によるモバイル通信プロセスのプログラミング |
坂部研 |
濱口 |
13:15 |
13:30 |
植村 敦志 |
代数的仕様からのパターンを考慮したソフトウェア開発に関する研究 |
阿草研 |
|
13:30 |
13:45 |
神谷 英治 |
時間プロセス言語の順序付きSOS仕様に対する振舞い解析ツール |
坂部研 |
|
13:45 |
14:00 |
内山 英俊 |
自己組織化とデータマイニングを用いた新しいテキスト分類モデルの研究 |
阿草研 |
|
14:00 |
14:15 |
寺澤 啓司 |
オブジェクト指向プログラムの形式モデルに関する基礎的研究 |
坂部研 |
|
14:15 |
14:30 |
大橋 洋貴 |
ハイパーテキストを用いたソースプログラム理解支援システムに関する研究 |
阿草研 |
4号館431 |
13:00 |
13:15 |
福谷 斉 |
等間隔標本点の間引きによる数値積分公式の構成とその微分方程式への応用 |
鳥居研 |
河口 |
13:15 |
13:30 |
梅田 知宏 |
並列乗算器のテスト容易化設計 |
岩垂研 |
|
13:30 |
13:45 |
太田 智宏 |
立方根計算の減算シフト型ハードウェアアルゴリズム |
岩垂研 |
|
13:45 |
14:00 |
桑原 清二 |
二次元ユークリッド距離計算用ハードウェアアルゴリズム |
岩垂研 |
|
14:00 |
14:15 |
鈴木 俊博 |
進化的計算によるファジイ知識発見に関する研究 |
内川研 |
|
14:15 |
14:30 |
雪廣 博 |
遺伝的アルゴリズムを用いた走査電子顕微鏡画像の三次元再構成法に関する基礎的研究 |
内川研 |
4号館433 |
13:00 |
13:15 |
大野 勝士 |
顔の特徴点を利用した人物像からの頭部方向の高速推定法に関する研究 |
末永研 |
森 |
13:15 |
13:30 |
平野 一視 |
テレビ中継からのサッカーアニメーションの生成 〜選手の位置情報による動作の推定 |
大西研 |
|
13:30 |
13:45 |
二村 直広 |
正面顔画像の認識における問題点の基本検討 |
末永研 |
|
13:45 |
14:00 |
ヘルマント |
映り込み分離カメラシステム ーカラー画像への拡張ー |
大西研 |
|
14:00 |
14:15 |
小田 竜也 |
画像処理による視線抽出に関する研究 |
末永研 |
|
14:15 |
14:30 |
堀口 昌彦(電)
|
複数カメラの連携による物体追跡 |
大西研 |
|
14:30 |
14:40 |
休憩 |
4号館423 |
14:40 |
14:55 |
亀井 政史 |
メタ項書換え計算によるKnuth-Bendixアルゴリズムの実現 |
坂部研 |
濱口 |
14:55 |
15:10 |
河井 規浩 |
項集合書き換え系の実現 |
坂部研 |
|
15:10 |
15:25 |
谷口 貴啓 |
項書換え系のAC停止性の研究 |
坂部研 |
|
15:25 |
15:40 |
堀川 浩司 |
日本語形態素解析における接続コストの推定 |
稲垣研 |
|
15:40 |
15:55 |
渡邊 善之 |
漸進的な話し言葉翻訳における精度向上に関する研究 |
稲垣研 |
4号館431 |
14:40 |
14:55 |
岡田 卓也 |
電子化オフィスの構築のための業務タスクの分析と分類に関する研究 |
渡邉研 |
杉野 |
14:55 |
15:10 |
押谷 徹 |
黒板モデルに基づく市街地地図の並列認識に関する研究 |
渡邉研 |
|
15:10 |
15:25 |
近藤 真樹 |
腫瘤良悪性鑑別を目的とした3次元画像での特徴量計算法に関する研究 |
鳥脇研 |
|
15:25 |
15:40 |
島崎 貴正 |
住宅地図からの文字列の抽出に関する研究 |
渡邉研 |
|
15:40 |
15:55 |
松原 敦 |
手指動作認識のための動画像からの手領域の抽出手法に関する研究 |
末永研 |
4号館433 |
14:40 |
14:55 |
古山将佳寿 |
CASEツール統合をめざしたアプリケーションフレームワークに関する研究 |
阿草研 |
工藤 |
14:55 |
15:10 |
田島 慶一 |
ファジィニューラルネットワークによるファジィモデリングに関する研究 |
内川研 |
|
15:10 |
15:25 |
樋口 明 |
二次元データコードに用いる暗号化についての考察 |
岩垂研 |
|
15:25 |
15:40 |
水谷 祐一 |
畳込み符号を用いた二次元コードの逐次復号アルゴリズムについての考察 |
岩垂研 |
|
15:40 |
15:55 |
鈴木 孝聡 |
三層モデルによるソースプログラムの安全な変更に関する研究 |
阿草研 |
|
15:55 |
16:10 |
中島 弘倫 |
自律移動ロボットの識別タスクにおける感覚と運動の不可分性の実験的検証 |
内川研 |