Hirotaka OHKUBO

(->Japanese)

Research Aspects

Publications

1. Machine Execution of Type Inference for JavaScript Based on Model-Generation Theorem Prover, Hirotaka OHKUBO, Shinichiro YAMAMOTO, Toshiki SAKABE, Yasuyoshi INAGAKI, IEICE Transactions on Information and Systems, Vol.J89-D, No. 4, pp.693-704, 2006 (in Japanese)
2. A Type Checking Algorithm for Detecting "Message Not Understood Error" Fault in Object-Oriented Programs. Hirotaka OHKUBO, Toshiki SAKABE, Yasuyoshi INAGAKI, Computer Software, JSSST, Vol.17,No.3(2000),pp.63-76 (in Japanese)
3. On Extracting Algebraic Specifications from Untyped Object-Oriented Programs H.Ohkubo, T.Sakabe, Y.Inagaki in "CAFE: An Industrial-Strength Algebraic Formal Method", K.Futatsugi, A.T.Nakagawa, T.Tamai Ed., 2000, Elsevier, pp.161-178

Hobbies

Micromouse

It is a traditional competition, integration of mechanics, electronics and programming.

Programming

jwiki : A variant of wiki.

Newton Programming (discontinued)

Newton(pages in japanese) is the forerunner of electronic personal organizers (PDA's), with the characteristic programming environment "newtonscript". I wrote some program for it:

• Izumi : The Japanese Input System
• Tamoto(Japanese, documents in english available) : Application Launcher
• Jisho : Dictionary Engine

Alternatively, you can browse files area directly.
They are commented as they are licenced in GPL, but I've already lost all source code (and Newton Toolkit).