離散数学まがいの数オリレベル出来るの少数育成するよりかは
自己言及的再帰的な定義が理解できるので関数型言語に対応できる大多数派を育成することの方が急務だと思うが
日本の中等教育の教員じゃ無理