• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

大石 進一  OISHI Shin'ichi

ORCIDORCID連携する *注記
研究者番号 20139512
その他のID
外部サイト
所属 (現在) 2025年度: 早稲田大学, 理工学術院, 教授
所属 (過去の研究課題情報に基づく) *注記 2005年度 – 2011年度: 早稲田大学, 理工学術院, 教授
2009年度: 早稲田大学, 早稲田大学・理工学術院, 教授
1992年度 – 2004年度: 早稲田大学, 理工学部, 教授
1989年度 – 1990年度: 早稲田大学, 理工学部, 教授
1988年度: 早稲田大学, 理工学部, 助教授
1986年度: 早稲田大学, 理工学部, 助教授
審査区分/研究分野
研究代表者
情報通信工学 / 工学 / 理工系
研究代表者以外
電子通信系統工学 / 数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 情報通信工学 / システム工学 / 工学基礎
キーワード
研究代表者
IEEE754 / Rounding Mode Controlled Computation / Fast Verification / Verified Numerical Computation / 丸め制御精度保証方式 / 特異値 / 固有値問題 / 行列方程式 / 数値線形代数 / 事後誤差評価 … もっと見る / インタプリタ / 固有値問題の数値解 / 連立一次方程式の数値解 / LAPACK / 数値計算ツール / 条件数 / 丸め誤差 / PCクラスター / 大規模問題 / 一般化固有値問題の精度保証 / 固有値問題の精度保証 / 連立一次方程式の精度保証 / クラスター上の高速計算 / 丸めのモード制御方式 / 高速精度保証 / 精度保証付き数値計算 / アルゴリズム / 情報数理 / 非線形方程式 / 数値計算 / 数値解析 … もっと見る
研究代表者以外
非線形回路 / 非線形システム / 計算機援用証明 / 解の数値的検証 / 精度保証付き数値計算法 / 数値解析 / Computer assisted proof / Numerical analysis / Chaos / カオス / モデリング / 精度保証付き数値計算 / 非決定性作用素 / Numerical verification / Validated computation / 分岐現象 / 区間解析 / 非決定性作用素論 / 解の事後誤差評価 / 非線形現象 / 知識表現 / 知的CAI / Nonlinear Circuit / Bond Graph / Separability of Nonlinear Mapping / Bifurcation of Nonlinear Circuit / Homotopy Method / Non-Deterministic Operator / Modeling / Nonlinear Dynamics / 直方体分割-手法 / 無限次元ホモトピー法 / パラメータ依存性 / 新フェイルセーフ原理 / 大域的数値解析技法 / 直方体分割 / 電子回路のカオス / 間欠性カオス / 新フェ-ルセ-フ原理 / 誤差制御 / 分岐理論 / 非線形図路 / ボンドグラフ / 非線形写像の分離性 / 電子回路の分岐 / 無限次元ホモトピ-法 / 非線形ダイナミックス / Soliton / Numerical Nalysis / Nondeterministic Operator / Dynamics / Structure / Nonlinear Systems / ソリトン / 数値解析技法 / ダイナミックス / 構造 / Numerical verification method / Validated numerical computation / Bifurcation Phenomena / Numerical Method with Guaranteed Accuracy / Interval Arithmetic / Nonlinear Problem of Circuit Systems / Fixed Point Theorem / Fuzzy Mapping / Uncertainty / オブジェクト指向ソフトウェア / 区間演算 / 回路系の非線形問題 / 不動点定理 / ファジィ写像 / 不確定性 / Integrated circuits / Nonlinear circuits / Mixed-type circuits / Analysis of distributed circuits / Distributed-constant line / 集積回路 / 分布・集中混在系 / 分布定数解析 / 分布定数素子 / Self-Validating Mumerical Method / Modelling / Nonlinear System / 集合値写像 / 構成的非線形関数解析 / ファジィモデリング / 精度保証付シミュレーション / 外部世界モデル / 対話制御 / 知識獲得 / 問題解決 / 画像理解 / 文章理解 / 数量化理論 / 人工内耳 / 調音パラメータ / PSE分析 / 相互情報量 / 音声特徴抽出 / フラクタル理論 / 文書画像 / 文字認識 / 指紋認識 / 画像処理 / 暗号符号化 / ディジタルストレージメディア / 動画像 / 画像符号化 / マルチメディア / ドキュメントアーキテクチャ / 有限要素法 / 符号理論 / デジタルアルゴリズム / 超離散化 / 数値計算法 / 情報理論 / デジタル系 / 計算力学 / 対象世界モデル / マン・マシンコミュニケ-ション 隠す
  • 研究課題

    (16件)
  • 研究成果

    (94件)
  • 共同研究者

    (42人)
  •  デジタル解析学の構築

    • 研究代表者
      山田 義雄
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      新学術領域研究(研究課題提案型)
    • 研究分野
      工学基礎
    • 研究機関
      早稲田大学
  •  非線形現象解明に向けた計算機援用解析学の構築

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(S)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      佐世保工業高等専門学校
      九州大学
  •  精度保証付き数値計算学の確立研究代表者

    • 研究代表者
      大石 進一
    • 研究期間 (年度)
      2005 – 2009
    • 研究種目
      特別推進研究
    • 審査区分
      理工系
      工学
    • 研究機関
      早稲田大学
  •  数値的検証法から計算機援用解析学の構築へ向けての総合的研究

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2003 – 2006
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  精度保証付き数値計算法の新展開を目ざしての総合的研究

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  高速精度保証付き数値計算に関する研究研究代表者

    • 研究代表者
      大石 進一
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      早稲田大学
  •  精度保証付き数値計算とその計算理工学への応用に関する総合的研究

    • 研究代表者
      中尾 充宏
    • 研究期間 (年度)
      1998 – 1999
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      九州大学
  •  非線形現象のしなやかな計算機援用解析に関する研究

    • 研究代表者
      堀内 和夫
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      情報通信工学
    • 研究機関
      早稲田大学
  •  超高速集積回路網の分布定数・集中定数混在系としての解析手法に関する総合的研究

    • 研究代表者
      西 哲生
    • 研究期間 (年度)
      1994 – 1995
    • 研究種目
      総合研究(A)
    • 研究分野
      システム工学
    • 研究機関
      九州大学
  •  非線形システムのモデリングと精度保証付シミュレーション技法に関する研究

    • 研究代表者
      堀内 和夫
    • 研究期間 (年度)
      1992 – 1994
    • 研究種目
      一般研究(B)
    • 研究分野
      電子通信系統工学
    • 研究機関
      早稲田大学
  •  自然言語と図形を用いた対話における意味理解と知識獲得に関する基礎的研究

    • 研究代表者
      小原 啓義
    • 研究期間 (年度)
      1989
    • 研究種目
      重点領域研究
    • 研究機関
      早稲田大学
  •  自然言語と図形を用いた対話における意味理解と知識獲得に関する基礎研究

    • 研究代表者
      小原 啓義
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      重点領域研究
    • 研究機関
      早稲田大学
  •  非線形ダイナミックシステムのモデリングとパフォ-マンス解析に関する研究

    • 研究代表者
      堀内 和夫
    • 研究期間 (年度)
      1988 – 1990
    • 研究種目
      一般研究(B)
    • 研究分野
      電子通信系統工学
    • 研究機関
      早稲田大学
  •  音声特徴抽出手法の高度化に関する研究

    • 研究代表者
      白井 克彦
    • 研究期間 (年度)
      1987 – 1989
    • 研究種目
      重点領域研究
    • 研究機関
      早稲田大学
  •  文書・図形・画像揚報に関するマルチメディア変換の研究

    • 研究代表者
      富永 英義
    • 研究期間 (年度)
      1986 – 1988
    • 研究種目
      一般研究(A)
    • 研究分野
      電子通信系統工学
    • 研究機関
      早稲田大学
  •  非線形システムの構造とダイナミックスに関する研究

    • 研究代表者
      堀内 和夫
    • 研究期間 (年度)
      1984 – 1986
    • 研究種目
      一般研究(B)
    • 研究分野
      電子通信系統工学
    • 研究機関
      早稲田大学

すべて 2010 2009 2008 2007 2006 2005 その他

すべて 雑誌論文 学会発表 図書

  • [図書] State of the Art for Self-Validating Numerical Computations, Japan Journal of Industrial and Applied Mathematics2009

    • 著者名/発表者名
      Nakao, M. T., and Oishi, S.
    • 総ページ数
      411
    • データソース
      KAKENHI-PROJECT-20224001
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      S. Oishi, T. Ogita, S.M. Rump
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 465-476

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Iterative Refinement for Ill-conditioned Linear Systems2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 167-178

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Fast Verified Solutions of Linear Systems2009

    • 著者名/発表者名
      T. Ogita, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 169-190

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations2009

    • 著者名/発表者名
      Y. Nakaya, T. Nishi, S. Oishi, M. Claus
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 327-336

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Adaptive and Efficient Algorithm for 2D Orientation Problem2009

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 26:2

      ページ: 215-231

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Inclusion of Optimum Point for Linear Programming2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      JSIAM Letters 1

      ページ: 5-8

    • NAID

      110007114419

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product2008

    • 著者名/発表者名
      N. Yamanaka, T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      Parallel Computing 34:6-8

      ページ: 392-410

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Accurate Floating-Point Summation Part I: Faithful Rounding2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 31:1

      ページ: 189-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 676-679

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Discretization principles for linear two-point boundary value problems2008

    • 著者名/発表者名
      T. Yamamoto, S.Oishi and Q.Fang
    • 雑誌名

      Numer. Funct. Anal. Optimz. 29

      ページ: 213-224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Accurate Floating-Point Summation Part II: Sign2008

    • 著者名/発表者名
      S.M. Rump, T. Ogita, S. Oishi
    • 雑誌名

      K-fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing 31:2

      ページ: 1269-1302

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Iterative Refinement for Ill-Conditioned Linear Equations2008

    • 著者名/発表者名
      Shinichi Oishi
    • 雑誌名

      Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications

      ページ: 516-519

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Convergence of Rump's Method for Inverting Arbitrarily Ill-conditioned Matrices2007

    • 著者名/発表者名
      S. Oishi, K. Tanabe, T. Ogita, S.M. Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 205:1

      ページ: 533-544

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Convergence of Rump's Method for Inverting Arbitrarily lll-conditioned Matrices2007

    • 著者名/発表者名
      S.Oishi, K.Tanabe, T.Ogita and S.M.Rump
    • 雑誌名

      Jounal of Computational and Applied Mathematics 205:1

      ページ: 533-544

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007

    • 著者名/発表者名
      K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S.M. Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 337-344

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Journal of Computational and Applied Mathematics 199:2

      ページ: 337-344

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T. Yamamoto, S. Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Fast Verification for Sparse Linear Systems with Generalized Diagonally Dominant Matrices2006

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 319-321

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Verification of Five Solutions in Two-transistor Circuits2006

    • 著者名/発表者名
      Y.Nakaya, S.Oishi, T.Nishi, M.Claus
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 307-310

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Accurate Cholesky Algorithm and Detection of Positive Definiteness of Ill-Conditioned Matrices2006

    • 著者名/発表者名
      S.Oishi, T.Ogita, S.M.Rump, K.Tanabe
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 531-534

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Adaptive Verification Method for Dense Linear Systems2006

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 323-326

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 実対称行列の各固有対の精度保証付き数値計算法2006

    • 著者名/発表者名
      宮島 信也, 荻田 武史, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 535-552

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006

    • 著者名/発表者名
      尾崎 克久, 荻田 武史, S. M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 553-562

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006

    • 著者名/発表者名
      大石 進一, 荻田 武史, 太田 貴久
    • 雑誌名

      シミュレーション 25:5

      ページ: 170-178

    • NAID

      110004811928

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006

    • 著者名/発表者名
      尾崎克久, 荻田武史, S.M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 553-562

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006

    • 著者名/発表者名
      大石進一, 荻田武史, 太田貴久
    • 雑誌名

      シミュレーション 25:5

      ページ: 170-178

    • NAID

      110004811928

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Mathematical Theory for Numerical Treatment of Nonlinear Two-Point Boundary Value Problems2006

    • 著者名/発表者名
      T.Yamamoto, S.Oishi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 23:1

      ページ: 31-62

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Convergence Theorem of Rump's Method for Inverting Arbitrarily Ill-Conditioned Matrices2006

    • 著者名/発表者名
      S.Oishi, K.Tanabe, T.Ogita, S.M.Rump
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 315-318

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006

    • 著者名/発表者名
      荻田 武史, 大石 進一
    • 雑誌名

      シミュレーション 25:5

      ページ: 179-184

    • NAID

      110004811929

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Method of Proving Existence of Solution Curve for Nonlinear Equation using Affine Arithmetic2006

    • 著者名/発表者名
      Y.Kanzawa, S.Oishi
    • 雑誌名

      Proc. of 2006 International Symposium on Nonlinear Theory and its Applications (NOLTA2006)

      ページ: 947-950

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical verification for solutions of finite dimensional sparse linear equations using iterative methods2006

    • 著者名/発表者名
      S.Oishi, T.Ogita, S.M.Rump
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 520-523

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 実対称行列の各固有対の精度保証付き数値計算法2006

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 16:4

      ページ: 535-552

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Tight Enclosures of Solutions of Linear Systems2006

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Proc. of International Conference of Numerical Analysis and Applied Mathematics 2006 (ICNAAM2006)

      ページ: 516-519

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      シミュレーション 25:5

      ページ: 179-184

    • NAID

      110004811929

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Verification of Solutions of Nekrasov's Integral Equation2005

    • 著者名/発表者名
      S.Murashige, S.Oishi
    • 雑誌名

      Computing Vol.75, No.1

      ページ: 15-25

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Componentwise Verified Solutions of Linear Systems Suited for Java2005

    • 著者名/発表者名
      K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 749-752

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Numerical Verification Method for Dense Linear Systems with Arbitrarily III-conditioned Matrices2005

    • 著者名/発表者名
      T.Ohta, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 745-748

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 253-268

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Method of Generating Linear Systems with an Arbitrarily III-conditioned Matrix and an Arbitrary Solution2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications

      ページ: 741-744

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 実対称行列の各固有値に対する精度保証付き数値計算法2005

    • 著者名/発表者名
      宮島信也, 荻田武史, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 253-268

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Accurate Sum and Dot Product2005

    • 著者名/発表者名
      T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing Vol.26, No.6

      ページ: 1955-1988

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 悪条件連立一次方程式の精度保証付き数値計算法2005

    • 著者名/発表者名
      太田貴久, 荻田武史, S.M. Rump, 大石 進一
    • 雑誌名

      日本応用数理学会論文誌 15:3

      ページ: 269-287

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法2005

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 46

      ページ: 10-18

    • NAID

      110002768708

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Fast Verification for Respective Eigenvalues of Symmetric Matrix2005

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.Oishi
    • 雑誌名

      Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing

      ページ: 306-317

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Fast Inclusion of Interval Matrix Multiplication2005

    • 著者名/発表者名
      T.Ogita, S.Oishi
    • 雑誌名

      Reliable Computing Vo1.11, No.3

      ページ: 191-205

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 悪条件連立一次方程式の精度保証付き数値計算法2005

    • 著者名/発表者名
      太田貴久, 荻田武史, S.M.Rump, 大石進一
    • 雑誌名

      日本応用数理学会論文誌 Vol.15, No.3

      ページ: 269-287

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Accurate Sum and Dot Product2005

    • 著者名/発表者名
      T. Ogita, S.M. Rump, S. Oishi
    • 雑誌名

      SIAM Journal on Scientific Computing 26:6

      ページ: 1955-1988

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] 大規模連立一次方程式のための高速精度保証法2005

    • 著者名/発表者名
      荻田武史, 大石進一
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 Vol.46, No.SIG10

      ページ: 10-18

    • NAID

      110002768708

    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] Tight Encolsures of Solutions of Linear Systems

    • 著者名/発表者名
      T.Ogita and S.Oishi
    • 雑誌名

      International Series of Numerical Mathematics

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [雑誌論文] A Parallel Algorithm for Accurate Dot Product

    • 著者名/発表者名
      N.Yamanaka, T.Ogita, S.M.Rump and S.Oishi
    • 雑誌名

      Parallel Computing

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Existence Theorem for Semilinear Elliptic Boundary Value Problems I2010

    • 著者名/発表者名
      大石進一
    • 学会等名
      2010 International Workshop on Numerical Verification and its Applications(INVA2010)
    • 発表場所
      Hachijo-jima, Japan
    • 年月日
      2010-03-11
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 非線形楕円型偏微分方程式の精度保証I2010

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会2010年研究部会連合発表会
    • 発表場所
      筑波大学
    • 年月日
      2010-03-08
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Verification Method for Nonlinear Differential Equations2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      The Joint Conferenee of ASCM2009 and MACIS2009
    • 発表場所
      JAL Resort Sea Hawk Hotel, Fukuoka, Japan
    • 年月日
      2009-12-15
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Maxwell方程式によるナノ領域電磁界計算の精度保証2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      2009年春季第56回応用物理学関係連合講演会(シンポジウム:ナノフォトニクスにおけるナノ加工の最前線と理論基盤)
    • 発表場所
      筑波大学
    • 年月日
      2009-03-30
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Some Applications of Verified Numerical Computations and Error Free Transformations2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      International workshop on verified computations and related topics
    • 発表場所
      Karlsruhe, Germany
    • 年月日
      2009-03-08
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 線形抵抗回路の動作点の数値的精度保証法2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      ホテルマリックス(宮崎)
    • 年月日
      2009-01-23
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical existence theorem for solutions of fixed point type equations and its applications2009

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Conference on Engineering and Computational Mathematics (ECM2009)
    • 発表場所
      The Hong-Kong Polytechnic University, Hong-Kong
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Some Applications of Verified Numerical Computations and Error Free Transformations2009

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      2009 International Workshop on Numerical Verification and its Applications
    • 発表場所
      Miyakojima. Japan
    • 年月日
      2009-03-25
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 非線形関数方程式の精度保証付き数値計算2009

    • 著者名/発表者名
      大石進一
    • 学会等名
      非線形問題研究会(NLP)
    • 発表場所
      屋久島環境文化村センター,鹿児島
    • 年月日
      2009-11-11
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Error free transformations of floating point numbers and its applications to constructing error free algorithms2009

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      Symbolic Numeric Computation (SNC 2009)
    • 発表場所
      Kyoto, Japan
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 「シミュレーション技術の将来展望-ロードマップの紹介と、人文社会科学分野への展開の可能性-」2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi. Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Calculation of Bessel and Hankel Functions with Guaranteed Accuracy2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      琉球大学
    • 年月日
      2008-06-27
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 複素解析を用いた高速精度保証付き自動積分法2008

    • 著者名/発表者名
      山中脩也, 荻田武史, 柏木雅英, 大石進一
    • 学会等名
      第27回日本シミュレーション学会大会
    • 発表場所
      立命館大学
    • 年月日
      2008-06-19
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] 線形計画問題の最適解の精度保証2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      石川県文教会館
    • 年月日
      2008-12-09
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 浮動小数点数の無誤差変換と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第20回RAMPシンポジウム
    • 発表場所
      東京工業大学西9号館
    • 年月日
      2008-10-30
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation to Two Dimensional Sound Scattering Problem2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      Gregynog Workshop 2008
    • 発表場所
      Cardiff. UK
    • 年月日
      2008-07-18
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 悪条件連立一次方程式に対する残差反復法の収束性2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      第37回数値解析シンポジウム
    • 発表場所
      仙北市たざわこ芸術村
    • 年月日
      2008-06-12
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Fast Verified Automatic Integration Using Double Exponential Formula2008

    • 著者名/発表者名
      N. Yamanaka, T. Ogita, N. Kashiwagi, N. Yamamoto and S. Oishi
    • 学会等名
      Arithmetic and Verified Numerical Computations
    • 発表場所
      テキサス大、エルパソ
    • 年月日
      2008-10-01
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] 悪条件連立一次方程式に対する残差反復法2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      電子情報通信学会非線形問題研究会
    • 発表場所
      神戸
    • 年月日
      2008-03-27
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 高速で高精度な浮動小数点数の内積計算法と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本数学会
    • 発表場所
      近畿大学
    • 年月日
      2008-03-22
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] DE公式を用いた高速精度保証付き自動積分法2008

    • 著者名/発表者名
      山中脩也, 荻田武史, 柏木雅英, 山本野人, 大石進一
    • 学会等名
      第37回数値解析シンポジウム
    • 発表場所
      たざわこ芸術村
    • 年月日
      2008-06-13
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] Iterative Refinement for III-Condtioned Linear Systems2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Workshop on Numerical Validation in Current Hardware Architectures
    • 発表場所
      Dagstuhl, Germany
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Accurate and Fast Sum of Floating Point Numbers and Applications to Verification Algorithms2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      The 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      El Paso, USA
    • 年月日
      2008-10-01
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Verification of Optimum Point in Linear Programming2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 年月日
      2008-10-12
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Iterative Refinement for Ill-Conditioned Linear Systems2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      International Workshop on Numerical Validation in Current Hardware Architectures at Dagstuhl Seminar
    • 発表場所
      Germany
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 精度保証付き数値計算の現状-基礎としての線形系から非線形問題の計算機援用証明までのサーベイ2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      研究集会「非線型波動の数理と物理」
    • 発表場所
      九州大学筑波地区総合研究棟
    • 年月日
      2008-11-07
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Fast Verified Automatic Integration Algorithm Using Complex Analysis2008

    • 著者名/発表者名
      Naoya Yamanaka, Takeshi Ogita, Masahide Kashiwagi and Shin'ichi Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      ブダペスト
    • 年月日
      2008-09-07
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] 有限区間における高速精度保証付き自動積分法2008

    • 著者名/発表者名
      山中脩也, 荻田武史, 柏木雅英, 山本野人, 大石進一
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      東京大学柏キャンパス
    • 年月日
      2008-09-18
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] (Waseda Univ. /JST): Accurate and Fast Sum of Floating Point Numbers and Applications to Verification Algorithms2008

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      The 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      The University of Texas at El Paso
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 精度保証付き数値計算から見たナノ光シミュレーション2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      学振130号委員会
    • 発表場所
      東京理科大学
    • 年月日
      2008-11-10
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Iterative Refinement for Ill-Conditioned Linear Equations2008

    • 著者名/発表者名
      Shin'ichi Oishi
    • 学会等名
      2008 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Budapest, Hungary
    • 年月日
      2008-09-10
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Fast verified automatic integration over finite interval2008

    • 著者名/発表者名
      N.Yamanaka, T.Ogita, M.Kashiwagi, N.Yamamoto, S.Oishi
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      デジョン、韓国
    • 年月日
      2008-10-10
    • データソース
      KAKENHI-PROJECT-20200044
  • [学会発表] 高速で高精度な浮動小数点数の内積計算法と精度保証付き数値計算2008

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本数学会(企画特別講演)
    • 発表場所
      大阪府立大学
    • 年月日
      2008-03-22
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] ベッセル関数の精度保証付き数値計算法2007

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会年会
    • 発表場所
      札幌市
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Fast and Accurate Dot Product Algorithm and its Applications to Verified Numerical Computation2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      The 3rd East Asia SIAM Conference
    • 発表場所
      Xiamen, China
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      九州大学数理学府21世紀COEシンポジウム特別講演
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation to Stationary Scattering Problem2007

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      ナノ光デバイスに関する日独セミナー
    • 発表場所
      米子市
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation2007

    • 著者名/発表者名
      S.Oishi
    • 学会等名
      九州大学数理学府21世紀COEシンポジウム
    • 発表場所
      九州大学
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] Numerical Verification for Solutions of Linear Systems, Algebraic and Numerical Algorithms and Computer-assisted Proofs2005

    • 著者名/発表者名
      S. Oishi
    • 学会等名
      Dagstuhl Seminar
    • 発表場所
      Dagstuhl, Germany
    • 年月日
      2005-09-29
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 数値線形計算の精度保証に関する最新の発展-任意に精度を変更でき、大規模な問題を扱え、高速に計算するには-2005

    • 著者名/発表者名
      大石進一
    • 学会等名
      力学系の研究-トポロジーと計算機による新展開
    • 発表場所
      京大数理解析研究所
    • 年月日
      2005-06-22
    • データソース
      KAKENHI-PROJECT-17002012
  • [学会発表] 疎連立一次方程式の解の反復解法を用いた数値的精度保証法2005

    • 著者名/発表者名
      大石進一
    • 学会等名
      日本応用数理学会環瀬戸内応用数理研究部会第9回シンポジウム
    • 年月日
      2005-11-12
    • データソース
      KAKENHI-PROJECT-17002012
  • 1.  中尾 充宏 (10136418)
    共同の研究課題数: 6件
    共同の研究成果数: 1件
  • 2.  西田 孝明 (70026110)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 3.  堀内 和夫 (90063403)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 4.  山村 清隆 (30182603)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 5.  松本 隆 (80063767)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 6.  川瀬 武彦 (60063690)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 7.  山本 野人 (30210545)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 8.  渡部 善隆 (90243972)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  柏木 雅英 (00257247)
    共同の研究課題数: 3件
    共同の研究成果数: 6件
  • 10.  白井 克彦 (10063702)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 11.  山本 哲朗 (80034560)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 12.  柴田 良弘 (50114088)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  田端 正久 (30093272)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  今井 仁司 (80203298)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  小原 啓義 (40063367)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 16.  伊東 幸宏 (20193526)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 17.  遠藤 靖典 (10267396)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 18.  山田 義雄 (20111825)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  高橋 大輔 (50188025)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  松嶋 敏泰 (30219430)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  栄 伸一郎 (30201362)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  長藤 かおり (40326426)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  村重 淳 (40302749)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  西 哲生 (40037908)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  浦濱 喜一 (10150492)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  田中 衛 (00146804)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  奥村 浩士 (50026241)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  牛田 明夫 (20035611)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  室田 一雄 (50134466)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  三井 斌友 (50027380)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  磯 祐介 (70203065)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  土屋 卓也 (00163832)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  陳 小君 (70304251)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  富永 英義 (20063688)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  佐藤 正和 (50187233)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  小松 尚久 (30195846)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  小林 哲則 (30162001)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 38.  伊福部 達 (70002102)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  柳田 益造 (00116120)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  神沢 雄智 (00298176)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  石野 福弥
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  中島 隆之
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi