義務教育に離散数学を導入するの、良いと思われる。