坂井 公 | 筑波大学数学系

スポンサーリンク

概要

• 坂井 公の詳細を見る
• 同名の論文著者
• 筑波大学数学系の論文著者

関連著者

• 坂井 公

  筑波大学数学系

• 本位田 真一

  (株)東芝システム・ソフトウェア生産技術研究所

• 大須賀 昭彦

  (株)東芝研究開発センター

• 大須賀 昭彦

  (株)東芝

• 大須賀 昭彦

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

• 坂井 公

  筑波大学電子・情報工学系

• 坂井 公

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

• 藤田 博征

  筑波大学博士課程数学研究科

• 高橋 孝一

  産業技術総合研究所

• 山田 龍也

  筑波大学数理物質科学研究科物質創成先端科学専攻

• 坂井 公

  筑波大学数理物質科学研究科物質創成先端科学専攻

• 大須賀 昭彦

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

• 横井 俊夫

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

• 高橋 孝一

  電子総合研究所

• 藤田 博征

  筑波大学理工学研究科

• 池田 浩

  筑波大学数学研究科

• 高橋 孝一

  産業技術総合研究所システム検証研究センター

もっと見る 閉じる

著作論文

• 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
• Metis-AS における代数的仕様の検証手続き
• 等式論理の帰納的定理を証明する手続き
• E単一化子の完全集合を求める推論規則
• 項書換えシステム「Metis」の実装
• 不偏ゲームの平坦性についての考察(セッション(6) : 一般)
• 標数2のある体上の代数方程式の求解
• 「結合子による高階単一化」再考
• 特集「制約論理プログラミング」の編集にあたって (制約論理プログラミング)

スポンサーリンク