教員情報 - 山中　脩也

■ 現在の専門分野

高性能計算, 計算科学, 数学基礎　（キーワード：数値計算，誤差解析，推論アルゴリズム）

■ 著書・論文歴

1.	著書	精度保証付き数値計算の基礎（第5章：数値積分）（共著） 2018/07
2.	著書	区間演算（「計算の品質」内）応用数理ハンドブック（単著） 2013/11
3.	論文	自由エネルギー原理に従う循環的因果性の構成を支援するプログラミング学習環境の構築明星大学研究紀要. 情報学部 12,21-30頁（共著） 2022/03
4.	論文	C.S. Peirce の探究過程と SECI モデルに基づくプログラミング演習の実践とその支援システムしごと能力研究 2020特集号（特集：しごと能力とAI） 84-97頁（共著） 2020
5.	論文	コンピュータを用いた C.S. Peirce の探究過程の実現しごと能力研究 2020特集号（特集：しごと能力とAI） 71-83頁（共著） 2020
6.	論文	遠隔かつ集団環境での C.S. Peirce の探究過程とその実践しごと能力研究 2020 3-11頁（共著） 2020
7.	論文	Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価 86(881),19-00256頁（共著） 2019/12
8.	論文	Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval Mathematical Aspects of Computer and Information Sciences （共著） 2016/02
9.	論文	Efficient calculations of faithfully rounded l2-norms of n-vectors ACM Transactions on Mathematical Software （共著） 2015/10
10.	論文	Interval Arithmetic and Its Implementations RIMS Kokyuroku Bessatsu （共著） 2015/10
11.	論文	Fast quadruple-double floating point format Nonlinear Theory and Its Applications, IEICE （共著） 2014/01
12.	論文	倍精度に基づく四倍精度演算法の誤差とその応用数理解析研究所講究録（共著） 2012/04
13.	論文	浮動小数点数を成分に持つ n 次元ベクトルの2乗ノルムの真の値に隣接する浮動小数点数の計算電子情報通信学会技術研究報告書（共著） 2012/03
14.	論文	A Note on Verified Automatic Integration Algorithm Reliable Computing （共著） 2011/06
15.	論文	高信頼・高精度・高可搬な数値計算法の研究（単著） 2011/03
16.	論文	A Fast Verified Automatic Integration Algorithm using Double Exponential Formula Nonlinear Theory and Its Applications, IEICE 1(1),pp.119-132 （共著） 2010/10
17.	論文	A Verified Automatic Integration Algorithm using Double Exponential Formula 数理解析研究所講究録（共著） 2009/04
18.	論文	A Parallel Algorithm for Accurate Dot Product Parallel Computing 34,pp.392-410 （共著） 2008/07
19.	その他	Verified Algorithm for the sine integral Proc. of SCAN2018 （共著） 2018/09
20.	その他	Verified Algorithm of Hyperfunction Method for Numerical Integration Proceedings of The 37th JSST Annual International Conference on Simulation Technology (JSST2018) （共著） 2018/09
21.	その他	Verified Algorithm for Gamma Function using Double Exponential Formula and Its Applications Proceedings of The 36th JSST Annual International Conference on Simulation Technology (JSST2017) （共著） 2017/10
22.	その他	大規模並列計算機における連立一次方程式の精度保証付き数値計算に対する性能評価研究報告ハイパフォーマンスコンピューティング（HPC） 2016-HPC-157(1),1-7頁（共著） 2016/12
23.	その他	A method of calculating faithful rounding of l2-norm for n-vectors Proc. of SCAN2014 （共著） 2014/09
24.	その他	「最近点への丸めによる区間演算」（特集「計算の性能ー速度・環境・正確さ」内）数学セミナー（単著） 2013/10
25.	その他	Fast Multiprecision Algorithm Like Quad-Double Arithmetic Proc. of 2013 International Symposium on Nonlinear Theory and its Applications （共著） 2013/09
26.	その他	Fast infimum-supremum interval operations for double-double arithmetic in rounding to nearest Proc. of SCAN2012 （共著） 2012/09
27.	その他	A Verfied Automatic Contour Integration Algorithm Papers of 4th International Workshop on Reliable Engineering Computing （共著） 2010/06
28.	その他	A Verified Automatic Repeated Integration Algorithm based on Double Exponential Formula Proc. of 2009 International Symposium on Nonlinear Theory and its Applications （共著） 2009/09
29.	その他	A Fast Automatic Integration Algorithm using Double Exponential Formula based on Verification Theory Proc. of The 24th international Technical Conference on Circuits/System, Computers and Communication （共著） 2009/06
30.	その他	Fast Verified Automatic Integration Algorithm Using Complex Analysis Proc. of 2008 International Symposium on Nonlinear Theory and its Applications （共著） 2008/09
31.	その他	Fast Verified Automatic Integration using Double Exponential Formula Proc. of SCAN2008 （共著） 2008/09
5件表示
全件表示(31件)

■ 受賞学術賞

1.	2008/06	East Asia SIAM East Asia SIAM Student Paper Prize Second Award
2.	2008/06	大川情報通信基金第19回大川功記念賞

■ 学歴

1.	2002/04～2006/03	芝浦工業大学工学部通信工学科卒業学士 (工学)
2.	2006/04～2008/03	早稲田大学理工学研究科情報ネットワーク専攻修士課程修了修士 (工学)
3.	2008/04～2011/03	早稲田大学基幹理工学研究科数学・応用数理専攻博士課程修了博士 (工学)

■ 職歴

1.	2009/04～2011/03	早稲田大学理工学術院総合研究所助手
2.	2011/04～2013/03	早稲田大学理工学術院総合研究所助教
3.	2013/04～2014/03	早稲田大学理工学術院総合研究所研究院講師
4.	2014/04～2016/03	帝京平成大学現代ライフ学部情報システムコース助教
5.	2014/04～2017/03	早稲田大学理工学術院総合研究所客員次席研究員
6.	2016/04～2024/03	明星大学情報学部情報学科准教授
7.	2017/02～	早稲田大学総合研究機構システム競争力研究所招聘研究員
8.	2017/04～2022/03	早稲田大学理工学術院総合研究所研究院客員准教授（客員主任研究員）
9.	2020/03～	早稲田大学総合研究機構学力向上研究所招聘研究員
10.	2023/04～	明星大学データサイエンス学環准教授
11.	2024/04～	明星大学情報学部情報学科教授
5件表示
全件表示(11件)

■ 教育上の能力

●教育方法の実践例
1.	2019/04/01～	Bot を使用した対話的でエナクティブな学習環境の構築
2.	2014/04/01～2016/03/31	授業LMS (Learning Management System)の作成
3.	2011/04/01～2012/08/31	授業SNS (ソーシャルネットワークサービス)の作成
4.	2011/04/01～2012/08/31	授業ホームページによる学習促進サイトの開設
●作成した教科書、教材
1.	2019/04/01～	情報学部プログラミング演習1 学習材
●実務の経験を有する者についての特記事項
1.	2016/11/01～	早稲田大学システム競争力研究所東日本大震災地域学習支援事業講師
2.	2013/04/01～	小田原白梅 LC ・早稲田大学科学コンテスト未来の科学者養成プログラム講師
5件表示
全件表示(7件)

■ 授業科目

1.	【院】修士論文
2.	【院】情報学特別実験Ⅰ
3.	【院】情報学特別演習Ⅰ
4.	【院】情報学特別輪講Ⅰ
5.	【院】計算科学演習Ⅰ
6.	【院】計算科学特論Ⅰ
7.	プロジェクト実習・実験２
8.	プロジェクト実践
9.	先端情報学研究
10.	卒業研究
11.	基礎ゼミナール
12.	基礎情報数学
13.	情報ワークショップ３
14.	情報学実験入門
15.	情報学研究
16.	教育の方法及び技術・情報通信技術の活用
17.	教育の方法及び技術・情報通信技術の活用
18.	教育の方法及び技術・情報通信技術の活用
19.	論文輪講
5件表示
全件表示(19件)

■ 所属学会

1.		日本応用数理学会
2.		しごと能力研究学会

■ 委員会・協会等

1.

2020/12/28～

ICIAM 2023 Executive Committee Secretary

■ プロフィール

丸め誤差や打ち切り誤差などの『誤差』を考慮して、数学的に正しい結果を数値計算で得る計算法を『精度保証付き数値計算』といいます。広く利用されているソフトウェアでさえも、数学的に間違った答えを、何の警告も出さずに出力することがしばしば観測されますが、精度保証付き数値計算を使えば、数学的に正しい答えが含まれた区間を必ず出力するため、信頼性の高い、高品質な計算を行うことができます。
また，精度保証付き数値計算での知見を踏まえ，広い意味での『学習・推論アルゴリズム』について，これまでに広く知られている学習や推論の理論をベースとして，近年活発に議論が行われている脳神経科学での数理理論の知見と，日々進化する機械学習アルゴリズムの知見を融合し，『エナクティブでエビデンスベースドなアルゴリズムを構築すること』を目指しています。