数学得意な人のプログラムで難しい定理をそのままコードに落としているのを見たことがある
直感的には意味不明で証明を見ないといけなかったけし数学的な基礎体力が違うんだと驚いた