0001132人目の素数さん垢版 | 大砲2021/05/18(火) 10:40:06.79ID:/q5maJEj カリーハワード同型から数学はプログラミングとみなせる プログラマはもっと多くのことを扱う よってプログラマ > 数学者