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

スポンサーリンク

概要

• 大崎 宏の詳細を見る
• 同名の論文著者
• (財)新世代コンピュータ技術開発機構の論文著者

関連著者

• 大崎 宏

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

• 新田 克己

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

• 大崎 宏

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

• 大嶽 能久

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

• 前田 茂

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

• 前田 茂

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

• 小野 昌之

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

• 横山 孝典

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

• 坂根 清和

  新日本製鐵

• 米田 順美

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

• 横山 孝典

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

• 鈴木 孝宏

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

• 柴崎 真人

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

• 坂田 毅

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

• 山路 孝浩

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

• 東条 敏

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

• 小久保 岩生

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

• 東条 敏

  (株)三菱総合研究所情報科学部

• 柴崎 真人

  東京工業大学大学院

• 和田 正寛

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

もっと見る 閉じる

著作論文

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

スポンサーリンク