構文解析まで話は進んでないので「還元」はまた話飛んでるだろ。 イカ先生は「評価」の概念までしか語っていない。 「収束」の言葉遣いが構文解析を匂わしてはいるが。