Hiroshi Ogawa (小川 浩志)
I am a 2nd-year master's course student in Group MMM (Hasuo-Lab),
Department of Computer Science,
Graduate School of Information Science and Technology,
The University of Tokyo.
My supervisor is Ichiro Hasuo.
Publications and theses
Coalgebraic Approach to Equivalences of Quantum Systems.
BSc thesis, University of Tokyo, 2014. (pdf)
- Quotient and Kantorovich Metric via Observation-Algebra in Lawvere Theory.
Kagoshima University, Kagoshima, Japan. 14 Mar 2015.
- Coalgebraic Approach to Equivalences of Quantum Systems.
Kanagawa University, Kanagawa, Japan. 19 Mar 2014.
Visited conferences and workshops
- CSCAT 2015, Kagoshima, Japan, 2015.
- NII Shonan School On Coq , Kanagawa, Japan, 2014.
- QPL 2014 , Kyoto, Japan, 2014.
- CSCAT 2014 , Kanagawa, Japan, 2014.
- Office: Room 415, Faculty of Science Building 7, 7-3-1 Hongo, Bunkyo, Tokyo 113-0033
- Email: ogawahiroshi [at] is.s.u-tokyo.ac.jp