• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Yamanaka Naoya  山中 脩也

Researcher Number 90548877
Other IDs
  • ORCIDhttps://orcid.org/0000-0003-1504-579X
Affiliation (Current) 2025: 明星大学, 情報学部, 教授
2025: 明星大学, データサイエンス学環, 教授
Affiliation (based on the past Project Information) *help 2025: 明星大学, データサイエンス学環, 教授
2025: 明星大学, 情報学部, 教授
2016 – 2023: 明星大学, 情報学部, 准教授
2014 – 2015: 帝京平成大学, 現代ライフ学部, 助教
2013: 早稲田大学, 理工学術院, 研究院講師
2012: 早稲田大学, 理工学術院, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60100:Computational science-related / High performance computing / Fundamental theory of informatics
Except Principal Investigator
Basic Section 09080:Science education-related
Keywords
Principal Investigator
精度保証付き数値計算 / 誤差解析 / 高精度計算 / 高性能計算 / 数値解析 / 精度保証 / 数値計算
Except Principal Investigator
プログラミング学習 / 状況論的学習論 / 自由エネルギー原理 … More / プログラミング教育 / コンピュータとの対話 / 生成AI / 意思決定 / データサイエンス学習 / 教材作成支援システム / オンライン授業 / 学習支援システム / 発達の最近接領域 Less
  • Research Projects

    (7 results)
  • Research Products

    (86 results)
  • Co-Researchers

    (8 People)
  •  データとの対話で意思決定の学びを深める状況論的データサイエンス学習環境の開発

    • Principal Investigator
      篠原 聡
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09080:Science education-related
    • Research Institution
      Meisei University
  •  「経験を表出するための対話」を誘発する状況論的プログラミング学習環境の開発

    • Principal Investigator
      南畑 淳史
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09080:Science education-related
    • Research Institution
      Kansai University of International Studies
  •  超双対数の特徴を生かした高可搬で高精度かつ高信頼な高速微分計算手法の実現Principal Investigator

    • Principal Investigator
      山中 脩也
    • Project Period (FY)
      2023 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60100:Computational science-related
    • Research Institution
      Meisei University
  •  コンピュータとの対話を誘発する状況論的プログラミング学習教材作成支援システム開発

    • Principal Investigator
      北島 茂樹
    • Project Period (FY)
      2022 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09080:Science education-related
    • Research Institution
      Meisei University
  •  Development of a Situational Programming Learning Environment System to Deepen Learning by Interacting with Computers

    • Principal Investigator
      CHO Shinya
    • Project Period (FY)
      2019 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 09080:Science education-related
    • Research Institution
      Meisei University
  •  Extension of Fast Numerical Algorithms for Special Functions retaining High Reliability, High Accuracy and High PortabilityPrincipal Investigator

    • Principal Investigator
      Yamanaka Naoya
    • Project Period (FY)
      2016 – 2020
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      High performance computing
    • Research Institution
      Meisei University
  •  Development of Fast Numerical Algorithms for Elementary and Special Functions retaining High Reliability, High Accuracy and High PortabilityPrincipal Investigator

    • Principal Investigator
      Yamanaka Naoya
    • Project Period (FY)
      2012 – 2015
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Teikyo Heisei University
      Waseda University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 Other

All Journal Article Presentation Book

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

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

    • Author(s)
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • Journal Title

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

      Volume: 30 Pages: 1-8

    • Open Access
    • Data Source
      KAKENHI-PROJECT-22K03011
  • [Journal Article] 「明星大学版データサイエンスリテラシー」のグランドデザインと2023年度の実施報告2024

    • Author(s)
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • Journal Title

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

      Volume: 第30号 Pages: 1-8

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

    • Author(s)
      河原 弘幸,山中 脩也,篠原 聡,鷹觜 莉子,目黒 翔吾,長 慎也
    • Journal Title

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

      Volume: 30 Pages: 1-8

    • Open Access
    • Data Source
      KAKENHI-PROJECT-23K11137
  • [Journal Article] 自由エネルギー原理に従う循環的因果性の構成を支援するプログラミング学習環境の構築2022

    • Author(s)
      鷹觜 莉子 , 山中 脩也 , 長 慎也 , 北島 茂樹 , 丸山 農
    • Journal Title

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

      Volume: 12 Pages: 21-30

    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] オンラインプログラミング演習環境における対話の実践と評価2021

    • Author(s)
      北島茂樹,山中脩也,長慎也,今野貴之
    • Journal Title

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

      Volume: 50 Pages: 40-43

    • NAID

      130008123957

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] オンラインプログラミング演習環境における対話の実践と評価2021

    • Author(s)
      北島茂樹・山中脩也・長 慎也・今野貴之
    • Journal Title

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

      Volume: 50号

    • NAID

      130008123957

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] C.S. Peirce の探究過程と SECI モデルに基づくプログラミング演習の実践とその支援システム2020

    • Author(s)
      長慎也・山中脩也・北島茂樹・今野貴之,
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] Formulation for an Ogden-type hyperelastic analysis with hyper dual numbers and its performance evaluation2020

    • Author(s)
      藤川 正毅, 田中 真人, 井元 佑介, 三目 直登, 浦本 武雄, 山中 脩也
    • Journal Title

      Transactions of the JSME (in Japanese)

      Volume: 86 Issue: 881 Pages: 19-00256-19-00256

    • DOI

      10.1299/transjsme.19-00256

    • NAID

      130007790526

    • ISSN
      2187-9761
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Journal Article] 遠隔かつ集団環境での C.S. Peirce の探究過程とその実践2020

    • Author(s)
      山中脩也・長慎也・北島茂樹・今野貴之
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] 情報系初年次のプログラミング演習における,コンピュータとの対話を重視したコースデザインと支援システム2019

    • Author(s)
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • Journal Title

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

      Volume: 2019-CLE-29 Pages: 1-9

    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Journal Article] Verified Error Bounds for the Real Gamma Function using Double Exponential Formula over Semi-Infinite Interval2016

    • Author(s)
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • Journal Title

      Mathematical Aspects of Computer and Information Sciences

      Volume: 9582 Pages: 224-228

    • DOI

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

    • ISBN
      9783319328584, 9783319328591
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24700015, KAKENHI-PROJECT-24760060
  • [Journal Article] Interval Arithmetic and Its Implementations2016

    • Author(s)
      Naoya Yamanaka and Shin'ichi Oishi
    • Journal Title

      RIMS Kokyuroku Bessatsu

      Volume: B54 Pages: 71-98

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] Efficient calculations of faithfully rounded l2-norms of n-vectors2015

    • Author(s)
      Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin’ichi Oishi
    • Journal Title

      ACM Tansactions on Mathematical Software

      Volume: 41

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors2015

    • Author(s)
      Stef Graillat, Christoph Lauter, PING Tak Peter Tang, Naoya Yamanaka, Shin’ichi Oishi
    • Journal Title

      ACM Transactions on Mathematical Software

      Volume: 41 Issue: 4 Pages: 1-20

    • DOI

      10.1145/2699469

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] Fast quadruple-double floating point format2014

    • Author(s)
      Naoya Yamanaka, Shin'ichi Oishi
    • Journal Title

      NOLTA

      Volume: 5 Issue: 1 Pages: 15-34

    • DOI

      10.1587/nolta.5.15

    • NAID

      130003386649

    • ISSN
      2185-4106
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] Fast Multiprecision Algorithm Like Quad-Double Arithmetic2013

    • Author(s)
      Naoya Yamanaka, Shin'ichi Oishi
    • Journal Title

      2013 International Symposium on Nonlinear Theory and its Applications

      Volume: 2013

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] 倍精度に基づく四倍精度四則演算法の誤差とその応用2012

    • Author(s)
      山中 脩也,大石 進一
    • Journal Title

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

      Volume: 1791 Pages: 216-225

    • Data Source
      KAKENHI-PROJECT-24700015
  • [Journal Article] 最近点への丸めによる区間演算2012

    • Author(s)
      山中 脩也
    • Journal Title

      数学セミナー

      Volume: 2012年10月号 Pages: 16-20

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

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

    • Author(s)
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • Organizer
      しごと能力研究学会 第16回全国大会
    • Data Source
      KAKENHI-PROJECT-23K11137
  • [Presentation] プログラミング学習における推論支援を目的とした問題群の構成法に関する一考察2024

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

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

    • Author(s)
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • Organizer
      しごと能力研究学会 第16回全国大会
    • Data Source
      KAKENHI-PROJECT-22K03011
  • [Presentation] 推論の誘発を目的としたプログラミング学習環境の構築と実践2024

    • Author(s)
      鷹觜 莉子,目黒 翔吾,山中 脩也,長 慎也
    • Organizer
      しごと能力研究学会 第16回全国大会
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] プログラミング学習における推論支援を目的とした問題群の構成法に関する一考察2024

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

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

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

    • Author(s)
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • Organizer
      情報処理学会情報教育シンポジウムSSS2023
    • Data Source
      KAKENHI-PROJECT-23K11137
  • [Presentation] 学習者による書き出しを支援するSlackBotの開発と運用2023

    • Author(s)
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • Organizer
      情報処理学会情報教育シンポジウムSSS2023
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] 学習者による書き出しを支援するSlackBotの開発と運用2023

    • Author(s)
      長 慎也,山中 脩也,北島 茂樹,今野 貴之
    • Organizer
      情報処理学会情報教育シンポジウムSSS2023
    • Data Source
      KAKENHI-PROJECT-22K03011
  • [Presentation] Practical Online Method of Situated Learning for Programming Involving Interaction with a Computer2022

    • Author(s)
      Riko Takanohashi (Meisei Univeristy, Tokyo, Japan, Japan) Naoya Yamanaka (Meisei Univeristy, Tokyo, Japan, Japan) Shinya Cho (Meisei Univeristy, Tokyo, Japan, Japan)
    • Organizer
      IFIP WCCE 2022: World Conference on Computers in Education
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] The Tools Which Assist "Creating Questionsthrough Interaction with a Computer"2022

    • Author(s)
      Shinya Cho (Meisei Univrersity, Japan) Naoya Yamanaka (Meisei Universtiy, Japan) Shigeki Kitajima (Meisei University, Japan) Takayuki Konno (Meisei University, Japan)
    • Organizer
      IFIP WCCE 2022: World Conference on Computers in Education
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] Practical online method of situated learning for programming involving interaction with a computer2022

    • Author(s)
      Riko Takanohashi (Meisei Univeristy, Tokyo, Japan, Japan) Naoya Yamanaka (Meisei Univeristy, Tokyo, Japan, Japan) Shinya Cho (Meisei Univeristy, Tokyo, Japan, Japan)
    • Organizer
      IFIP WCCE 2022: World Conference on Computers in Education
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03011
  • [Presentation] Interaction with a Computer"2022

    • Author(s)
      Shinya Cho (Meisei Univrersity, Japan) Naoya Yamanaka (Meisei Universtiy, Japan) Shigeki Kitajima (Meisei University, Japan) Takayuki Konno (Meisei University, Japan)
    • Organizer
      IFIP WCCE 2022: World Conference on Computers in Education
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-22K03011
  • [Presentation] 研究報告「情報技術を用いたコロナ対策時の遠隔演習の一例とその働き方改革への応用」2020

    • Author(s)
      中村哲夫・長慎也・山中脩也
    • Organizer
      しごと能力研究学会 2020年度第1回部会・研究会
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] "コードな学び" と創造性2019

    • Author(s)
      山中 脩也
    • Organizer
      プログラミングラボ 全国大会 基調講演
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] Verified Algorithm for High Order Differentiation Based on Hyper-dual Numbers2019

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2019 SIAM Conference on Computational Science and Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 知識創造コミュニティでのプログラミングの知のダイナミクス2019

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

    • Author(s)
      喜田 綾芽,山中 脩也,北島 茂樹,長 慎也
    • Organizer
      情報処理学会 夏のプログラミングシンポジウム2019
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] 創造の楽しさを知るためのプログラミングの学びのすすめ2019

    • Author(s)
      山中 脩也
    • Organizer
      明星小学校 教養講座
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] プログラミングの知のダイナミクスとAI2019

    • Author(s)
      山中 脩也,北島 茂樹,長 慎也,今野 貴之,武富 拓也
    • Organizer
      しごと能力学会 全国大会
    • Data Source
      KAKENHI-PROJECT-19K03153
  • [Presentation] 数値積分の誤差項についての一考察 ー精度を保証したいという視点からー2019

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 那須
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified High Order Differentiation Algorithm Based on Hyper-dual Numbers2019

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2019 Mini-Workshop on Computational Science (MWCS2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 数値計算に潜む罠と精度保証2018

    • Author(s)
      山中 脩也
    • Organizer
      応用数理 学生・若手研究者のための研究交流会
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm for the sine integral2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm of High Order Differential using Hyper Dual Numbers2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2018 Workshop on Recent views of Nonlinear Analysis
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2018 Workshop on recent Results of Mathematical Science and Computer Assisted Proofs
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 乗除算の数値計算誤差を愉しむ2018

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 清里
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Hyper Dual Number の性質を用いた高階微分の精度保証付き数値計算法2018

    • Author(s)
      山中 脩也
    • Organizer
      第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Traps in numerical calculation and techniques of verified numerical computation2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      6th TWSIAM Meeting
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm for the sine integral2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm for Gamma Function using Double Exponential Formula and Its Applications2017

    • Author(s)
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • Organizer
      The 36th JSST Annual International Conference on Simulation Technology (JSST2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 半無限積分における精度保証付き数値計算法と高精度計算2017

    • Author(s)
      山中 脩也
    • Organizer
      第5回 大規模並列数値計算技術に関する研究集会
    • Place of Presentation
      兵庫県神戸市
    • Year and Date
      2017-03-27
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm for the Gamma Function using Double Exponential Formula2017

    • Author(s)
      Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi
    • Organizer
      The 53rd ANZIAM Conference
    • Place of Presentation
      Adelaide, Australia
    • Year and Date
      2017-02-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 数値計算に潜む罠と精度保証2017

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 清里
    • Place of Presentation
      山梨県北杜市
    • Year and Date
      2017-01-31
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Performance Evaluation of Verified Computation for Linear System on Supercomputer2016

    • Author(s)
      Yusuke Morikura, Daichi Mukunoki, Takeshi Fukaya, Naoya Yamanaka
    • Organizer
      The 11th East Asia SIAM Conference
    • Place of Presentation
      University of Macau
    • Year and Date
      2016-06-20
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 半無限区間の精度保証付き数値積分法2016

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 奥多摩
    • Place of Presentation
      東京都西多摩郡
    • Year and Date
      2016-07-28
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Algorithm for the Modified Bessel Function of the Second Kind2016

    • Author(s)
      Naoya Yamanaka, Tomoaki Okayama, Shin’ichi Oishi
    • Organizer
      5th European Seminar on Computing
    • Place of Presentation
      Pilsen, Czech Republic
    • Year and Date
      2016-06-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] 大規模並列計算機における連立1次方程式の精度保証付き数値計算に対する性能評価2016

    • Author(s)
      森倉悠介,椋木大地,深谷猛,山中脩也,大石進一
    • Organizer
      第157回ハイパフォーマンスコンピューティング研究発表会
    • Place of Presentation
      沖縄県那覇市
    • Year and Date
      2016-12-21
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] DE 公式を用いた変形 Bessel 関数の精度保証付き数値計算2016

    • Author(s)
      山中 脩也
    • Organizer
      日本応用数理学会 研究部会連合発表会
    • Place of Presentation
      兵庫県神戸市 神戸学院大学
    • Year and Date
      2016-03-05
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 精度保証における高精度数値計算2016

    • Author(s)
      山中 脩也
    • Organizer
      非線形問題の解法に関する研究会「第1回非線形・可視化 部門研究会」
    • Place of Presentation
      岐阜県土岐市
    • Year and Date
      2016-08-01
    • Data Source
      KAKENHI-PROJECT-16K16060
  • [Presentation] Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval2015

    • Author(s)
      Naoya Yamanaka
    • Organizer
      Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
    • Place of Presentation
      Zuse Institute Berlin, Berlin, Germany
    • Year and Date
      2015-11-12
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Verified Numerical Algorithm for Real Gamma Function using DE-Quadrature2015

    • Author(s)
      Naoya Yamanaka
    • Organizer
      CREST Workshop
    • Place of Presentation
      静岡県伊東市 ホテル伊東パウエル
    • Year and Date
      2015-10-25
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 特異性を含む積分計算での精度保証と高精度計算2015

    • Author(s)
      山中 脩也
    • Organizer
      研究集会「数学と現象」
    • Place of Presentation
      東京都大島町 ホテル白岩
    • Year and Date
      2015-07-29
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Fast quadruple-double floating point format2014

    • Author(s)
      Naoya Yamanaka, Shin'ichi Oishi
    • Organizer
      2014 International Workshop on Numerical Verification and its Applications
    • Place of Presentation
      早稲田大学
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 高速な疑似六倍精度・疑似八倍精度計算法の提案2014

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      多倍長精度計算フォーラム 第4回研究会
    • Place of Presentation
      工学院大学
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 倍精度浮動小数点演算を用いた高速八倍精度計算法2013

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      第42回数値解析シンポジウム
    • Place of Presentation
      松山
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 倍精度浮動小数点演算を用いた高精度計算の高速化とその信頼性について2013

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      九州大学 数値解析セミナー
    • Place of Presentation
      アクロス福岡
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 倍精度浮動小数点演算を用いた高速八倍精度計算法2013

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      日本応用数理学会2013年度年会
    • Place of Presentation
      アクロス福岡
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Fast Verified Division Algorithm for Double-double Arithmetic2012

    • Author(s)
      N. Yamanaka, S. Oishi
    • Organizer
      Fifth Conference on Numerical Analysis and Applications
    • Place of Presentation
      Lozenetz, Bulgaria
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 数値積分の精度保証化技術 -特異点を含む積分の高信頼な結果を得るために-2012

    • Author(s)
      山中脩也, 大石進一
    • Organizer
      早稲田大学理工学研究所主催精度保証付き数値計算ワークショップ
    • Place of Presentation
      全日空稚内ホテル
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 対数特異性を持つ積分に対する精度保証付き数値積分法2012

    • Author(s)
      山中脩也, 柏木雅英, 大石進一
    • Organizer
      第41回数値解析シンポジウム
    • Place of Presentation
      群馬県渋川市
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 高精度で高可搬な精度保証付き高速初等関数計算法の構築2012

    • Author(s)
      山中脩也
    • Organizer
      第24回「談話会」
    • Place of Presentation
      芝浦工業大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Chebyshev 級数展開を用いた多項式近似について2012

    • Author(s)
      山中脩也, 大石進一
    • Organizer
      環瀬戸内ワークショップ
    • Place of Presentation
      土庄町総合会館「フレトピアホール」
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 区間演算とその応用2012

    • Author(s)
      山中脩也
    • Organizer
      2012年 若手の会 単独研究会
    • Place of Presentation
      東京大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Fast infimum-supremum interval operations for double-double arithmetic in rounding to nearest2012

    • Author(s)
      N. Yamanaka, S. Oishi
    • Organizer
      The 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
    • Place of Presentation
      Novosibirsk, Russia
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Accurate and Rigorous Logarithm Function Algorithm2012

    • Author(s)
      N. Yamanaka, S. Oishi
    • Organizer
      2012 International Symposium on Nonlinear Theory and its Applications
    • Place of Presentation
      Palma de Mallorca, Spain
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 特異点を持つ積分に対する精度保証付き数値計算法-積分における無限の評価2012

    • Author(s)
      山中脩也
    • Organizer
      第4回横幹連合総合シンポジウム
    • Place of Presentation
      日本大学津田沼キャンパス
    • Invited
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Accurate and Rigorous Logarithm Function Algorithm in Rounding to Nearest2012

    • Author(s)
      N. Yamanaka, S. Oishi
    • Organizer
      The 8th East Asia Section of SIAM Conference
    • Place of Presentation
      Taipei, Taiwan
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 精度保証付き数値計算法入門2012

    • Author(s)
      山中脩也
    • Organizer
      第11 回「計算機を用いた数学研究」GCOE セミナー
    • Place of Presentation
      京都大学
    • Invited
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] Product Decomposition and Its Applications2012

    • Author(s)
      N. Yamanaka, S. Oishi
    • Organizer
      2012 SIAM Conference on Applied Linear Algebra
    • Place of Presentation
      Valencia, Spain
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] A method of calculating faithful rounding of l2-norm for n-vectors

    • Author(s)
      Stef Graillat, Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanaka and Shin’ichi Oishi
    • Organizer
      16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • Place of Presentation
      Germany, Wurzburg
    • Year and Date
      2014-09-21 – 2014-09-26
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] 高信頼・高精度・高可搬な数値計算法

    • Author(s)
      山中脩也
    • Organizer
      計算数学研究集会
    • Place of Presentation
      リード・アズーロ,東京都,八丈島
    • Year and Date
      2014-09-07 – 2014-09-08
    • Data Source
      KAKENHI-PROJECT-24700015
  • [Presentation] ある形をした半無限積分の精度保証付き数値計算法

    • Author(s)
      山中脩也
    • Organizer
      精度保証付き数値計算の最近の展開
    • Place of Presentation
      北九州国際会議場,福岡県,北九州市
    • Year and Date
      2015-03-08 – 2015-03-10
    • Data Source
      KAKENHI-PROJECT-24700015
  • 1.  CHO Shinya (80350479)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 24 results
  • 2.  北島 茂樹 (00712449)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 13 results
  • 3.  今野 貴之 (70632602)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 11 results
  • 4.  篠原 聡 (40328985)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  河原 弘幸 (50983954)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  南畑 淳史 (70754787)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  横野 光 (60535863)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  中谷 祐介 (80318807)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi