Knuth の METAFONT の本に出てくる「scrivener's tools」とは何ですか? 2024-6-16 • fonts とは何ですかscrivener's tool? この名前は Knuth の本で見つけましたMETAFONT。Google では見つかりませんでした。 関連情報