Shinichi Oishi

From Simple English Wikipedia, the free encyclopedia
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[change | change source]

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

Career[change | change source]

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[change | change source]

  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. 3.0 3.1 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