初めて使うので慣れるまでちょっと大変．だいぶ分かってきた．

今年のゲーデル賞は Alexander A. Razborov and Steven Rudich: Natural Proofs, Journal of Computer and System Sciences, Vol. 55, No. 1, 1997, pp. 24-35 に授与されることになったようです．