原尾 政輝 | 山形大学工学部情報工学科

スポンサーリンク

概要

• 同名の論文著者
• 山形大学工学部情報工学科の論文著者

関連著者

• 岩沼 宏治

  山形大学工学部情報工学科

• 原尾 政輝

  山形大学工学部情報工学科

• 岩沼 宏治

  山梨大学工学部電子情報工学科

• 武田 和久

  山形大学工学部情報工学科

• 安孫子 力雄

  山形大学工学部電子情報工学科

著作論文

• 様相論理に基づく論理型知識表現言語(計算アルゴリズムの基礎理論)
• 様相論理に基づく知識の表現と推論
• 高階論理ユニフィケーションを用いた知識処理(計算アルゴリズムと計算量の基礎理論)
• 回路自動合成のための推論機構(計算アルゴリズムの基礎理論)
• 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)

スポンサーリンク