ビジネスルールをプログラム的にピュアに表現