白井 康之 | 三菱総合研究所

スポンサーリンク

概要

• 同名の論文著者
• 三菱総合研究所の論文著者

関連著者

• 白井 康之

  三菱総合研究所

• 長谷川 隆三

  九州大学大学院システム情報科学研究院

• 長谷川 隆三

  九州大学大学院システム情報科学研究科知能システム学専攻

• 井上 克巳

  国立情報学研究所

• 犬島 浩

  早稲田大学大学院

• 小林 慎一

  (株)三菱総合研究所

• 粂野 文洋

  (株)三菱総合研究所

• 白井 康之

  (株)三菱総合研究所

• 藤田 博

  九州大学大学院システム情報科学研究院

• 越村 三幸

  九州大学大学院システム情報科学研究院

• 佐藤 明男

  NIMS

• 新田 克己

  東京工業大学大学院総合理工学研究科

• 安村 禎明

  東京工業大学大学院 総合理工学研究科

• 小林 慎一

  早稲田大学

• 粂野 文洋

  三菱総合研究所

• 西山 聡

  三菱総合研究所

• 佐野 紳也

  三菱総合研究所

• 浅井 直樹

  三菱総合研究所

• 佐藤 明男

  三菱総合研究所

• 白井 康之

  京都大学

• 犬島 浩

  早稲田大学大学院情報生産システム研究科

• 白井 康之

  京大エネルギー科学

• 井上 克巳

  神戸大学工学部

• 白井 康之

  株式会社三菱総合研究所情報技術研究部

• Reiner Hahnle

  Chalmers University of Technology

• 柴崎 真人

  東京工業大学大学院

• 小松 弘

  本間・小松法律事務所

• 白井 康之

  九州大学大学院システム情報科学府知能システム学専攻

• 藤田 博

  九州大学大学院システム情報科学研究科

• 新田 克己

  東京工業大学 大学院 総合理工学研究科 知能システム科学専攻

• 白井 康之

  株式会社三菱総合研究所|現在 Jst-erato湊離散構造処理系プロジェクト

• 新田 克己

  東京工業大学

もっと見る 閉じる

著作論文

• ソフトウェア分野における研究開発テーマ策定の方法論とその評価
• 有限区間制約を付加したモデル生成型定理証明系とその応用(次世代移動通信ネットワークとその応用)
• ダイアグラムに基づく法的論争支援システム
• 極小モデル導出法に基づく解集合計算の効率化
• モデル生成型定理証明システムによる制約充足問題の解決とその並列化

スポンサーリンク