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

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

Research Project

Project/Area Number 16K16060
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field High performance computing
Research InstitutionMeisei University

Principal Investigator

Yamanaka Naoya  明星大学, 情報学部, 准教授 (90548877)

Project Period (FY) 2016-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2020)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2017: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords高精度計算 / 誤差解析 / 精度保証付き数値計算 / 数値解析 / 高性能計算 / 精度保証
Outline of Final Research Achievements

The purpose of this research is to extend a framework of 4H-Algorithm for some special functions. Here, the 4H-algorithm means a fast numerical algorithm retaining high reliability, high accuracy and high portability. In this research we have proposed algorithms with complex variables for Gamma function, Modified Bessel function, Sinc function. Moreover, we succeeded in developing algorithm for high order differential based on the hyper dual numbers, so that we can develop the 4H-algorithm for other special functions.

Academic Significance and Societal Importance of the Research Achievements

複素変数に対する特殊関数の計算について,倍精度数だけを利用して(高可搬)、倍精度数のより高精度な精度を(高精度)、精度保証付きで達成する(高信頼)、既存手法より実行時間が早い(高速)、計算アルゴリズムの設計法を構築したことにより,現在使っている計算機環境のまま、僅かなソフトウエアの変更で、従来の精度の倍の結果を精度保証付きで得られ、誤りの無い解が計算できる高速なアルゴリズム(4H-Algorithm)に基づいた「安心・安全な数値結果」を利用することができるようになった.

Report

(6 results)
  • 2020 Annual Research Report   Final Research Report ( PDF )
  • 2019 Research-status Report
  • 2018 Research-status Report
  • 2017 Research-status Report
  • 2016 Research-status Report
  • Research Products

    (25 results)

All 2020 2019 2018 2017 2016

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results) Presentation (23 results) (of which Int'l Joint Research: 13 results) Book (1 results)

  • [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
    • Related Report
      2020 Annual Research Report 2019 Research-status Report
    • Peer Reviewed / Open Access
  • [Presentation] Verified High Order Differentiation Algorithm Based on Hyper-dual Numbers2019

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2019 Mini-Workshop on Computational Science (MWCS2019)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 数値積分の誤差項についての一考察 ー精度を保証したいという視点からー2019

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 那須
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Hyper Dual Numbersの行列表示を用いた微分計算手法の基礎理論整備2019

    • Author(s)
      井元 佑介
    • Organizer
      第15回 研究部会連合発表会
    • Related Report
      2018 Research-status Report
  • [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
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Traps in numerical calculation and techniques of verified numerical computation2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      6th TWSIAM Meeting
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Hyper-dual numbers を用いた数値微分の研究2018

    • Author(s)
      井元 佑介
    • Organizer
      数学と現象 in 長瀞
    • Related Report
      2018 Research-status Report
  • [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)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Verified Algorithm of Hyperfunction Method for Numerical Integration2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Verified Algorithm for the sine integral2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      The 37th JSST Annual International Conference on Simulation Technology (JSST2018)
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] Hyper Dual Number の性質を用いた高階微分の精度保証付き数値計算法2018

    • Author(s)
      山中 脩也
    • Organizer
      第2回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2018)
    • Related Report
      2018 Research-status Report
  • [Presentation] Verified Algorithm of High Order Differential using Hyper Dual Numbers2018

    • Author(s)
      Naoya Yamanaka
    • Organizer
      2018 Workshop on Recent views of Nonlinear Analysis
    • Related Report
      2018 Research-status Report
    • Int'l Joint Research
  • [Presentation] 乗除算の数値計算誤差を愉しむ2018

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 清里
    • Related Report
      2017 Research-status Report
  • [Presentation] 数値計算に潜む罠と精度保証2018

    • Author(s)
      山中 脩也
    • Organizer
      応用数理 学生・若手研究者のための研究交流会
    • Related Report
      2017 Research-status Report
  • [Presentation] 半無限積分における精度保証付き数値計算法と高精度計算2017

    • Author(s)
      山中 脩也
    • Organizer
      第5回 大規模並列数値計算技術に関する研究集会
    • Place of Presentation
      兵庫県神戸市
    • Year and Date
      2017-03-27
    • Related Report
      2016 Research-status Report
  • [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
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 数値計算に潜む罠と精度保証2017

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 清里
    • Place of Presentation
      山梨県北杜市
    • Year and Date
      2017-01-31
    • Related Report
      2016 Research-status Report
  • [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)
    • Related Report
      2017 Research-status Report
    • Int'l Joint Research
  • [Presentation] 大規模並列計算機における連立1次方程式の精度保証付き数値計算に対する性能評価2016

    • Author(s)
      森倉悠介,椋木大地,深谷猛,山中脩也,大石進一
    • Organizer
      第157回ハイパフォーマンスコンピューティング研究発表会
    • Place of Presentation
      沖縄県那覇市
    • Year and Date
      2016-12-21
    • Related Report
      2016 Research-status Report
  • [Presentation] 精度保証における高精度数値計算2016

    • Author(s)
      山中 脩也
    • Organizer
      非線形問題の解法に関する研究会「第1回非線形・可視化 部門研究会」
    • Place of Presentation
      岐阜県土岐市
    • Year and Date
      2016-08-01
    • Related Report
      2016 Research-status Report
  • [Presentation] 半無限区間の精度保証付き数値積分法2016

    • Author(s)
      山中 脩也
    • Organizer
      数学と現象 in 奥多摩
    • Place of Presentation
      東京都西多摩郡
    • Year and Date
      2016-07-28
    • Related Report
      2016 Research-status Report
  • [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
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [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
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Book] 精度保証付き数値計算の基礎2018

    • Author(s)
      大石 進一 (著, 編集), 荻田 武史 (著), 柏木 雅英 (著), 劉 雪峰 (著), 尾崎 克久 (著), 山中 脩也 (著), 高安 亮紀 (著), 関根 晃太 (著), 木村 拓馬 (著), 市原 一裕 (著), 正井 秀俊 (著), 森倉 悠介 (著), Siegfried M. Rump (著)
    • Total Pages
      311
    • Publisher
      コロナ社
    • ISBN
      4339028878
    • Related Report
      2018 Research-status Report

URL: 

Published: 2016-04-21   Modified: 2022-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi