>>86
>1990年以前の結果で
>形式化されてないものはブラックボックスとして使う
全くダメじゃん
19世紀までの数学は全部検証して始めて意味がある