Shinichi Oishi
Appearance
Shinichi Oishi | |
---|---|
Born | 1953 |
Nationality | ![]() |
Alma mater | Waseda University |
Known for | Validated numerics |
Scientific career | |
Fields | Numerical analysis Information theory[1] Electrical circuit[2] |
Institutions | Waseda 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:
- Validated numerics[4][5]
- Numerical linear algebra[6][7][8]
- Optimization[9]
- Numerical integration[10][11]
- Numerical methods for partial differential equations[12]
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]- ↑ Shinichi Oishi, 「例にもとずく情報理論入門」 (Example-based introduction to information theory) Kodansha, June 1993, ISBN 4-06-153803-9.
- ↑ Shinichi Oishi, 回路理論 (Circuit theory) Korona Publishing, May 2013.
- ↑ 3.0 3.1 www
.oishi .info .waseda .ac .jp /~oishi /index .html - ↑ 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.
- ↑ He also supported the development of INTLAB (made by MATLAB and GNU Octave).
- ↑ Oishi, S., & Rump, S. M. (2002). Fast verification of solutions of matrix equations. Numerische Mathematik, 90(4), 755-773.
- ↑ 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.
- ↑ 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.
- ↑ Oishi, S., & Tanabe, K. (2009). Numerical Inclusion of Optimum Point for Linear Programming. JSIAM Letters, 1, 5-8.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ Waseda University Go Club also received this award.
- ↑ www
.ieice .org /global / - ↑ www
.ieice .org /eng _r /index .html - ↑ Named after Marie Curie
- ↑ iciam2023
.jsiam .org