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

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

Research Project

Project/Area Number 24700015
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionTeikyo Heisei University (2014-2015)
Waseda University (2012-2013)

Principal Investigator

Yamanaka Naoya  帝京平成大学, 現代ライフ学部, 助教 (90548877)

Project Period (FY) 2012-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥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 develop a framework of 4H-Algorithm for some elementary and 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 based on error free transformations for real elementary functions. Moreover, we succeeded in developing algorithms for some special functions based on an integration over semi-infinite interval, for example, the modified Bessel function of the second kind.

Report

(5 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • 2012 Research-status Report
  • Research Products

    (33 results)

All 2016 2015 2014 2013 2012

All Journal Article (8 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 6 results,  Acknowledgement Compliant: 1 results) Presentation (24 results) (of which Int'l Joint Research: 1 results,  Invited: 4 results) Book (1 results)

  • [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

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [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
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [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

    • Related Report
      2014 Research-status Report
    • Peer Reviewed
  • [Journal Article] Fast quadruple-double floating point format2014

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

      Nonlinear Theory and Its Applications, IEICE

      Volume: 5 Issue: 1 Pages: 15-34

    • DOI

      10.1587/nolta.5.15

    • NAID

      130003386649

    • ISSN
      2185-4106
    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] 最近点への丸めによる区間演算2012

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

      数学セミナー

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

    • Related Report
      2012 Research-status Report
  • [Journal Article] 倍精度に基づく四倍精度四則演算法の誤差とその応用2012

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

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

      Volume: 1791 Pages: 216-225

    • Related Report
      2012 Research-status Report
  • [Presentation] DE 公式を用いた変形 Bessel 関数の精度保証付き数値計算2016

    • Author(s)
      山中 脩也
    • Organizer
      日本応用数理学会 研究部会連合発表会
    • Place of Presentation
      兵庫県神戸市 神戸学院大学
    • Year and Date
      2016-03-05
    • Related Report
      2015 Annual Research Report
  • [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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [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
    • Related Report
      2015 Annual Research Report
  • [Presentation] 特異性を含む積分計算での精度保証と高精度計算2015

    • Author(s)
      山中 脩也
    • Organizer
      研究集会「数学と現象」
    • Place of Presentation
      東京都大島町 ホテル白岩
    • Year and Date
      2015-07-29
    • Related Report
      2015 Annual Research Report
  • [Presentation] ある形をした半無限積分の精度保証付き数値計算法2015

    • Author(s)
      山中脩也
    • Organizer
      精度保証付き数値計算の最近の展開
    • Place of Presentation
      北九州国際会議場,福岡県,北九州市
    • Year and Date
      2015-03-08 – 2015-03-10
    • Related Report
      2014 Research-status Report
  • [Presentation] A method of calculating faithful rounding of l2-norm for n-vectors2014

    • 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
    • Related Report
      2014 Research-status Report
  • [Presentation] 高信頼・高精度・高可搬な数値計算法2014

    • Author(s)
      山中脩也
    • Organizer
      計算数学研究集会
    • Place of Presentation
      リード・アズーロ,東京都,八丈島
    • Year and Date
      2014-09-07 – 2014-09-08
    • Related Report
      2014 Research-status Report
  • [Presentation] 高速な疑似六倍精度・疑似八倍精度計算法の提案2014

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      多倍長精度計算フォーラム 第4回研究会
    • Place of Presentation
      工学院大学
    • Related Report
      2013 Research-status Report
  • [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
      早稲田大学
    • Related Report
      2013 Research-status Report
  • [Presentation] 倍精度浮動小数点演算を用いた高精度計算の高速化とその信頼性について2013

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

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      第42回数値解析シンポジウム
    • Place of Presentation
      松山
    • Related Report
      2013 Research-status Report
  • [Presentation] 倍精度浮動小数点演算を用いた高速八倍精度計算法2013

    • Author(s)
      山中 脩也,大石 進一
    • Organizer
      日本応用数理学会2013年度年会
    • Place of Presentation
      アクロス福岡
    • Related Report
      2013 Research-status Report
  • [Presentation] Chebyshev 級数展開を用いた多項式近似について2012

    • Author(s)
      山中脩也, 大石進一
    • Organizer
      環瀬戸内ワークショップ
    • Place of Presentation
      土庄町総合会館「フレトピアホール」
    • Related Report
      2012 Research-status Report
  • [Presentation] 数値積分の精度保証化技術 -特異点を含む積分の高信頼な結果を得るために-2012

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

    • Author(s)
      山中脩也, 柏木雅英, 大石進一
    • Organizer
      第41回数値解析シンポジウム
    • Place of Presentation
      群馬県渋川市
    • Related Report
      2012 Research-status Report
  • [Presentation] 区間演算とその応用2012

    • Author(s)
      山中脩也
    • Organizer
      2012年 若手の会 単独研究会
    • Place of Presentation
      東京大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 精度保証付き数値計算法入門2012

    • Author(s)
      山中脩也
    • Organizer
      第11 回「計算機を用いた数学研究」GCOE セミナー
    • Place of Presentation
      京都大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 特異点を持つ積分に対する精度保証付き数値計算法-積分における無限の評価2012

    • Author(s)
      山中脩也
    • Organizer
      第4回横幹連合総合シンポジウム
    • Place of Presentation
      日本大学津田沼キャンパス
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 高精度で高可搬な精度保証付き高速初等関数計算法の構築2012

    • Author(s)
      山中脩也
    • Organizer
      第24回「談話会」
    • Place of Presentation
      芝浦工業大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [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
    • Related Report
      2012 Research-status Report
  • [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
    • Related Report
      2012 Research-status Report
  • [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
    • Related Report
      2012 Research-status Report
  • [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
    • Related Report
      2012 Research-status Report
  • [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
    • Related Report
      2012 Research-status Report
  • [Book] 応用数理ハンドブック2013

    • Author(s)
      日本応用数理学会 監修
    • Total Pages
      704
    • Publisher
      朝倉書店
    • Related Report
      2013 Research-status Report

URL: 

Published: 2013-05-31   Modified: 2023-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi