20/04/06 09:35:37.67 LIbx70F0.net
>>455
この証明は証明自体もすごいけど、
そのツールがすごいんでしょ。
いわゆる微分とかの開発と似たような感じ。
だから、関心の対象になってる。
できたら理解してみたいけどなあ。時間ない。
20/04/06 09:35:37.67 LIbx70F0.net
>>455
この証明は証明自体もすごいけど、
そのツールがすごいんでしょ。
いわゆる微分とかの開発と似たような感じ。
だから、関心の対象になってる。
できたら理解してみたいけどなあ。時間ない。