2002-09-29 ■ 逆数学。椎名りんご(wnnでこの漢字が出ない)の命名かと思ってしまった。公理系から定理を導くところを、逆に定理からそれにふさわしい公理系を見つけ出すというものらしい。この調子で逆音楽、逆ダンス、逆空手、逆医学などを追求する猛者はいないか。