research_activities
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| research_activities [2019/11/06 10:59] – kawabata | research_activities [2025/02/21 19:08] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| * Interests | * Interests | ||
| + | * Software Engineering | ||
| * Programming and Programming Languages | * Programming and Programming Languages | ||
| - | * [[Traf]]: a proof tree viewer which cooperates with a theorem prover Coq | ||
| * Computational Real Arithmetic | * 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, | + | |
| - | * Kawabata, H. and Iwasaki, H., Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations, | + | |
| - | | + | |
| - | * [[http:// | + | |
| * [[Publications]] | * [[Publications]] | ||
| Line 20: | Line 17: | ||
| * Experience | * Experience | ||
| * 1994-2007 Research Associate of Department of Computer Engineering, | * 1994-2007 Research Associate of Department of Computer Engineering, | ||
| - | * 2007- Lecturer of Department of Computer and Network Engineering, | + | * 2007-2021 Lecturer of Department of Computer and Network Engineering, |
| + | * 2021- | ||
| + | * May 2022 - Sep 2022 Visiting Fellow of College of Engineering & Computer Science, | ||
| * Affiliation | * Affiliation | ||
| * JSSST, IPSJ, IEICE, JSIAM, ACM, IEEE-CS | * JSSST, IPSJ, IEICE, JSIAM, ACM, IEEE-CS | ||
research_activities.1573005557.txt.gz · Last modified: 2025/02/21 19:08 (external edit)