Y.MORIKURA's Home Page

業績

論文

  1. Siegfried M. Rump, Takeshi Ogita, Yusuke Morikura and Shin’ichi Oishi, Interval arithmetic with fixed rounding mode, Nonlinear Theory and its Applications, IEICE, 7(3):362–373, 2016.
  2. Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi, Verification methods for linear systems using ufp estimation with rounding-to-nearest, Nonlinear Theory and its Applications, IEICE, vol.4, no.1, pp.12-22, 2013.

 

国際会議発表（査読付き）

  1. Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi and Shin’ichi Oishi, Fast enclosure for matrix multiplication on a GPU, The 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN2016), Aug. 2016.
  2. Yusuke Morikura and Shin’ichi Oishi, “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, Japan, Oct. 2014.
  3. Atsushi Minamihata, Yusuke Morikura, Takeshi Ogita and Shin’ichi Oishi, “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, Japan, Oct. 2014
  4. Yusuke Morikura, Katsuhisa Ozaki, Takahiro Katagiri and Shin’ichi Oishi, “Adaptive implementation of the verification method for large-scale linear systems”, International Conference on Simulation Technology JSST2013, Tokyo, Japan, Sep. 2013.
  5. Yusuke Morikura, Katsuhisa Ozaki, Takahiro Katagiri and Shin’ichi Oishi, “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, Bandung, Indonesia, Jun. 2013.
  6. Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi, “Verification methods for linear systems on a GPU”, 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN2012), Novosibirsk, Russia, Sep., 2012.
  7. Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi, “Verification methods for linear systems using ufp estimation with rounding-to-nearest”, The 8th East Asia Section of SIAM Conference (EASIAM2012), Taipei, Taiwan, Jun. 2012.
  8. Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi, “Verified solutions of linear systems on GPU”, The 7th East Asia SIAM Conference & RIMS Workshop on Methods in Industrial and Applied Mathematics (EASIAM 2011), Kitakyushu, Japan, Jun., 2011.

 

国際会議・セミナー発表（査読無し）

  1.  Yusuke Morikura, Ozaki Katsuhisa and Shin’ichi Oishi, “Verification method for large-scale linear systems without directed rounding”, Crest Workshop, Hotel:powell, Ito-city, Japan, Octorber 2015.
  2. Yusuke Morikura, Ozaki Katsuhisa and Shin’ichi Oishi, “Verification method for large-scale linear systems”, Seto-Inland-Sea-Rim Workshop on Mathematical Sciences, Hotel:read azzurro, Hachijo-Island, Japan, September 2015.
  3. Yusuke Morikura, “GPU computation in verified computation”, Joint Seminar on Numerical Analysis at Niigata University, Niigata University, Niigata, Japan, September 2015.
  4. Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi, “Verification methods for system of linear equations in rounding to nearest”, The International Workshop on Numerical Verification and its Applications 2014 INVA 2014, Waseda University, Tokyo, Japan, Mar. 2014.


招待講演

  1. 森倉 悠介，「プログラミング教育における反転授業の実例」，2016年度 第3回ＤＣＣ産学交流フォーラム 「早稲田大学における反転授業の取り組みについて 」，早稲田大学 国際会議場，2016年7月12日（講演資料は反転授業ページにて公開）
  2. 森倉 悠介，事前誤差評価を用いた線形計算の精度保証 誤差解析から大規模計算まで, 三部会連携「応用数理セミナー」, 東京大学本郷キャンパス, 2015年12月．
    応用数理セミナーHP：スライド，予稿

 

国内会議発表（査読無し）

  1. 森倉悠介，大石進一，行列の正則性の判定における単精度近似逆行列を用いた前処理の評価，第5回 大規模並列数値計算技術に関する研究集会— 多倍長計算と精度保証 —，理化学研究所計算科学研究機構，2017年3月27日．
  2. 森倉 悠介, 椋木 大地, 深谷 猛, 山中 脩也, 大石 進一, 大規模並列計算機における連立1次方程式の精度保証付き数値計算に対する性能評価, 第157回ハイパフォーマンスコンピューティング研究発表会, 沖縄県, 2016年12月21日.
  3. 森倉 悠介, 野澤 優介, 関根 晃大, 柏木 雅英, 大石 進一，CUDAの丸めモード指定演算を用いた行列積の高速な包含方法，2016年度日本応用数理学会 年会，2016年9月.
  4. 南畑 淳史, 森倉 悠介, 荻田 武史, 大石 進一,”LU分解の事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法における H行列の性質を用いた正則性の検証法と誤差評価式の提案”,金沢大学,2015年9月．
  5. 森倉悠介，尾崎克久，片桐孝洋，大石進一，“大規模連立一次方程式における精度保証付き数値計算のハイブリッドな実装法とその評価”，2013年度日本応用数理学会年会，アクロス福岡，福岡市中央区，2013年9月，講演予稿集 pp.168-169．
  6. 森倉悠介，尾崎克久，大石進一，“タイトな区間演算を用いた連立一次方程式に対する精度保証法に関する考察”，2013年度 数値線形代数研究集会，東京理科大学 大子研修センター，茨城県久慈郡，2013年8月．
  7. 森倉悠介, 尾崎克久, 大石進一, “大規模連立一次方程式における精度保証付き数値計算の実装と評価”, 第42回数値解析シンポジウム, 道後温泉 道後館, 愛媛県松山市道後多幸町, 2012年6月, 講演予稿集 pp.50-53.
  8. 森倉悠介, 尾崎克久, 大石進一, “大規模連立一次方程式における精度保証付き数値計算の実装と評価”, E-サイエンス若手・女性研究者シンポジウム2012, 東京大学柏キャンパス, 2012年10月.
  9. 森倉悠介, 尾崎克久, 大石進一, “GPU のメモリ制約を意識した連立1 次方程式に対する精度保証法の実装”, 日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市開運, 2012年8月，講演予稿集pp.241-242.
  10. 小室和範, 森倉悠介，大石進一, “最近点丸めを用いた区間連立一次方程式の精度保証付き数値計算”, 日本応用数理学会2012年度年会, 稚内全日空ホテル, 北海道稚内市開運, 2012年8月，講演予稿集pp.269-270.
  11. 森倉悠介, 尾崎克久, 大石進一, “ufp と最近点丸めを用いた連立１次方程式の精度保証法, 第41回数値解析シンポジウム”, 伊香保温泉 しん喜, 群馬県渋川市伊香保町, 2012年6月, 講演予稿集 pp.9-12.
  12. 森倉悠介，大石進一，“最近点丸めにおけるufpを用いた連立１次方程式の精度保証付き数値計算法”, 日本応用数理学会2012年研究部会連合発表会，九州大学伊都キャンパス，2012年3月．
  13. 森倉悠介，尾崎克久，大石進一，“連立１次方程式の精度保証法に関するGPUを用いた精度速度比較”，日本応用数理学会2011年度年会，同志社大学 今出川キャンパス，2012年9月，講演予稿集pp.353-354．
  14. 森倉悠介，尾崎克久，大石進一，“GPUを用いた連立１次方程式の精度保証法”, 第40回数値解析シンポジウム, 鳥羽シーサイドホテル, 三重県鳥羽市安楽島町, 2011年5月，講演予稿集pp.113-116.
  15. 森倉悠介，尾崎克久，大石進一，“GPUを用いた連立１次方程式の精度保証法”, 日本応用数理学会2011年研究部会連合発表会, 電気通信大学, 2011年3月.

 

ポスター発表

  1. Yusuke Morikura, Daichi Mukunoki, Takeshi Fukaya, Naoya Yamanaka and Shin’ichi Oishi,” Performance Evaluation of Verified Computation for Linear Systems on Parallel Computers”, ACSI2016 (Annual Meeting on Advanced Computing System and Infrastructure 2016), Centennial Hall, Kyushu University School of Medicine, January, 2016.（査読付き）
  2. 森倉 悠介, 尾崎 克久, 大石 進一,”Verification method for large-scale linear systems”, JST/CREST-さきがけ数学シンポジウム 2015
    『22世紀社会創造のための数学』“Mathematics for the 22nd Century”, ステーションコンファレンス東京, 2015年9月．
  3. 森倉悠介, 尾崎克久, 大石進一, “GPUのメモリ制約を意識した連立１次方程式に対する精度保証法の実装”, 2012年度数値解析研究集会, 少年自然の家 八ヶ岳荘, 2012年9月.
  4. 中村祐太郎, 関根晃太, 森倉悠介, 大石進一, “成分毎評価を用いた近似逆行列の精度保証法”, 日本応用数理学会2012年度年会, 稚内全日空ホテル, 2012年8月.
  5. 森倉悠介，尾崎克久，大石進一，“GPUを用いた行列の正則性に関する検証法とその精度保証比較”，第5回63号館ハイテクリサーチセンターシンポジウム『材料・デバイス・システム連携と次世代通信社会』，早稲田大学西早稲田キャンパス，2011年12月.
  6. 森倉悠介，尾崎克久，大石進一，“GPUを用いた行列の正則性に関する検証法とその精度保証比較”，63号館ハイテクリサーチセンタープロジェクト1・2 若手交流会「数値シミュレーションと高信頼通信」，早稲田大学西早稲田キャンパス，2011年10月．
  7. 森倉悠介，尾崎克久，大石進一，“GPUを用いた行列の正則性に関する検証法とその精度保証比較”，63号館ハイテクリサーチセンタープロジェクト1・2 若手交流会「数値シミュレーションと高信頼通信」，早稲田大学西早稲田キャンパス，2011年10月．
  8. 森倉悠介，尾崎克久，大石進一，“GPUを用いた行列の正則性に関する検証法とその精度保証比較”，2011年度数値解析研究集会，少年自然の家　八ヶ岳荘，長野県諏訪郡富士見町，2011年9月．

 

紀要

  • 山中脩也，吉岡剛志，森倉悠介，教育・研究・社会貢献活動のための小規模ICTシステム構築のすすめ，pp. 85–93，第27巻，帝京平成大学紀要，2016-03．

受賞

 

外部研究採択

科研費の獲得状況

 

 

PAGETOP
Copyright © Yusuke MORIKURA All Rights Reserved.
Powered by WordPress & BizVektor Theme by Vektor,Inc. technology.