※この記事は、MathJax / XyJax 使いまくりで長いので、（クライアント側に負担がかかる）重いページです。この機会に書いておこうと色々詰め込んであり、ハナシが前後している箇所（良く言えばトップダウン的記述）もあります。記述の順番を整理する気力はな…