FORTRANの発明

BNF記法の発明

関数レベルプログラミングの提唱

ALGOLも？