ファン・デル・ワールス密度汎関数法を用いた固体酸素の第一原理的研究