|
発表年月
|
タイトル／共同研究者
|
発表者
|
掲載誌
|
巻・号・頁
|
学会名等
|
|
DGEMM using Tensor Cores, and Its Accurate and Reproducible Versions
D. Mukunoki, K. Ozaki, T. Ogita, T. Imamura
|
D. Mukunoki, K. Ozaki, T. Ogita, T. Imamura |
|
|
ISC 2020 DIGITAL |
| 2025/03 |
Fast and accurate algorithm for matrix multiplication using fused multiply-add
K. Ozaki, T. Koizumi
|
K. Ozaki, T. Koizumi |
|
|
2025 Conference on Advanced Topics and Author Tuning in High-Performance Scientific Computing |
| 2025/03 |
Fast and accurate algorithm for matrix multiplication using fused multiply-add and its applications
K. Ozaki, T. Koizumi
|
K. Ozaki, T. Koizumi |
|
|
The Second French-Japanese Workshop on Numerical Computations |
| 2025/03 |
精度保証付き数値計算に用いる行列積の包含について
尾崎 克久, 小泉 透
|
尾崎 克久, 小泉 透 |
|
|
日本応用数理学会第21回研究部会連合発表会 |
| 2025/03 |
INT8 Matrix Engineを用いた尾崎スキームに対する高速化
内野 佑基, 尾崎 克久, 今村 俊幸
|
内野 佑基, 尾崎 克久, 今村 俊幸 |
|
|
日本応用数理学会第21回研究部会連合発表会 |
| 2024/12 |
mX_Real: 非正規化合成浮動小数点パッケージについて
今村 俊幸, 尾崎 克久
|
今村 俊幸, 尾崎 克久 |
|
|
第251回システム・アーキテクチャ・第197回ハイパフォーマンスコンピューティング合同研究発表会 |
| 2024/12 |
Quasi Triple-Word Arithmeticによる6倍精度演算の疎行列反復解法への応用
椋木大地, 尾崎 克久
|
椋木大地, 尾崎 克久 |
|
|
第251回システム・アーキテクチャ・第197回ハイパフォーマンスコンピューティング合同研究発表会 |
| 2024/10 |
行列積に対する高精度数値計算法：内積ベースかgemmベースか？
尾崎克久
|
尾崎克久 |
|
|
第31回AT研究会オープンアカデミックセッション |
| 2024/09 |
Accurate Matrix Multiplication based on GEMM: Basics and FP64 Emulation using Tensor Cores
K. Ozaki
|
K. Ozaki |
|
|
PSG Reading Group Special Virtual Seminar, Oak Ridge National Laboratory |
| 2024/09 |
Accuracy of Low-precision Standard Functions Monitored by Verified Numerical Computations
K. Ozaki
|
K. Ozaki |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
Application of Unnormalized Pseudo-High Precision Computations to LU and Cholesky Decomposition
S. Yazaki, K. Ozaki
|
S. Yazaki, K. Ozaki |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
Application of Low-Rank Approximation for interval matrix multiplication
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
PSTV: An Incremental Validator for 2D Delaunay Triangulation
S. Sawai, K. Tanaka, K. Ozaki, S. Oishi
|
S. Sawai, K. Tanaka, K. Ozaki, S. Oishi |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
Fast Generation of Real-Symmetric Matrices for Eigenproblems with Explicit Elements
Y. Uchino, K. Ozaki
|
Y. Uchino, K. Ozaki |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
A Note on Preconditioner for Ill-conditioned Tall and Skinny Matrices
A. Minamihata, K. Ozaki, T. Ogita, S, Oish
|
A. Minamihata, K. Ozaki, T. Ogita, S, Oish |
|
|
The 43rd JSST Annual International Conference on Simulation Technology |
| 2024/09 |
非正規化合成浮動小数点数を用いた計算方法の実装方法について
今村 俊幸, 尾崎 克久
|
今村 俊幸, 尾崎 克久 |
|
|
日本応用数理学会2024年度年会 |
| 2024/09 |
FMAを巧みに利用した疑似4,6,8倍精度行列積の設計
尾崎 克久, 小泉 透
|
尾崎 克久, 小泉 透 |
|
|
日本応用数理学会2024年度年会 |
| 2024/09 |
微分方程式の作用素解析で用いられる行列ノルムの精度保証
寺尾 剛史, 尾崎 克久, 渡部 善隆
|
寺尾 剛史, 尾崎 克久, 渡部 善隆 |
|
|
日本応用数理学会2024年度年会 |
| 2024/09 |
数値線形代数に対する再現性のある試行型テスト行列生成法
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
日本応用数理学会2024年度年会 |
| 2024/09 |
疑似的な高精度演算のブロックコレスキー分解への適用
矢崎 雪莉, 尾崎 克久
|
矢崎 雪莉, 尾崎 克久 |
|
|
日本応用数理学会2024年度年会 |
| 2024/09 |
実対称行列に対する部分固有対の逆反復改良法
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
日本応用数理学会2024年度年会 |
| 2024/08 |
明示的な実対称固有値問題の高速生成法
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
2024年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2024) |
| 2024/08 |
FMAを巧みに利用した高精度行列積アルゴリズム
尾崎 克久, 小泉 透
|
尾崎 克久, 小泉 透 |
|
|
2024年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2024) |
| 2024/06 |
無限次元線形作用素の近似逆作用素ノルムに対する精度保証付き特異値計算の高速化
松岡 空良, 寺尾 剛史, 渡部 善隆, 尾崎 克久
|
松岡 空良, 寺尾 剛史, 渡部 善隆, 尾崎 克久 |
|
|
数値解析シンポジウム2024 |
| 2024/03 |
Alternative Algorithms to Triple-Word and Quad-Word Arithmetic
K. Ozaki
|
K. Ozaki |
|
|
2024 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2024/03 |
正規化されていない疑似高精度計算の行列計算への応用について
矢崎 雪莉, 尾崎 克久
|
矢崎 雪莉, 尾崎 克久 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2024/03 |
精度保証付き数値計算を用いた低精度初等関数の精度調査
尾崎 克久
|
尾崎 克久 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2024/03 |
正規化されていない疑似高精度計算の設計と精度維持のための手法について
尾崎 克久, 今村 俊幸
|
尾崎 克久, 今村 俊幸 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2024/03 |
近接特異値をもつ特異値分解に対する反復改良法
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2024/03 |
Groupwise更新戦略を用いた混合精度CG法の有効性
相原 研輔, 尾崎 克久, 椋木 大地
|
相原 研輔, 尾崎 克久, 椋木 大地 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2023/12 |
Pair Arithmeticの拡張とその使い方について
尾崎 克久, 今村 俊幸
|
尾崎 克久, 今村 俊幸 |
|
|
第247回ARC・第192回HPC合同研究発表会 |
| 2023/10 |
数値解の精度検証のためのテスト行列の生成法
尾崎 克久
|
尾崎 克久 |
|
|
RIMS共同研究（公開型）新時代における高性能科学技術計算法の探究 |
| 2023/08 |
Tight enclosure of a matrix product based on BLAS
K. Ozaki
|
K. Ozaki |
|
|
The 42nd JSST Annual International Conference on Simulation Technology (JSST2023) |
| 2023/08 |
Computation method for an upper bound of the maximum norm of a matrix product
Y. Zhao, K. Ozaki, Y. Uchino
|
Y. Zhao, K. Ozaki, Y. Uchino |
|
|
The 42nd JSST Annual International Conference on Simulation Technology (JSST2023) |
| 2023/08 |
Fast and accurate symmetric rank-k operation
Y. Uchino, K. Ozaki
|
Y. Uchino, K. Ozaki |
|
|
The 42nd JSST Annual International Conference on Simulation Technology (JSST2023) |
| 2023/08 |
Generation of test matrices with specified eigenpairs
K. Ozaki
|
K. Ozaki |
|
|
Numerical methods for spectral problems: theory and applications |
| 2023/08 |
Mixed-precision iterative refinement for real-symmetric eigenvalue decomposition with clustered eigenvalues
Y. Uchino, K. Ozaki, T. Imamura
|
Y. Uchino, K. Ozaki, T. Imamura |
|
|
10th International Congress on Industrial and Applied Mathematics (ICIAM2023) |
| 2023/08 |
Iterative refinement for an eigenpair subset of real symmetric matrices
T. Terao, T. Imamura, K. Ozaki
|
T. Terao, T. Imamura, K. Ozaki |
|
|
10th International Congress on Industrial and Applied Mathematics (ICIAM2023) |
| 2023/08 |
Floating-point matrices with specified solutions for linear algebra problems
K. Ozaki, Y. Uchino, T. Terao
|
K. Ozaki, Y. Uchino, T. Terao |
|
|
10th International Congress on Industrial and Applied Mathematics (ICIAM2023) |
| 2023/08 |
行列分解に関するテスト問題の生成法と精度保証付き数値計算
尾崎 克久, 寺尾 剛史
|
尾崎 克久, 寺尾 剛史 |
|
|
2023年並列／分散／協調処理に関するサマー・ワークショップ |
| 2023/08 |
高精度行列積に対する効率的なアプローチ
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
2023年並列／分散／協調処理に関するサマー・ワークショップ |
| 2023/06 |
GEMM-based numerical algorithm for accurate matrix multiplication
K. Ozaki
|
K. Ozaki |
|
|
25th Conference of the International Linear Algebra Society |
| 2023/06 |
Acceleration of iterative refinement for symmetric eigenvalue decomposition with clustered eigenvalues
Y. Uchino, K. Ozaki, T. Imamura
|
Y. Uchino, K. Ozaki, T. Imamura |
|
|
25th Conference of the International Linear Algebra Society |
| 2023/03 |
Performance Evaluation of Iterative Refinement for Singular Value Decomposition on a Supercomputer
Y. Uchino, K. Ozaki
|
Y. Uchino, K. Ozaki |
|
|
2023 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2023/03 |
Recent Progress of BLAS-Based Accurate Numerical Algorithms for Matrix Multiplication
Katsuhisa Ozaki
|
Katsuhisa Ozaki |
|
|
2023 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2023/03 |
浮動小数点数で表現される領域の境界上の節点の計算法
尾崎 克久, 劉 雪峰
|
尾崎 克久, 劉 雪峰 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
数値線形代数の諸問題に関するテスト行列の生成法の改良
尾崎 克久, 寺尾 剛史, 内野 佑基
|
尾崎 克久, 寺尾 剛史, 内野 佑基 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
悪条件な縦長行列向けのQR分解を使った前処理行列の性能についての一考察
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一
|
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
特異値分解の反復改良に対するcompact WY表現を用いた拡張
寺尾 剛史, 今村 俊幸, 尾崎 克久
|
寺尾 剛史, 今村 俊幸, 尾崎 克久 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
実対称行列に対する部分固有対の反復改良法
寺尾 剛史, 今村 俊幸, 尾崎 克久
|
寺尾 剛史, 今村 俊幸, 尾崎 克久 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
Level 3 BLASに対する尾崎スキームの設計
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
日本応用数理学会第19回研究部会連合発表会 |
| 2023/03 |
線形作用素の近似逆作用素ノルムに対する精度保証付き数値計算
寺尾 剛史, 渡部 善隆, 尾崎 克久
|
寺尾 剛史, 渡部 善隆, 尾崎 克久 |
|
|
日本応用数理学会第20回研究部会連合発表会 |
| 2022/12 |
実対称一般化固有値分解に対する精度検証のためのテスト問題の生成法
尾崎 克久, 寺尾 剛史
|
尾崎 克久, 寺尾 剛史 |
|
|
日本応用数理学会「行列・固有値問題の解法とその応用」研究部会 第34回研究会 |
| 2022/09 |
数値線形代数の諸問題に対する真の解がわかるテスト行列の生成法
尾崎 克久, 寺尾 剛史, 内野 佑基
|
尾崎 克久, 寺尾 剛史, 内野 佑基 |
|
|
日本応用数理学会2022年度年会 |
| 2022/09 |
3つの点行列の積の包含法とその解析について
内野 佑基, 尾崎 克久, 寺尾 剛史
|
内野 佑基, 尾崎 克久, 寺尾 剛史 |
|
|
日本応用数理学会2022年度年会 |
| 2022/09 |
固有値分解に対する2ステップ型反復改良法
寺尾 剛史, 今村 俊幸, 尾崎 克久
|
寺尾 剛史, 今村 俊幸, 尾崎 克久 |
|
|
日本応用数理学会2022年度年会 |
| 2022/09 |
尾崎スキームによる無限精度内積と再現可能疎行列反復ソルバーへの応用
椋木 大地, 尾崎 克久, 荻田 武史, 今村 俊幸
|
椋木 大地, 尾崎 克久, 荻田 武史, 今村 俊幸 |
|
|
日本応用数理学会2022年度年会 |
| 2022/09 |
２次元領域における三角形分割の事後保証法
沢井 宇宙, 田中 一成, 尾崎 克久, 大石 進一
|
沢井 宇宙, 田中 一成, 尾崎 克久, 大石 進一 |
|
|
日本応用数理学会2022年度年会 |
| 2022/09 |
不等分割による行列積のエラーフリー変換の高精度計算への応用
尾崎 克久, 椋木 大地, 荻田 武史
|
尾崎 克久, 椋木 大地, 荻田 武史 |
|
|
日本応用数理学会2022年度年会 |
| 2022/08 |
A mixed-precision algorithm of the CG method using the group-wise update strategy
K. Aihara, K. Ozaki, D. Mukunoki
|
K. Aihara, K. Ozaki, D. Mukunoki |
|
|
The 41st JSST Annual International Conference on Simulation Technology |
| 2022/08 |
Numerical experiments for Verified numerical computations for linear systems
T. Aoyama, K. Ozaki
|
T. Aoyama, K. Ozaki |
|
|
The 41st JSST Annual International Conference on Simulation Technology |
| 2022/08 |
Inclusion Methods for Multiplication of Three Point Matrices
Y. Uchino, K. Ozaki, T. Terao
|
Y. Uchino, K. Ozaki, T. Terao |
|
|
The 41st JSST Annual International Conference on Simulation Technology |
| 2022/08 |
Test floating-point matrices with specified solutions for numerical linear algebra
K. Ozaki, T. Terao, Y. Uchino
|
K. Ozaki, T. Terao, Y. Uchino |
|
|
The 41st JSST Annual International Conference on Simulation Technology |
| 2022/07 |
固有値・特異値分解の混合精度数値計算法の性能評価
内野 佑基, 寺尾 剛史, 尾崎 克久
|
内野 佑基, 寺尾 剛史, 尾崎 克久 |
|
|
2022年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2022) |
| 2022/03 |
Development of a Reliable Eigensolver on Supercomputer
T. Terao, T. Imamura, K. Ozaki
|
T. Terao, T. Imamura, K. Ozaki |
|
|
Conference on advanced topics and auto tuning in high-performance scientific computing (ATAT2022) |
| 2022/03 |
Rayleigh quotient and accurate matrix multiplication for eigenvalue problems
K. Ozaki, D. Mukunoki, T. Ogita
|
K. Ozaki, D. Mukunoki, T. Ogita |
|
|
International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022) |
| 2022/03 |
Flying restart付きCG法に対する混合精度演算による近似解精度の向上
相原 研輔, 尾崎 克久, 椋木 大地
|
相原 研輔, 尾崎 克久, 椋木 大地 |
|
|
日本応用数理学会第18回研究部会連合発表会 |
| 2022/03 |
特異値分解に対する反復改良法の高速化
内野 佑基, 尾崎 克久, 寺尾 剛史
|
内野 佑基, 尾崎 克久, 寺尾 剛史 |
|
|
日本応用数理学会第18回研究部会連合発表会 |
| 2022/03 |
実行列の全特異値に対する効率的な精度保証法
寺尾 剛史, 内野 祐基, 尾崎 克久, 今村 俊幸
|
寺尾 剛史, 内野 祐基, 尾崎 克久, 今村 俊幸 |
|
|
日本応用数理学会第18回研究部会連合発表会 |
| 2022/03 |
行列積に対する試行型エラーフリー変換に対する誤差の対処法とその応用
尾崎 克久, 椋木 大地, 荻田 武史
|
尾崎 克久, 椋木 大地, 荻田 武史 |
|
|
日本応用数理学会第18回研究部会連合発表会 |
| 2021/12 |
精度保証付き数値計算の数値再現性への貢献について
尾崎 克久
|
尾崎 克久 |
|
|
日本応用数理学会行列・固有値問題の解法とその応用研究部会第32回研究会 |
| 2021/11 |
行列積のエラーフリー変換に関する基礎・応用とMATLABコード生成のチュートリアル
尾崎 克久
|
尾崎 克久 |
|
|
第5回 精度保証付き数値計算の実問題への応用研究集会 |
| 2021/11 |
大規模分散並列環境における連立一次方程式・固有値問題の精度保証について
尾崎 克久
|
尾崎 克久 |
|
|
JST/CREST「モデリングのための精度保証付き数値計算論の展開;成果報告会 |
| 2021/09 |
行列積に対するエラーフリー変換の展開
尾崎 克久
|
尾崎 克久 |
|
|
CREST「現代の数理科学と連携するモデリング手法の構築」成果報告公開シンポジウム |
| 2021/09 |
Error-free transformation of matrix multiplication for multi-precision computations
K. Ozaki
|
K. Ozaki |
|
|
The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2020) |
| 2021/09 |
行列積に対するエラーフリー変換の多倍長精度計算への応用について
尾崎 克久
|
尾崎 克久 |
|
|
日本応用数理学会2021年度年会 |
| 2021/09 |
２ステップ型反復改良法を用いた連立１次方程式の高精度計算法
寺尾 剛史, 尾崎 克久, 今村 俊幸
|
寺尾 剛史, 尾崎 克久, 今村 俊幸 |
|
|
日本応用数理学会2021年度年会 |
| 2021/09 |
実対称固有値分解に対する反復改良法の高速化
内野 佑基, 尾崎 克久, 荻田 武史
|
内野 佑基, 尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会2021年度年会 |
| 2021/09 |
Verified Numerical Computations for a Standard Eigenvalue Problem Without Directed Rounding
T. Terao, K. Ozaki, T. Ogita, T. Imamura
|
T. Terao, K. Ozaki, T. Ogita, T. Imamura |
|
|
The 40th JSST Annual International Conference on Simulation Technology (JSST2021) |
| 2021/09 |
Acceleration of Iterative Refinement for Symmetric Eigenvalue Decomposition
Y. Uchino, K. Ozaki, T. Ogita
|
Y. Uchino, K. Ozaki, T. Ogita |
|
|
The 40th JSST Annual International Conference on Simulation Technology (JSST2021) |
| 2021/09 |
Preconditioner for Ill-conditioned Tall and Skinny Matrices
A. Minamihata, K. Ozaki, T. Ogita, S. Oishi
|
A. Minamihata, K. Ozaki, T. Ogita, S. Oishi |
|
|
The 40th JSST Annual International Conference on Simulation Technology (JSST2021) |
| 2021/09 |
Acceleration of Error-Free Transformation of Matrix Multiplication using GPU Tensor Cores
K. Ozaki, D. Mukunoki, T. Ogita
|
K. Ozaki, D. Mukunoki, T. Ogita |
|
|
The 40th JSST Annual International Conference on Simulation Technology (JSST2021) |
| 2021/07 |
高速かつ高精度な行列積計算を用いた固有値と特異値の計算法
尾崎 克久, 荻田 武史, 椋木 大地
|
尾崎 克久, 荻田 武史, 椋木 大地 |
|
|
2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021) |
| 2021/07 |
低精度計算を活用した線形方程式に対する残差反復法の改良
寺尾 剛史, 尾崎 克久, 今村 俊幸
|
寺尾 剛史, 尾崎 克久, 今村 俊幸 |
|
|
2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021) |
| 2021/07 |
悪条件で密な縦長行列向けの前処理行列の数値的比較について
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一
|
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一 |
|
|
2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021) |
| 2021/05 |
Interval Matrix Multiplication Using Fast Low-Precision Arithmetic on GPU
K. Ozaki, T. Ogita, D. Mukunoki
|
K. Ozaki, T. Ogita, D. Mukunoki |
|
|
The theme of the 9th International Workshop on Reliable Engineering Computing (REC2021) |
| 2021/03 |
疎行列に対する逆行列のノルムデータとその活用法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会 第17回 研究部会連合発表会 |
| 2021/03 |
エラーフリー変換を用いた悪条件行列の生成法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会 第17回 研究部会連合発表会 |
| 2021/01 |
Conjugate Gradient Solvers with High Accuracy and Bit-wise Reproducibility between CPU and GPU using Ozaki scheme
D. Mukunoki, K. Ozaki, T. Ogita, R. Iakymchuk
|
D. Mukunoki, K. Ozaki, T. Ogita, R. Iakymchuk |
|
|
HPC Asia 2021 |
| 2020/12 |
高精度行列積を用いて固有ベクトル行列から固有値を計算する方法について
尾崎 克久, 荻田 武史, 椋木 大地
|
尾崎 克久, 荻田 武史, 椋木 大地 |
|
|
行列・固有値問題の解法とその応用」研究部会 第30回研究会 |
| 2020/12 |
実対称行列の固有値分解に対する反復改良法の大規模並列環境における実装と評価
内野 佑基, 尾崎 克久, 荻田 武史
|
内野 佑基, 尾崎 克久, 荻田 武史 |
|
|
第177回ハイパフォーマンスコンピューティング研究発表会 |
| 2020/12 |
最近点丸めのみを用いた実対称行列に対する標準固有値問題の精度保証法
寺尾 剛史, 尾崎 克久, 荻田 武史, 今村俊幸
|
寺尾 剛史, 尾崎 克久, 荻田 武史, 今村俊幸 |
|
|
第177回ハイパフォーマンスコンピューティング研究発表会 |
| 2020/11 |
GPUを用いた行列積のエラーフリー変換とその応用
尾崎 克久, 椋木 大地, 荻田 武史
|
尾崎 克久, 椋木 大地, 荻田 武史 |
|
|
第4回 精度保証付き数値計算の実問題への応用研究集会 |
| 2020/11 |
尾崎スキームによるbinary128行列積
椋木 大地, 尾崎 克久, 荻田 武史
|
椋木 大地, 尾崎 克久, 荻田 武史 |
|
|
第4回 精度保証付き数値計算の実問題への応用研究集会 |
| 2020/09 |
GPUの単精度演算・Tensorコアを用いた行列積のエラーフリー変換
尾崎 克久, 椋木 大地, 荻田武史
|
尾崎 克久, 椋木 大地, 荻田武史 |
|
|
日本応用数理学会年会 |
| 2020/09 |
総和が最大となるベクトルを特定する精度保証付き数値計算法
内野 佑基, 尾崎 克久
|
内野 佑基, 尾崎 克久 |
|
|
日本応用数理学会年会 |
| 2020/09 |
行列積に対するエラーフリー変換，基礎ー応用ー未来
尾崎 克久
|
尾崎 克久 |
|
|
日本数学会秋季大会 |
| 2020/09 |
尾崎スキームを用いたbinary128による4倍精度行列積
椋木 大地, 尾崎 克久, 荻田 武史
|
椋木 大地, 尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会年会 |
| 2020/02 |
Verified Numerical Computations for Eigenvalue Problems on Large-Scale Parallel Systems
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
2020 SIAM Conference on Parallel Processing for Scientific Computing |
| 2019/12 |
精度保証付き数値計算ライブラリの運用に向けて
片桐 孝洋, 石黒 史也, 荻田 武史, 尾崎 克久, 大島 聡史, 永井 亨
|
片桐 孝洋, 石黒 史也, 荻田 武史, 尾崎 克久, 大島 聡史, 永井 亨 |
|
|
大学ICT推進協議会 2019年度年次大会 |
| 2019/12 |
Upper bound of maximum norm of inverse matrix in test set and its application
K. Ozaki
|
K. Ozaki |
|
|
the Asian Pacific Congress on Computational Mechanics (APCOM2019) |
| 2019/11 |
計算幾何と精度保証付き数値計算
尾崎 克久
|
尾崎 克久 |
|
|
第3回 精度保証付き数値計算の実問題への応用研究集会 |
| 2019/11 |
Generation of Floating-point Ill-conditioned Matrices
K. Ozaki
|
K. Ozaki |
|
|
The 38th JSST Annual International Conference on Simulation Technology (JSST2019) |
| 2019/11 |
Verified Numerical Computations for Standard Eigenvalue Problems on Supercomputers
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
The 38th JSST Annual International Conference on Simulation Technology (JSST2019) |
| 2019/11 |
実対称行列の全固有値に対する精度保証法と区間への拡張
寺尾 剛史, 尾崎 克久, 荻田 武史
|
寺尾 剛史, 尾崎 克久, 荻田 武史 |
|
|
第3回 精度保証付き数値計算の実問題への応用研究集会 |
| 2019/10 |
LU-Cholesky QR Algorithms for Thin QR Decomposition in An Oblique Inner Product
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2019) |
| 2019/10 |
Error-Free Transformation for Matrix Multiplication and its Applications
K. Ozaki
|
K. Ozaki |
|
|
International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2019) |
| 2019/09 |
尾崎スキームによる高精度かつ再現性のあるBLAS実装
椋木 大地, 荻田 武史, 尾崎 克久, 今村 俊幸
|
椋木 大地, 荻田 武史, 尾崎 克久, 今村 俊幸 |
|
|
日本応用数理学会年会 |
| 2019/09 |
Accurate and Reproducible CG Method on GPUs
D. Mukunoki, T. Ogita, K. Ozaki
|
D. Mukunoki, T. Ogita, K. Ozaki |
|
|
European Numerical Mathematics and Advanced Applications Conference 2019 |
| 2019/09 |
3つの行列の積に対する無誤差変換と固有値問題への応用
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会年会 |
| 2019/09 |
Error-free transformation of a product of three matrices and its applications
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
International Conference on Matrix Analysis and its Applications (MatTriad2019) |
| 2019/09 |
Preconditioned Choleskey QR algorithms in an oblique inner product
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
International Conference on Matrix Analysis and its Applications (MatTriad2019) |
| 2019/09 |
Accurate and Reproducible BLAS Routines with Ozaki Scheme for Many-core Architectures
D. Mukunoki, T. Ogita, K. Ozaki
|
D. Mukunoki, T. Ogita, K. Ozaki |
|
|
13th International Conference on Parallel Processing and Applied Mathematics (PPAM2019) |
| 2019/09 |
大規模並列環境における実対称標準固有値問題の精度保証法
寺尾 剛史, 尾崎 克久, 荻田 武史
|
寺尾 剛史, 尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会年会 |
| 2019/09 |
Reproducible Interval Matrix Multiplication
K. Ozaki
|
K. Ozaki |
|
|
European Numerical Mathematics and Advanced Applications Conference 2019 |
| 2019/07 |
Optimal Signed Relative Error for Floating-Point Arithmetic
K. Ozaki
|
K. Ozaki |
|
|
The International Council for Industrial and Applied Mathematics (ICIAM 2019) |
| 2019/07 |
前処理付きCholesky QRアルゴリズムとその応用
寺尾 剛史, 尾崎 克久, 荻田 武史
|
寺尾 剛史, 尾崎 克久, 荻田 武史 |
|
|
2019年並列／分散／協調処理に関する『北見』サマー・ワークショップ |
| 2019/06 |
Review of Error-Free Transformation of Matrix Multiplication
K. Ozaki
|
K. Ozaki |
|
|
Basics and Applications, Workshop on Large-scale Parallel Numerical Computing Technology |
| 2019/03 |
再現性のある区間行列積の計算法
尾崎 克久
|
尾崎 克久 |
|
|
日本応用数理学会2019年 研究部会連合発表会 |
| 2019/03 |
悪条件行列に対するCholeskyQRアルゴリズムとその比較
寺尾 剛史, 尾崎 克久, 荻田 武史
|
寺尾 剛史, 尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会2019年 研究部会連合発表会 |
| 2019/03 |
浮動小数点演算に関する符号付き相対誤差について
小林 亮太, 尾崎 克久
|
小林 亮太, 尾崎 克久 |
|
|
日本応用数理学会2019年 研究部会連合発表会 |
| 2019/03 |
Robust and Efficient Cholesky QR Algorithms for Thin QR decomposition
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
The 3rd UOG-SIT Workshop in Pure/Applied Mathematics and Computer Science |
| 2019/03 |
Reproducible numerical algorithms for matrix multiplication
K. Ozaki
|
K. Ozaki |
|
|
The 3rd UOG-SIT Workshop in Pure/Applied Mathematics and Computer Science |
| 2019/02 |
Thin QR Decomposition using LU Factors and its Refinement
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
SIAM Conference on Computational Science and Engineering (CSE19) |
| 2019/02 |
CholeskyQR algorithms for ill-conditioned matrices on large-scale parallel systems
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2019/02 |
Test matrices with specified solutions for numerical linear algebra
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2019/02 |
Test Matrices for Numerical Computations of Linear Systems and Eigenvalue Problems
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
SIAM Conference on Computational Science and Engineering (CSE19) |
| 2018/12 |
分散並列計算環境における行列・ベクトル積の高精度な実装と丸め誤差解析
小林 亮太, 尾崎 克久
|
小林 亮太, 尾崎 克久 |
|
|
第167回 ハイパフォーマンスコンピューティング研究会 |
| 2018/12 |
尾崎スキームによる高精度かつ再現性のあるBLASルーチンの実装と評価
椋木 大地, 荻田 武史, 尾崎 克久
|
椋木 大地, 荻田 武史, 尾崎 克久 |
|
|
第2回 精度保証付き数値計算の実問題への応用研究集会 |
| 2018/12 |
大規模線形計算に関する精度保証付き数値計算
尾崎 克久
|
尾崎 克久 |
|
|
第2回 精度保証付き数値計算の実問題への応用研究集会 |
| 2018/11 |
High Performance Implementation of Reproducible BLAS Routines with Tunable Accuracy using Ozaki Scheme
D. Mukunoki, T. Ogita, K. Ozaki
|
D. Mukunoki, T. Ogita, K. Ozaki |
|
|
Workshop Computational Reproducibility at Exascale 2018 (CRE2018) |
| 2018/10 |
Extension of floating-point filters to absolute and relative errors for numerical computation
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
The International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2018) |
| 2018/10 |
Verified Numerical Computations of Dense Linear Systems for Super Computing
K. Ozaki
|
K. Ozaki |
|
|
The International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2018) |
| 2018/09 |
Verified Numerical Computations for Sparse Linear Systems Using Test Matrices
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018) |
| 2018/09 |
Level-3 BLASに基づく高精度行列積計算法による高精度かつ再現性のあるBLASルーチンの実装とその最適化
椋木 大地, 荻田 武史, 尾崎 克久
|
椋木 大地, 荻田 武史, 尾崎 克久 |
|
|
第166回ハイパフォーマンスコンピューティング研究発表会 |
| 2018/09 |
丸め誤差解析と高精度計算
尾崎 克久
|
尾崎 克久 |
|
|
「精度保証付き数値計算の基礎」チュートリアル |
| 2018/09 |
浮動小数点演算と区間演算
尾崎 克久
|
尾崎 克久 |
|
|
「精度保証付き数値計算の基礎」チュートリアル |
| 2018/09 |
行列積に関する計算順序の特定法とその応用
坂本 篤志, 尾崎 克久
|
坂本 篤志, 尾崎 克久 |
|
|
日本応用数理学会年会 |
| 2018/09 |
Verification of Computational Order of GEMV and GEMM
A. Sakamoto, K. Ozaki
|
A. Sakamoto, K. Ozaki |
|
|
The 37th JSST Annual International Conference on Simulation Technology (JSST2018) |
| 2018/09 |
Generation of Large-Scaled Matrices with Specified Eigenvalues for Parallel and Distributed Computing
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
The 37th JSST Annual International Conference on Simulation Technology (JSST2018) |
| 2018/09 |
Computable error bounds for floating-point filters
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
The 37th JSST Annual International Conference on Simulation Technology (JSST2018) |
| 2018/09 |
Performance Evaluation of Verification Methods for Linear Systems on Super Computers
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The 37th JSST Annual International Conference on Simulation Technology (JSST2018) |
| 2018/09 |
LU分解を用いたCholeskyQRアルゴリズムの誤差解析
寺尾 剛史, 尾崎 克久, 荻田 武史
|
寺尾 剛史, 尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会年会 |
| 2018/09 |
厳密な固有値・特異値がわかる行列の生成法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会年会 |
| 2018/09 |
分散並列計算環境における疑似多倍長精度演算を用いた行列・ベクトル積の実装と評価
小林 亮太, 尾崎 克久
|
小林 亮太, 尾崎 克久 |
|
|
日本応用数理学会年会 |
| 2018/07 |
Accurate and Reproducible Matrix Multiplication
K. Ozaki
|
K. Ozaki |
|
|
11th Summer Workshop on Interval Methods (SWIM2018) |
| 2018/06 |
Accurate Numerical Solutions of Large-Scale Linear Systems and Their Verification
K. Ozaki, T.Ogita
|
K. Ozaki, T.Ogita |
|
|
10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18) |
| 2018/06 |
Generation of large scale matrices for numerical examples
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18) |
| 2018/06 |
Test Matrices for Symmetric Eigenvalue Problems Using Weighing Matrices
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
IX Pan-American Workshop Applied Mathematics & Computational Science |
| 2018/06 |
Applications of Floating-Point Filters
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
IX Pan-American Workshop Applied Mathematics & Computational Science |
| 2018/06 |
Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm
T. Terao, K. Ozaki, T. Ogita
|
T. Terao, K. Ozaki, T. Ogita |
|
|
IX Pan-American Workshop Applied Mathematics & Computational Science |
| 2018/03 |
丸め誤差を利用した計算順序を特定する例題について
坂本 篤志, 尾崎 克久
|
坂本 篤志, 尾崎 克久 |
|
|
日本応用数理学会部会連合発表会 |
| 2018/03 |
高精度な内積計算の分散並列用アルゴリズムとその応用
落合 涼太, 尾崎 克久
|
落合 涼太, 尾崎 克久 |
|
|
日本応用数理学会部会連合発表会 |
| 2018/03 |
Verified Numerical Computations for Large-Scale Linear Systems
K. Ozaki, T. Terao, R. Ochiai, T. Ogita
|
K. Ozaki, T. Terao, R. Ochiai, T. Ogita |
|
|
18th SIAM Conference on Parallel Processing for Scientific Computing |
| 2018/03 |
Validated Solution of Linear Systems for Real Symmetric and Positive Definite Matrices
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
18th SIAM Conference on Parallel Processing for Scientific Computing |
| 2018/03 |
Verification of Positive Definiteness of Symmetric Sparse Matrices
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2018/03 |
Verified Numerical Solutions of Very-Large-Scale Linear Systems
K. Ozaki
|
K. Ozaki |
|
|
2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2018/03 |
区間行列に対する正則性の高速な保証法
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
日本応用数理学会部会連合発表会 |
| 2018/03 |
浮動小数点フィルタの応用と性能評価
太田 悠暉, 尾崎 克久
|
太田 悠暉, 尾崎 克久 |
|
|
日本応用数理学会部会連合発表会 |
| 2018/03 |
行列積に対する隣接浮動小数点丸めの結果を返すアルゴリズム
尾崎 克久
|
尾崎 克久 |
|
|
日本応用数理学会部会連合発表会 |
| 2017/12 |
連立一次方程式の数値解に対する高信頼性の保証と高精度計算について
落合 涼太, 寺尾 剛史, 尾崎 克久
|
落合 涼太, 寺尾 剛史, 尾崎 克久 |
|
|
第1回 精度保証付き数値計算の実問題への応用研究集会 |
| 2017/12 |
実対称正定値行列を係数行列とする連立一次方程式の数値解の高速精度保証法
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
第1回 精度保証付き数値計算の実問題への応用研究集会 |
| 2017/12 |
2数の大小比較に対する浮動小数点フィルタの生成方法について
太田 悠暉, 尾崎 克久
|
太田 悠暉, 尾崎 克久 |
|
|
第1回 精度保証付き数値計算の実問題への応用研究集会 |
| 2017/11 |
Test Matrices for Numerical Linear Algebra
K. Ozaki
|
K. Ozaki |
|
|
Dagstuhl Seminar 17481: Reliable Computation and Complexity on the Reals |
| 2017/11 |
連立一次方程式の数値解に対する高速精度保証法
寺尾 剛史, 尾崎 克久, 南畑 淳史
|
寺尾 剛史, 尾崎 克久, 南畑 淳史 |
|
|
数値解析学の最前線 ー理論・方法・応用ー |
| 2017/10 |
疎行列データの精度保証化と連立一次方程式におけるその活用法
尾崎 克久
|
尾崎 克久 |
|
|
第17回AT研究会オープンアカデミックセッション |
| 2017/09 |
真の特異値や固有値がわかるテスト行列の生成法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
平成29年日本応用数理学会年会 |
| 2017/09 |
行列の正則性を高速に保証するための理論と実装法
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
平成29年日本応用数理学会年会 |
| 2017/09 |
大規模密行列を係数行列にもつ連立一次方程式に対する精度保証法について
尾崎 克久, 寺尾 剛史, 落合 涼太, 荻田 武史
|
尾崎 克久, 寺尾 剛史, 落合 涼太, 荻田 武史 |
|
|
平成29年日本応用数理学会年会 |
| 2017/09 |
前処理ソート付き逐次添加法によるドロネー性保証付き三角形分割法
若山 馨太, 金子 直樹, 田中 一成, 関根 晃太, 尾崎 克久, 大石 進一
|
若山 馨太, 金子 直樹, 田中 一成, 関根 晃太, 尾崎 克久, 大石 進一 |
|
|
平成29年日本応用数理学会年会 |
| 2017/07 |
固有値問題に対するテスト行列の生成法
尾崎 克久
|
尾崎 克久 |
|
|
環瀬戸内ワークショップ「数値解析学の最前線」 |
| 2017/07 |
マルチコア計算機による高精度行列‐行列積アルゴリズムの性能評価
市村 駿太郎, 片桐 孝洋, 尾崎 克久, 荻田 武史, 永井 亨, 荻野 正雄
|
市村 駿太郎, 片桐 孝洋, 尾崎 克久, 荻田 武史, 永井 亨, 荻野 正雄 |
|
|
2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ |
| 2017/07 |
HPC分野における精度保証付き数値計算学の展開
荻田 武史, 尾崎 克久, 柏木 雅英, 片桐 孝洋
|
荻田 武史, 尾崎 克久, 柏木 雅英, 片桐 孝洋 |
|
|
2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ |
| 2017/07 |
実対称正定値行列を係数行列とする連立一次方程式の数値解に対する精度保証法
寺尾 剛史, 尾崎 克久, 南畑 淳史
|
寺尾 剛史, 尾崎 克久, 南畑 淳史 |
|
|
2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ |
| 2017/07 |
行列積に対する再現性のある計算法について
尾崎克久, 荻田武史
|
尾崎克久, 荻田武史 |
|
|
2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ |
| 2017/07 |
Generation of Test Matrices with Exact Singular Values for Numerical Computations
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
the 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE2017) |
| 2017/07 |
Verification of positive definiteness using approximate inverse matrices of computed Cholesky factors
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
the 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE2017) |
| 2017/06 |
Accurate Numerical Solutions of Linear Systems
R. Ochiai, T. Terao, K. Ozaki
|
R. Ochiai, T. Terao, K. Ozaki |
|
|
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and
Theory (SWIM-SMART 2017)
|
| 2017/06 |
Fast verification methods for proving non-singularity of matrices
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and
Theory (SWIM-SMART 2017)
|
| 2017/06 |
Generation of Test matrices with Specified Eigenvalues
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and
Theory (SWIM-SMART 2017)
|
| 2017/05 |
連立一次方程式の数値解に対する精度保証法
尾崎 克久
|
尾崎 克久 |
|
|
自動チューニング研究会，オープンアカデミックセッション |
| 2017/03 |
A Fast and Efficient Algorithm to Solve Ill-conditioned Linear Systems by Preconditioning Methods
Y. Kobayashi, T. Ogita, K. Ozaki
|
Y. Kobayashi, T. Ogita, K. Ozaki |
|
|
The International Workshop on Numerical Verification and its Applications 2017 |
| 2017/03 |
Generation of Linear Systems with Specified Solutions for Numerical Experiments
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The International Workshop on Numerical Verification and its Applications 2017 |
| 2017/03 |
Iterative algorithms based on verification methods for computational geometry
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
The International Workshop on Numerical Verification and its Applications 2017 |
| 2017/02 |
連立一次方程式に対する数値計算のためのテスト問題の生成法
尾崎 克久
|
尾崎 克久 |
|
|
非線形現象と高精度高品質数値解析 |
| 2017/02 |
Faithful Rounding for Matrix Multiplication
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
SIAM Conference on Computational Science and Engineering (CSE17) |
| 2016/10 |
Improved Extraction Scheme for Accurate Floating-point Summation
A. Minamihata, K. Ozaki, T. Ogita, S. Oishi
|
A. Minamihata, K. Ozaki, T. Ogita, S. Oishi |
|
|
The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016) |
| 2016/10 |
Differential Equation Simulator of Based on The Finite Difference Method Which Does Not Require Programming Skills
R. Ochiai, K. Ozaki
|
R. Ochiai, K. Ozaki |
|
|
The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016) |
| 2016/10 |
Verification of Positive Definiteness using Block Cholesky Decomposition
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016) |
| 2016/10 |
Enclosure of Product of Three Point Matrices
Y. Ohta, N. Nakamura, K. Ozaki
|
Y. Ohta, N. Nakamura, K. Ozaki |
|
|
The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016) |
| 2016/09 |
連立一次方程式の数値解のためのテスト問題の生成法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
平成28年日本応用数理学会年会 |
| 2016/09 |
2次元平面における2点間の距離の大小判定問題に関する精度保証法
太田 悠暉, 尾崎 克久
|
太田 悠暉, 尾崎 克久 |
|
|
平成28年日本応用数理学会年会 |
| 2016/09 |
Verification of Positive Definiteness and its Application to linear systems using Block Cholesky Decomposition
T. Terao, K. Ozaki
|
T. Terao, K. Ozaki |
|
|
Czech-Japanese-Polish Seminar in Applied Mathematics 2016 |
| 2016/09 |
Linear Systems with the Exact Solution for Numerical Tests
K. Ozaki
|
K. Ozaki |
|
|
Czech-Japanese-Polish Seminar in Applied Mathematics 2016 |
| 2016/09 |
An Accurate and Effcient Solution of Ill-conditioned Linear Systems by Preconditioning Methods
Y. Kobayashi, T. Ogita, K. Ozaki
|
Y. Kobayashi, T. Ogita, K. Ozaki |
|
|
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics |
| 2016/09 |
Iterative algorithm for convex hull based on floating-point filters
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
Czech-Japanese-Polish Seminar in Applied Mathematics 2016 |
| 2016/09 |
Linear Systems with the Exact Solution for Numerical Tests
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics |
| 2016/09 |
3つの行列の積に対する区間包囲法
中村 吉宏, 太田 悠暉, 尾崎 克久
|
中村 吉宏, 太田 悠暉, 尾崎 克久 |
|
|
平成28年日本応用数理学会年会 |
| 2016/09 |
高精度な総和計算アルゴリズムにおける無誤差変換の改良
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一
|
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成28年日本応用数理学会年会 |
| 2016/06 |
Improvement of error bound for dot product with unit in the first place
K. Ozaki
|
K. Ozaki |
|
|
The 2nd International Conference and Summer School Numerical Computations: Theory and Algorithms (NUMTA2016) |
| 2016/06 |
Verification of Distances in Two-Dimensional Space
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
5th European Seminar on Computing (ESCO2016) |
| 2016/06 |
Block Computations for Interval Arithmetic and Verified Numerical Computations for Linear Systems
K. Ozaki
|
K. Ozaki |
|
|
5th European Seminar on Computing (ESCO2016) |
| 2016/03 |
連立一次方程式の数値解の下端・上端型区間による最適な包み込み
落合 涼太, 寺尾 剛史, 尾崎 克久
|
落合 涼太, 寺尾 剛史, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2016/03 |
ブロックコレスキー分解を用いた連立一次方程式の数値解の精度保証法
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2016/03 |
総和・内積計算における無誤差の判定法
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2016/03 |
計算値の大小関係を保証する浮動小数点フィルタについて
太田 悠暉, 尾崎 克久
|
太田 悠暉, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2015/11 |
Error-Free Transformation of Matrix Multiplication by A Posteriori Verification
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015) |
| 2015/10 |
Verified Numerical Computations for Convex Hull
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The 34rd JSST Annual Conference: International Conference on Simulation Technology |
| 2015/09 |
逐次添加法による三角形分割のDelaunay性に対する数値的検証法
若山 馨太, 田中 一成, 関根 晃太, 尾崎 克久, 大石 進一
|
若山 馨太, 田中 一成, 関根 晃太, 尾崎 克久, 大石 進一 |
|
|
平成27年日本応用数理学会年会 |
| 2015/09 |
行列の積に対する事後検証型エラーフリー変換
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成27年日本応用数理学会年会 |
| 2015/09 |
オーバーフローを利用した行列積における無誤差の保証
尾崎克久
|
尾崎克久 |
|
|
環瀬戸内ワークショップ |
| 2015/07 |
Accurate Computations of Matrix Multiplication with Level 3 Operation in BLAS
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The 6th International Conference on Computational Methods (ICCM2015) |
| 2015/06 |
Tight Enclosure of Matrix Multiplication with Level 3 BLAS
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
8th Small Workshop on Interval Methods |
| 2015/06 |
Verified Convex Hull for Inexact Data
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
8th Small Workshop on Interval Methods |
| 2015/05 |
エラーフリー変換を用いた行列積の高精度計算
尾崎克久
|
尾崎克久 |
|
|
数値解析セミナー |
| 2015/05 |
計算幾何学と精度保証付き数値計算
尾崎克久
|
尾崎克久 |
|
|
愛媛大学数学談話会 |
| 2015/03 |
浮動小数点演算による内積の誤差解析について
樋口 裕幸, 尾崎 克久
|
樋口 裕幸, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2015/03 |
凸包と精度保証付き数値計算
尾崎克久
|
尾崎克久 |
|
|
精度保証付き数値計算の最近の展開 |
| 2015/03 |
悪条件連立一次方程式に対する前処理を用いた高精度な数値計算法
小林 由佳, 荻田 武史, 尾崎 克久
|
小林 由佳, 荻田 武史, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2015/03 |
ブロックコレスキー分解を用いた行列に対する正定値性の保証とその応用
寺尾 剛史, 尾崎 克久
|
寺尾 剛史, 尾崎 克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2014/11 |
Recent Results of Error-Free Transformation of Matrix Multiplication
K. Ozaki
|
K. Ozaki |
|
|
2nd International Workshop on Numerical Linear Algebra and Its Applications |
| 2014/09 |
連立一次方程式に対する自動精度保証法の改善
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
平成26年日本応用数理学会年会 |
| 2014/09 |
Remarks on Residuals of Numerical Solution of Triangular Systems
K. Ozaki
|
K. Ozaki |
|
|
2nd Slovak-Japan Conference on Applied Mathematics 2014 |
| 2014/09 |
Block Computations and Verified Numerical Computations for Linear Systems
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 33rd JSST Annual Conference: International Conference on Simulation Technology |
| 2014/09 |
Automatic Verified Numerical Computations for Linear Systems
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics |
| 2014/06 |
Residual Bounds for Triangular Systems by Grouped Block Implementation
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 10th East Asia SIAM Conference |
| 2014/06 |
Iterative Convex Hull Algorithm with Verified Numerical Computations
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
The 10th East Asia SIAM Conference |
| 2014/06 |
Acceleration of Interval Matrix Multiplication by Mixed-Precision Arithmetic
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
7th Small Workshop on Interval Methods |
| 2014/03 |
Block Matrix Computations in Terms of a Priori Error Analysis
K. Ozaki
|
K. Ozaki |
|
|
2014 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing |
| 2014/03 |
低精度演算を用いた区間行列積の加速とその過大評価について
尾崎克久, 荻田武史, F. Bunger, 大石進一
|
尾崎克久, 荻田武史, F. Bunger, 大石進一 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2014/03 |
Inverse Matrix of Triangular Matrices for Verified Numerical Computations
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2014/03 |
Verified Numerical Computations for Computational Geometry
K. Ozaki
|
K. Ozaki |
|
|
The International Workshop on Numerical Verification and its Applications 2014 |
| 2013/12 |
計算幾何学の初等計算に対する精度保証付き数値計算とその応用
尾崎克久
|
尾崎克久 |
|
|
日本応用数理学会若手の会単独研究会 |
| 2013/12 |
計算幾何学のための効率的な浮動小数点フィルタの設計
尾崎克久
|
尾崎克久 |
|
|
応用数学合同研究集会 |
| 2013/09 |
Floating-point filters towards floating-point exceptions
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
32nd JSST Annual Conference, International Conference on Simulation Technology |
| 2013/09 |
Accurate algorithms for matrix multiplication with error-free splitting
K. Ozaki
|
K. Ozaki |
|
|
Czech-Japanese Seminar in Applied Mathematics 2013 (CJS2013) |
| 2013/09 |
大規模連立一次方程式における精度保証付き数値計算のハイブリッドな実装法とその評価
森倉悠介, 尾崎克久, 片桐孝洋, 大石進一
|
森倉悠介, 尾崎克久, 片桐孝洋, 大石進一 |
|
|
平成25年日本応用数理学会年会 |
| 2013/09 |
ブロック化とデータの再生成による高精度行列積の実装
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
平成25年日本応用数理学会年会 |
| 2013/09 |
2D Orientation Problem for Interval Data
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
32nd JSST Annual Conference, International Conference on Simulation Technology |
| 2013/09 |
Adaptive implementation of the verification method for large-scale linear systems
Y. Morikura, K. Ozaki, T. Katagiri, S. Oishi
|
Y. Morikura, K. Ozaki, T. Katagiri, S. Oishi |
|
|
32nd JSST Annual Conference, International Conference on Simulation Technology |
| 2013/09 |
Verified Numerical Computations for Matrix Multiplication based on High Performance BLAS
K. Ozaki
|
K. Ozaki |
|
|
IEEE MCSoC-13, Auto-Tuning for Multicore and GPU (ATMG) |
| 2013/09 |
線形計算における誤差解析と計算方法のバランス
尾崎克久
|
尾崎克久 |
|
|
平成25年日本応用数理学会年会，早稲田大学理工学術院総合研究所主催精度保証付き数値計算ワークショップ |
| 2013/08 |
Fast Interval Matrix Multiplication by Blockwise Computations
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
European Conference on Numerical Mathematics and Advanced Applications (ENUMATH2013) |
| 2013/07 |
高精度行列-行列積アルゴリズムの疎行列演算化による高速化
片桐孝洋, 尾崎克久, 荻田武史, 大石進一
|
片桐孝洋, 尾崎克久, 荻田武史, 大石進一 |
|
|
2013年並列／分散／協調処理に関する『北九州』サマー・ワークショップ |
| 2013/07 |
A New Error-Free Splitting for Accurate Matrix Multiplication
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
The 4th International Conference on Matrix Analysis and Applications |
| 2013/06 |
Implementation of verification methods for large-scale linear systems
Y. Morikura, K. Ozaki, S. Oishi
|
Y. Morikura, K. Ozaki, S. Oishi |
|
|
The 9th East Asia SIAM Conference |
| 2013/06 |
大規模連立一次方程式における精度保証付き数値計算法の実装と評価
森倉悠介, 尾崎克久, 大石進一
|
森倉悠介, 尾崎克久, 大石進一 |
|
|
第42回 数値解析シンポジウム |
| 2013/06 |
Convex Hull for Set of Real Numbers with Verified Numerical Computations
Y. Ohta, K. Ozaki
|
Y. Ohta, K. Ozaki |
|
|
The 9th East Asia SIAM Conference |
| 2013/06 |
Remark on error-estimates for floating-point summation by unit in the first place
K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
|
K. Ozaki, T. Ogita, S. Oishi, S. M. Rump |
|
|
The 9th East Asia SIAM Conference |
| 2013/03 |
高精度計算・精度保証に役立つ行列積のエラーフリー変換とその応用
尾崎克久
|
尾崎克久 |
|
|
多倍長精度計算フォーラム第3回研究会 |
| 2013/03 |
精度保証に特化された行列積ルーチンの作成と効果ついて
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2013/03 |
浮動小数点で近似されたデータに対する凸包の精度保証アルゴリズムついて
太田悠暉, 尾崎克久
|
太田悠暉, 尾崎克久 |
|
|
日本応用数理学会研究部会連合発表会 |
| 2013/01 |
精度保証のための線形計算基盤の構築に向けて
尾崎克久
|
尾崎克久 |
|
|
2013年ハイパフォーマンスコンピューティングと計算科学シンポジウム |
| 2012/11 |
高精度行列積ー線形計算に関する速度と精度の架け橋
尾崎克久
|
尾崎克久 |
|
|
第４回横幹連合総合シンポジウム |
| 2012/10 |
Memory Reduced Implementation of Error-Free Transformation of Matrix Multiplication and its Performance
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
2012 International Symposium on Nonlinear Theory and its Applications (NOLTA2012) |
| 2012/09 |
Performance Comparison of Accurate Matrix Multiplication
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2012) |
| 2012/09 |
Verification Methods for Linear Systems on a GPU
Y. Morikura, K. Ozaki, S. Oishi
|
Y. Morikura, K. Ozaki, S. Oishi |
|
|
15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2012) |
| 2012/08 |
区間入力に対する幾何判定問題の精度保証化に関する準備
太田悠暉, 尾崎克久
|
太田悠暉, 尾崎克久 |
|
|
平成24年日本応用数理学会年会 |
| 2012/08 |
GPUのメモリ制約を意識した連立１次方程式に対する精度保証法の実装
森倉 悠介, 尾崎 克久, 大石 進一
|
森倉 悠介, 尾崎 克久, 大石 進一 |
|
|
平成24年日本応用数理学会年会 |
| 2012/08 |
明示化されたブロック行列積の実装と事前誤差解析の改善
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成24年日本応用数理学会年会 |
| 2012/06 |
Application of Error-Free Transformation for Matrix Multiplication
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
Fifth Conference on Numerical Analysis and Applications |
| 2012/06 |
Verification methods for linear systems using ufp estimation with rounding-to-nearest
Y. Morikura, K. Ozaki, S. Oishi
|
Y. Morikura, K. Ozaki, S. Oishi |
|
|
The 8th East Asia SIAM Conference |
| 2012/06 |
Fast Interval Matrix Multiplication without Directed Rounding
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 8th East Asia SIAM Conference |
| 2012/06 |
ufpと最近点丸めを用いた連立1次方程式の精度保証法
森倉 悠介, 尾崎 克久, 大石 進一
|
森倉 悠介, 尾崎 克久, 大石 進一 |
|
|
第41回 数値解析シンポジウム |
| 2012/03 |
高精度行列‐行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
片桐孝洋, 尾崎克久, 荻田武史, 大石進一
|
片桐孝洋, 尾崎克久, 荻田武史, 大石進一 |
|
|
第133回ハイパフォーマンスコンピューティング研究発表会 |
| 2012/03 |
ベクトルの総和と内積に関する事前誤差評価に対する考察
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
2012年日本応用数理学会，研究部会連合発表会 |
| 2011/10 |
浮動小数点数として最高の結果を返す行列積の計算法
尾崎克久, 荻田武史
|
尾崎克久, 荻田武史 |
|
|
京都大学数理解析研究所・研究集会「科学技術計算における理論と応用の新展開」 |
| 2011/10 |
精度保証付き数値計算との協働
尾崎 克久
|
尾崎 克久 |
|
|
数値シミュレーションと高信頼通信 |
| 2011/09 |
連立一次方程式の精度保証法に関するGPUを用いた精度速度比較
森倉 悠介, 尾崎 克久, 大石 進一
|
森倉 悠介, 尾崎 克久, 大石 進一 |
|
|
平成23年日本応用数理学会年会 |
| 2011/09 |
行列積から総和への無誤差変換の一般化
尾崎 克久, 荻田 武史
|
尾崎 克久, 荻田 武史 |
|
|
平成23年日本応用数理学会年会 |
| 2011/09 |
Accurate matrix multiplication: Improvement of error-free splitting
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
2011 International Symposium on Nonlinear Theory and its Applications (NOLTA2011) |
| 2011/09 |
Best Accuracy of Matrix Multiplication by Error-Free Transformation with Level 3 BLAS
K. Ozaki
|
K. Ozaki |
|
|
Japanese-German Workshop: Computer-Assisted Proofs and Verification Methods |
| 2011/07 |
Error-free transformation of matrix product: worst case optimal algorithm
K.Ozaki, T. Ogita
|
K.Ozaki, T. Ogita |
|
|
International Workshop on Numerical Linear Algebra and Its Applications |
| 2011/06 |
GPU を用いた連立一次方程式の精度保証法
森倉 悠介, 尾崎 克久, 大石 進一
|
森倉 悠介, 尾崎 克久, 大石 進一 |
|
|
第40回 数値解析シンポジウム |
| 2011/06 |
General matrix multiplication with guaranteed accuracy
K. Ozaki, T. Ogita
|
K. Ozaki, T. Ogita |
|
|
Conference on Applied Mathematics and Scientific Computing 2011 |
| 2011/06 |
Simplified semi-static floating-point filter for 2D orientation problem
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The Seventh East Asia SIAM Conference |
| 2011/06 |
Verified solutions of linear systems on GPU
M. Morikura, K. Ozaki, S. Oishi
|
M. Morikura, K. Ozaki, S. Oishi |
|
|
The Seventh East Asia SIAM Conference |
| 2011/03 |
点と直線の位置関係を保証する分岐が少ない浮動小数点フィルタの設計について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成23年応用数理学会，研究部会連合発表会 |
| 2011/03 |
GPUを用いた連立一次方程式の精度保証法
森倉 悠介, 尾崎 克久, 大石 進一
|
森倉 悠介, 尾崎 克久, 大石 進一 |
|
|
平成23年応用数理学会，研究部会連合発表会 |
| 2011/02 |
Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
SIAM Computational Science and Engineering 2011 |
| 2010/11 |
高精度な行列積の計算法と精度保証への応用
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
日本応用数理学会 若手の会 単独研究会 |
| 2010/11 |
精度保証付き数値計算の基礎
尾崎克久
|
尾崎克久 |
|
|
3部会連携「応用数理セミナー」 |
| 2010/10 |
2次元凸包に対する精度保証が高速であるアルゴリズムと条件について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
京都大学数理解析研究所・研究集会「科学技術計算アルゴリズムの数理的基盤と展開」 |
| 2010/09 |
Quasi-Quadruple Precision Matrix Multiplication Based on Fast Routine for Matrix Computations
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010) |
| 2010/08 |
高速な行列積関数を利用した行列積の無誤差変換とその高精度計算への応用
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
並列/分散/協調処理に関するサマー・ワークショップ |
| 2010/08 |
Robustness Problem and Error-Free Determinant Transformation in Computational Geometry
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
Czech-Japanese Seminar in Applied Mathematics 2010 |
| 2010/06 |
Fast Interval Matrix Multiplication
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
Applied Mathematics International Conference 2010 & The Sixth East Asia SIAM Conference |
| 2010/06 |
計算幾何学における高速な浮動小数点フィルタの設計について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第29回 日本シミュレーション学会大会 |
| 2010/03 |
高速かつ支配的な半径を考慮した実区間行列の積について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成22年応用数理学会，研究部会連合発表会 |
| 2010/03 |
Topics of two-dimensional orientation problem, floating-point filters, robust computations and applications to convex hull
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
2010 International Workshop on Numerical Verification and its Applications |
| 2010/03 |
Exact 2D Convex Hull for Floating-point data
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
2010 Reliable Engineering Computing (REC2010) |
| 2010/02 |
点と直線の位置関係の判定問題に関するフィルターに関する考察
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
応用数理に関する愛媛ワークショップ |
| 2009/12 |
2次元の凸包に関する精度保証付き数値計算
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第3回63号館HRCシンポジウム「材料・デバイス・システム連携と次世代通信社会」 |
| 2009/12 |
計算幾何学のエラーフリーアルゴリズム
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
日本応用数理学会３部会連携応用数理セミナー |
| 2009/11 |
Error-Free Transformation of Matrix Multiplication and its related topics
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
Computer-assisted Proofs - Tools, Methods and Applications, Dagstuhl Seminar |
| 2009/09 |
凸包の構成に対する精度保証付き数値計算の利用
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成21年応用数理学会年会 |
| 2009/09 |
Level 3 BLASを用いた4倍精度の行列積について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成21年応用数理学会年会 |
| 2009/07 |
Fast Filter for Verified Convex Hull and its Performance
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009) |
| 2009/06 |
Verified Convex Hull based on Graham's Algorithm
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference |
| 2009/06 |
Level 3 BLASを用いた高精度な行列積に対する事前誤差評価
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第38回 数値解析シンポジウム |
| 2009/06 |
マルチプロセスを用いた連立一次方程式の精度保証法の実装
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一
|
南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第28回 日本シミュレーション学会大会 |
| 2009/05 |
A priori error estimation for accurate matrix multiplication by using optimized BLAS
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
International Conference on Engineering and Computational Mathematics (ECM2009) |
| 2009/03 |
行列式の和を利用した点と直線の位置関係のロバストな判定法について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
平成21年応用数理学会，研究部会連合発表会 |
| 2009/03 |
Convex Hull by Verified Computations
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
2009 International Workshop on Numerical Verification and its Applications |
| 2009/03 |
Parallel and Accurate Matrix Multiplication based on Optimized BLAS
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The 4th International Conference on High Performance Scientific Computing |
| 2008/10 |
A Robust Algorithm for Geometric Predicate by Sum of Determinants
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
The NIMS 2008 Conference & The 4th East Asia SIAM Conference |
| 2008/09 |
高精度な行列乗算のための行列分割の改善について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
2008年度日本応用数理学会年会 |
| 2008/09 |
Tight inclusion of matrix multiplication and its portable implementation
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008) |
| 2008/06 |
Level 3 BLAS を用いて行列乗算の精度を改善する方法について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第37回 数値解析シンポジウム |
| 2008/06 |
ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第27回 日本シミュレーション学会大会 |
| 2008/03 |
Tight Inclusion for Matrix Multiplication
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
2008 International Workshop on Numerical Verification and its Applications |
| 2008/03 |
区間幅の過大評価を抑える行列乗算の包み込みについて
尾崎 克久, 荻田武史, 大石進一
|
尾崎 克久, 荻田武史, 大石進一 |
|
|
平成20年応用数理学会，研究部会連合発表会 |
| 2007/11 |
An Efficient Method Of Applying Accurate Summation Algorithms To 3D Orientation Problem
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
The 3rd East Asia SIAM Conference |
| 2007/11 |
計算幾何学に現れる行列式の符号に対する高速精度保証法
尾崎克久, 荻田武史, S.M.Rump, 大石進一
|
尾崎克久, 荻田武史, S.M.Rump, 大石進一 |
|
|
京都大学数理解析研究所・研究集会「計算科学の基盤技術としての高速アルゴリズムとその周辺」 |
| 2007/11 |
行列乗算の精度の改善について
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
応用数理に関する愛媛ワークショップ「精度保証付き数値計算とその応用」 |
| 2007/10 |
Error Free Transformation for Matrix Multiplication
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
精度保証付き数値計算とその周辺ワークショップ |
| 2007/07 |
Fast and Adaptive Algorithm for 2D Orientation Problem
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
6th International Congress on Industrial and Applied Mathematics (ICIAM07) |
| 2007/06 |
行列式の高速精度保証法
荻田 武史, 尾崎 克久, 大石 進一
|
荻田 武史, 尾崎 克久, 大石 進一 |
|
|
第26回 日本シミュレーション学会大会 |
| 2007/06 |
点と直線の位置関係の高速かつ適応的な精度保証法について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第26回 日本シミュレーション学会大会 |
| 2007/06 |
連立一次方程式に対する精度保証法の自動選択について
尾崎 克久, 荻田 武史, 大石 進一
|
尾崎 克久, 荻田 武史, 大石 進一 |
|
|
第36回 数値解析シンポジウム |
| 2007/03 |
連立一次方程式の数値解に対するハイブリッドな精度保証法について
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
平成１９年応用数理学会，研究部会連合発表会 |
| 2007/02 |
Fast, Adaptive and Robust Algorithm of Geometric Predicates
K. Ozaki, T. Ogita, S. Oishi
|
K. Ozaki, T. Ogita, S. Oishi |
|
|
International Workshop on Numerical Verification and its Applications |
| 2006/09 |
Fast Adaptive Algorithm of Geometric Predicates using Floating-Point Arithmetic
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi
|
K. Ozaki, T. Ogita, S. M. Rump, S. Oishi |
|
|
12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2006) |
| 2006/06 |
４次元空間における２次元オブジェクトの可視化について
尾崎克久, 郡山彬, 大石進一
|
尾崎克久, 郡山彬, 大石進一 |
|
|
日本シミュレーション学会大会 |
| 2006/06 |
点と平面の位置関係を判定する高速かつ適応的な手法について
尾崎克久, 荻田武史, S.M.Rump, 大石進一
|
尾崎克久, 荻田武史, S.M.Rump, 大石進一 |
|
|
数値解析シンポジウム２００６ |
| 2006/03 |
入力誤差を含めた点と平面の位置関係を判定する高速なアルゴリズム
尾崎克久, 荻田武史, S.M.Rump, 大石進一
|
尾崎克久, 荻田武史, S.M.Rump, 大石進一 |
|
|
平成１８年応用数理学会，研究部会連合発表会 |
| 2006/01 |
高精度な内積計算の計算幾何学への応用
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
第３回計算数学研究会 |
| 2005/07 |
ポータブルかつ高精度な初等関数の精度保証付き数値計算とその応用
尾崎克久, 荻田武史, 大石進一
|
尾崎克久, 荻田武史, 大石進一 |
|
|
日本シミュレーション学会大会 |
| 2004/11 |
丸めモードを利用しない連立一次方程式の数値解の高速精度保証法
荻田武史, 尾崎克久, S.M. Rump, 大石進一
|
荻田武史, 尾崎克久, S.M. Rump, 大石進一 |
|
|
研究集会「２１世紀における数値解の新展開」, 京大数理解析研究所 |
| 2004/09 |
Javaによる連立一次方程式のための精度保証法
尾崎克久, 荻田武史, 宮島信也, 大石進一
|
尾崎克久, 荻田武史, 宮島信也, 大石進一 |
|
|
日本応用数理学会年会 |
| 2004/08 |
交点判定簡略化レイトレーシング法による幾何学的授業について
郡山彬, 峯崎俊哉, 尾崎克久
|
郡山彬, 峯崎俊哉, 尾崎克久 |
|
|
教育システム情報学会全国大会 |