Hideyuki Kawabata's page

This is an old revision of the document!

Research Activities

• Interests
  • Programming and Programming Languages
    • Traf: a proof tree viewer which cooperates with a theorem prover Coq

• Computational Real Arithmetic
  • Hideyuki Kawabata: Speeding up Exact Real Arithmetic on Fast Binary Cauchy Sequences by using Memoization based on Quantized Precision, Journal of Information Processing, Vol.25, pp.494–504, July 2017. DOI: 10.2197/ipsjjip.25.494
  • Kawabata, H. and Iwasaki, H., Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations, Proc. 25th European Symposium on Programming (ESOP), Proc. ESOP 2016, LNCS 9632, pp.390-418, 2016. DOI: 10.1007/978-3-662-49498-1_16
• High-Performance Computing (Optimization of code and data structures)
  • CMC: the Compiler for Matrix Computations>

• Publications

• Education
  • B.E. (Kyoto University, 1992)
  • M.E. (Kyoto University, 1994)
  • Ph.D in Computer Engineering (Kyoto University, 2004)

• Experience
  • 1994-2007 Research Associate of Department of Computer Engineering, Hiroshima City University
  • 2007- Lecturer of Department of Computer and Network Engineering, Hiroshima City University

• Affiliation
  • JSSST, IPSJ, IEICE, JSIAM, ACM, IEEE-CS