Yamanaka Naoya

ヤマナカナオヤ | Yamanaka Naoya

Affiliation and department：

Research field (3)： High-performance computing , Basic mathematics , Computational science

Research keywords (2)： Verified Numerical Computation , 精度保証付き数値計算

Research theme for competitive and other funds (5)：

2022 - 2027 コンピュータとの対話を誘発する状況論的プログラミング学習教材作成支援システム開発
2019 - 2024 コンピュータとの対話で学びを深める状況論的プログラミング学習環境システムの開発
2016 - 2021 Extension of Fast Numerical Algorithms for Special Functions retaining High Reliability, High Accuracy and High Portability
2012 - 2016 Development of Fast Numerical Algorithms for Elementary and Special Functions retaining High Reliability, High Accuracy and High Portability
-

Papers (13)：

ｍore...

Books (2)：

Works (11)：

Verified Algorithm for the sine integral
2018 -
Verified Algorithm for Gamma Function using Double Exponential Formula and Its Applications
2017 -
A method of calculating faithful rounding of l2-norm for n-vectors
2014 -
「最近点への丸めによる区間演算」(特集「計算の性能ー速度・環境・正確さ」内)
2013 -
Fast Multiprecision Algorithm Like Quad-Double Arithmetic
2013 -

ｍore...

Education (3)：

2008 - 2011 Waseda University Graduate School of Fundamental Science and Engineering
2006 - 2008 Waseda University Graduate School, Division of Science and Engineering
2002 - 2006 Shibaura Institute of Technology Faculty of Engineering

Professional career (3)：

Work history (5)：

Awards (2)：

Association Membership(s) (4)：

電子情報通信学会 , 日本応用数理学会 , 日本シミュレーション学会 , しごと能力研究学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page