菊地 誠 | 神戸大 工
スポンサーリンク
概要
関連著者
-
菊地 誠
神戸大 工
-
菊池 誠
神戸大学工学部情報知能工学科
-
菊池 誠
神戸大学工学部
-
長坂 一郎
神戸大学文学部
-
長坂 一郎
神戸大学人文学研究科
-
長坂 一郎
神戸大学
-
菊池 誠
神戸大学自然科学研究科
-
菊池 誠
神戸大学大学院自然科学研究科
-
菊池 誠
神戸大学大学院システム情報学研究科
-
田浦 俊春
神戸大学
-
上田 完次
神戸大学
-
上田 完次
東大
-
田中 一之
東北大学理学部
-
筒井 広城
神戸大学院
-
菊池 誠
東京工業大学理学部,東北大学理学部
-
田中 一之
東北大学教養学部
-
菊地 誠
神戸大学
-
菊池 誠
東北大学理学部
著作論文
- 2302 設計の最適化過程における設計空間の生成
- 不完全性定理とWKL$_0$(数理論理学とその応用)
- 抽象設計論における機能空間と属性空間の生成過程
- 言語学の設計学への応用に関する研究(第2報) : 意味としての機能とSimonによる人工物の定義
- 言語学の設計学への応用に関する研究(第1報) : 一般設計学の逆理と名詞句としての実体概念の形式化
- 一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)
- On Buss and Turan's extensions of Haken's results
- 実代数幾何のためのモデル理論入門(実特異点の幾何学的様相)
- 算術化された安定性定理の応用について(数学基礎論およびその応用)
- Berry's paradox and the incompleteness theorem