• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

山中 脩也  Yamanaka Naoya

研究者番号 90548877
その他のID
  • ORCIDhttps://orcid.org/0000-0003-1504-579X
所属 (現在) 2025年度: 明星大学, 情報学部, 教授
2025年度: 明星大学, データサイエンス学環, 教授
所属 (過去の研究課題情報に基づく) *注記 2016年度 – 2023年度: 明星大学, 情報学部, 准教授
2014年度 – 2015年度: 帝京平成大学, 現代ライフ学部, 助教
2013年度: 早稲田大学, 理工学術院, 研究院講師
2012年度: 早稲田大学, 理工学術院, 助教
審査区分/研究分野
研究代表者
小区分60100:計算科学関連 / 高性能計算 / 情報学基礎
研究代表者以外
小区分09080:科学教育関連
キーワード
研究代表者
精度保証付き数値計算 / 誤差解析 / 高精度計算 / 高性能計算 / 数値解析 / 精度保証 / 数値計算
研究代表者以外
プログラミング教育 / コンピュータとの対話 / プログラミング学習 … もっと見る / 教材作成支援システム / 自由エネルギー原理 / オンライン授業 / 学習支援システム / 発達の最近接領域 隠す
  • 研究課題

    (5件)
  • 研究成果

    (86件)
  • 共同研究者

    (3人)
  •  超双対数の特徴を生かした高可搬で高精度かつ高信頼な高速微分計算手法の実現研究代表者

    • 研究代表者
      山中 脩也
    • 研究期間 (年度)
      2023 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60100:計算科学関連
    • 研究機関
      明星大学
  •  コンピュータとの対話を誘発する状況論的プログラミング学習教材作成支援システム開発

    • 研究代表者
      北島 茂樹
    • 研究期間 (年度)
      2022 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分09080:科学教育関連
    • 研究機関
      明星大学
  •  コンピュータとの対話で学びを深める状況論的プログラミング学習環境システムの開発

    • 研究代表者
      長 慎也
    • 研究期間 (年度)
      2019 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分09080:科学教育関連
    • 研究機関
      明星大学
  •  特殊関数における高可搬で高精度かつ高信頼な高速計算手法の複素変数への拡張研究代表者

    • 研究代表者
      山中 脩也
    • 研究期間 (年度)
      2016 – 2020
    • 研究種目
      若手研究(B)
    • 研究分野
      高性能計算
    • 研究機関
      明星大学
  •  初等関数と特殊関数の高可搬で高精度かつ高信頼な高速計算手法の実現研究代表者

    • 研究代表者
      山中 脩也
    • 研究期間 (年度)
      2012 – 2015
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      帝京平成大学
      早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 精度保証付き数値計算の基礎2018

    • 著者名/発表者名
      大石 進一 (著, 編集), 荻田 武史 (著), 柏木 雅英 (著), 劉 雪峰 (著), 尾崎 克久 (著), 山中 脩也 (著), 高安 亮紀 (著), 関根 晃太 (著), 木村 拓馬 (著), 市原 一裕 (著), 正井 秀俊 (著), 森倉 悠介 (著), Siegfried M. Rump (著)
    • 総ページ数
      311
    • 出版者
      コロナ社
    • ISBN
      4339028878
    • データソース
      KAKENHI-PROJECT-16K16060
  • [雑誌論文] 「明星大学版データサイエンスリテラシー」のグランドデザインと2023年度の実施報告2024

    • 著者名/発表者名
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • 雑誌名

      明星大学研究紀要 情報学部

      巻: 30 ページ: 1-8

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K03011
  • [雑誌論文] 「明星大学版データサイエンスリテラシー」のグランドデザインと2023年度の実施報告2024

    • 著者名/発表者名
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • 雑誌名

      明星大学研究紀要 情報学部

      巻: 第30号 ページ: 1-8

    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] 「明星大学版データサイエンスリテラシー」のグランドデザインと2023年度の実施報告2024

    • 著者名/発表者名
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • 雑誌名

      明星大学研究紀要 情報学部

      巻: 30 ページ: 1-8

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K11137
  • [雑誌論文] 自由エネルギー原理に従う循環的因果性の構成を支援するプログラミング学習環境の構築2022

    • 著者名/発表者名
      鷹觜 莉子 , 山中 脩也 , 長 慎也 , 北島 茂樹 , 丸山 農
    • 雑誌名

      明星大学研究紀要. 情報学部

      巻: 12 ページ: 21-30

    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] オンラインプログラミング演習環境における対話の実践と評価2021

    • 著者名/発表者名
      北島茂樹,山中脩也,長慎也,今野貴之
    • 雑誌名

      コンピュータ利用教育学会 コンピュータ&エデュケーション

      巻: 50 ページ: 40-43

    • NAID

      130008123957

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] オンラインプログラミング演習環境における対話の実践と評価2021

    • 著者名/発表者名
      北島茂樹・山中脩也・長 慎也・今野貴之
    • 雑誌名

      コンピュータ&エデュケーション

      巻: 50号

    • NAID

      130008123957

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] C.S. Peirce の探究過程と SECI モデルに基づくプログラミング演習の実践とその支援システム2020

    • 著者名/発表者名
      長慎也・山中脩也・北島茂樹・今野貴之,
    • 雑誌名

      しごと能力研究 2020特集号(特集:しごと能力とAI)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価2020

    • 著者名/発表者名
      藤川 正毅, 田中 真人, 井元 佑介, 三目 直登, 浦本 武雄, 山中 脩也
    • 雑誌名

      日本機械学会論文集

      巻: 86 号: 881 ページ: 19-00256-19-00256

    • DOI

      10.1299/transjsme.19-00256

    • NAID

      130007790526

    • ISSN
      2187-9761
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K16060
  • [雑誌論文] 遠隔かつ集団環境での C.S. Peirce の探究過程とその実践2020

    • 著者名/発表者名
      山中脩也・長慎也・北島茂樹・今野貴之
    • 雑誌名

      しごと能力研究 2020, しごと能力研究学会

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] 情報系初年次のプログラミング演習における,コンピュータとの対話を重視したコースデザインと支援システム2019

    • 著者名/発表者名
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • 雑誌名

      研究報告教育学習支援情報システム(CLE)

      巻: 2019-CLE-29 ページ: 1-9

    • データソース
      KAKENHI-PROJECT-19K03153
  • [雑誌論文] Verified Error Bounds for the Real Gamma Function using Double Exponential Formula over Semi-Infinite Interval2016

    • 著者名/発表者名
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • 雑誌名

      Mathematical Aspects of Computer and Information Sciences

      巻: 9582 ページ: 224-228

    • DOI

      10.1007/978-3-319-32859-1_19

    • ISBN
      9783319328584, 9783319328591
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24700015, KAKENHI-PROJECT-24760060
  • [雑誌論文] Interval Arithmetic and Its Implementations2016

    • 著者名/発表者名
      Naoya Yamanaka and Shin'ichi Oishi
    • 雑誌名

      RIMS Kokyuroku Bessatsu

      巻: B54 ページ: 71-98

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] Efficient calculations of faithfully rounded l2-norms of n-vectors2015

    • 著者名/発表者名
      Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin’ichi Oishi
    • 雑誌名

      ACM Tansactions on Mathematical Software

      巻: 41

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors2015

    • 著者名/発表者名
      Stef Graillat, Christoph Lauter, PING Tak Peter Tang, Naoya Yamanaka, Shin’ichi Oishi
    • 雑誌名

      ACM Transactions on Mathematical Software

      巻: 41 号: 4 ページ: 1-20

    • DOI

      10.1145/2699469

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] Fast quadruple-double floating point format2014

    • 著者名/発表者名
      Naoya Yamanaka, Shin'ichi Oishi
    • 雑誌名

      Nonlinear Theory and Its Applications, IEICE

      巻: 5 号: 1 ページ: 15-34

    • DOI

      10.1587/nolta.5.15

    • NAID

      130003386649

    • ISSN
      2185-4106
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] Fast Multiprecision Algorithm Like Quad-Double Arithmetic2013

    • 著者名/発表者名
      Naoya Yamanaka, Shin'ichi Oishi
    • 雑誌名

      2013 International Symposium on Nonlinear Theory and its Applications

      巻: 2013

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] 倍精度に基づく四倍精度四則演算法の誤差とその応用2012

    • 著者名/発表者名
      山中 脩也,大石 進一
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 1791 ページ: 216-225

    • データソース
      KAKENHI-PROJECT-24700015
  • [雑誌論文] 最近点への丸めによる区間演算2012

    • 著者名/発表者名
      山中 脩也
    • 雑誌名

      数学セミナー

      巻: 2012年10月号 ページ: 16-20

    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境における能動的推論の活用とその実践2024

    • 著者名/発表者名
      鷹觜 莉子,山中 脩也,目黒 翔吾,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境の構築と実践2024

    • 著者名/発表者名
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • 学会等名
      しごと能力研究学会 第16回全国大会
    • データソース
      KAKENHI-PROJECT-23K11137
  • [学会発表] プログラミング学習における推論支援を目的とした問題群の構成法に関する一考察2024

    • 著者名/発表者名
      目黒 翔吾,山中 脩也,鷹觜 莉子,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] プログラミング学習における推論支援を目的とした問題群の構成法に関する一考察2024

    • 著者名/発表者名
      目黒 翔吾,山中 脩也,鷹觜 莉子,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境の構築と実践2024

    • 著者名/発表者名
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • 学会等名
      しごと能力研究学会 第16回全国大会
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境の構築と実践2024

    • 著者名/発表者名
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • 学会等名
      しごと能力研究学会 第16回全国大会
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] プログラミング学習における推論支援を目的とした問題群の構成法に関する一考察2024

    • 著者名/発表者名
      目黒 翔吾,山中 脩也,鷹觜 莉子,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-23K11137
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境における能動的推論の活用とその実践2024

    • 著者名/発表者名
      鷹觜 莉子,山中 脩也,目黒 翔吾,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] 推論の誘発を目的としたプログラミング学習環境における能動的推論の活用とその実践2024

    • 著者名/発表者名
      鷹觜 莉子,山中 脩也,目黒 翔吾,長 慎也,河原 弘幸
    • 学会等名
      研究報告コンピュータと教育(CE) 2024-CE-174
    • データソース
      KAKENHI-PROJECT-23K11137
  • [学会発表] 学習者による書き出しを支援するSlackBotの開発と運用2023

    • 著者名/発表者名
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • 学会等名
      情報処理学会情報教育シンポジウムSSS2023
    • データソース
      KAKENHI-PROJECT-23K11137
  • [学会発表] 学習者による書き出しを支援するSlackBotの開発と運用2023

    • 著者名/発表者名
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • 学会等名
      情報処理学会情報教育シンポジウムSSS2023
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] 学習者による書き出しを支援するSlackBotの開発と運用2023

    • 著者名/発表者名
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • 学会等名
      情報処理学会情報教育シンポジウムSSS2023
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] Practical Online Method of Situated Learning for Programming Involving Interaction with a Computer2022

    • 著者名/発表者名
      Riko Takanohashi (Meisei Univeristy, Tokyo, Japan, Japan) Naoya Yamanaka (Meisei Univeristy, Tokyo, Japan, Japan) Shinya Cho (Meisei Univeristy, Tokyo, Japan, Japan)
    • 学会等名
      IFIP WCCE 2022: World Conference on Computers in Education
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] The Tools Which Assist "Creating Questionsthrough Interaction with a Computer"2022

    • 著者名/発表者名
      Shinya Cho (Meisei Univrersity, Japan) Naoya Yamanaka (Meisei Universtiy, Japan) Shigeki Kitajima (Meisei University, Japan) Takayuki Konno (Meisei University, Japan)
    • 学会等名
      IFIP WCCE 2022: World Conference on Computers in Education
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] Practical online method of situated learning for programming involving interaction with a computer2022

    • 著者名/発表者名
      Riko Takanohashi (Meisei Univeristy, Tokyo, Japan, Japan) Naoya Yamanaka (Meisei Univeristy, Tokyo, Japan, Japan) Shinya Cho (Meisei Univeristy, Tokyo, Japan, Japan)
    • 学会等名
      IFIP WCCE 2022: World Conference on Computers in Education
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] Interaction with a Computer"2022

    • 著者名/発表者名
      Shinya Cho (Meisei Univrersity, Japan) Naoya Yamanaka (Meisei Universtiy, Japan) Shigeki Kitajima (Meisei University, Japan) Takayuki Konno (Meisei University, Japan)
    • 学会等名
      IFIP WCCE 2022: World Conference on Computers in Education
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03011
  • [学会発表] 研究報告「情報技術を用いたコロナ対策時の遠隔演習の一例とその働き方改革への応用」2020

    • 著者名/発表者名
      中村哲夫・長慎也・山中脩也
    • 学会等名
      しごと能力研究学会 2020年度第1回部会・研究会
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] "コードな学び" と創造性2019

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      プログラミングラボ 全国大会 基調講演
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] Verified Algorithm for High Order Differentiation Based on Hyper-dual Numbers2019

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2019 SIAM Conference on Computational Science and Engineering
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 知識創造コミュニティでのプログラミングの知のダイナミクス2019

    • 著者名/発表者名
      山中 脩也,北島 茂樹,長 慎也,今野 貴之,武富 拓也
    • 学会等名
      情報処理学会 夏のプログラミングシンポジウム2019
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] プログラミングの学びにおける暗黙知を表出させる「コンピュータとの対話」の実践2019

    • 著者名/発表者名
      喜田 綾芽,山中 脩也,北島 茂樹,長 慎也
    • 学会等名
      情報処理学会 夏のプログラミングシンポジウム2019
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] 創造の楽しさを知るためのプログラミングの学びのすすめ2019

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      明星小学校 教養講座
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] プログラミングの知のダイナミクスとAI2019

    • 著者名/発表者名
      山中 脩也,北島 茂樹,長 慎也,今野 貴之,武富 拓也
    • 学会等名
      しごと能力学会 全国大会
    • データソース
      KAKENHI-PROJECT-19K03153
  • [学会発表] 数値積分の誤差項についての一考察 ー精度を保証したいという視点からー2019

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      数学と現象 in 那須
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified High Order Differentiation Algorithm Based on Hyper-dual Numbers2019

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2019 Mini-Workshop on Computational Science (MWCS2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 数値計算に潜む罠と精度保証2018

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      応用数理 学生・若手研究者のための研究交流会
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm for the sine integral2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm of High Order Differential using Hyper Dual Numbers2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2018 Workshop on Recent views of Nonlinear Analysis
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      2018 Workshop on recent Results of Mathematical Science and Computer Assisted Proofs
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 乗除算の数値計算誤差を愉しむ2018

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      数学と現象 in 清里
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Hyper Dual Number の性質を用いた高階微分の精度保証付き数値計算法2018

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Traps in numerical calculation and techniques of verified numerical computation2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      6th TWSIAM Meeting
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm for the sine integral2018

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm for Gamma Function using Double Exponential Formula and Its Applications2017

    • 著者名/発表者名
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • 学会等名
      The 36th JSST Annual International Conference on Simulation Technology (JSST2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 半無限積分における精度保証付き数値計算法と高精度計算2017

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      第5回 大規模並列数値計算技術に関する研究集会
    • 発表場所
      兵庫県神戸市
    • 年月日
      2017-03-27
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm for the Gamma Function using Double Exponential Formula2017

    • 著者名/発表者名
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • 学会等名
      The 53rd ANZIAM Conference
    • 発表場所
      Adelaide, Australia
    • 年月日
      2017-02-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 数値計算に潜む罠と精度保証2017

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      数学と現象 in 清里
    • 発表場所
      山梨県北杜市
    • 年月日
      2017-01-31
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Performance Evaluation of Verified Computation for Linear System on Supercomputer2016

    • 著者名/発表者名
      Yusuke Morikura, Daichi Mukunoki, Takeshi Fukaya, Naoya Yamanaka
    • 学会等名
      The 11th East Asia SIAM Conference
    • 発表場所
      University of Macau
    • 年月日
      2016-06-20
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 半無限区間の精度保証付き数値積分法2016

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      数学と現象 in 奥多摩
    • 発表場所
      東京都西多摩郡
    • 年月日
      2016-07-28
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Algorithm for the Modified Bessel Function of the Second Kind2016

    • 著者名/発表者名
      Naoya Yamanaka, Tomoaki Okayama, Shin’ichi Oishi
    • 学会等名
      5th European Seminar on Computing
    • 発表場所
      Pilsen, Czech Republic
    • 年月日
      2016-06-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] 大規模並列計算機における連立1次方程式の精度保証付き数値計算に対する性能評価2016

    • 著者名/発表者名
      森倉悠介,椋木大地,深谷猛,山中脩也,大石進一
    • 学会等名
      第157回ハイパフォーマンスコンピューティング研究発表会
    • 発表場所
      沖縄県那覇市
    • 年月日
      2016-12-21
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] DE 公式を用いた変形 Bessel 関数の精度保証付き数値計算2016

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      日本応用数理学会 研究部会連合発表会
    • 発表場所
      兵庫県神戸市 神戸学院大学
    • 年月日
      2016-03-05
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 精度保証における高精度数値計算2016

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      非線形問題の解法に関する研究会「第1回非線形・可視化 部門研究会」
    • 発表場所
      岐阜県土岐市
    • 年月日
      2016-08-01
    • データソース
      KAKENHI-PROJECT-16K16060
  • [学会発表] Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval2015

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
    • 発表場所
      Zuse Institute Berlin, Berlin, Germany
    • 年月日
      2015-11-12
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Verified Numerical Algorithm for Real Gamma Function using DE-Quadrature2015

    • 著者名/発表者名
      Naoya Yamanaka
    • 学会等名
      CREST Workshop
    • 発表場所
      静岡県伊東市 ホテル伊東パウエル
    • 年月日
      2015-10-25
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 特異性を含む積分計算での精度保証と高精度計算2015

    • 著者名/発表者名
      山中 脩也
    • 学会等名
      研究集会「数学と現象」
    • 発表場所
      東京都大島町 ホテル白岩
    • 年月日
      2015-07-29
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Fast quadruple-double floating point format2014

    • 著者名/発表者名
      Naoya Yamanaka, Shin'ichi Oishi
    • 学会等名
      2014 International Workshop on Numerical Verification and its Applications
    • 発表場所
      早稲田大学
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 高速な疑似六倍精度・疑似八倍精度計算法の提案2014

    • 著者名/発表者名
      山中 脩也,大石 進一
    • 学会等名
      多倍長精度計算フォーラム 第4回研究会
    • 発表場所
      工学院大学
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 倍精度浮動小数点演算を用いた高速八倍精度計算法2013

    • 著者名/発表者名
      山中 脩也,大石 進一
    • 学会等名
      第42回数値解析シンポジウム
    • 発表場所
      松山
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 倍精度浮動小数点演算を用いた高精度計算の高速化とその信頼性について2013

    • 著者名/発表者名
      山中 脩也,大石 進一
    • 学会等名
      九州大学 数値解析セミナー
    • 発表場所
      アクロス福岡
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 倍精度浮動小数点演算を用いた高速八倍精度計算法2013

    • 著者名/発表者名
      山中 脩也,大石 進一
    • 学会等名
      日本応用数理学会2013年度年会
    • 発表場所
      アクロス福岡
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Fast Verified Division Algorithm for Double-double Arithmetic2012

    • 著者名/発表者名
      N. Yamanaka, S. Oishi
    • 学会等名
      Fifth Conference on Numerical Analysis and Applications
    • 発表場所
      Lozenetz, Bulgaria
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 数値積分の精度保証化技術 -特異点を含む積分の高信頼な結果を得るために-2012

    • 著者名/発表者名
      山中脩也, 大石進一
    • 学会等名
      早稲田大学理工学研究所主催精度保証付き数値計算ワークショップ
    • 発表場所
      全日空稚内ホテル
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 対数特異性を持つ積分に対する精度保証付き数値積分法2012

    • 著者名/発表者名
      山中脩也, 柏木雅英, 大石進一
    • 学会等名
      第41回数値解析シンポジウム
    • 発表場所
      群馬県渋川市
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 高精度で高可搬な精度保証付き高速初等関数計算法の構築2012

    • 著者名/発表者名
      山中脩也
    • 学会等名
      第24回「談話会」
    • 発表場所
      芝浦工業大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Chebyshev 級数展開を用いた多項式近似について2012

    • 著者名/発表者名
      山中脩也, 大石進一
    • 学会等名
      環瀬戸内ワークショップ
    • 発表場所
      土庄町総合会館「フレトピアホール」
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 区間演算とその応用2012

    • 著者名/発表者名
      山中脩也
    • 学会等名
      2012年 若手の会 単独研究会
    • 発表場所
      東京大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Fast infimum-supremum interval operations for double-double arithmetic in rounding to nearest2012

    • 著者名/発表者名
      N. Yamanaka, S. Oishi
    • 学会等名
      The 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • 発表場所
      Novosibirsk, Russia
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Accurate and Rigorous Logarithm Function Algorithm2012

    • 著者名/発表者名
      N. Yamanaka, S. Oishi
    • 学会等名
      2012 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Palma de Mallorca, Spain
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 特異点を持つ積分に対する精度保証付き数値計算法-積分における無限の評価2012

    • 著者名/発表者名
      山中脩也
    • 学会等名
      第4回横幹連合総合シンポジウム
    • 発表場所
      日本大学津田沼キャンパス
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Accurate and Rigorous Logarithm Function Algorithm in Rounding to Nearest2012

    • 著者名/発表者名
      N. Yamanaka, S. Oishi
    • 学会等名
      The 8th East Asia Section of SIAM Conference
    • 発表場所
      Taipei, Taiwan
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 精度保証付き数値計算法入門2012

    • 著者名/発表者名
      山中脩也
    • 学会等名
      第11 回「計算機を用いた数学研究」GCOE セミナー
    • 発表場所
      京都大学
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] Product Decomposition and Its Applications2012

    • 著者名/発表者名
      N. Yamanaka, S. Oishi
    • 学会等名
      2012 SIAM Conference on Applied Linear Algebra
    • 発表場所
      Valencia, Spain
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] A method of calculating faithful rounding of l2-norm for n-vectors

    • 著者名/発表者名
      Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanaka and Shin’ichi Oishi
    • 学会等名
      16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      Germany, Wurzburg
    • 年月日
      2014-09-21 – 2014-09-26
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] 高信頼・高精度・高可搬な数値計算法

    • 著者名/発表者名
      山中脩也
    • 学会等名
      計算数学研究集会
    • 発表場所
      リード・アズーロ,東京都,八丈島
    • 年月日
      2014-09-07 – 2014-09-08
    • データソース
      KAKENHI-PROJECT-24700015
  • [学会発表] ある形をした半無限積分の精度保証付き数値計算法

    • 著者名/発表者名
      山中脩也
    • 学会等名
      精度保証付き数値計算の最近の展開
    • 発表場所
      北九州国際会議場,福岡県,北九州市
    • 年月日
      2015-03-08 – 2015-03-10
    • データソース
      KAKENHI-PROJECT-24700015
  • 1.  長 慎也 (80350479)
    共同の研究課題数: 2件
    共同の研究成果数: 24件
  • 2.  北島 茂樹 (00712449)
    共同の研究課題数: 2件
    共同の研究成果数: 13件
  • 3.  今野 貴之 (70632602)
    共同の研究課題数: 2件
    共同の研究成果数: 11件

URL: 

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi