Ozaki Katsuhisa 尾崎克久

Researcher Number	90434282
Other IDs
Affiliation (Current)	2025: 芝浦工業大学, システム理工学部, 教授
Affiliation (based on the past Project Information) *help	2020 – 2024: 芝浦工業大学, システム理工学部, 教授 2016 – 2018: 芝浦工業大学, システム理工学部, 准教授 2013 – 2015: 芝浦工業大学, システム工学部, 准教授
Review Section/Research Field	Principal Investigator Basic Section 60090:High performance computing-related / Sections That Are Subject to Joint Review: Basic Section60040:Computer system-related , Basic Section60090:High performance computing-related / Basic Section 60040:Computer system-related / High performance computing Except Principal Investigator High performance computing / Computational science / Control engineering/System engineering
Keywords	Principal Investigator 数値線形代数 / 浮動小数点演算 / 精度保証付き数値計算 / 高性能計算 / 丸め誤差解析 / 大規模並列計算 / テスト行列 / 反復解法 / 連立一次方程式 / 事前誤差解析 … More / 線形計算 / 数値解析 / ハイパフォーマンスコンピューティング / 誤差解析 … More Except Principal Investigator ハイパフォーマンスコンピューティング / 自動チューニング / 通信削減アルゴリズム / 行列ｰ行列積 / PBLAS / 疎行列化 / スレッド並列化 / 精度保証 / ベンチマーク / 反復改良 / 分散並列化 / 高精度行列-行列積 / 数値計算手法 / 数値線形代数 / 高精度計算 / 高精度数値線形代数 / 協調制御 / マルチエージェント / 漸近安定性と安定化 / リヤプノフ関数 / 実用安定化 / 量子化誤差 / 切替えシステム Less

数値線形代数の数値解に対する厳密精度評価の基盤形成Principal Investigator
- Principal Investigator
  
  尾崎克久
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60090:High performance computing-related
  Basic Section 60040:Computer system-related
  Sections That Are Subject to Joint Review: Basic Section60040:Computer system-related , Basic Section60090:High performance computing-related
- Research Institution
  Shibaura Institute of Technology
Fusion of Iterative Solvers for Linear Equations with Sparse Matrices and Verified Numerical Computation MethodsPrincipal Investigator
- Principal Investigator
  
  Ozaki Katsuhisa
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60090:High performance computing-related
- Research Institution
  Shibaura Institute of Technology
Development of accurate algorithms for numerical linear algebra
- Principal Investigator
  
  Ogita Takeshi
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computational science
- Research Institution
  Tokyo Woman's Christian University
Development of Technologies of High Performance Computing for Accuracy Assurance
- Principal Investigator
  
  KATAGIRI TAKAHIRO
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  High performance computing
- Research Institution
  Nagoya University
Practical stabilization of switched systems with quantization errors
- Principal Investigator
  
  Zhai Guisheng
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering/System engineering
- Research Institution
  Shibaura Institute of Technology
Accurate and High Performance Computational Methods for Numerical Linear AlgebraPrincipal Investigator
- Principal Investigator
  
  Ozaki Katsuhisa
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  High performance computing
- Research Institution
  Shibaura Institute of Technology

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2014 Other

All Journal Article Presentation

[Journal Article] Mixed-precision conjugate gradient algorithm using the groupwise update strategy2024
- Author(s)
  Kensuke Aihara, Katsuhisa Ozaki, Daichi Mukunoki
- Journal Title
  
  Jpn. J. Ind. Appl. Math.
  
  Volume: 41 Issue: 2 Pages: 837-855
- DOI
  10.1007/s13160-024-00644-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04195
[Journal Article] DGEMM on integer matrix multiplication unit2024
- Author(s)
  Hiroyuki Ootomo, Katsuhisa Ozaki, Rio Yokota
- Journal Title
  
  The International Journal of High Performance Computing Applications
  
  Volume: to appear Issue: 4 Pages: 297-313
- DOI
  10.1177/10943420241239588
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04195
[Journal Article] Acceleration of iterative refinement for singular value decomposition2023
- Author(s)
  Uchino Yuki、Terao Takeshi、Ozaki Katsuhisa
- Journal Title
  
  Numerical Algorithms
  
  Volume: 95 Issue: 2 Pages: 979-1009
- DOI
  10.1007/s11075-023-01596-9
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22KJ2741, KAKENHI-PROJECT-20H04195
[Journal Article] Inclusion Methods for Multiplication of Three Point Matrices2023
- Author(s)
  Yuki Uchino, Katsuhisa Ozaki, Takeshi Terao
- Journal Title
  
  Journal of Advanced Simulation in Science and Engineering
  
  Volume: 10 Issue: 1 Pages: 83-101
- DOI
  10.15748/jasse.10.83
- ISSN
  2188-5303
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22KJ2741, KAKENHI-PROJECT-20H04195
[Journal Article] 実対称固有値分解に対する反復改良法の高速化2022
- Author(s)
  内野佑基，尾崎克久，荻田武史
- Journal Title
  
  情報処理学会論文誌，コンピューティングシステム
  
  Volume: 15 Pages: 1-12
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04195
[Journal Article] Generation of test matrices with specified eigenvalues using floating-point arithmetic2022
- Author(s)
  Ozaki Katsuhisa、Ogita Takeshi
- Journal Title
  
  Numerical Algorithms
  
  Volume: 90 Issue: 1 Pages: 241-262
- DOI
  10.1007/s11075-021-01186-7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H00581, KAKENHI-PROJECT-20H04195, KAKENHI-PROJECT-19H05662
[Journal Article] Verified Numerical Computations for Searching for Vectors with the Maximum Sum2021
- Author(s)
  Uchino Yuki、Ozaki Katsuhisa
- Journal Title
  
  Journal of Advanced Simulation in Science and Engineering
  
  Volume: 8 Issue: 1 Pages: 53-72
- DOI
  10.15748/jasse.8.53
- NAID
  130007995882
- ISSN
  2188-5303
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04195
[Journal Article] Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications2018
- Author(s)
  Shuntaro Ichimura,Takahiro Katagiri, Katsuhisa Ozaki, Takeshi Ogita, Toru Nagai
- Journal Title
  
  Proceedings of IEEE IPDPSW2018
  
  Volume: - Pages: 1-10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] Generation of Linear Systems with Specified Solutions for Numerical Experiments2017
- Author(s)
  K. Ozaki, T. Ogita
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 148-167
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] Acceleration of a preconditioning method for ill-conditioned dense linear systems by use of a BLAS-based method2017
- Author(s)
  Y. Kobayashi, T. Ogita, K. Ozaki
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 15-23
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] HPC分野における精度保証付き数値計算学の展開2017
- Author(s)
  荻田武史, 尾崎克久, 柏木雅英, 片桐孝洋
- Journal Title
  
  研究報告ハイパフォーマンスコンピューティング（HPC）
  
  Volume: 2017-HPC-160 Pages: 1-5
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] マルチコア計算機による高精度行列‐行列積アルゴリズムの性能評価2017
- Author(s)
  市村駿太郎、片桐孝洋、尾崎克久、荻田武史、永井亨、荻野正雄
- Journal Title
  
  研究報告ハイパフォーマンスコンピューティング（HPC）
  
  Volume: 2017-HPC-160 Pages: 1-8
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] Error-free transformation of matrix multiplication with a posteriori validation2016
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi
- Journal Title
  
  Numerical Linear Algebra with Applications
  
  Volume: 23 Issue: 5 Pages: 931-946
- DOI
  10.1002/nla.2061
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Alternative Algorithms to Triple-Word and Quad-Word Arithmetic2024
- Author(s)
  K. Ozaki
- Organizer
  2024 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 正規化されていない疑似高精度計算の設計と精度維持のための手法について2024
- Author(s)
  尾崎克久, 今村俊幸
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 近接特異値をもつ特異値分解に対する反復改良法2024
- Author(s)
  内野佑基, 尾崎克久
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Groupwise更新戦略を用いた混合精度CG法の有効性2024
- Author(s)
  相原研輔，尾崎克久，椋木大地
- Organizer
  日本応用数理学会2024年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 正規化されていない疑似高精度計算の行列計算への応用について2024
- Author(s)
  矢崎雪莉, 尾崎克久
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 精度保証付き数値計算を用いた低精度初等関数の精度調査2024
- Author(s)
  尾崎克久
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 高精度行列積に対する効率的なアプローチ2023
- Author(s)
  内野佑基，尾崎克久
- Organizer
  2023年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2023)
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Fast and accurate symmetric rank-k operation2023
- Author(s)
  Y. Uchino, K. Ozaki
- Organizer
  The 42nd JSST Annual International Conference on Simulation Technology (JSST2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Level 3 BLASに対する尾崎スキームの設計2023
- Author(s)
  内野佑基, 尾崎克久
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 行列分解に関するテスト問題の生成法と精度保証付き数値計算2023
- Author(s)
  尾崎克久，寺尾剛史
- Organizer
  2023年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2023)
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] GEMM-based numerical algorithm for accurate matrix multiplication2023
- Author(s)
  K. Ozaki
- Organizer
  25th Conference of the International Linear Algebra Society
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Tight enclosure of a matrix product based on BLAS2023
- Author(s)
  K. Ozaki
- Organizer
  The 42nd JSST Annual International Conference on Simulation Technology (JSST2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Computation method for an upper bound of the maximum norm of a matrix product2023
- Author(s)
  Y. Zhao, K. Ozaki, Y. Uchino
- Organizer
  The 42nd JSST Annual International Conference on Simulation Technology (JSST2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Mixed-precision iterative refinement for real-symmetric eigenvalue decomposition with clustered eigenvalues2023
- Author(s)
  Y. Uchino, K. Ozaki, T. Imamura
- Organizer
  10th International Congress on Industrial and Applied Mathematics (ICIAM2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Iterative refinement for an eigenpair subset of real symmetric matrices2023
- Author(s)
  T. Terao, T. Imamura, K. Ozaki
- Organizer
  10th International Congress on Industrial and Applied Mathematics (ICIAM2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Pair Arithmeticの拡張とその使い方について2023
- Author(s)
  尾崎克久, 今村俊幸
- Organizer
  第247回ARC・第192回HPC合同研究発表会
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 浮動小数点数で表現される領域の境界上の節点の計算法2023
- Author(s)
  尾崎克久, 劉雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Floating-point matrices with specified solutions for linear algebra problems2023
- Author(s)
  K. Ozaki, Y. Uchino, T. Terao
- Organizer
  10th International Congress on Industrial and Applied Mathematics (ICIAM2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Acceleration of iterative refinement for symmetric eigenvalue decomposition with clustered eigenvalues2023
- Author(s)
  Y. Uchino, K. Ozaki, T. Imamura
- Organizer
  25th Conference of the International Linear Algebra Society
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Generation of test matrices with specified eigenpairs2023
- Author(s)
  K. Ozaki
- Organizer
  Numerical methods for spectral problems: theory and applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] 数値解の精度検証のためのテスト行列の生成法2023
- Author(s)
  尾崎克久
- Organizer
  RIMS共同研究（公開型）新時代における高性能科学技術計算法の探究
- Invited
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] A mixed-precision algorithm of the CG method using the group-wise update strategy2022
- Author(s)
  Kensuke Aihara, Katsuhisa Ozaki, Daichi Mukunoki
- Organizer
  The 41st JSST Annual International Conference on Simulation Technology
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 特異値分解に対する反復改良法の高速化2022
- Author(s)
  内野佑基，尾崎克久，寺尾剛史
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Rayleigh quotient and accurate matrix multiplication for eigenvalue problems2022
- Author(s)
  K. Ozaki, D. Mukunoki, T. Ogita
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 不等分割による行列積のエラーフリー変換の高精度計算への応用2022
- Author(s)
  尾崎克久, 椋木大地, 荻田武史
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 実行列の全特異値に対する効率的な精度保証法2022
- Author(s)
  寺尾剛史，内野祐基，尾崎克久，今村俊幸
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 3つの点行列の積の包含法とその解析について2022
- Author(s)
  内野佑基, 尾崎克久, 寺尾剛史
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Flying restart付きCG法に対する混合精度演算による近似解精度の向上2022
- Author(s)
  相原研輔，尾崎克久, 椋木大地
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 行列積に対する試行型エラーフリー変換に対する誤差の対処法とその応用2022
- Author(s)
  尾崎克久，椋木大地，荻田武史
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 固有値・特異値分解の混合精度数値計算法の性能評価2022
- Author(s)
  内野佑基, 寺尾剛史, 尾崎克久
- Organizer
  2022年並列／分散／協調処理に関するサマー・ワークショップ
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 数値線形代数の諸問題に対する真の解がわかるテスト行列の生成法2022
- Author(s)
  尾崎克久, 寺尾剛史, 内野佑基
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] エラーフリー変換を用いた悪条件行列の生成法2021
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 行列積のエラーフリー変換に関する基礎・応用とMATLABコード生成のチュートリアル2021
- Author(s)
  尾崎克久
- Organizer
  第5回精度保証付き数値計算の実問題への応用研究集会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Verified Numerical Computations for a Standard Eigenvalue Problem Without Directed Rounding2021
- Author(s)
  T. Terao, K. Ozaki, T. Ogita, T. Imamura
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Acceleration of Iterative Refinement for Symmetric Eigenvalue Decomposition2021
- Author(s)
  Y. Uchino, K. Ozaki, T. Ogita
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Acceleration of Error-Free Transformation of Matrix Multiplication using GPU Tensor Cores2021
- Author(s)
  K. Ozaki, D. Mukunoki, T. Ogita
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Error-free transformation of matrix multiplication for multi-precision computations2021
- Author(s)
  K. Ozaki
- Organizer
  The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 実対称固有値分解に対する反復改良法の高速化2021
- Author(s)
  内野佑基, 尾崎克久, 荻田武史
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] ２ステップ型反復改良法を用いた連立１次方程式の高精度計算法2021
- Author(s)
  寺尾剛史，尾崎克久，今村俊幸
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Interval Matrix Multiplication Using Fast Low-Precision Arithmetic on GPU2021
- Author(s)
  K. Ozaki, T. Ogita, D. Mukunoki
- Organizer
  The theme of the 9th International Workshop on Reliable Engineering Computing (REC2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 精度保証付き数値計算の数値再現性への貢献について2021
- Author(s)
  尾崎克久
- Organizer
  日本応用数理学会「行列・固有値問題の解法とその応用」研究部会第32回研究会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 高速かつ高精度な行列積計算を用いた固有値と特異値の計算法2021
- Author(s)
  尾崎克久, 荻田武史, 椋木大地
- Organizer
  2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021)
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 行列積に対するエラーフリー変換の多倍長精度計算への応用について2021
- Author(s)
  尾崎克久
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 低精度計算を活用した線形方程式に対する残差反復法の改良2021
- Author(s)
  寺尾剛史，尾崎克久，今村俊幸
- Organizer
  2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021)
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 疎行列に対する逆行列のノルムデータとその活用法2021
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 高精度行列積を用いて固有ベクトル行列から固有値を計算する方法について2020
- Author(s)
  尾崎克久，荻田武史，椋木大地
- Organizer
  「行列・固有値問題の解法とその応用」研究部会第30回研究会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] GPUの単精度演算・Tensorコアを用いた行列積のエラーフリー変換2020
- Author(s)
  尾崎克久，椋木大地，荻田武史
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Test matrices with specified solutions for numerical linear algebra2019
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Test Matrices for Symmetric Eigenvalue Problems Using Weighing Matrices2018
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 行列積に対する隣接浮動小数点丸めの結果を返すアルゴリズム2018
- Author(s)
  尾崎克久
- Organizer
  日本応用数理学会部会連合発表会
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm2018
- Author(s)
  T. Terao, K. Ozaki, T. Ogita
- Organizer
  IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Test Matrices with the Specified Solution for Numerical Linear Algebra2018
- Author(s)
  K. Ozaki
- Organizer
  The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 丸め誤差を利用した計算順序を特定する例題について2018
- Author(s)
  坂本篤志，尾崎克久
- Organizer
  日本応用数理学会部会連合発表会
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 行列積に対する隣接浮動小数点丸めの結果を返すアルゴリズム2018
- Author(s)
  尾崎克久
- Organizer
  日本応用数理学会部会連合発表会
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Verification of Computational Order of Dot Product from the Behavior of Rounding Errors2018
- Author(s)
  A. Sakamoto, K. Ozaki
- Organizer
  The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 真の特異値や固有値がわかるテスト行列の生成法2017
- Author(s)
  尾崎克久，荻田武史
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Faithful Rounding for Matrix Multiplication2017
- Author(s)
  Katsuhisa Ozaki and Takeshi Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering ( CSE17)
- Place of Presentation
  Hilton Atlanta (Atlanta, GA, USA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Generation of Test Matrices with Exact Singular Values for Numerical Computations2017
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  The 2017 International Conference on Computational and Mathematical Methods in Science and Engineering ( CMMSE2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] ブロックコレスキー分解を用いた連立一次方程式の数値解の精度保証法2017
- Author(s)
  寺尾剛史，尾崎克久
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  電気通信大学
- Year and Date
  2017-03-06
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] Generation of Test matrices with Specified Eigenvalues2017
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 連立一次方程式の数値解の下端・上端型区間による最適な包み込み2017
- Author(s)
  落合涼太，寺尾剛史，尾崎克久
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  電気通信大学，調布市
- Year and Date
  2017-03-07
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] ブロックコレスキー分解を用いた連立一次方程式の数値解の精度保証法2017
- Author(s)
  寺尾剛史，尾崎克久
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  電気通信大学，調布市
- Year and Date
  2017-03-07
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Faithful Rounding for Matrix Multiplication2017
- Author(s)
  Katsuhisa Ozaki, Takeshi Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering (CSE17)
- Place of Presentation
  Hilton Atlanta, USA
- Year and Date
  2017-03-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] ブロックコレスキー分解を用いた行列に対する正定値性の保証とその応用2016
- Author(s)
  寺尾剛史，尾崎克久
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  神戸学院大学
- Year and Date
  2016-03-05
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] 浮動小数点演算による内積の誤差解析について2016
- Author(s)
  樋口裕幸，尾崎克久
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  神戸学院大学
- Year and Date
  2016-03-05
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] 連立一次方程式の数値解のためのテスト問題の生成法2016
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会年会
- Place of Presentation
  北九州国際会議場，北九州市
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Linear Systems with the Exact Solution for Numerical Tests2016
- Author(s)
  Katsuhisa Ozaki, Takeshi Ogita
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN2016)
- Place of Presentation
  Norrlands Nation, Uppsala, Sweden
- Year and Date
  2016-09-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Block Computations for Interval Arithmetic and Verified Numerical Computations for Linear Systems2016
- Author(s)
  Katsuhisa Ozaki
- Organizer
  5th European Seminar on Computing (ESCO2016)
- Place of Presentation
  Pilsen, Czech Republic
- Year and Date
  2016-06-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] Improvement of error bound for dot product with unit in the first place2016
- Author(s)
  Katsuhisa Ozaki
- Organizer
  The 2nd International Conference and Summer School Numerical Computations: Theory and Algorithms (NUMTA2016)
- Place of Presentation
  Pizzo, Italy
- Year and Date
  2016-06-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] Inverse Matrix of Triangular Matrices for Verified Numerical Computations2014
- Author(s)
  尾崎克久, 荻田武史, 大石進一
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] Block Computations and Verified Numerical Computations for Linear Systems
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi
- Organizer
  The 33rd JSST Annual Conference
- Place of Presentation
  北九州国際会議場
- Year and Date
  2014-09-29 – 2014-09-30
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] 連立一次方程式に対する自動精度保証法の改善
- Author(s)
  尾崎克久, 荻田武史, 大石進一
- Organizer
  平成26年日本応用数理学会年会
- Place of Presentation
  政策研究大学院大学
- Year and Date
  2014-09-03 – 2014-09-05
- Data Source
  KAKENHI-PROJECT-25730076
[Presentation] Residual Bounds for Triangular Systems by Grouped Block Implementation
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi
- Organizer
  The 10th East Asia SIAM Conference
- Place of Presentation
  Ambassador City Jomtien
- Year and Date
  2014-06-23 – 2014-06-25
- Data Source
  KAKENHI-PROJECT-25730076

1. Ogita Takeshi (00339615)

# of Collaborated Projects: 4 results

# of Collaborated Products: 31 results
2. Zhai Guisheng (30304190)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. KATAGIRI TAKAHIRO (40345434)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. 相原研輔 (70735498)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
5. 今村俊幸 (60361838)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
6. ICHIMURA Syuntaro

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
7. Xu Xuping

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. Ho Daniel W. C.

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. Huang Chi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Ozaki Katsuhisa 尾崎 克久

Research Projects

Research Products

Co-Researchers

数値線形代数の数値解に対する厳密精度評価の基盤形成Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Fusion of Iterative Solvers for Linear Equations with Sparse Matrices and Verified Numerical Computation MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of accurate algorithms for numerical linear algebra

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Technologies of High Performance Computing for Accuracy Assurance

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Practical stabilization of switched systems with quantization errors

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Accurate and High Performance Computational Methods for Numerical Linear AlgebraPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Mixed-precision conjugate gradient algorithm using the groupwise update strategy2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] DGEMM on integer matrix multiplication unit2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Acceleration of iterative refinement for singular value decomposition2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Inclusion Methods for Multiplication of Three Point Matrices2023

Author(s)

Journal Title

DOI

ISSN

Language

Data Source

[Journal Article] 実対称固有値分解に対する反復改良法の高速化2022

Author(s)

Journal Title

Data Source

[Journal Article] Generation of test matrices with specified eigenvalues using floating-point arithmetic2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Verified Numerical Computations for Searching for Vectors with the Maximum Sum2021

Author(s)

Journal Title

DOI

NAID

ISSN

Language

Data Source

[Journal Article] Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications2018

Ozaki Katsuhisa 尾崎克久

[Journal Article] HPC分野における精度保証付き数値計算学の展開2017