研究者
J-GLOBAL ID：200901032800569750   更新日: 2020年09月01日

中原 早生

ナカハラ ハヤオ | Nakahara Hayao
所属機関・部署：
旧所属 広島大学 総合科学部

旧所属 広島大学 総合科学部 について


職名： 助教授
ホームページURL (1件)： http://www.mis.hiroshima-u.ac.jp/~nakahara/
研究分野 (1件)： 情報学基礎論
競争的資金等の研究課題 (2件)：
  • 構成的プログラミング
  • Constructive Programming
MISC (12件)：
もっと見る
書籍 (2件)：
  • Describing and verifying programs with abstract data types
    Describing and verifying programs with abstact data types(North-Holland) 1978
  • Describing and verifying programs with abstract data types
    Describing and verifying programs with abstact data types(North-Holland) 1978
学歴 (4件)：
  • - 1977 京都大学 理学研究科 数理解析
  • - 1977 京都大学
  • - 1975 京都大学 理学部 数学
  • - 1975 京都大学
学位 (1件)：
  • 理学博士 (東京大学)
経歴 (4件)：
  • 1979 - 1989 東京大学 助手
  • 1979 - 1989 University of Tokyo, Research Assistant
  • 1978 - 1979 京都大学 助手
  • 1978 - 1979 Kyoto University, Research Assistant
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM