OISHI, Shinichi

J-GLOBAL         Last updated: Mar 29, 2019 at 02:40
 
Avatar
Name
OISHI, Shinichi
E-mail
oishiwaseda.jp
URL
http://www.oishi.info.waseda.ac.jp/~oishi
Affiliation
Waseda University
Section
Faculty of Science and Engineering School of Fundamental Science and Engineering
Job title
Professor
Degree
Dr. eng
Research funding number
20139512

Research Areas

 
 

Academic & Professional Experience

 
1980
 - 
1982
Assistant Professor, Waseda University
 
1982
 - 
1984
Lecturer, Waseda University
 
1984
 - 
1985
Associate Professor, Waseda Unviersity
 
1989
   
 
Professor, Waseda University
 
Sep 2010
 - 
Sep 2014
FacultyofScienceandEngineering
 

Education

 
 
 - 
1976
Faculty of Science and Engineering, Waseda University
 
 
 - 
1981
Graduate School, Division of Science and Engineering, Waseda University
 

Committee Memberships

 
 
   
 
IEICE  Nonlinear Theory and its Applications Editor in Chief
 
 
   
 
IEICE  Trans. Fundamentals Editor
 

Awards & Honors

 
Jun 2013
JSIAM Fellow
 

Published Papers

 
A modified algorithm for accurate inverse Cholesky factorization
Yuka Yanagisawa, Takeshi Ogita, Shin'ichi Oishi
Nonlinear Theory and Its Applications   5(1) 34-46   2014
Fast verified solutions of sparse linear systems with H-matrices
A. Minamihata, K. Sekine, T. Ogita, S. Oishi
Reliable Computing      2014
Remarks on computable a priori error estimates for finite element solutions of elliptic problems
A. Takayasu, X. Liu, S. Oishi
Nonlinear Theory and its Applications, IEICE.   5(1) 53-63   2014
An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations
K. Sekine, A. Takayasu, S. Oishi
Nonlinear Theory and its Applications, IEICE.   5(1) 64-79   2014
Fast Quadruple-double Floating Point Format
N. Yamanaka, S. Oishi
Nonlinear Theory and its Applications, IEICE.   51(1) 15-34   2014

Books etc

 
回路理論
大石進一
コロナ社   May 2013   ISBN:978-4339008494
待ち行列理論
大石進一
コロナ社   May 2003   
MATLABによる数値計算
大石進一
培風館   Jul 2001   
微積分とモデリングの数理
朝倉書店   2001   
数値計算ツール
コロナ社   2001   

Association Memberships

 
 

Research Grants & Projects

 
Project Year: 2008 - 2010
Our research group is composed of scholars working in the areas of discrete mathematics, nonlinear differential equations, information theory and numerical computation. We have organized "Seminar on Digital Analysis" so that members can hold commo...
Project Year: 2005 - 2009
Establishment of Verified Numerical Computation We have studied verified numerical computations for partial differential equations and systems of linear equations using digital computers. Calculating sum of a vector and dot product of two vectors ...
Development of computer assisted analysis for complicated nonlinear phenomena
We were working on the development and applications of the numerical verification methods for solutions of nonlinear partial differential equations, in particular, we succeeded in finding a new and very efficient verification principle for nonline...
Synthetic approach for the development of computer assisted analysis from the numerical verification methods
In this research, we newly developed the numerical verification methods which can be applied to wide mathematical and analytical problems, as well as extended or improved the existing techniques.And we actually applied these methods to particular ...
Synthetic approach for new developments of self-validating numerics
In this research, we newly developed the self-validating numerical methods which can be applied to wide mathematical and analytical problems as well as extended or improved the existing techniques.And we actually applied these methods to particula...