「数学とコンピュータ」に関する Advent Calendar その 2 です! 3D 数学 機械学習 計算代数 型理論 証明支援 大規模計算 作ってみた系 などなど、数学とコンピュータに関することならなんでも!もちろんガチ勢でなくても👌 その1 その2 ← コレ