Nakaya Yusuke

Research field (1)： Learning support systems

Research theme for competitive and other funds (5)：

2023 - 2026 Development and evaluation of problems and tools for strengthening tracing ability in programming beginners
2008 - 2010 Circuit- and graph-theoretic approach to the accuracy-guaranteed algorithm for a general-purpose circuit simulator
2004 - 2006 非線形方程式に対する解の存在検証の高速化に関する研究
2001 - 2002 非線形方程式に対する精度保証付き数値計算法に関する研究
精度保証付き数値計算

MISC (4)：

非線形方程式に対する精度保証付き数値計算法. 日本ファジィ学会第10回インテリジェント・システム・シンポジウム講演論文集. 2000. pp.61-64
A Numerical Method of Proving the Existence of Solution for Nonlinear Equations with Guaranteed Accuracy. Proc. of 2000 International Symposium on Nonlinear Theory and its Applications (NOLTA2000). 2000. Vol.2, pp689-691
非線形方程式の解の非存在の厳密な数値的検証法. 1999年電子情報通信学会ソサエティ大会講演論文集. 1999. A-2-7
Numerical Verification of Nonexistence of Solutions for Nonlinear Equations and its Application to All Solutions Algorithm. Proc. of 1999 International Symposium on Nonlinear Theory and its Applications (NOLTA '99). 1999. Vol.2, pp.835-838

Association Membership(s) (1)：

電子情報通信学会

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

Return to Previous Page