研究者
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件):
Relationships Among Biological Growth Parameters for Body Weight in Japanese Children. Growth, Development & Aging. 2001. 64. 3. 91-112
T. Sumiya, H. Nakahara, T. Shohoji. Relationships among biological growth parameters for body weight in Japanese children. Growth, Development and Aging. 2000. 64. 3. 91-112
Height and menarcheal age in Japanese girls. Acta Medica Auxologica. 1999. 30. 1. 15-24
Height and menarcheal age in Japanese girls. Acta Medica Auxologica. 1999. 30. 1. 15-24
Proofs and Programs: A naive approach to program extraction. Publications of the Research Institute for Mathematical Sciences. 1989. 25. 135-155
もっと見る
書籍 (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