教員紹介 - 南畑淳史 | 関西国際大学

■ 著書・論文歴

1.	論文	Modified error bounds for approximate solutions of dense linear systems Journal of Computational and Applied Mathematics 369,pp.112546 （共著） 2020/05
2.	論文	Improved error bounds for linear systems with H-matrices Nonlinear Theory and Its Applications 6(3),pp.377-382 （共著） 2015/07
3.	論文	Fast verified solutions of sparse linear systems with H-matrices Reliable Computing 19(2),pp.127-141 （共著） 2013/12
4.	論文	Verified Inclusion of a Basis of the Null space Reliable Computing 27,26-41頁（共著） 2020
5.	論文	Performance Evaluation of Power-aware Multi-tree Ethernet for HPC Interconnects Proc. of 2011 Second International Conference on Networking and Computing pp.50-57 （共著） 2011/12
6.	著書	Pattern Classification with Holographic Neural Networks: A New Tool for Feature Selection Innovations in Machine and Deep Learning （共著） 2023/10
7.	論文	コンピュータを用いた C.S. Peirce の探究過程の実現しごと能力研究 2020特集号（特集：しごと能力とAI） 71-83頁（共著） 2020/10
5件表示
全件表示(7件)

■ 学会発表

1.	2023/03	悪条件な縦長行列向けのQR分解を使った前処理行列の性能についての一考察（日本応用数理学会第19回研究部会連合発表会）
2.	2021/09	拡張ラプラス変換型機械学習による自動運転車とドライバーの協調制御に関する一考察（日本機械学会第34回計算力学講演会（CMD2021））
3.	2021/09	Preconditioner for Ill-conditioned Tall and Skinny Matrices（The 40th JSST Annual International Conference on Simulation Technology）
4.	2021/07	悪条件で密な縦長行列向けの前処理行列の数値的比較について（2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021)）
5.	2020/12	非対称疎行列を係数とする連立一次方程式に対する精度保証付き数値計算法とその応用（第10回計算力学シンポジウム）
6.	2020/11	LU分解を用いた疎行列向けの精度保証付き数値計算法とその応用（第4回精度保証付き数値計算の実問題への応用研究集会 (NVR 2020)）
7.	2020/09	疎な係数行列を持つ最小二乗問題の精度保証付き数値計算法とその応用（日本応用数理学会 2020年度年会）
8.	2019/11	Verification method for sparse least squares problems（The 38th JSST Annual International Conference on Simulation Technology）
9.	2019/09	非対称疎行列を係数とする連立一次方程式に対する精度保証付き数値計算の数値的比較（日本応用数理学会 2019年度年会）
10.	2019/09	A note on verification methods for sparse non-symmetric linear systems（International Conference on Matrix Analysis and its Applications(MAT TRIAD 2019)）
11.	2019/07	Numerical verification of a basis of the null space of rectangular matrix（ICIAM2019(International Congress on Industrial and Applied Mathematics)）
12.	2018/12	H行列を用いた連立一次方程式の精度保証付き数値計算法（第2回精度保証付き数値計算の実問題への応用研究集会）
13.	2018/09	Verification method for solution of symmetric saddle point linear system with null space method（The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations）
14.	2018/09	Two verification methods for linear systems using H-matrix（The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations）
15.	2018/03	行列積の下向き丸めと事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法向けの高精度な誤差評価式の提案（日本応用数理学会第14回研究部会連合発表会）
16.	2018/02	Accurate error bounds for linear systems using H-matrices（ANZIAM 2018）
17.	2017/12	高精度な近似逆行列を求めるアルゴリズムがうまく動かない例題の作成法（第1回精度保証付き数値計算の実問題への応用研究集会）
18.	2017/09	単精度で作成された近似逆行列は条件数を下げる効果を持つのか？（日本応用数理学会 2017年年会）
19.	2017/07	実対称正定値行列を係数行列とする連立一次方程式の数値解に対する精度保証法（2017年並列／分散／協調処理に関する『秋田』サマー・ワークショップ (SWoPP2017)）
20.	2017/03	Error Bounds for large linear systems（The International Workshop on Numerical Verification and its Applications 2017）
21.	2016/10	Improved Extraction Scheme for Accurate Floating-point Summation（The 35th JSST Annual Conference: International Conference on Simulation Technology）
22.	2016/09	高精度な総和計算アルゴリズムにおける無誤差変換の改良（日本応用数理学会 2016年度年会）
23.	2016/06	Improved Error Bounds for Large Linear Systems（5th European Seminar on Computing）
24.	2016/03	H行列を用いた精度保証付き数値計算法の改良と新しい誤差評価式の提案（日本応用数理学会第12回研究部会連合発表会）
25.	2015/10	Fast Enclosures of Solutions of Linear Systems with H-matrices（The 34th JSST Annual Conference: International Conference on Simulation Technology）
26.	2015/09	LU分解の事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法におけるH行列の性質を用いた正則性の検証法と誤差評価式の提案（日本応用数理学会2015年度年会）
27.	2015/09	H行列の性質を使った誤差評価式の提案とその応用 (Improved error bounds for large linear systems using H-matrices)（Seto-Inland-Sea-Rim Workshop on Mathematical Sciences 環瀬戸内ワークショップ）
28.	2015/03	H行列の性質を用いた連立一次方程式における精度保証付き数値計算法に関する一考察（日本応用数理学会 2015年研究部会連合発表会）
29.	2014/10	A Modified Verification Method for Linear Systems by Using LU Decomposition（The 33rd JSST Annual Conference: International Conference on Simulation Technology）
30.	2014/09	連立一次方程式の数値解に対する高速精度保証法の改良（日本応用数理学会 2014年度年会）
31.	2014/09	A Simple Modified Verification Method for Linear Systems（SCAN2014 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics）
32.	2014/03	A Modified Verification Method for Linear Systems（The International Workshop on Numerical Verification and its Applications 2014 INVA 2014）
33.	2013/09	ある二次計画問題の精度保証付き数値解法（日本応用数理学会 2013年度年会）
34.	2013/06	Verification Methods for Sparse Linear Systems with H-matrices（第42回数値解析シンポジウム）
35.	2013/03	区間連立一次方程式に対する精度保証付き事後誤差評価法（日本応用数理学会 2013年度研究部会連合発表会）
36.	2012/11	区間連立一次方程式に関する誤差評価（環瀬戸内ワークショップ）
37.	2012/08	非凸領域における特異関数とスプライン関数を用いたラプラス作用素の高精度な固有値評価（日本応用数理学会 2012年度年会）
38.	2012/03	コーナーのある領域におけるラプラス作用素の高精度な固有値評価（日本応用数理学会 2012年研究部会連合発表会）
39.	2011/09	特異関数を用いた非凸領域におけるラプラス作用素の高精度固有値評価（日本応用数理学会 2011年度年会）
40.	2011/06	スプライン関数を用いた非凸領域でのラプラス作用素の高精度固有値評価（第40回数値解析シンポジウム）
41.	2010/09	Scilabを用いた任意多角形領域におけるラプラス作用素の精度保証付き固有値評価（2010年度数値計算研究集会）
42.	2009/06	マルチプロセスを用いた連立一次方程式の精度保証法の実装（第28回日本シミュレーション学会大会）
5件表示
全件表示(42件)

■ 社会における活動

1.	2022～2023/08	Secretary (Local Arrangement) : ICIAM 2023, the 10th International Congress on Industrial and Applied Mathematics
2.	2022/09～2023/09	JASSE Guest Editor : Journal of Advanced Simulation in Science and Technology
3.	2021/09～2022/09	JASSE Guest Editor : Journal of Advanced Simulation in Science and Technology

■ 学歴

1.	2006/04～2010/03	同志社大学工学部インテリジェント情報工学科卒業
2.	2010/04～2012/03	早稲田大学基幹理工学研究科数学応用数理専攻修士課程修了修士（工学）
3.	2012/04～2015/03	早稲田大学基幹理工学研究科数学応用数理専攻博士後期課程修了博士（工学）

■ 職歴

1.	2015/04～2017/03	早稲田大学基幹理工学部応用数理学科助手
2.	2017/04～2018/03	国立研究開発法人産業総合研究所特別研究員
3.	2018/04～2021/03	中央大学理工学部情報工学科助教

■ 所属学会

1.	2014/04～2015/03	日本応用数理学会
2.	2014/04～2015/03	∟ 学生会員
3.	2015/04	日本応用数理学会
4.	2015/04	∟ 正会員

■ 研究課題・受託研究・科研費

1.	2017/04～2019/03	悪条件連立一次方程式対する高精度な精度保証付き数値計算技術の開発若手研究(B)
2.	2019/04～	悪条件連立一次方程式における前処理行列による条件数の低減に関する研究若手研究

■ 受賞学術賞

1.	2020/06	日本応用数理学会日本応用数理学会 2019年度若手優秀講演賞 (受賞した講演タイトル「非対称疎行列を係数とする連立一次方程式に対する精度保証付き数値計算の数値的比較」)
2.	2020/04	Japan Society for Simulation Technology JSST 2019 Outstanding Presentation Award (Verification method for sparse least squares problems)
3.	2011/12	The Second International Conference on Networking and Computing 2011 Best Paper Award (Performance Evaluation of Power-aware Multi-tree Ethernet for HPC Interconnects)
4.	2010/09	Scilab Toolbox Japan Contest 2010 最優秀賞(学生カテゴリ) (作品名「PolygonEig」)

■ 委員会・協会等

1.	2020/05～	一般社団法人Ｎｏｔｅ＆Ｋｅｙ理事
2.	2020/04/01～	日本応用数理学会ネットワーク委員会
3.	2018/04/01～2020/03/31	日本応用数理学会学会誌「応用数理」編集委員