http://d.hatena.ne.jp/KZR/20080331 Mencius Moldbug, What's wrong with CS research コンピューター・サイエンス――いわゆる "CS" は，何も面白いものを生み出したりはしない，という暴言。 せっかく面白い話なのに、proof carrying codeとかC言語の形式的…