そういや整数だけで数学を記述するとかいう研究はどうなったんだろうか
だいぶ進展してるんだろうか