>>896
ホントに形式化されたらもう文句言う人間はでんやろ
形式化されてるか追ってく作業などただのルーティンワーク
しかし今回はそこまでやらないともう読む人おらんかもな
少なくとも現望月論文は外野で挑戦する人はもう出ない
まぁそもそも「できても認められないんじゃないか？」の心配より「形式化なんてできないんじゃないか」の方やろ
できるならもうとっくにやってるよ