Kohn-Sham方程式を有限要素で離散化して数値的に解くプログラム（ratomの後継）