Rchr
J-GLOBAL ID:200901071730747074
Update date: Sep. 25, 2024
Oishi Shinichi
オオイシ シンイチ | Oishi Shinichi
Affiliation and department:
Job title:
Professor
Homepage URL (1):
http://www.oishi.info.waseda.ac.jp/~oishi
Research field (4):
Communication and network engineering
, Information theory
, Applied mathematics and statistics
, Basic mathematics
Research keywords (1):
数値数学、応用数学、計算理論、非線形理論・回路、情報理論、精度保証付き数値計算
Research theme for competitive and other funds (24):
- 2015 - 2018 Studies on verified numerical computations for nonlinear parabolic partial differential equations
- 2008 - 2011 Development of computer assisted analysis for complicated nonlinear phenomena
- 2008 - 2010 Construction of Theory of Digital Analysis
- 2005 - 2009 Establishment of Verified Numerical Computation
- 2003 - 2006 Synthetic approach for the development of computer assisted analysis from the numerical verification methods
- 2004 - FDTDシミュレーションの精度
- 2000 - 2003 Studies on fast numerical calculation with verification
- 2001 - 2002 Synthetic approach for new developments of self-validating numerics
- 2000 - 通信における非線形性現象に関する研究
- 1998 - 1999 Self-validating numerics with applications to computational science and technology
- 1999 - グラフィック・アルゴリズム及び精度保証付LSI設計支援システムの基礎的研究
- 1998 - 非線形通信回路技術の基礎研究
- 1995 - 1997 Research of Computer aided Nonlinear Analysis with Flexibility
- 1994 - 1995 Co-operative Research of Analysis Method for Very High Speed Integrated Circuits Composed of Distributed and Lumped Elements
- 1992 - 1994 STUDY ON MODELLING OF NONLINEAR SYSTEM AND SELF-VALIDATING MUMERICAL METHOD
- 1988 - 1990 Studies on Modeling and Performance Analysis of Nonlinear Dynamic Systems
- 1984 - 1986 Study on Structures and Dynamics of Nonlinear Systems
- 1983 - 1983 不動点アルゴリズムを用いたVLSIのCADに関する基礎的研究
- 1982 - 1982 確定系における不規則的現象カオスの電子通信工学への応用に関する研究
- 1981 - 1981 ソリトンの電子通信工学への応用に関する基礎的研究
- 文書・図形・画像揚報に関するマルチメディア変換の研究
- 音声特徴抽出手法の高度化に関する研究
- 自然言語と図形を用いた対話における意味理解と知識獲得に関する基礎研究
- 自然言語と図形を用いた対話における意味理解と知識獲得に関する基礎的研究
Show all
Papers (260):
-
Yuki Miura, Shin'ichi Oishi, Kouta Sekine. Computer Assisted Existence Proof of Subharmonic Solutions for the Simultaneous Delayed El Nino Equation. Transactions of the Japan Society for Industrial and Applied Mathematics. 2024. 34. 1. 1-18
-
Nakano Natsuki, Sekine Kouta, Oishi Shin’ichi. Numerical Verification of Subharmonic Solutions in the Ikeda Delay Differential Equation with External Force Term. Transactions of the Japan Society for Industrial and Applied Mathematics. 2023. 33. 4. 132-148
-
Makoto Mizuguchi, Kouta Sekine, Kouji Hashimoto, Mitsuhiro T. Nakao, Shin’ichi Oishi. Rigorous numerical inclusion of the blow-up time for the Fujita-type equation. Japan Journal of Industrial and Applied Mathematics. 2022. 40. 1. 665-689
-
Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi. Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. Communications in Nonlinear Science and Numerical Simulation. 2022. 108
-
Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi. Rigorous Numerical Enclosures for Positive Solutions of Lane-Emden's Equation with Sub-Square Exponents. NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION. 2022. 43. 3. 322-349
more...
MISC (70):
-
Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi. Numerical verification method for positivity of solutions to elliptic equations (現象解明に向けた数値解析学の新展開(2)). 数理解析研究所講究録. 2017. 2037. 125-140
-
Tanaka Kazuaki, Sekine Kouta, Oishi Shin'ichi. Numerical verification method for positivity of solutions to elliptic equations (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II). 2017. 2037. 125-140
-
Computer-assisted existence proof method for solutions of elliptic partial differential equations using an infinite eigenvalue. 2017. 2037. 96-105
-
Yanagisawa Yuka, Ogita Takeshi, Oishi Shin'ichi. A modified algorithm for accurate inverse Cholesky factorization (応用数理と計算科学における理論と応用の融合). 数理解析研究所講究録. 2016. 2005. 56-64
-
小林領, 木村拓馬, 大石進一, 大石進一. カントロビッチの定理を用いた凸二次計画問題の精度保証. 日本応用数理学会年会講演予稿集(CD-ROM). 2015. 2015. ROMBUNNO.9GATSU9NICHI,13:30,G,
more...
Books (10):
-
回路理論
コロナ社 2013 ISBN:9784339008494
-
待ち行列理論
コロナ社 2003
-
MATLABによる数値計算
培風館 2001
-
数値計算ツール
コロナ社 2001
-
微積分とモデリングの数理
朝倉書店 2001
more...
Education (2):
- - 1981 Waseda University Graduate School, Division of Science and Engineering
- - 1976 Waseda University Faculty of Science and Engineering
Professional career (3):
- 工学博士 (早稲田大学)
- Dr. eng
- 博士(工学) (早稲田大学)
Work history (8):
- 2010/09 - 2014/09 FacultyofScienceandEngineering
- 2014/09 - Waseda University Faculty of Science and Engineering Senior Dean
- 1989 - Professor, Waseda University
- 1984 - 1985 Associate Professor, Waseda Unviersity
- 1984 - 1985 Present:Professor,DepartmentofAppliedMathematics,
- 1982 - 1984 Lecturer, Waseda University
- 1980 - 1982 Assistant Professor, Waseda University
- DeanofGraduateSchoolofFundamentalScienceandEngineering,
Show all
Committee career (2):
- IEICE Trans. Fundamentals Editor
- IEICE Nonlinear Theory and its Applications Editor in Chief
Awards (15):
- 2020/11 - 文部科学省 文化功労者 精度保証付計算法と無誤差変換という画期的な数値計算法を編み出した.
- 2013/06 - JSIAM Fellow
- 2012/04 - Best Paper Award, Nonlinear Theory and Its Applications , IEICE
- 2012/04 - 紫綬褒章
- 2012/03 - 日本応用数理学会業績賞
- 2010/04 - 科学技術分野における文部科学大臣表彰(研究部門)
- 2007/04 - 日本応用数理学会論文賞
- 2006/04 - 船井情報科学振興賞
- 2003/06 - 大川出版賞
- 1998 - 電子情報通信学会論文賞
- 1995 - 電子情報通信学会論文賞, 猪瀬賞
- 1992 - 電子情報通信学会論文賞
- 1982/03 - 電子通信学会学術奨励賞
- 1982/03 - 早稲田大学小野梓賞
- 1982/03 - 丹羽記念賞
Show all
Association Membership(s) (3):
JSST
, Japan SIAM
, IEICE
Return to Previous Page