Rchr
J-GLOBAL ID:200901054779376223   Update date: Sep. 18, 2013

Ohkubo Hirotaka

オオクボ ヒロタカ | Ohkubo Hirotaka
Affiliation and department:
Job title: Assistant Professor
Homepage URL  (1): http://www.aichi-pu.ac.jp/ist/~ohkubo/
Research field  (1): Software
Research keywords  (2): プログラミング言語論 ,  Programming Language
Research theme for competitive and other funds  (4):
  • オブジェクト指向プログラムからの代数的仕様抽出とその応用
  • オブジェクト指向言語における型推論アルゴリズム
  • Extraction of Algebraic Specification from Object-Oriented Programs and its Application
  • Type Inference Algorithm on Object-Oriented Langnages.
MISC (7):
Education (4):
  • - 1997 Nagoya University
  • - 1997 Nagoya University
  • - 1992 Nagoya University
  • - 1992 Nagoya University
Professional career (1):
  • (BLANK)
Association Membership(s) (2):
ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page