坂井 公 | 新世代コンピュータ技術開発機構

スポンサーリンク

概要

• 同名の論文著者
• 新世代コンピュータ技術開発機構の論文著者

関連著者

• 坂井 公

  新世代コンピュータ技術開発機構

• 坂井 公

  (財)新世代コンピュータ技術開発機構第1研究室

• 坂井 公

  筑波大学数学系

• 大須賀 昭彦

  東芝システム・ソフトウェア技術研究所

• 大須賀 昭彦

  新世代コンピュータ技術開発機構

• 横井 俊夫

  新世代コンピュータ技術開発機構

著作論文

• E単一化子の完全集合を求める推論規則
• 項書換えシステム「Metis」の実装
• Knuth-Bendixの完備化手続きとその応用
• 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)

スポンサーリンク