>>79
ただ、今回のは「行間を埋める」じゃなくて、何が仮定されてるのか
よくわからんから証明をチェックしてみました〜って話だから、
「自明をコンピュータで埋める」とは違うかと。

論文の自明は「ルーティンだけどめんどくさい」が多いので、
さまざまなルーティンを全部プログラムにぶち込むのは今のところは
不可能。今回は、ジョルダンに特化してるわけで、何にでも使える
わけではない。