NISHIHARA, Hideaki


  AIST Research Staff
  Research Center for Verification and Semantics, AIST
  E-mail: hide.a.kit@ni.aist.go.jp (I HIDE A KIt, and show CATegories. :-))

Profile
Previous works. (on mathematics)
Present works
Jump to personal pages. (Japanese)