はじめに この記事の来歴 この記事の目的 入門書や概説書のコラム、簡単な解説など 専門書・研究論文 その他（未確認など） はじめに この記事の来歴 この記事は元々ははてなグループのブログに書いた記事で、はてなグループの廃止によりこちらのブログに移…