学位論文一覧

論文はTexファイル,dviファイルまたはpdfファイルで年度別に発表当時の言語で収録されています.Texファイルとdviファイルは関連ファイルとともにZIP圧縮されています.

Windows95/98(SE)/Me/NT 4.0/2000/XP でdviファイルを閲覧するためには dviout for Windows が必要です.dviout for Winddows の入手やインストール方法はこちら等参考にしてください.

pdfファイルの閲覧には Adobe Acrobat Reader® が必要です.
公聴会資料の閲覧にはそれぞれのファイル形式に対応したビューワーが必要です.


2001年度

鈴木 峰生 : 超弾性体の変位問題の3次元CADおよびCGへの応用 : 2002年3月

2000年度

Artur Kornilowicz : A Formal Theory of Abstract Computers : 2001年3月
藤澤 義範 : プルーフチェッカによる代表的暗号方式の考察とRSA暗号処理の高速化について : 2001年3月
Roman Matuszewski : Computer Checked Mathematical Texts Presented in Natural Language : 2000年9月

1999年度

小林 俊一 : 世界共通言語としての数理言語の提案 : 1999年9月
山崎 浩 : ニューラルネットワークの近似理論と最適制御への適用 : 1999年9月

1998年度

Czeslaw Bylinski : Mizar Codification of the Category Theory : 1998年9月

1997年度

浅本 紀子 : Developing Fundamental Macroinstruction and Proving Their Basic Properties : 1998年1月

1996年度

中尾 剛 : 無線コンピュータ通信のための新しいプロトコル設計法と変復調のソフト処理について : 1997年3月
和崎 克己 : 高速ディジタル回路の論理的設計手法について : 1997年3月
下井 信浩 : 地表及び地下埋設物の遠隔探査とその多元的画像処理技術 : 1996年9月

1995年度

川本奈緒美(ポーリン)  : Applications of Petri Net Theory in Hardware/Software System Design : 1996年3月

1994年度

井村 寛 : 画像処理と画像伝送のための離散位相幾何学 : 1995年3月

1993年度

江口 正義 : 積分多様体の存在定理と非線形レギュレータヘの適用 : 1994年3月
西山 隆也 : デジタル回路におけるロジックの正当性とタイミングの検証 : 1994年3月

1991年度

不破 泰 : リング型ローカルエリアネットワークにおける高速化と信頼性向上に関する研究 : 1992年3月

Back Home English