>>220
>図を言葉に直さないといけないよね
図式を言葉で説明できないと？
ホモロジー代数は学んでないようですね
まあともかく
図式であれ数式であれ文章であれ
内容を厳密にリーンの？コードに翻訳するのは相当大変です
AI？できたものを検証せねばなりませんね
加藤さんが主導してどのようにコード化するのか
お手並み拝見というところですが
すべてを完全公開しなくては受け入れられないでしょうし
そうしたとしても
（どちらの結果であれ）受け入れられるまで相当な時間が掛かりそうです