Rchr

J-GLOBAL ID：200901054779376223 Update date: Aug. 18, 2022

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)：

OHKUBO Hirotaka, SAKABE Toshiki, INAGAKI Yasuyoshi, Hirotaka Ohkubo, Toshiki Sakabe, Yasuyoshi Inagaki, Faculty of Information Science and Technology Aichi Prefectural University., Graduate School of Engineering Nagoya University., Graduate School of Engineering Nagoya University. A Type Checking Algorithm for Detecting "Message Not Understood Error" Fault in Object-Oriented Programs. Computer Software. 2000. 17. 3. 255-268
A Type Checking Algorithm for Detecting "Message Not Understood Error"Fault in Object-Oriented Programs. 2000. 17. 3. 63-76
On Extracting Algebraic Specifications from Object-Oriented Programs with Polymorphic Types. 1st Cafe OBJ Symposiumにて口頭発表. 1998
オブジェクト指向プログラムからの代数的仕様記述の抽出手法について. ソフトウェア科学会第14回大会論文集. 1997. 517-520
On Extracting Algebraic Specitication from Object-Oriented Programs. 1997. 517-520

ｍore...

Education (4)：

- 1997 Nagoya University
- 1997 Nagoya University Graduate School, Division of Engineering
- 1992 Nagoya University School of Engineering
- 1992 Nagoya University Faculty of Engineering

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

TOP

BOTTOM