generated at
βη簡約
β簡約とη簡約の組み合わせ