{{flash.message}}
researchmap
  • 日本語 | English
  • 新規登録
  • ログイン
アバター

髙村 博紀

Hiroki Takamura
更新日: 2017/04/25
  • ホーム
  • 研究キーワード
  • 研究分野
  • 経歴
  • 担当経験のある科目(授業)
  • 所属学協会

基本情報

所属
日本品質保証機構
学位
博士(情報科学)

J-GLOBAL ID
201101016121028549
researchmap会員ID
B000004622

研究キーワード

  5
  • ディペンダビリティ 
  • 機能安全 
  • 形式手法 
  • 構成的数学 
  • 数理論理学 

研究分野

  5
  • 情報通信 / 情報学基礎論 /  
  • 自然科学一般 / 応用数学、統計数学 / 構成的数学 
  • 自然科学一般 / 数学基礎 / 構成的数学 
  • 自然科学一般 / 応用数学、統計数学 / 数理論理学 
  • 自然科学一般 / 数学基礎 / 数理論理学 

経歴

  3
  • 2014年4月 - 2017年3月
    株式会社アトリエ 
  • 2010年4月 - 2014年3月
    科学技術振興機構 研究員 
  • 2005年4月 - 2010年3月
    産業技術総合研究所 特別研究員 

担当経験のある科目(授業)

  1
  • 情報数学基礎論  (京都大学) 

所属学協会

  2
  • IEC TC56 (Dependability) 
  • 日本数学会 

メニュー

マイポータル

フォロー一覧

まだ誰もフォローしていません。
アバター
{{follow.Related.user_name_ja}}

{{follow.Related.modified}} 更新

2017 researchmap
利用規約
Japan Science and Technology Agency