>>33
ヒルベルトの問題の14番目は永田先生が解決されていたね。