第２目的のIUT検証は『3.11=>3.12』を目指してるんだから
「遠アーベル幾何学の形式化とそのライブラリ構築」と
直接的には関係してないからな

>>761 LANAを批判することになるだけなのでは