> プログラミングの数学的側面を固めたのは彼。

なんのことだ?