メモ。 なお，これらの方法で作成した PDF のフォントのプロパティを Acrobat で見ると，フォント名はしっかり NimbusRomNo9L とかになっている．なので， IEEE の指示である「Times を使え」に，厳密には従ってないのではないかという一抹の不安が頭をよぎ…