研究者
J-GLOBAL ID：201101016121028549   更新日: 2017年04月25日

髙村 博紀

Takamura Hiroki
所属機関・部署：
日本品質保証機構

日本品質保証機構 について


研究分野 (5件)： 情報学基礎論 ,  応用数学、統計数学 ,  数学基礎 ,  応用数学、統計数学 ,  数学基礎
研究キーワード (5件)： ディペンダビリティ ,  機能安全 ,  形式手法 ,  構成的数学 ,  数理論理学
学位 (1件)：
  • 博士(情報科学)
経歴 (3件)：
  • 2014/04 - 2017/03 株式会社アトリエ
  • 2010/04 - 2014/03 科学技術振興機構 研究員
  • 2005/04 - 2010/03 産業技術総合研究所 特別研究員
所属学会 (2件)：
IEC TC56 (Dependability) ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM