About TAKADA HIROAKI
About 東大 大学院新領域創成科学研究科
About YOSHIZOE KAZUKI
About 理研 革新知能統合研究セ
About ISHII DAISUKE
About 福井大 大学院工学研究科
About TSUDA KOJI
About 東大 大学院新領域創成科学研究科
About 電子情報通信学会技術研究報告
About optimization
About interval arithmetic
About optimization method
About algorithm
About tree search
About speedup
About solution(mathematics)
About parameter estimation
About assurance
About theorem proving
About comparative test
About objective function
About Newton-Raphson method
About global optimization
About Krawczyk法
About pruning
About local optimal solution
About accuracy assurance
About nonlinear function
About Numerical computation
About 精度保証
About 大域的最適化
About 局所解
About 高速化