菊池 誠 | 神戸大学工学部情報知能工学科

スポンサーリンク

概要

• 菊池 誠の詳細を見る
• 同名の論文著者
• 神戸大学工学部情報知能工学科の論文著者

関連著者

• 菊池 誠

  神戸大学工学部情報知能工学科

• 菊地 誠

  神戸大 工

• 菊池 誠

  神戸大学工学部

• 長坂 一郎

  神戸大学文学部

• 菊池 誠

  神戸大学自然科学研究科

• 菊池 誠

  神戸大学大学院自然科学研究科

• 菊池 誠

  神戸大学大学院システム情報学研究科

• 田浦 俊春

  神戸大学

• 上田 完次

  神戸大学

• 上田 完次

  東大

• 田中 一之

  東北大学理学部

• 長坂 一郎

  神戸大学人文学研究科

• 筒井 広城

  神戸大学院

• 長坂 一郎

  神戸大学

• 菊池 誠

  東京工業大学理学部,東北大学理学部

• 田中 一之

  東北大学教養学部

• 菊池 誠

  東北大学理学部

もっと見る 閉じる

著作論文

• 2302 設計の最適化過程における設計空間の生成
• 不完全性定理とWKL$_0$(数理論理学とその応用)
• 言語学の設計学への応用に関する研究(第2報) : 意味としての機能とSimonによる人工物の定義
• 言語学の設計学への応用に関する研究(第1報) : 一般設計学の逆理と名詞句としての実体概念の形式化
• 一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)
• On Buss and Turan's extensions of Haken's results
• 実代数幾何のためのモデル理論入門(実特異点の幾何学的様相)
• 算術化された安定性定理の応用について(数学基礎論およびその応用)
• Berry's paradox and the incompleteness theorem

スポンサーリンク