こういう賞って、受賞分野って、アルゴリズム理論や計算量理論、ばっかりで、
言語系（項書換、型理論、圏論、証明論、etc）の研究ではもらえないのかな？