山崎 進 | 京都大学工学部

スポンサーリンク

概要

• 山崎 進の詳細を見る
• 同名の論文著者
• 京都大学工学部の論文著者

関連著者

• 山崎 進

  京都大学工学部

• 堂下 修司

  京都大学工学部

• 上林 弥彦

  京都大学工学部

• 村木 一至

  京都大学工学部

• 石橋 稔彦

  京都大学工学部

• 鈴木 博

  京都大学工学部

• 葭矢 哲司

  京都大学工学部

• 外村 俊之

  京都大学工学部情報工学教室

著作論文

• The Satisfiability Problems for Some Classes of Extended Horn Sets in the Propositional Logic (Mathematical Studies of Information Processing)
• Horn節集合による計算について (数理情報科学の基礎理論と応用)
• Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics)
• 入カ導出を階層化した導出について (計算機科学の数学的基礎)
• 系列パターン認識システムの考え方 : 系列パターンの誤り処理 (時系列パターンの認識システムの研究)
• プッシュダウンオートマトンに対応する無限状態オートマトンの性質 (オートマトン理論と数理言語の研究)
• 文脈自由言語の bottom-up的最小誤り訂正アルゴリズムについて

スポンサーリンク