サーベイはサービスのタメじゃなく、「俺がこの難解な理論を最初に
理解したんだ、すげーだろ」って俺様自慢のために書くもんだよ
昔のブルバキセミナーによくある