基礎研の研究内容



卒業論文の一覧


過去の研究の検索




基礎研究室では,情報の基礎理論を中心に研究していますが, 理論の応用にも積極的に取り組んでいます.
すべてのテーマが数学的裏付けを持ち,論理的に研究が進められていると共に, 各テーマが互いに関連し合って全体として高い成果をあげているのが特徴です.


プルーフチェッカー


コンピュータネットワーク


ペトリネット


ロボット


インターネットニューエスペラント

その他





Back Home English