研究者情報
学歴・学位
所属学会
研究者活動情報
研究分野
研究キーワード
学会等での委員歴
受賞
著書
論文
MISC（短報、要旨、解説や書評など）
講演・口頭発表等
Works（芸術活動、作品、コンピュータソフト、データベース、教材、その他）
社会貢献活動
メディア報道
学術貢献活動
競争的資金等の研究課題
競争的研究費以外の研究課題
特許等
その他
基本情報
氏名
森倉 悠介
氏名（カナ）
モリクラ ユウスケ
氏名（英語）
MORIKURA Yusuke
所属
大学 国際政治経済学部 国際政治経済学科
職名
准教授
researchmap研究者コード
researchmap機関
学歴・学位
2005/04 ～ 2009/03 早稲田大学 教育学部 理学科数学専修 学士（理学）
2009/04 ～ 2011/03 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 修士課程 修士（理学）
2011/04 ～ 2014/03 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 博士後期課程 博士（工学）
所属学会
2012/07 ～ 日本応用数理学会
2018/04 ～ 情報処理学会
研究者活動情報
研究分野
情報通信 情報学基礎論 数値線形代数，高精度計算，ハイパフォーマンスコンピューティング
研究キーワード
学会等での委員歴
受賞
2012/08 日本応用数理学会2012年度年会 優秀ポスター賞
著書
改訂新版 AIデータサイエンスリテラシー入門 (基礎学習) 共著 技術評論社 2024/09
AIデータサイエンスリテラシー入門 (基礎学習) 共著 技術評論社 2022/09
The Art of High Performance Computing for Computational Science, Vol. 1 著作者：編著：下司雅章，共著者：片桐孝洋，中田真秀，山本有作，高橋大介，渡辺宙志，大石進一，関根晃太，森倉悠介，黒田久泰 共著 Springer 2019/05
精度保証付き数値計算の基礎 編著：大石 進一，著者：荻田武史，柏木雅英，劉雪峰，尾崎克久，山中脩也，高安亮紀，関根晃太，木村拓馬，市原一裕，正井秀俊，森倉悠介，Siegfried M. Rump 共著 コロナ社 2018/07
計算科学のためのHPC技術1 共著 大阪大学出版会 2017/03
論文
Sustainable data-driven framework and policy recommendations for enhancing sports promotion using generative and explainable Artificial Intelligence TSUYOSHI YOSHIOKA, YUSUKE MORIKURA, TOSHIRO IZUMI, TADASHI WADA 共著 Journal of Physical Education and Sport 2025/03/31
最近点丸めにおけるH行列の性質を用いた連立1次方程式の精度保証付き計算法とその高速化手法 単著 帝京平成大学紀要 2024/03
Pythonプログラミング環境におけるnumpy.sum関数の誤差評価 単著 帝京平成大学紀要 2023/03
ある条件下における対数関数logの倍精度浮動小数点数を用いた事前誤差評価
単著 帝京平成大学紀要 2022/04
Analysis of Questionnaire Surveys Conducted in Higher Education Institutions from the Perspective of the Institutional Research for Teaching and Learning 吉岡剛志, 森倉悠介, 小林領, 照屋健作, 泉敏郎 共著 Journal of Management Practices, Humanities and Social Sciences 2021/06
全て表示する（15件）
最近点丸めにおける指数関数expの倍精度浮動小数点演算を用いた事前誤差評価 単著 帝京平成大学紀要 2021/03
最近点丸めにおける事前誤差評価を用いた実対称行列における固有値の高速精度保証法 単著 帝京平成大学紀要 2020/03
浮動小数点演算における最近点丸めを用いた行列の正則性の検証法 単著 帝京平成大学紀要 2019/03
限られたリソースを用いて実践的なネットワーク演習を行うための仮想化ソフトウェアを用いたサーバ構築例 森倉悠介, 吉岡剛志 共著 帝京平成大学紀要 2018/03
大規模並列計算機における連立一次方程式の精度保証付き数値計算に対する性能評価 森倉悠介, 椋木大地, 深谷猛, 山中脩也, 大石進一 共著 研究報告ハイパフォーマンスコンピューティング 2016HPC-157 2016/12
教育・研究・社会貢献活動のための小規模ICTシステム構築のすすめ 山中 脩也, 吉岡 剛志, 森倉悠介 共著 帝京平成大学紀要 2016/03
Interval arithmetic with fixed rounding mode S. M. Rump, 荻田武史, 森倉悠介, 大石進一 共著 Nonlinear Theory and its Applications, IEICE 73 2016/02
事前誤差評価を用いた線形計算の精度保証-誤差解析から大規模計算まで- 単著 日本応用数理学会 三部会連携「応用数理セミナー」 2015/12
Adaptive implementation of the verification method for large-scale linear systems 森倉悠介, 尾崎克久, 片桐孝洋, 大石進一 共著 2nd, JSST Annual Conference, International Conference on Simulation Technology 32nd pp.90 2013/09
Verification metho ds for linear systems using ufp estimation with rounding-to-nearest 森倉悠介, 尾崎克久, 大石進一 共著 Nonlinear Theory and its Applications, IEICE 2013/01
表示を折りたたむ
MISC（短報、要旨、解説や書評など）
講演・口頭発表等
行列の正則性の判定における単精度近似逆行列を用いた前処理の評価 第5回 大規模並列数値計算技術に関する研究集会— 多倍長計算と精度保証 — 2017/03
Fast enclosure for matrix multiplication on a GPU The 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sweden 2016/09
CUDAの丸めモード指定演算を用いた行列積の高速な包含方法 平成28年度日本応用数理学会 年会， 2016/09
Performance Evaluation of Verified Computation for Linear System on Supercomputer East Asian Section Conference 2016, Macao 2016/06
Performance Evaluation of Verified Computation for Linear Systems on Parallel Computers 2nd Annual Meeting on Advanced Computing System and Infrastructure (ACSI2016) 2016/01
全て表示する（23件）
大規模連立一次方程式における高精度な近似解の導出 JST CREST -さきがけ数学シンポジウム2015-『22世紀社会創造のため数学』 2015/09
GPU computation in verified computatio Joint Seminar on Numerical Analysis at Niigata University, Niigata 2015/08
LU分解の事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法における H行列の性質を用いた正則性の検証法と誤差評価式の提案 平成27年度日本応用数理学会年会 2015/04
Verification methods for system of linear equations including irrational numbers The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City 2014/10
A Modified Verification Method for Linear Systems by Using LU Decomposition The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City 2014/10
大規模連立一次方程式における精度保証付き数値計算のハイブリッドな実装法とその評価 平成25年度日本応用数理学会年会 2013/09
Adaptive implementation of the verification method for large-scale linear systems The 32rd JSST Annual Conference: International Conference on Simulation Technology, Tokyo 2013/09
タイトな区間演算を用いた連立一次方程式に対する精度保証法に関する考察 平成25年度 数値線形代数研究集会 2013/08
Implementation of a verification method for the approximate solution of large-scale linear systems The 9th East Asia Section of SIAM Conference & The 2nd Conference on Industrial and Applied Mathematics, Indonesia 2013/06
大規模連立一次方程式における精度保証付き数値計算の実装と評価 E-サイエンス若手・女性研究者シンポジウム2012 2012/10
Verification methods for linear systems on a GPU 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computing, Russia 2012/09
最近点丸めを用いた区間連立一次方程式の精度保証付き数値計算 日本応用数理学会2012年度年会 2012/08 日本応用数理学会
成分毎評価を用いた近似逆行列の精度保証法 共著 査読なし 日本応用数理学会2012年度年会 2012/08 日本応用数理学会
GPU のメモリ制約を意識した連立1 次方程式に対する精度保証法の実装 2012年度日本応用数理学会年会， 2012/08 日本応用数理学会
大規模連立一次方程式における精度保証付き数値計算の実装と評価 第42回数値解析シンポジウム 2012/06
Verification methods for linear systems using ufp estimation with rounding-to-nearest The 8th East Asia Section of SIAM Conference & The 2nd Conference on Industrial, Taiwan 2012/06
GPU を用いた行列の正則性に関する検証法とその精度保証比較 第5回63号館ハイテクリサーチセンターシンポジウム 『材料・デバイス・システム連携と次世代通信社会』 2011/12 早稲田大学
Verified solutions of linear systems on GPU The 7th East Asia Section SIAM Conference, Fukuoka 2011/06
表示を折りたたむ
Works（芸術活動、作品、コンピュータソフト、データベース、教材、その他）
社会貢献活動
メディア報道
学術貢献活動
競争的資金等の研究課題
大規模連立一次方程式における精度保証付き数値計算の実装と評価 東京大学情報基盤センター 2012年度（後期） スーパーコンピュータ若手利用者推薦採択 2012/10
大規模連立一次方程式における精度保証付き数値計算の実装と評価（継続採択） 東京大学情報基盤センター 平成25年度（前期） スーパーコンピュータ若手・女性利用者推薦採択 2013/03
デファクトスタンダードを基盤とする高精度高信頼な連立一次方程式の数値計算法の開発 日本学術振興会 科学研究費補助金（若手研究B） 2015/04 2017/03
競争的研究費以外の研究課題
特許等
その他
学術会合報告：SCAN2012参加報告（JSIAM Online Magazine） 2013/06
学術会合報告：ICIAM2015参加報告（JSIAM Online Magazine） 2015/12
