>>196
基礎研究であっても、現実的成果がないと廃れちゃうんだよ。
今やるべきことは、応用を考えることだよ。
Coqで定理証明〜なんてやっていても仕方が無い。