C++の特殊化されたtemplateは、KL1等のGHC(Guard Horn Clause)に基づく言語の条件付clauseに似ています。 (特殊化してない場合はguardが常にtrueのclauseでしょうか)試しに先日のCollatz予想のステップ数を求めるtemplateを、だいたい同じような形でKL1に対…