|
Japanese is here. |
C.V.
- 1981 Ph.D. Waseda University
- 1980 Assistant Professor, Waseda University
- 1982 Lecturer, Waseda University
- 1984 Associate Professor, Waseda Unviersity
- 1989 Professor, Waseda University
- Present: Professor
Department of Applied Mathematics,
Faculty of Science and Engineering
Waseda University
- 2010.9 Dean, School of Fundamental Science and Engineering, Waseda University
- 2010.9 Dean, Graduate School of Fundamental Science and Engineering, Waseda University
- 2014.9 Senior Dean, Faculty of Science and Engineering, Waseda University
- Former President of ESS Society, IEICE
- Editor-in-Chief, Nonlinear Theory and Its Applications, IEICE
- Director, Japan SIAM
- Director, Japan Simulation Society
- 2011.8 Visiting Professor at UPMC, France
Publications
We found that many problems in computational linear algebra and the accuracy of numerical solutions can be rigorously verified at computing costs associated with an approximate solution. This verification speed is very fast and offers numerous applications.
We have also proposed the idea of error free transformations of floating point numbers, which makes it possible to construct adaptive numerical algorithms that generate numerical solutions of the required accuracy at near-minimal computational cost. As applications, we have establishing failproof computational geometric algorithms; developed tools for computer-assisted proofs for differential equations and adaptive fast inversion algorithms for ill-conditioned matrices; and verified linear programming algorithms (involving the verification of optimum points) and the accuracy of nano-optics simulations. Very large and sparse linear equations of more than 1 million dimensions can now be solved with verified accuracy using clustered computers based on our rounding mode controlled verification method.
The list of papers including these results are shown in the following list:
Journal Papers
Award
- Medal with Purple Ribbon, Japanese Goverment, April 2012
- Prize for Science and Technology, Research Category, the Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology, Japan, April 2010
- Okawa Publication Award
- Funai Information Science Award
- Best Paper Award, Japan SIAM
- IEICE Best Paper Award, 1993, 1995, 1997
- IEICE Inose Award 1997
- Niwa Award, 1991
- Ono Azusa Award, 1990
|
