Researcher Information
Academic Background
Academic Society and Social Activity
Researcher Activity Information
Field of Research
Research Keyword
Committee Career
Reward
Bibliography
Academic Thesis
MISC
Conference
Works
Social Contribution
Media Coverage
Academic contribution
Competitive research funds
Except for Competitive Research Funding, or Incorporated Association Funding
Patents
Other
Basic information
Name
MORIKURA Yusuke
Belonging department
Occupation name
researchmap researcher code
researchmap agency
Academic Background
2005/04 ～ 2009/03 早稲田大学 教育学部 理学科数学専修 学士（理学）
2009/04 ～ 2011/03 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 修士課程 修士（理学）
2011/04 ～ 2014/03 早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 博士後期課程 博士（工学）
Academic Society and Social Activity
2012/07 ～ 日本応用数理学会
2018/04 ～ 情報処理学会
Researcher Activity Information
Field of Research
情報通信 情報学基礎論 数値線形代数，高精度計算，ハイパフォーマンスコンピューティング
Research Keyword
Committee Career
Reward
2012/08 日本応用数理学会2012年度年会 優秀ポスター賞
Bibliography
改訂新版 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
Academic Thesis
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/Joint Author/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
Show All（15 Line）
最近点丸めにおける指数関数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
Collapse The View
MISC
Conference
行列の正則性の判定における単精度近似逆行列を用いた前処理の評価 第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
Show All（23 Line）
大規模連立一次方程式における高精度な近似解の導出 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
Collapse The View
Works
Social Contribution
Media Coverage
Academic contribution
Competitive research funds
大規模連立一次方程式における精度保証付き数値計算の実装と評価 東京大学情報基盤センター 2012年度（後期） スーパーコンピュータ若手利用者推薦採択 2012/10
大規模連立一次方程式における精度保証付き数値計算の実装と評価（継続採択） 東京大学情報基盤センター 平成25年度（前期） スーパーコンピュータ若手・女性利用者推薦採択 2013/03
デファクトスタンダードを基盤とする高精度高信頼な連立一次方程式の数値計算法の開発 日本学術振興会 科学研究費補助金（若手研究B） 2015/04 2017/03
Except for Competitive Research Funding, or Incorporated Association Funding
Patents
Other
学術会合報告：SCAN2012参加報告（JSIAM Online Magazine） 2013/06
学術会合報告：ICIAM2015参加報告（JSIAM Online Magazine） 2015/12
