現在２０２０年１１月２９日１５時２６分である。（この投稿は、ほぼ２６６７文字）麻友「昨日の、 を使った、『 導入-仮定除去』の説明は、分かり易かった」若菜「さすが、矢印で、２６年悩んだ、お父さんですよね」結弦「でも、せっかくあそこまでやったん…