「何年何月何日が何曜日か」を出すための式を知りたい。