26/07/19 18:15:58.11 nUKgsSja.net
>>327 補足
>報告書全文 ▶
>URLﾘﾝｸ(github.com)
>8. On the logic from theorem 3.11 to corollary 3.12
>9. Points to be clarified
いま、ざっと斜め読みしてみた
P44 Figure 6. The η algorithm
が、キモだろうね
その解説が
直後の 9.1. The η algorithm. で
Step 1～9まで
9.2. The main goal
9.3. Minimal structure of the η-algorithm.
がまとめか
まさに 乞うご期待
ですね