今回は「ドライバ」についてやや詳しい話をする。 ……というと「またか」と思った人もいるだろう。dvipdfmx を使うならドライバオプションは dvipdfmx にしろ、云々。そう、確かにそのドライバの話なんだが、ここで質問。「ドライバ」という用語はどういうも…