Yamanaka Naoya 山中脩也

Researcher Number	90548877
Other IDs	https://orcid.org/0000-0003-1504-579X
Affiliation (Current)	2026: 明星大学, 情報学部, 教授 2026: 明星大学, データサイエンス学環, 教授
Affiliation (based on the past Project Information) *help	2025: 明星大学, データサイエンス学環, 教授 2024 – 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

データとの対話で意思決定の学びを深める状況論的データサイエンス学習環境の開発
- 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

[Book] 根拠をつくるワークブック 24AUT2024
- Author(s)
  河原弘幸，山中脩也，鷹觜莉子，目黒翔吾
- Total Pages
  84
- Publisher
  mir.ai terrace
- ISBN
  9784991348624
- Data Source
  KAKENHI-PROJECT-22K03011
[Book] 根拠をつくるワークブック 24SPR2024
- Author(s)
  河原弘幸，山中脩也，鷹觜莉子，目黒翔吾
- Total Pages
  84
- Publisher
  mir.ai terrace
- ISBN
  9784991348600
- Data Source
  KAKENHI-PROJECT-22K03011
[Book] 精度保証付き数値計算の基礎2018
- Author(s)
  大石進一 (著, 編集), 荻田武史 (著), 柏木雅英 (著), 劉雪峰 (著), 尾崎克久 (著), 山中脩也 (著), 高安亮紀 (著), 関根晃太 (著), 木村拓馬 (著), 市原一裕 (著), 正井秀俊 (著), 森倉悠介 (著), Siegfried M. Rump (著)
- Total Pages
  311
- Publisher
  コロナ社
- ISBN
  4339028878
- Data Source
  KAKENHI-PROJECT-16K16060
[Journal Article] Development of a Programming Learning Environment based on the Free-Energy Principle2025
- Author(s)
  Shigeki Kitajima, Naoya Yamanaka, Shinya Cho, Takayuki Konno
- Journal Title
  
  Annual Bulletin of the Graduate School of Education, Meisei University
  
  Volume: 10 Pages: 1-16
- Open Access
- Data Source
  KAKENHI-PROJECT-23K11137
[Journal Article] 数理・データサイエンス・AIに基づく同学習環境の2024年度の改善と深化：リテラシーレベルと専門を繋ぐ基礎基盤の整備2025
- Author(s)
  山中脩也，河原弘幸，篠原聡，長慎也，鷹觜莉子，目黒翔吾
- Journal Title
  
  明星大学研究紀要情報学部
  
  Volume: 31 Pages: 1-16
- Open Access
- Data Source
  KAKENHI-PROJECT-23K11137
[Journal Article] Development of a Programming Learning Environment based on the Free-Energy Principle2025
- Author(s)
  Shigeki Kitajima, Naoya Yamanaka, Shinya Cho, Takayuki Konno
- Journal Title
  
  Annual Bulletin of the Graduate School of Education, Meisei University
  
  Volume: 10 Pages: 1-16
- Open Access
- Data Source
  KAKENHI-PROJECT-22K03011
[Journal Article] 数理・データサイエンス・AIに基づく同学習環境の2024年度の改善と深化：リテラシーレベルと専門を繋ぐ基礎基盤の整備2025
- Author(s)
  山中脩也，河原弘幸，篠原聡，長慎也，鷹觜莉子，目黒翔吾
- Journal Title
  
  明星大学研究紀要情報学部
  
  Volume: 31 Pages: 1-16
- Open Access
- Data Source
  KAKENHI-PROJECT-22K03011
[Journal Article] プログラミング学習環境における能動的推論の活用とその評価2024
- Author(s)
  北島茂樹，山中脩也，長慎也，今野貴之，中川智之
- Journal Title
  
  2024 PC Conference 論文集
  
  Volume: - Pages: 93-96
- Open Access
- Data Source
  KAKENHI-PROJECT-23K11137
[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] プログラミング学習環境における能動的推論の活用とその評価2024
- Author(s)
  北島茂樹，山中脩也，長慎也，今野貴之，中川智之
- Journal Title
  
  2024 PC Conference 論文集
  
  Volume: - Pages: 93-96
- Open Access
- Data Source
  KAKENHI-PROJECT-22K03011
[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
  2024年度第2回学習分析学会研究会
- Data Source
  KAKENHI-PROJECT-23K11137
[Presentation] 自由エネルギー原理に従うプログラミング学習環境の分析2024
- Author(s)
  鷹觜莉子，山中脩也，目黒翔吾，長慎也，北島茂樹，河原弘幸
- Organizer
  2024年度第1回学習分析学会研究会
- Data Source
  KAKENHI-PROJECT-23K11137
[Presentation] 自由エネルギー原理に従う学習環境におけるワークブックの導入の効果について2024
- Author(s)
  鷹觜莉子，目黒翔吾，河原弘幸，山中脩也
- Organizer
  2024年度第2回学習分析学会研究会
- Data Source
  KAKENHI-PROJECT-23K11137
[Presentation] 推論の誘発を目的としたプログラミング学習環境の構築と実践2024
- Author(s)
  鷹觜莉子，目黒翔吾，山中脩也，長慎也
- Organizer
  しごと能力研究学会第16回全国大会
- Data Source
  KAKENHI-PROJECT-22K03011
[Presentation] 数値計算に潜む罠と精度保証－なぜ演繹が重要なのか？－2024
- Author(s)
  山中脩也
- Organizer
  Mathematical Engineering Summer Seminar (MESS2024)
- Data Source
  KAKENHI-PROJECT-23K11137
[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
  Mathematical Engineering Summer Seminar (MESS2024)
- Data Source
  KAKENHI-PROJECT-22K03011
[Presentation] 自由エネルギー原理に従うプログラミング学習環境の分析2024
- Author(s)
  鷹觜莉子，山中脩也，目黒翔吾，長慎也，北島茂樹，河原弘幸
- Organizer
  2024年度第1回学習分析学会研究会
- Data Source
  KAKENHI-PROJECT-22K03011
[Presentation] 自由エネルギー原理での推論の誘発を目的とした学習材の構成法とその具体的実践2024
- Author(s)
  目黒翔吾，山中脩也，鷹觜莉子，北島茂樹
- Organizer
  2024年度第2回学習分析学会研究会
- Data Source
  KAKENHI-PROJECT-22K03011
[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: 28 results
2. 北島茂樹 (00712449)

# of Collaborated Projects: 2 results

# of Collaborated Products: 17 results
3. 今野貴之 (70632602)

# of Collaborated Projects: 2 results

# of Collaborated Products: 13 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

Yamanaka Naoya 山中 脩也

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

「経験を表出するための対話」を誘発する状況論的プログラミング学習環境の開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

超双対数の特徴を生かした高可搬で高精度かつ高信頼な高速微分計算手法の実現Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

コンピュータとの対話を誘発する状況論的プログラミング学習教材作成支援システム開発

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a Situational Programming Learning Environment System to Deepen Learning by Interacting with Computers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Extension of Fast Numerical Algorithms for Special Functions retaining High Reliability, High Accuracy and High PortabilityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Fast Numerical Algorithms for Elementary and Special Functions retaining High Reliability, High Accuracy and High PortabilityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 根拠をつくるワークブック 24AUT2024

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 根拠をつくるワークブック 24SPR2024

Author(s)

Total Pages

Publisher

ISBN

Data Source

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

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Development of a Programming Learning Environment based on the Free-Energy Principle2025

Author(s)

Journal Title

Data Source

[Journal Article] 数理・データサイエンス・AIに基づく同学習環境の2024年度の改善と深化：リテラシーレベルと専門を繋 ぐ基礎基盤の整備2025

Author(s)

Journal Title

Data Source

[Journal Article] Development of a Programming Learning Environment based on the Free-Energy Principle2025

Author(s)

Journal Title

Data Source

[Journal Article] 数理・データサイエンス・AIに基づく同学習環境の2024年度の改善と深化：リテラシーレベルと専門を繋ぐ基礎基盤の整備2025

Author(s)

Journal Title

Data Source

Yamanaka Naoya 山中脩也

[Journal Article] 数理・データサイエンス・AIに基づく同学習環境の2024年度の改善と深化：リテラシーレベルと専門を繋ぐ基礎基盤の整備2025