大崎 宏 | (財)日本情報処理開発協会

スポンサーリンク

概要

• 同名の論文著者
• (財)日本情報処理開発協会の論文著者

関連著者

• 大崎 宏

  (財)日本情報処理開発協会

• 大崎 宏

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

• 新田 克己

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

• 大嶽 能久

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

• 前田 茂

  (株)東芝マルチメディア技術研究所

• 前田 茂

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

• 小野 昌之

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

• 横山 孝典

  武蔵工業大学大学院工学研究科電気工学専攻

• 坂根 清和

  新日本製鐵

• 米田 順美

  (財)日本情報処理開発脇会

• 横山 孝典

  (株)日立製作所日立研究所

• 和田 正寛

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

もっと見る 閉じる

著作論文

• 法的推論システムHELIC-II(4) : 論理構築支援
• 法的推論システム HELIC-II
• 法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論
• 制約とマルチコンテクストに基づく並列協調問題解決

スポンサーリンク