プログラマーに英語力は必要かという問題、英文法を理解できない人が形式言語を論理的に理解できるようにはならないという説を提唱したい