Re:>>882 論理的に無限の操作を含むかどうかはまた別の問題だ。