大石 進一

研究成果

年別の研究成果 1979 1980 1985 1993 1994 2004 2005 2008 2009 2011 2012 2016 2017 2022

• 109 Article
• 7 Conference contribution
• 7 Conference article
• 4 Paper
• 5 その他
  • 2 Chapter
  • 2 Editorial
  • 1 Comment/debate

年別の研究成果

年別の研究成果

検索結果

• 2004

  Libraries, tools, and interactive systems for verified computations four case studies

  Baker Kearfott, R., Neher, M., Oishi, S. & Rico, F., 2004 12月 1, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2991, p. 36-63 28 p.

  研究成果: Article › 査読

  • Interactive Systems 100%
  • Libraries 68%
  • Software 42%
  • MATLAB 33%
  • Embedded Systems 24%
  6 被引用数 (Scopus)

• Numerical verification of solutions of periodic integral equations with a singular kernel

  Murashige, S. & Oishi, S., 2004 12月, In: Numerical Algorithms. 37, 1-4 SPEC. ISS., p. 301-310 10 p.

  研究成果: Article › 査読

  • Singular Kernel 94%
  • Integral equations 77%
  • Sobolev spaces 64%
  • Integral Equations 56%
  • Logarithmic Kernel 53%
  3 被引用数 (Scopus)

• On necessary and sufficient conditions for numerical verification of double turning points

  Tanaka, K., Murashige, S. & Oishi, S., 2004 5月 1, In: Numerische Mathematik. 97, 3, p. 537-554 18 p.

  研究成果: Article › 査読

  • Extended Systems 93%
  • Turning Point 86%
  • Necessary Conditions 41%
  • Sufficient Conditions 35%
  • Verify 29%
  5 被引用数 (Scopus)

• Study on relationship between technostress and antisocial behavior on computers

  Kasuga, N., Itoh, K., Oishi, S. & Nagashima, T., 2004 6月, In: IEICE Transactions on Information and Systems. E87-D, 6, p. 1461-1465 5 p.

  研究成果: Article › 査読

  • Multivariate Analysis 100%
  2 被引用数 (Scopus)
• 2005

  Accurate sum and dot product

  Ogita, T., Rump, S. M. & Oishi, S., 2005, In: SIAM Journal on Scientific Computing. 26, 6, p. 1955-1988 34 p.

  研究成果: Article › 査読

  • Scalar, inner or dot product 100%
  • Floating point 65%
  • Summation 50%
  • Mantissa 43%
  • Subtraction 31%
  231 被引用数 (Scopus)

• Fast inclusion of interval matrix multiplication

  Ogita, T. & Oishi, S., 2005 6月, In: Reliable Computing. 11, 3, p. 191-205 15 p.

  研究成果: Article › 査読

  • Interval Matrix 100%
  • Matrix multiplication 91%
  • Inclusion 61%
  • Rounding 14%
  • Calculate 9%
  7 被引用数 (Scopus)

• Numerical verification of solutions of Nekrasov's integral equation

  Murashige, S. & Oishi, S., 2005 7月 1, In: Computing (Vienna/New York). 75, 1 SPEC. ISS., p. 15-25 11 p.

  研究成果: Article › 査読

  • Integral equations 77%
  • Sobolev spaces 64%
  • Integral Equations 56%
  • Logarithmic Kernel 53%
  • Singular Kernel 47%
  2 被引用数 (Scopus)
• 2006

  A mathematical theory for numerical treatment of nonlinear two-point boundary value problems

  Yamamoto, T. & Oishi, S., 2006 2月, In: Japan Journal of Industrial and Applied Mathematics. 23, 1, p. 31-62 32 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Nonlinear Boundary Value Problems 92%
  • Two-point Boundary Value Problem 91%
  • Brouwer's theorem 73%
  • Existence of Solutions 71%
  6 被引用数 (Scopus)

• On three theorems of lees for numerical treatment of semilinear two-point boundary value problems

  Yamamoto, T. & Oishi, S., 2006 10月, In: Japan Journal of Industrial and Applied Mathematics. 23, 3, p. 293-313 21 p.

  研究成果: Article › 査読

  • Smallest Eigenvalue 100%
  • Boundary value problems 95%
  • Two-point Boundary Value Problem 87%
  • Semilinear 80%
  • Existence Theorem 77%
• 2007

  A method of obtaining verified solutions for linear systems suited for Java

  Ozaki, K., Ogita, T., Miyajima, S., Oishi, S. & Rump, S. M., 2007 2月 15, In: Journal of Computational and Applied Mathematics. 199, 2, p. 337-344 8 p.

  研究成果: Article › 査読

  • Java 100%
  • Linear systems 67%
  • Linear Systems 52%
  • Rounding 51%
  • Switches 35%
  6 被引用数 (Scopus)

• Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices

  Oishi, S., Tanabe, K., Ogita, T. & Rump, S. M., 2007 8月 1, In: Journal of Computational and Applied Mathematics. 205, 1, p. 533-544 12 p.

  研究成果: Article › 査読

  • Error analysis 100%
  • Experiments 38%
  • Condition number 31%
  • Floating point 19%
  • Error Analysis 14%
  19 被引用数 (Scopus)
• 2008

  Accurate floating-point summation part I: Faithful rounding

  Rump, S. M., Ogita, T. & Oishi, S., 2008, In: SIAM Journal on Scientific Computing. 31, 1, p. 189-224 36 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Rounding 93%
  • Faithful 82%
  • Summation 77%
  • Condition number 27%
  125 被引用数 (Scopus)

• Accurate floating-point summation part II: Sign. Κ-Fold faithful and rounding to nearest

  Rumpt, S. M., Ogita, T. & Oishi, S. N. I., 2008, In: SIAM Journal on Scientific Computing. 31, 2, p. 1269-1302 34 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Rounding 93%
  • Faithful 82%
  • Summation 77%
  • Fold 72%
  56 被引用数 (Scopus)

• A parallel algorithm for accurate dot product

  Yamanaka, N., Ogita, T., Rump, S. M. & Oishi, S., 2008 7月, In: Parallel Computing. 34, 6-8, p. 392-410 19 p.

  研究成果: Article › 査読

  • Parallel Algorithms 100%
  • Scalar, inner or dot product 85%
  • Parallel algorithms 84%
  • Data Dependence 24%
  • Fast Algorithm 17%
  12 被引用数 (Scopus)

• Discretization principles for linear two-point boundary value problems, II

  Yamamoto, T., Oishi, SI. & Fang, Q., 2008 1月 1, In: Numerical Functional Analysis and Optimization. 29, 1-2, p. 213-224 12 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Two-point Boundary Value Problem 91%
  • Discretization 66%
  • Difference equations 37%
  • Finite difference method 30%
  2 被引用数 (Scopus)

• Discretization principles for linear two-point boundary value problems, III

  Yamamoto, T., Oishi, SI., Nashed, M. Z., Li, Z. C. & Fang, Q., 2008 9月, In: Numerical Functional Analysis and Optimization. 29, 9-10, p. 1180-1200 21 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Two-point Boundary Value Problem 91%
  • Discretization 66%
  • Difference equations 56%
  • Boundary Value Problem 24%
  1 被引用数 (Scopus)
• 2009

  Adaptive and efficient algorithm for 2D orientation problem

  Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2009 10月, In: Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 215-231 17 p.

  研究成果: Article › 査読

  • Adaptive Algorithm 100%
  • Adaptive algorithms 85%
  • Efficient Algorithms 73%
  • Floating point 53%
  • Summation 41%
  1 被引用数 (Scopus)

• Fast verified solutions of linear systems

  Ogita, T. & Oishi, S., 2009 10月, In: Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 169-190 22 p.

  研究成果: Article › 査読

  • Linear systems 100%
  • Sparse Linear Systems 98%
  • Linear Systems 78%
  • Numerical Solution 51%
  • Digital arithmetic 50%
  3 被引用数 (Scopus)

• Iterative refinement for ill-conditioned linear systems

  Oishi, S., Ogita, T. & Rump, S. M., 2009 10月, In: Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 465-476 12 p.

  研究成果: Article › 査読

  • Iterative Refinement 100%
  • Linear systems 62%
  • Linear Systems 49%
  • Linear equations 37%
  • Floating point 28%
  3 被引用数 (Scopus)

• Numerical existence proof of five solutions for certain two-transistor circuit equations

  Nakaya, Y., Nishi, T., Oishi, S. & Claus, M., 2009 10月, In: Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 327-336 10 p.

  研究成果: Article › 査読

  • Transistors 100%
  • Networks (circuits) 64%
  • Nonlinear equations 42%
  • System of equations 33%
  • Nonlinear Equations 31%
  1 被引用数 (Scopus)
• 2010

  Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems

  Miyajima, S., Ogita, T., Rump, S. M. & Oishi, S., 2010 6月 1, In: Reliable Computing. 14, p. 24-45 22 p.

  研究成果: Article › 査読

  • Generalized Eigenvalue Problem 100%
  • Eigenvalues and eigenfunctions 85%
  • Positive definite 74%
  • Quadratic Eigenvalue Problem 22%
  • Theorem 19%
  17 被引用数 (Scopus)
• 2011

  An algorithm for automatically selecting a suitable verification method for linear systems

  Ozaki, K., Ogita, T. & Oishi, S., 2011 3月 1, In: Numerical Algorithms. 56, 3, p. 363-382 20 p.

  研究成果: Article › 査読

  • Linear systems 100%
  • Linear Systems 78%
  • Computational methods 33%
  • Condition number 26%
  • Digital arithmetic 21%
  2 被引用数 (Scopus)

• A note on a verified automatic integration algorithm

  Yamanaka, N., Kashiwagi, M., Oishi, S. & Ogita, T., 2011 6月 1, In: Reliable Computing. 15, 2, p. 156-167 12 p.

  研究成果: Article › 査読

  • Rounding error 100%
  • Interval Arithmetic 72%
  • Inclusion 69%
  • Truncation Error 63%
  • A Priori Error Bounds 41%

• Property leading to morphological instability

  Ogasawara, Y. & Oishi, S., 2011 11月 1, In: journal of the physical society of japan. 80, 11, 113002.

  研究成果: Article › 査読

  • curvature 100%
  • perturbation 88%
  2 被引用数 (Scopus)

• Tight and efficient enclosure of matrix multiplication by using optimized BLAS

  Ozaki, K., Ogita, T. & Oishi, S., 2011 3月, In: Numerical Linear Algebra with Applications. 18, 2, p. 237-248 12 p.

  研究成果: Article › 査読

  • Enclosure 100%
  • Matrix multiplication 95%
  • Enclosures 84%
  • Digital arithmetic 15%
  • Interval Matrix 14%
  9 被引用数 (Scopus)
• 2012

  A robust algorithm for geometric predicate by error-free determinant transformation

  Ozaki, K., Ogita, T. & Oishi, S., 2012 7月, In: Information and Computation. 216, p. 3-13 11 p.

  研究成果: Article › 査読

  • Robust Algorithm 100%
  • Floating point 69%
  • Determinant 63%
  • Summation 36%
  • Rounding 21%
  2 被引用数 (Scopus)

• Consideration of a primitive chaos

  Ogasawara, Y. & Oishi, S., 2012 10月 1, In: journal of the physical society of japan. 81, 10, 103001.

  研究成果: Article › 査読

  • chaos 100%
  • orbits 39%
  • continuums 19%
  3 被引用数 (Scopus)

• Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications

  Ozaki, K., Ogita, T., Oishi, S. & Rump, S. M., 2012 1月, In: Numerical Algorithms. 59, 1, p. 95-118 24 p.

  研究成果: Article › 査読

  • Matrix multiplication 100%
  • Floating point 84%
  • Working Memory 28%
  • Digital arithmetic 23%
  • Data storage equipment 20%
  23 被引用数 (Scopus)

• Fast algorithms for floating-point interval matrix multiplication

  Ozaki, K., Ogita, T., Rump, S. M. & Oishi, SI., 2012 1月, In: Journal of Computational and Applied Mathematics. 236, 7, p. 1795-1814 20 p.

  研究成果: Article › 査読

  • Interval Matrix 100%
  • Floating point 95%
  • Matrix multiplication 91%
  • Fast Algorithm 76%
  • Interval Arithmetic 48%
  5 被引用数 (Scopus)
• 2013

  Fast verified solutions of sparse linear systems with H-matrices

  Minamihata, A., Sekine, K., Ogita, T. & Oishi, S., 2013 12月 1, In: Reliable Computing. 19, 2, p. 127-141 15 p.

  研究成果: Article › 査読

  • Sparse Linear Systems 100%
  • H-matrix 95%
  • Linear systems 67%
  • Krylov Subspace Methods 18%
  • M-matrix 17%
  2 被引用数 (Scopus)

• Guaranteed high-precision estimation for P₀ interpolation constants on triangular finite elements

  Liu, X. & Oishi, SI., 2013 11月, In: Japan Journal of Industrial and Applied Mathematics. 30, 3, p. 635-652 18 p.

  研究成果: Article › 査読

  • Triangular 100%
  • Interpolation 95%
  • Finite Element 88%
  • Interpolate 87%
  • Polynomials 43%
  8 被引用数 (Scopus)

• Verified eigenvalue evaluation for the laplacian over polygonal domains of arbitrary shape

  Liu, X. & Oishi, S., 2013, In: SIAM Journal on Numerical Analysis. 51, 3, p. 1634-1654 21 p.

  研究成果: Article › 査読

  • Evaluation 100%
  • Eigenvalue Bounds 93%
  • Concretes 92%
  • Eigenvalue 86%
  • Finite element method 84%
  44 被引用数 (Scopus)
• 2014

  Characteristic spaces emerging from primitive chaos

  Ogasawara, Y. & Oishi, S., 2014 1月 15, In: journal of the physical society of japan. 83, 1, 014001.

  研究成果: Article › 査読

  • chaos 100%
  • emerging 97%
  • continuums 39%
  • physics 11%
  2 被引用数 (Scopus)

• Convergence analysis of an algorithm for accurate inverse Cholesky factorization

  Yanagisawa, Y., Ogita, T. & Oishi, S., 2014 11月 1, In: Japan Journal of Industrial and Applied Mathematics. 31, 3, p. 461-482 22 p.

  研究成果: Article › 査読

  • Cholesky factorisation 100%
  • Factorization 73%
  • Convergence Analysis 68%
  • Matrix Factorization 46%
  • Inverse matrix 43%
  3 被引用数 (Scopus)

• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

  Tanaka, K., Takayasu, A., Liu, X. & Oishi, S., 2014 11月 1, In: Japan Journal of Industrial and Applied Mathematics. 31, 3, p. 665-679 15 p.

  研究成果: Article › 査読

  • Elliptic Operator 100%
  • Mathematical operators 95%
  • Linear Operator 88%
  • Evaluation 75%
  • Eigenvalue 65%
  8 被引用数 (Scopus)
• 2015

  Efficient calculations of faithfully rounded l2-norms of n-vectors

  Graillat, S., Lauter, C., Tang, P. T. P., Yamanaka, N. & Oishi, S., 2015 10月, In: ACM Transactions on Mathematical Software. 41, 4, 24.

  研究成果: Article › 査読

  • Vectorization 100%
  • Parallel Implementation 87%
  • Floating point 84%
  • Norm 81%
  • Rounding 79%
  8 被引用数 (Scopus)

• Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator

  Tanaka, K., Sekine, K., Mizuguchi, M. & Oishi, S., 2015 12月 1, In: Journal of Inequalities and Applications. 2015, 1, p. 1-23 23 p., 389.

  研究成果: Article › 査読

  • Extension Operator 100%
  • Lipschitz Domains 29%
  • Operator Norm 28%
  • Estimate 11%
  3 被引用数 (Scopus)

• Improvement of error-free splitting for accurate matrix multiplication

  Ozaki, K., Ogita, T. & Oishi, S., 2015 11月 1, In: Journal of Computational and Applied Mathematics. 288, p. 127-140 14 p., 10123.

  研究成果: Article › 査読

  • Matrix multiplication 100%
  • Floating point 26%
  • Matrix Product 24%
  • Architecture 23%
  • Numerical Examples 12%
• 2016

  Error-free transformation of matrix multiplication with a posteriori validation

  Ozaki, K., Ogita, T. & Oishi, S., 2016 10月 1, In: Numerical Linear Algebra with Applications. 23, 5, p. 931-946 16 p.

  研究成果: Article › 査読

  • Matrix multiplication 100%
  • Floating point 63%
  • Rounding error 38%
  • Divide and conquer 22%
  • High Performance 21%
  4 被引用数 (Scopus)

• Simple floating-point filters for the two-dimensional orientation problem

  Ozaki, K., Bünger, F., Ogita, T., Oishi, S. & Rump, S. M., 2016 6月 1, In: BIT Numerical Mathematics. 56, 2, p. 729-749 21 p.

  研究成果: Article › 査読

  • Digital arithmetic 100%
  • Computational geometry 97%
  • Floating point 90%
  • Filter 64%
  • Rounding error 20%
  4 被引用数 (Scopus)

• Verified Computations for Hyperbolic 3-Manifolds

  Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S. & Takayasu, A., 2016 1月 2, In: Experimental Mathematics. 25, 1, p. 66-78 13 p.

  研究成果: Article › 査読

  • Hyperbolic 3-manifold 100%
  • Hyperbolic Structure 54%
  • Interval Arithmetic 49%
  • Triangulation 37%
  19 被引用数 (Scopus)
• 2017

  Accurate method of verified computing for solutions of semilinear heat equations

  Takayasu, A., Mizuguchi, M., Kubo, T. & Oishi, S., 2017, In: Reliable Computing. 25, p. 74-99 26 p.

  研究成果: Article › 査読

  • Semilinear Heat Equation 100%
  • Hot Temperature 37%
  • Analytic Semigroup 16%
  • Evolution Operator 15%
  • Heat Equation 11%
  4 被引用数 (Scopus)

• A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems

  Kobayashi, R., Kimura, T. & Oishi, S., 2017 9月 1, In: Numerical Algorithms. 76, 1, p. 33-51 19 p.

  研究成果: Article › 査読

  • Saddle Point Systems 100%
  • Linear systems 63%
  • Linear Systems 50%
  • Numerical Solution 49%
  • Experiments 25%

• A method of verified computations for solutions to semilinear parabolic equations using semigroup theory

  Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017, In: SIAM Journal on Numerical Analysis. 55, 2, p. 980-1001 22 p.

  研究成果: Article › 査読

  • Semilinear Parabolic Equation 100%
  • Semigroup Theory 97%
  • Boundary value problems 93%
  • Initial-boundary-value Problem 73%
  • Analytic Semigroup 52%
  7 被引用数 (Scopus)

• Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains

  Mizuguchi, M., Tanaka, K., Sekine, K. & Oishi, S., 2017, In: Journal of Inequalities and Applications. 2017, 299.

  研究成果: Article › 査読

  • Sobolev Embedding 100%
  • Convex Domain 81%
  • Lipschitz Domains 59%
  • Bounded Domain 59%
  • Extension Operator 33%
  17 被引用数 (Scopus)

• Numerical validation of blow-up solutions of ordinary differential equations

  Takayasu, A., Matsue, K., Sasaki, T., Tanaka, K., Mizuguchi, M. & Oishi, S., 2017 4月 1, In: Journal of Computational and Applied Mathematics. 314, p. 10-29 20 p.

  研究成果: Article › 査読

  Open Access

  • Blow-up of Solutions 100%
  • Ordinary differential equations 93%
  • Lyapunov functions 89%
  • Ordinary differential equation 67%
  • Interval Arithmetic 36%
  16 被引用数 (Scopus)

• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

  Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017 5月 1, In: Journal of Computational and Applied Mathematics. 315, p. 1-16 16 p.

  研究成果: Article › 査読

  • Semilinear Parabolic Equation 86%
  • Theorem 29%
  • Sufficient Conditions 23%
  • Numerical Solution 16%
  • Numerical Results 16%
  10 被引用数 (Scopus)

• Sharp numerical inclusion of the best constant for embedding H₀¹(Ω)↪L^p(Ω) on bounded convex domain

  Tanaka, K., Sekine, K., Mizuguchi, M. & Oishi, S., 2017 2月 1, In: Journal of Computational and Applied Mathematics. 311, p. 306-313 8 p.

  研究成果: Article › 査読

  Open Access

  • Best Constants 100%
  • Convex Domain 94%
  • Inclusion 70%
  • Bounded Domain 68%
  • Numerical methods 38%
  8 被引用数 (Scopus)
• 2020

  A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator

  Sekine, K., Nakao, M. T. & Oishi, S., 2020 12月, In: Numerische Mathematik. 146, 4, p. 907-926 20 p.

  研究成果: Article › 査読

  Open Access

  • Schur Complement 100%
  • Partial differential equations 82%
  • Mathematical operators 75%
  • Elliptic Problems 75%
  • Newton-Raphson method 61%
  5 被引用数 (Scopus)

• A note on Dekker’s FastTwoSum algorithm

  Lange, M. & Oishi, S., 2020 6月 1, In: Numerische Mathematik. 145, 2, p. 383-403 21 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Addend 26%
  • Absolute value 15%
  • Summation 15%
  • Evaluate 12%