棚橋 一也 | 東京大学工学部電子情報工学科:(現)(株)富士通

スポンサーリンク

概要

• 同名の論文著者
• 東京大学工学部電子情報工学科:(現)(株)富士通の論文著者

関連著者

• 福田 茂紀

  東京大学工学部電子情報工学科:(現)富士通研究所

• 棚橋 一也

  東京大学工学部電子情報工学科:(現)(株)富士通

• 石塚 満

  東京大学工学系研究科電子情報工学専攻

• 棚橋 一也

  東京大学工学部電子情報工学科

• 福田 茂紀

  東京大学 工学系研究科

• 棚橋 一也

  東京大学 工学部 電子情報工学科

• 石塚 満

  東京大学 工学部 電子情報工学科

• 石塚 満

  東京大学 大学院工学系研究科 電子情報工学専攻

著作論文

• 命題レベルの高速解法の利用を図るコストに基づく述語論理版仮説推論法
• 命題論理版高速仮説推論法を利用した述語論理版仮説推論システム
• 述語論理知識のQSQR法と圧縮操作による命題化による高速仮説推論法

スポンサーリンク