修士論文一覧

2005年 3月 修了
画像検査におけるトークンを用いた欠陥分類の概要 荒井景介
画像配信システムにおけるJPEG処理の効率化 出水和徳
白色干渉による高さ計測におけるセルオートマトンを用いたマイコンの並列処理 上原大蔵
GAによる白色干渉の測定波形分離とその高速化 内山臣一
リアルタイム動画配信システムの開発 清水美宏
組み込みLinuxを用いたID生成端末の開発 松井大輔
2004年 9月 修了
起業概論のCAI 製作 鬼海邦夫

2003年 3月 修了
BASICプログラムの Java applet化について 井上 智博
モアレの認証と電子決済システムへの利用 宇山 亮
インターネット対応の測候システム 荘 智隆
   
FCSを用いた遠隔看護システムの開発 高坂 三千聡
電子決済のためのセキュリティーシステム 中沢 健士
仮想空間上にオフィス環境を実現するシステムの開発 浜 顕匡
プルーフチェッカーMizarを用いた初等ユークリッド幾何 久保 昭博
動画提示を主体とするIT実技教育のためのインターネットCAI 野口 光孝
遺伝的アルゴリズムを使ったTic Tac Toeゲームプログラム 山田 豊
Web版INE 和高慶夫

2002年 3月 修了
履歴管理メーラー 青木 洋輔
      
音楽を反映した模様作成支援システムの開発 加藤 正久
Linuxによるモバイルストリーミングシステムの構築 胡 安泰
無線LANによるデータ収集システム 鈴木 拓朗
画像検査におけるトークンを用いた欠陥分類 滝沢 保志
画像処理におけるモアレ縞の消去法 宮獪 宏
白色光干渉を用いた高さ計測の精密化と高速化 矢嶋 亮平
RSA暗号処理における剰余演算の高速アルゴリズムについて 山崎 陽平

2001年 3月 修了

画像検査におけるトークンを用いた欠陥分類 田原圭一郎
      
Fast Ethernet LAN Cardの設計と製作 増田俊男
音楽を反映した模様作成支援システムの開発 高橋昌嗣
DPマッチングを用いたステレオ立体視法による高さ測定 常軒正信
インターネットを利用した少額決済システムの構築 瓜田響平
分散開発環境における情報共有システム 臼井智和

 2000年 3月 修了


超音波による非破壊検査システムと音響レンズについて 井上修佑
無線データ収集システムにおける多段通信プロトコルの設計と実装 小松剛
白色干渉による高さ計測の精度向上と高速化 小南真一
トークンを用いた欠陥分類方式と基板検査への応用 鈴木康行
WebBasic 山田
CGIによるメール管理システム 山野宏行
欠陥分類(画像処理) 吉川昌美



 
 1999年 3月 修了
言語による3次元オブジェクトの構成とMizarによる定式化 市川 仁
ペトリネットを用いたシーケンス制御プログラムの開発法 石橋 隆昌
分散開発環境における暗号システムの構築とMizarによるDES暗号の定式化 杉岡 功一
画像検査における欠陥形状の識別と有限位相空間による定式化 深獪 晴信
スペクトル解析のバイオサウンドへの応用とMIZARによる定式化 俵 英嗣
インターネットを用いた経理システムの開発とリレーショナルデータベース 中村 浩介
    
ファイル暗号化JAVAプログラムとMizarによる正しさの検証 村田 誠
ペトリネットを用いたインターネットアプリケーションの開発法 山本 敦則
Correctness of State Machines 王 玉霞
 

 1998年 3月 修了

階層型ペトリネット理論を用いたペトリネットデザインシステム 坂本 宗久

 1997年 3月 修了

ペトリネットを用いたプレスロボットの制御 [ 発表用ppt ] 石丸 博之
離散空間における全方向線分に対し均一な膨張・収縮処理 北獪 真弓
ペトリネットデザインシステムの拡張 [ 発表用ppt ] 渋谷 昌典
   
距離パラメータ学習法式による [ 発表用ppt ] 二本松 宏
無線通信におけるエラーの確率モデルとその訂正方式 [ 発表用ppt ] 古川 裕希
Go with JAVA [ 発表用ppt ] MOSES MIYANAGA
高速スロットリングLANのスロット通信制御部の開発 [ 発表用ppt ] 矢上 努
ATMを用いた高速スロットリングLAN間接続とイーサネット間接続 [ 発表用ppt ] 横井 健一

 1995年 3月 修了
新しいペトリネット概念を用いたシステム設計手法 大獪竜馬
加速度を許容範囲内に保つXYステージの位置・速度制御について 河村敦
   
高速ターミナルサーバの2重トークンリング方式 瞞藤剛
飛行ロボットプログラム集 鈴木雅之
傾きに対応した高速文字認識装置における投影ボードの構成 成奇元
microTHEAXシステムの開発 田中保史
生産管理のためのパソコンLANシステム 山本久晴

 1994年 3月 修了
動画表示機能を持つLANオーサリングシステム 小林 到
一般関数系による中間言語方式の機械翻訳システム 頼 明月
   
予測制御方式によるDCモータ制御 若林 勤
パケット交換網における時間同期システムとデジタル電話システム 脇本 直樹
整数の自動証明システムとプルーフチェッカ 渡辺 稔彦

 1993年 3月 修了
ペトリネット 川本 奈緒美
予測制御法を用いたスピーカ・Rーン面振動制御による低域特性の改善 浮森 秀一
   
飛行ロボット実現に必要なセンサ及び画像伝送 内川 浩行
レジスタ挿入型スロットリングによる高速基幹LAN 大河原 輝雄
動画伝送システムにおける同期揺らぎの吸収について 加藤 和人
ソフトウェアによる振幅変復調の実現 中尾 剛
飛行ロボット実現における遠隔通信制御方式 山内 貞治
ペトリネットを用いたハードウェア設計とその高速化 李 政毅
拡張ペトリネットを用いた制御ソフトウェアの自動生成 和崎 克巳

 1992年 3月 修了
傾きに対応した高速文字認識 井村 寛
学習者モデルを用いた数式計算用誤答分析システムとその評価 今 利寿
   

 1991年 3月 修了
リング型ネットワークにおけるルーティングサーバについて 相浦 広国
状態遷移図を用いた階層型AI制御 柏木 繁
ポニー方ロボットのAI制御とシステムの統合 佐谷野 敏晴
ラインコーディング法を用いたイメージ転送システム 張 文柏
ポニー方ロボットの遠隔総合制御システム 袴田 直樹
ルール方KEを用いた音声認識システム 花木 聖一

 1990年 3月 修了
英文グラマーチェッカーの試作 風間 紀之
M系列を利用した統合デジタルネットワーク 新村 正明
模型ヘリコプターの自動コンピュータ制御 百瀬 康弘
ポニーロボットのAI制御 森本 直久

 1989年 3月 修了
4足歩行ロボットの重心移動制御 北原 秀彦
低周波音響探査システムとその分解能向上 北林 厚志
囲碁プログラム 越坂 悦大
並列型シーケンサとプログラミング支援システム 西山 隆也

 1988年 3月 修了
Crank-Nicolsonの陰解法によるSchrodinger微分方程式の近似解法について 中谷 勝彦

 1987年 3月 修了
無手順型パーソナル・コンピュータ・ネットワークにおける資源共有システム 牛丸 利治
既約コード法による音声合成・編集システム 高野 洋之
階層ファイルの統合機能をもつデータベース 陳 鏡超
無手順型LANの高速化について 水野貴博

 1986年 3月 修了
界磁パターンを予測制御するDCモータ 浅見 修

 1984年 3月 修了
単書き込み複読み出しの同時アクセスメモリについて 菅沼 総雄

 1983年 3月 修了
REPIC法における構造決定アルゴリズムの開発と音声圧縮、合成システム 不破 泰

Last modified: Thu Jan 9 14:09:11 JST 2003