陸（りく） の 11月1日

朝の机上で、整数論の論文を読み進めていた陸は、ある定理の証明に引っかかりを覚えた。紙に数式を書き出し、自分で検証するために簡単なツールをさらさらと組んでいく。六十年の経験が、プログラムの行と数学の記号を自然に往復させる。ちょっと手を止めて窓の外を見たとき、やはり答えは複数の道筋を持つことに気づいた。