[Grass 001] 理論 カウント 関数 エネルギー