中原 早生
ナカハラ ハヤオ (Hayao Nakahara)
更新日: 2024/12/18
基本情報
研究分野
1経歴
4-
1979年 - 1989年
-
1979年 - 1989年
-
1978年 - 1979年
-
1978年 - 1979年
学歴
4-
- 1977年
-
- 1977年
-
- 1975年
-
- 1975年
MISC
11-
Growth, Development & Aging 64(3) 91-112 2001年
-
Growth, Development and Aging 64(3) 91-112 2000年
-
Acta Medica Auxologica 30(1) 15-24 1999年
-
Acta Medica Auxologica 30(1) 15-24 1999年
-
Publications of the Research Institute for Mathematical Sciences 25 135-155 1989年
-
数理解析研究所紀要 25 415 1989年
-
Publications of the Research Institute for Mathematical Sciences 25 135-155 1989年
-
Publications of the Research Institute for Mathematical Sciences 25(3) 415-489 1989年
-
Acta Informatical 14(2) 135-155 1980年
-
ACTA INFORMATICA 14(2) 135-155 1980年
-
Acta Informatical 14(2) 135-155 1980年
書籍等出版物
2-
Describing and verifying programs with abstact data types(North-Holland) 1978年
-
Describing and verifying programs with abstact data types(North-Holland) 1978年