2019年11月 Verified Numerical Computations for Standard Eigenvalue Problems on Supercomputers The 38th JSST Annual International Conference on Simulation Technology (JSST2019) T. Terao, K. Ozaki, T. Ogita 記述言語 会議種別 口頭発表(一般)