平成１２年度卒業研究報告概要

菅原伸吾 (089433343): 集合被覆問題に対する近似解法の実験的評価に関する研究
佐野嘉則 (089530802): 定理自動証明系を用いたセキュリティプロトコルの安全性解析に関する研究
豊岡隼 (089531191): 並列計算機を用いた市街地地図から道路情報の抽出法に関する研究
橋爪　啓明 (089531400): メタ項書換え計算の合流性判定システムの実装
徳田真也 (089631269): TRSコンパイラCdimpleの組込み型のマッチング機能に関する研究
原達彦 (089631501): データ型の導入によるオブジェクト指向言語TinyObjectの拡張とその型推論アルゴリズム
矢崎　洋平 (089631927): autoconfに基づくプログラム移植支援ツールに関する研究
藍口孝久 (089730011): 人物画像からの人体パーツ位置推定法に関する研究
青山龍 (089730020): 音声対話における応答生成に関する研究
池原潔 (089730135): 計算機ユーザインタフェースにおけるビデオ画像処理の応用に関する検討
伊藤昭人 (089730160): 音声対話における話し言葉認識に関する研究
伊藤雅紀 (089730216): 独立成分分析を用いた音源分離の性能評価
井上昭男 (089730232): 手指形状辞書を用いた手指形状認識に関する研究
今井　誠 (089730267): 知識処理を用いた気管支枝名対応付けシステムにおけるユーザインタフェースの検討
岩崎陽平 (089730275): 無線ネットワーク環境における機器間の論理的接続に関する研究
岩村直樹 (089730291): LSI法を用いた情報検索に関する研究
太田圭亮 (089730356): ３次元ボリュームデータの対話的操作に関する研究
大橋良徳 (089730372): スリット視による図形認知機構のモデル〜パークス効果の定量化〜
大原直美 (089730380): 定理自動証明システム Isabelle を用いたプログラム検証の自動化
岡部洋樹 (089730402): Overturned Stairs Treeに基づく乗算LSIの設計
小川　浩史 (089730437): 3次元腹部X線CT像からの血管領域の自動抽出
加治洋丞 (089730470): 腹部X線CT像における大腸ひだ領域抽出手法の開発
加藤篤志 (089730488): 眼鏡の有無を考慮した顔画像処理の開発
加藤智之 (089730500): 円板算法による常微分方程式の精度保証付き解法
金井大典 (089730518): 学習機能付き自動音楽コード付加ツールの開発についての研究
釜谷聡史 (089730534): 単語間類似度を用いた日本語ウイグル語対訳辞書における未登録語の補完
川瀬善雄 (089730569): 進化ロボットにおけるモデル化誤差の補償と構造改変案の提示に関する研究
川野隆亮 (089730585): 肌色抽出を用いた複数人物追跡システム
熊澤文雄 (089730666): CORDIC法に基づく正弦・余弦計算回路の比較
桑原寛明 (089730712): 実時間並行ソフトウェアの開発支援ツールの構築
桑村　大輔 (089730720): 依存対を用いたTRSの停止性判定システムの実装
小出幸和 (089730739): 論理関数を表現するOBDD最小化のための回路構造に着目した発見的手法
高阪正幸 (089730747): C言語ライブラリの代数的仕様作成に関する研究
佐合　智廣 (089730836): ２ビットディジタル相関器による超音波距離計に関する研究
佐藤慎哉 (089730844): ファジィデータベースを用いた文献検索についての一考察
澤井隆二 (089730852): 再構成可能部を持つJavaプロセッサにおける動的命令変更機構
清水智博 (089730895): ＣＣＳによるネットワークプロトコルのセキュリティ検証に関する研究
杉山真史 (089730941): 確率的エンコーディングを用いたパルスニューラルネットワークによる歩行ロボットの制御
鈴木健之 (089730968): 折り紙教本から折り方認識に必要な領域の抽出、分類に関する研究
鈴木悠司 (089730976): 道路の白線を利用した視覚障害者歩行支援システム
高木亮 (089731018): 日英対訳コーパスにおけるフレーズ対応関係の推定
高梨理衣子 (089731034): Ambient算法のアニメーションを用いた実行環境の設計と実装
高橋英一 (089731050): 並列タスク間通信の実行時間削減法に関する研究
武市　寛之 (089731077): 図鑑検索システム〜少数データからの検索候補の絞り込み〜
田中淳 (089731115): 3次元目モデルの開発とその顔画像処理への応用
出口大輔 (089731158): オプティカルフロー解析に基づく実内視鏡カメラの動き推定
戸板晃一 (089731166): XMLを用いたソフトウェア関連文書の統合管理に関する研究
中川豊 (089731182): 遺伝的プログラミングを用いた自律分散機械の制御則の進化的構築
中平浩太 (089731212): 人工眼における神経細胞刺激用電極の作製
長尾慈郎 (089731263): 動画像情報と陰影情報を用いた物体形状復元とその内視鏡画像への応用
新美雅弘 (089731271): 胸部Ｘ線ＣＴ像における肺腫瘤の良悪性判別のための肺葉収縮の定量評価に関する研究
仁井本将司 (089731280): 三次元濃淡画像の操作手法の開発と、その手術シミュレーションへの応用
西尾慎太郎 (089731298): 野球録画データベース・ブラウジングのためのハイパービデオの研究
西川夏規 (089731301): Volume Rendering法における，領域指定法に関する基礎的実験
花井健輔 (089731344): 2分決定グラフを用いた論理関数の非単純分解アルゴリズムの実現と評価
花木美穂 (089731352): 人類学応用のための３次元Ｘ線ＣＴ像に基づくエジプトミイラの対話的可視化・計測機能の実現
濱野克俊 (089731379): 医用CT画像診断支援のための統合的GUIの構築
林　健吾 (089731387): 移動型ロボットを用いた案内システムの構築
林寛 (089731409): 全周情報の獲得とその高精細化の研究
早瀬陽介 (089731425): ステレオビジョンを用いた視覚障害者のための障害検知
広田和也 (089731492): k回読みl変数順序ブロック化分岐プログラムの計算能力
深谷　亮 (089731506): リカレントニューラルネットによる時系列顔表情からの特徴抽出
藤村幸一 (089731557): 代数的仕様の変更に伴うプログラムの変更支援に関する研究
古田恒志 (089731573): モバイル環境における分散情報の同期処理に関する研究
星野康 (089731590): 細粒度リポジトリにおけるコメント管理方式に関する研究
堀江　美保子 (089731603): 例外処理機能を持つオブジェクト指向計算モデルとその型システムに関する研究
前田　裕紀 (089731638): メモリリークのないCプログラム作成法の比較・評価とその応用
松岡厚一郎 (089731670): 再構成可能部を持つJavaプロセッサにおけるプロセッサコアと再構成可能部との協調動作環境の構築
三浦　直人 (089731727): 人工衛星用ドッキングシステムの改良
水野知秀 (089731743): 基数4における減算シフト型除算アルゴリズムの比較
水野智康 (089731751): 画像処理による茎付きレーズンの検出
湊恵一 (089731778): 有限状態オートマトンを用いた自然言語構文解析に関する研究
村上雅哉 (089731824): 依存関係に基づくマルチエージェント真偽維持システムに関する研究
横山耕一郎 (089732030): 腹部X線CT像からの腎臓領域自動抽出手法の開発
吉仲晃一 (089732057): 精密検査用胸部Ｘ線ＣＴ像の断面位置の自動推定手法の研究
若松佳広 (089732065): 走行車内における音声対話の特徴分析
河合　宏紀 (089732090): 動的再編成機能を有するニューラルネットワークを用いた自律移動ロボットの頑健なコントローラの進化的構築
松井幸一 (089732103): データ・キャッシュ・ミスを用いた値予測に関する研究

論文題目のページへ

yuen@nuie.nagoya-u.ac.jp