1999年度 修士論文概要

植村 敦志 (289834015)

代数的仕様からの抽象度制御可能な自然言語文書の生成

梅田 知宏 (289834031)

一次元繰り返し回路から変換される木状回路のCテスト可能性

大橋 洋貴 (289834040)

ソフトウェア空間をトラバースする柔軟な検索とその応用

岡嶌 正道 (289834058)

カメラの連携による複数移動物体追跡システム

岡田 卓也 (289834066)

Durand-Kerner法を用いた代数方程式の精度保証

押谷 徹 (289834074)

情報伝播および仮説検証に基づく並列市街地地図認識に関する研究

尾関嘉一郎 (289834082)

Join算法による並行計算の簡潔な記述が可能なJAVA言語

Ould Seyid Ahmed (289834090)

Confluence of Weakly Orthogonal Conditional TRS with Extra Variables.

郭　雲涛 (289834104)

三階層モデルによる旅行手続き業務のトランザクション記述と処理方式の研究

神谷　英治 (289834112)

単項二階論理を用いた項書換え系の逐次性判定システム

桑原清二 (289834120)

3次元ベクトルのノルム計算用ハードウェアアルゴリズム

小尻　智子 (289834139)

創発育成のための協調学習支援モデルの研究

古山 将佳寿 (289834147)

ソフトウェアドキュメント統合モデルの提案とその利用支援システム -Dapid-

近藤 真樹 (289834155)

3次元胸部Ｘ線ＣＴ像における腫瘍影の特徴に基づく腫瘍の分類手法の開発とその良悪性鑑別への応用

三田 勝史 (289834163)

配列データを共有した並列タスク群のための漸進処理手法に関する研究

島崎貴正 (289834171)

区画ネットワークを用いた住所情報の認識に関する研究

嶋田 創 (289834180)

クロスバスイッチをなくしたマルチバンクキャッシュ

清水 邦彦 (289834198)

モバイル環境下のアドホックコミュニケーション支援に関する研究

助川　宏行 (289834201)

常微分方程式初期値問題における精度保証付き Picard 反復法

鈴木 孝聡 (289834210)

Javaプログラム理解のための構造-動作統合モデルに関する研究

関 雅夫 (289834228)

並列協調型リカレントネットによる系列画像の学習

孫　魯英 (289834236)

イベント-アクティビティ・モデルに基づく移動物体の動き特徴による 　　　　　　　　動画像のシーン検索に関する研究

伊達 宣之 (289834244)

3次元医用画像における臓器変形操作手法の開発とその胃X線CT像への応用

寺澤 啓司 (289834252)

オブジェクト指向計算モデルにおける例外処理の形式化

豊田 隆司 (289834279)

書換え系を書き換えるMRCプログラムの開発環境

番正 聡志 (289834287)

3次元画像の断面再構成および細線化アルゴリズムの改善について

樋口 明 (289834295)

重み付き射影座標を用いたGF(2^n)上の楕円曲線暗号のための高速演算アルゴリズム

平野 一視 (289834309)

動作モデルを用いた単眼動画像からの人体姿勢の推定

ヘルマント (289834317)

独立成分分析を用いた実物体と映り込みの分離

松井　宗大 (289834325)

ターボ復号の並列復号法と尤度に上限を与える復号法に関する研究

宮本巧輝 (289834333)

2 重指数型変換を用いた偏微分方程式の安定な高速解法

山田 卓也 (289834341)

話題の構造に基づいたプレゼンテーション・スライドのシナリオ構成支援に関す る研究

吉田 裕一 (289834350)

複数の知識モデルを用いた気管支枝名自動対応づけ手順の開発

米田 貴博 (289834368)

視覚障害児の歩行能力向上を支援するシステム

論文題目のページへ