yoriyukiさんのご指摘と質問に個別に答える前に、局所的な説明でまた誤解されるのもナンですから、全体的な話をしておきます。ルデーゲ氏とダボーラ氏のオハナシに少し補足します。これはまた、本編の下書きでもあります。●形式的体系からJavaScriptへまず、…