hagi.is.s.u-tokyo.ac.jp
Summary
Yoichi Hirai (????) interests Computation and some logics Shared memory scheduling as Kripke models of intermediate logics Becoming a "convenience logic researcher" in the sense of "convenience stores" resume contact information mail: yh@lyon.is.s.u-tokyo.ac.jp Friendfeed blog (in Japenese) @pirapira at twitter phone mail: ktai x pira.jp prizes, grants and distinctions JSPS Research Fellowships for Young Scientists. ????????????DC, 2011--2013. Dean's Award of
|
Is This Your Site? Edit Your Listing Here!
Company Information
|
|
| Name: | hagi.is.s.u-tokyo.ac.jp |
| URL: | hagi.is.s.u-tokyo.ac.jp/~yh |
