ここでは尾崎研の学生の研究業績について紹介します（括弧内は投稿・発表当時の学年です）． 研究をバンバン進めて，皆さんもぜひ外部発表をしてください．

受賞

・内野佑基(B4)：Student Poster Presentation Award，The 38th JSST Annual International Conference on Simulation Technology.
・小林亮太(B4)：2019年度コンピュータサイエンス領域奨励賞，情報処理学会．

原著論文（筆頭著者が学生のもの）

・Y. Uchino (M1): Verified Numerical Computations for Searching for Vectors with the Maximum Sum, Journal of Advanced Simulation in Science and Engineering, 8:1 (2021), 53-72.
・落合涼太 (M2)：精度保証理論に基づいた連立一次方程式に対する高信頼な数値解の出力法，日本応用数理学会論文誌 30:1 (2020), 71-121.
・T. Terao (D3)：LU-Cholesky QR algorithms for thin QR decomposition, Parallel Computing, 92, 2020, 102571.in press.
・小林亮太 (B4)：浮動小数点演算における最適な符号付き相対誤差，日本応用数理学会論文誌，29:4 (2019), 395-407.
・太田悠暉（D3)：計算値の大小関係を保証する浮動小数点フィルタ，日本応用数理学会論文誌，28:1(2018), 1-17.
・樋口裕幸（M2)：浮動小数点演算による内積の丸め誤差解析，日本応用数理学会論文誌，26:2(2016), 182-212.
・太田悠暉（M2)：点と有向直線の位置関係に対する浮動小数点フィルタの実数入力への拡張と凸包への応用，日本応用数理学会論文誌，24:4(2014)，373-395．

（他，筆頭著者ではない論文２本）

国際会議講演

・T. Terao (D3): Verified Numerical Computations for Eigenvalue Problems on Large-Scale Parallel Systems, 2020 SIAM Conference on Parallel Processing for Scientific Computing, Hyatt Regency Seattle, Seattle, WA (2020/02/12-15).
・T. Terao (D3): Verified Numerical Computations for Standard Eigenvalue Problems on Supercomputers, The 38th JSST Annual International Conference on Simulation Technology (JSST2019), New Wel City, Miyazaki, Japan (2019/11/05-07).
・T. Terao (D3): LU-Cholesky QR Algorithms for Thin QR Decomposition in An Oblique Inner Product, International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2019), Surabaya, Indonesia (2019/10/19).
・T. Terao (D3): Preconditioned Choleskey QR algorithms in an oblique inner product, International Conference on Matrix Analysis and its Applications (MatTriad2019), Liblice, Czech Republic (2019/09/08-13).
・T. Terao (D3): [招待講演] Preconditioned Cholesky QR Algorithms for Ill-conditioned Matrices, Workshop on Large-scale Parallel Numerical Computing Technology, R-CCS, RIKEN, Kobe, Japan (2019/06/06-06/07).
・T. Terao (D2): Thin QR Decomposition using LU Factors and its Refinement, SIAM Conference on Computational Science and Engineering (CSE19), Spokane, WA, USA (2019/02/25-03/01).
・T. Terao (D2): CholeskyQR algorithms for ill-conditioned matrices on large-scale parallel systems, 2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan (2019/02/15-16).
・Y. Ohta (D3): Extension of floating-point filters to absolute and relative errors for numerical computation, The International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2018), Hotel Majapahit, Surabaya, Indonesia (2018/10/20).
・A. Sakamoto (M2): Verification of Computational Order of GEMV and GEMM, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
・T. Terao (D2): Generation of Large-Scaled Matrices with Specified Eigenvalues for Parallel and Distributed Computing, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
・Y. Ohta (D3): Computable error bounds for floating-point filters, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
・T. Terao (D2): Generation of large scale matrices for numerical examples, 10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18), ETH, Zurich, Switzerland (2018/06/27-29).
・T. Terao (D2): Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm, IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba (2018/06/11-15).
・Y. Ohta (D3): Applications of Floating-Point Filters, IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba (2018/06/11-15).
・T. Terao (D1): Verification of Positive Definiteness of Symmetric Sparse Matrices, 2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Cheng Kung University, Tainan, Taiwan (2018/03/26-27).
・T. Terao (D1): Validated Solution of Linear Systems for Real Symmetric and Positive Definite Matrices, 18th SIAM Conference on Parallel Processing for Scientific Computing, Waseda University, Japan (2018/03/07-10).
・T. Terao (D1) : Verification of positive definiteness using approximate inverse matrices of computed Cholesky factors, the 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE2017), Rota, Spain (2017/07/04-08).
・T. Terao (D1) : Fast verification methods for proving non-singularity of matrices, 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017), Manchester University, Manchester, U.K. (2017/06/14-16).
・R. Ochiai (M2): Accurate Numerical Solutions of Linear Systems, 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017), Manchester University, Manchester, U.K. (2017/06/14-16).
・Y. Ohta（D2): Iterative algorithms based on verification methods for computational geometry, The International Workshop on Numerical Verification and its Applications 2017, Miyakojima, Japan (2017/03/17).
・R. Ochiai (M1): Differential Equation Simulator of Based on The Finite Difference Method Which Does Not Require Programming Skills, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/29).
・T. Terao (M2): Verification of Positive Definiteness using Block Cholesky Decomposition, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/29).
・Y. Ohta (D2), N. Nakamura (M2), K. Ozaki: Enclosure of Product of Three Point Matrices, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/29).
・Y. Ohta（D2）: Iterative algorithm for convex hull based on floating-point filters, Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJP2016), Krakow, Poland (2016/09/07).
・T. Terao（M2）: Verification of Positive Definiteness and its Application to linear systems using Block Cholesky Decomposition, Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJP2016), Krakow, Poland (2016/09/06).
・Y. Ohta（D2）: Verification of Distances in Two-Dimensional Space, 5th European Seminar on Computing (ESCO2016), Pilsen, Czech Republic (2016/06/09).
・Y. Ohta（D1）: Verified Convex Hull for Inexact Data, 8th Small Workshop on Interval Methods, Prague, Czech Republic (2015/06/09-11).
・Y. Ohta（M2）: Iterative Convex Hull Algorithm with Verified Numerical Computations, The 10th East Asia SIAM Conference, Pattaya, Thailand (2014/06/23-25).
・Y. Ohta（M1）: 2D Orientation Problem for Interval Data, 32nd JSST Annual Conference, International Conference on Simulation Technology, Meiji University (2013/9/11-13).
・Y. Ohta（M1）: Convex Hull for Set of Real Numbers with Verified Numerical Computations, The 9th East Asia SIAM Conference, Bandung, Indonesia (2013/06/18-20).

国内発表

・内野 佑基：実対称行列の固有値分解に対する反復改良法の大規模並列環境における実装と評価，第177回ハイパフォーマンスコンピューティング研究発表会，オンライン(2020/12/22).
・内野佑基(M1)：総和が最大となるベクトルを特定する精度保証付き数値計算法，日本応用数理学会年会，オンライン(2020/09/10)．
・寺尾剛史(D3)：実対称行列の全固有値に対する精度保証法と区間への拡張，第3回 精度保証付き数値計算の実問題への応用研究集会，サンポートホール，高松市(2019/11/30-12/01)．
・寺尾剛史(D3)：大規模並列環境における実対称標準固有値問題の精度保証法，日本応用数理学会年会，東京大学(2019/09/3-5)．
・寺尾剛史(D3)：前処理付きCholesky QRアルゴリズムとその応用，2019年並列／分散／協調処理に関する『北見』サマー・ワークショップ (SWoPP2019)，北見市民会館(2019/7/25).
・小林亮太(B4)：浮動小数点演算に関する符号付き相対誤差について，日本応用数理学会2019年 研究部会連合発表会，筑波大学(2019/03/04-05).
・寺尾剛史(D2)：悪条件行列に対するCholeskyQRアルゴリズムとその比較，日本応用数理学会2019年 研究部会連合発表会，筑波大学(2019/03/04-05).
・小林亮太(B4)：分散並列計算環境における行列・ベクトル積の高精度な実装と丸め誤差解析，第167回 ハイパフォーマンスコンピューティング研究会，沖縄産業支援センター (2018/12/17-18).
・坂本篤志(M2)：行列積に関する計算順序の特定法とその応用，日本応用数理学会年会，名古屋大学(2018/09/3-5)．
・寺尾剛史(D2)：LU分解を用いたCholeskyQRアルゴリズムの誤差解析，日本応用数理学会年会，名古屋大学(2018/09/3-5)．
・小林亮太(B4)：分散並列計算環境における疑似多倍長精度演算を用いた行列・ベクトル積の実装と評価，日本応用数理学会年会，名古屋大学(2018/09/3-5)．
・坂本篤志(M1)：丸め誤差を利用した計算順序を特定する例題について，日本応用数理学会部会連合発表会，大阪大学吹田キャンパス(2018/03/15)．
・落合涼太(M2)：高精度な内積計算の分散並列用アルゴリズムとその応用，日本応用数理学会部会連合発表会，大阪大学吹田キャンパス(2018/03/15)．
・太田悠暉(D3)：浮動小数点フィルタの応用と性能評価，日本応用数理学会部会連合発表会，大阪大学吹田キャンパス(2018/03/15)．
・寺尾剛史(D1)：区間行列に対する正則性の高速な保証法，日本応用数理学会部会連合発表会，大阪大学吹田キャンパス(2018/03/15)．
・落合涼太(M2) ：連立一次方程式の数値解に対する高信頼性の保証と高精度計算 について，第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)，西日本総合展示場 (2017/12/09-10).
・寺尾剛史(D1) ：実対称正定値行列を係数行列とする連立一次方程式の数値解の高速精度保証法，第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)，西日本総合展示場 (2017/12/09-10).
・太田悠暉(D3) ：2数の大小比較に対する浮動小数点フィルタの生成方法について，第1回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2017)，西日本総合展示場 (2017/12/09-10).
・寺尾剛史(D1) ：連立一次方程式の数値解に対する高速精度保証法，数値解析学の最前線 ー理論・方法・応用ー（RIMS共同研究），京都大学数理解析研究所（2017/11/10）
・寺尾剛史(D1) ：行列の正則性を高速に保証するための理論と実装法，平成29年日本応用数理学会年会，武蔵野大学(2017/09/07).
・落合涼太(M1) ：連立一次方程式の数値解の下端・上端型区間による最適な包み込み，日本応用数理学会研究部会連合発表会，電気通信大学(2017/3/7)．
・寺尾剛史(M2) ：ブロックコレスキー分解を用いた連立一次方程式の数値解の精度保証法，日本応用数理学会研究部会連合発表会，電気通信大学(2017/3/7)．
・太田悠暉(D2) ：計算値の大小関係を保証する浮動小数点フィルタについて，日本応用数理学会研究部会連合発表会，電気通信大学(2017/3/7)．
・太田悠暉(D2）：2次元平面における2点間の距離の大小判定問題に関する精度保証法，平成28年日本応用数理学会年会，北九州国際会議場(2016/9/14).
・中村吉宏(M2）：3つの行列の積に対する区間包囲法，平成28年日本応用数理学会年会，北九州国際会議場(2016/9/14).
・樋口裕幸(M2）：浮動小数点演算による内積の誤差解析について，日本応用数理学会研究部会連合発表会，神戸学院大学(2016/3/4-5)．
・寺尾剛史(M1）：ブロックコレスキー分解を用いた行列に対する正定値性の保証とその応用，日本応用数理学会研究部会連合発表会，神戸学院大学(2016/3/4-5)．
・太田悠暉(B4）：浮動小数点で近似されたデータに対する凸包の精度保証アルゴリズムついて，日本応用数理学会研究部会連合発表会，東洋大学白山キャンパス(2013/03/15).
・太田悠暉(B4）：区間入力に対する幾何判定問題の精度保証化に関する準備，平成24年日本応用数理学会年会，全日空稚内ホテル(2012/8/31)，講演予稿集pp. 245--246.

ポスター発表

・Y. Uchino (B4)：Verified Numerical Computations for Finding Vectors with the Maximum Sum, The 38th JSST Annual International Conference on Simulation Technology (JSST2019), New Wel City, Miyazaki, Japan (2019/11/05-07).
・T. Terao (D3)：High Performance Computing of Thin QR Decomposition on Parallel Systems, ISC High Performance 2019, Messe Frankfurt, Frankfurt, Germany (2019/06/16-20). ・藤井敬之(B4)：出力を考慮した視覚復号型暗号を作成するアプリケーション，平成29年日本応用数理学会年会，武蔵野大学(2017/09/07).
・藤井敬之(M2)：出力を考慮した視覚復号型暗号を作成するアプリケーション，平成29年日本応用数理学会年会，武蔵野大学(2017/09/07).
・太田悠暉(D1)：逐次構成アルゴリズムに対する精度保証法，日本応用数理学会若手の会主催第１回学生研究発表会，神戸大学(2016/3/3).
・落合涼太(B4)：差分法を用いた学習支援型微分方程式シミュレータの開発，日本応用数理学会若手の会主催第１回学生研究発表会，神戸大学(2016/3/3).

（余談）尾崎研内総合研究論文（卒論）ページ数ランキング

第一位：落合涼太 (2015年度：183ページ)
第二位：塚原健斗 （2014年度：164ページ）
第三位：水島星花 （2018年度：146ページ）
第四位：神宮優弥 （2014年度：136ページ）
第五位：岩田美咲 （2015年度：134ページ）
第六位：高橋沙希 （2015年度：124ページ）
第七位：大谷悠弥 （2017年度：123ページ）
第八位：松田潮流 （2016年度：115ページ）
第九位：山本夏子 （2017年度：109ページ）
第九位：野上真梨子（2018年度：109ページ）