そのような形式化がすべての分野に行き渡るまで
あと何年を要するだろうか