×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
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}} 更新
もっとみる