1970年のMarvin MinskyによるTurning賞受賞講演の論文は、"Form and Content in Computer Science"というタイトルで、コンピュータサイエンスが形式化などを余りにも重視しすぎてしまって、内容について考えることがおろそかになっている、というのが大まか…