キング(代数的調和関数論と数理論理学)とネバダ(非可換環論とフィールズ賞)とkurikuri(砦建設と資格試験)と(T_T)(微分方程式と教職)