「文字コードとその実装」 TeX ドキュメント