今のところの各部門でのトップ

A 具体的なアルゴリズムがわかるもの
　Hardy Function + 多変数C1

B アルゴリズムを事実上調べる術は無いが計算可能なもの、概念のみ （あんまり意味ない）
　>>430

C 厳密に定義可能なもの
　>>538 の B[a](n) + 多変数C1

D 概念のみ
　Hardy Function + >>575

こんな感じでしょうか。