Shinichi Oishi

Shinichi Oishi
Born1953
Nationality Japan
Alma materWaseda University
Known forValidated numerics
Scientific career
FieldsNumerical analysis
Information theory[1]
Electrical circuit[2]
InstitutionsWaseda University

Shinichi Oishi is a Japanese mathematician at Waseda University.[3] He is also the director of Japan Society for Industrial and Applied Mathematics and Japan Society for Simulation Technology.

Research

Oishi has done many studies in numerical analysis and their branches:

Career

Year Notes[3]
Since 1980 Teacher at Waseda University
1990 Received the Azusa Ono Memorial Award (ja:小野梓記念賞)[13]
1993, 1995 and 1997 Best Paper Award from the IEICE (The Institute of Electronics, Information and Communication Engineers)[14][15]
Since 2011 Visiting professor at the Pierre and Marie Curie University,[16] France
2012 Received the Medal with Purple Ribbon by the government
2019 - 2023 ICIAM 2023 director[17]
2020 en:Person of Cultural Merit

References

  1. ↑ Shinichi Oishi, 「例にもとずく情報理論入門」 (Example-based introduction to information theory) Kodansha, June 1993, ISBN 4-06-153803-9.
  2. ↑ Shinichi Oishi, 回路理論 (Circuit theory) Korona Publishing, May 2013.
  3. 1 2 www.oishi.info.waseda.ac.jp/~oishi/index.html
  4. ↑ Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S., & Takayasu, A. (2016). Verified computations for hyperbolic 3-manifolds. Experimental Mathematics, 25(1), 66-78.
  5. ↑ He also supported the development of INTLAB (made by MATLAB and GNU Octave).
  6. ↑ Oishi, S., & Rump, S. M. (2002). Fast verification of solutions of matrix equations. Numerische Mathematik, 90(4), 755-773.
  7. ↑ Morikura, Y., Ozaki, K., & Oishi, S. (2013). Verification methods for linear systems using ufp estimation with rounding-to-nearest. Nonlinear Theory and Its Applications, IEICE, 4(1), 12-22.
  8. ↑ Ozaki, K., Ogita, T., Oishi, S., & Rump, S. M. (2012). Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numerical Algorithms, 59(1), 95-118.
  9. ↑ Oishi, S., & Tanabe, K. (2009). Numerical Inclusion of Optimum Point for Linear Programming. JSIAM Letters, 1, 5-8.
  10. ↑ Yamanaka, N., Okayama, T., Oishi, S., & Ogita, T. (2010). A fast verified automatic integration algorithm using double exponential formula. Nonlinear Theory and Its Applications, IEICE, 1(1), 119-132.
  11. ↑ Yamanaka N., Okayama T., Oishi S. (2016) Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. In: Kotsireas I., Rump S., Yap C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science, vol 9582. Springer, Cham.
  12. ↑ Liu, X., & Oishi, S. (2013). Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. en:SIAM Journal on Numerical Analysis, 51(3), 1634-1654.
  13. ↑ Waseda University Go Club also received this award.
  14. ↑ www.ieice.org/global/
  15. ↑ www.ieice.org/eng_r/index.html
  16. ↑ Named after Marie Curie
  17. ↑ iciam2023.jsiam.org