generated at
完全β簡約
full beta-reduction
任意の順番で簡約する