格子対称性に基づく導出.