generated at
部分評価

Run-time algorithm specialisation
Memoization
Strength reduction