Rchr
J-GLOBAL ID：200901032800569750   Update date: Sep. 01, 2020

Nakahara Hayao

ナカハラ ハヤオ | Nakahara Hayao
Affiliation and department：
Former Institution / Organization Hiroshima University Faculty of Integrated Arts and Sciences

About Former Institution / Organization Hiroshima University Faculty of Integrated Arts and Sciences


Job title： Associate Professor
Homepage URL  (1)： http://www.mis.hiroshima-u.ac.jp/~nakahara/
Research field  (1)： Information theory
Research theme for competitive and other funds  (2)：
  • 構成的プログラミング
  • Constructive Programming
MISC (12)：
ｍore...
Books (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
Education (4)：
  • - 1977 Kyoto University
  • - 1977 Kyoto University Graduate School, Division of Natural Science
  • - 1975 Kyoto University Faculty of Science
  • - 1975 Kyoto University Faculty of Science
Professional career (1)：
  • 理学博士 (東京大学)
Work history (4)：
  • 1979 - 1989 The University of Tokyo
  • 1979 - 1989 University of Tokyo, Research Assistant
  • 1978 - 1979 京都大学 助手
  • 1978 - 1979 Kyoto University, Research Assistant
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM