戻る

……というわけで、「人々が (曖昧な用法などを踏みながらも頑張って解消して) 定理証明支援系の上での形式化を進めていくことで状況は変化してきている」ということを踏まえたうえで「ワイが死ぬまでに良くなってるといいな (望みがないわけではない)」くらいのことを言っているように読めるので、「『〜解消される可能性がある』と見通している」とまで言われると、いやそこまで強い未来予想はしてないよね？ という気持ちに。
(ワイの英語力の問題なのか？)