岡本 圭史 | 産業技術総合研究所

スポンサーリンク

概要

• 同名の論文著者
• 産業技術総合研究所の論文著者

関連著者

• 岡本 圭史

  産業技術総合研究所

• 清野 貴博

  産総研

• 和泉 憲明

  産総研

• 橋田 浩一

  産総研

• 橋田浩一

  産業技術総合研究所

• 橋田 浩一

  東京大学電子技術総合研究情報科学部

• 橋田 浩一

  ICOT

• 橋田 浩一

  Iccs/jcss99実行委員、日本認知科学会

• 橋田 浩一

  産業技術総合研究所サイバーアシスト研究センター:科学技術振興事業団戦略的基礎研究推進事業

• 橋田 浩一

  東京工業大学大学院総合理工学研究科:産業技術総合研究所情報技術研究部門:科学技術振興機構crest

• 和泉 憲明

  (独)産業技術総合研究所サービス工学研究センター

• 池田 宏一郎

  法政大学経営学部

• 山口 高平

  慶應義塾大学

• 山口 高平

  慶應義塾大学大学院理工学研究科

• 山口 高平

  大阪大学工学部通信工学科

• 木下 佳樹

  産業技術総合研究所

• 和泉 憲明

  独立行政法人 産業技術総合研究所

• 岡本 圭史

  産総研

• 玉川 奨

  慶應大

• 飯島 千絵

  慶應大

• 山口 高平

  慶應大

• 岡本 圭史

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 木下 佳樹

  (独)産業技術総合研究所 組込みシステム技術連携研究体

• 清野 貴博

  (独)産業技術総合研究所 社会知能技術研究ラボ

• 橋田 浩一

  (独)産業技術総合研究所 社会知能技術研究ラボ

• 高村 博紀

  JST CRESTディペンダブル組込みOS研究開発センター

• 岡本 圭史

  東京女子大学

• 清野 貴博

  独立行政法人産業技術総合研究所サービス工学研究センター

• 橋田 浩一

  独立行政法人産業技術総合研究所サービス工学研究センター

• 岡本 圭史

  独立行政法人産業技術総合研究所関西産学官連携センター組込みシステム技術連携研究体

• 山口 高平

  慶應義塾大学理工学系研究科

• 木下 佳樹

  独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体

• 橋田 浩一

  独立行政法人産業技術総合研究所

• 清野 貴博

  独立行政法人産業技術総合研究所 社会知能研究ラボ

• 高村 博紀

  独立行政法人科学技術振興機構

• 和泉 憲明

  (独)産業技術総合研究所

• 橋田 浩一

  (独)産業技術総合研究所

もっと見る 閉じる

著作論文

• Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\rm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
• オントロジーに基づくサービスプロセスからの共通構造抽出法
• 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
• On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
• On random Kripke frames (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
• GROUP CONFIGURATIONS IN SIMPLE THEORIES (PART. 2) (Interaction between model theory and algebraic geometry)
• 情報システムの構造化仕様のための業務オントロジーの試作
• 先端技術動向紹介・将来展望(4)組み込みソフトウェア製品の品質評価手法の動向

スポンサーリンク