岩田 茂樹 | 相模工業大学工学部
スポンサーリンク
概要
関連著者
-
岩田 茂樹
東海大学情報処理研究教育施設
-
岩田 茂樹
相模工業大学工学部
-
笠井 琢美
電気通信大学情報工学専攻
-
笠井 琢美
電気通信大学
-
笠井 琢美
京都大学数理解析研究所
-
深沢 良彰
早稲田大学 理工学部
-
足立 暁生
日本アイ・ビー・エム
著作論文
- グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)
- ユネート関数におけるプライムインプリカントの最大数 (数理情報科学の基礎理論と応用)
- 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
- 石おきゲームと計算の複雑さ (情報科学の数学的基礎理論と応用)
- Goto文のないプログラム形について (計算機構の数学的研究)