結果を整理していたら，論点をみつけて，一文を考察に加えた．アイデアを一晩寝かした後に，プログラムに要素を足して，nlrxに流し込んだら，オートマティックにデータを得て，それを比較すれば検証が終わることに気づいて，プログラムを書いた． 散歩をした…