* 専門用語は、元の英語を書いておく。これで何の訳語なのかわかるようになり、資料価値が向上する。 * ついでに専門用語が登場したら `**` で囲って強調しておく。 * また外国人の人名はいままで英名で表記していた。これは数学科の慣例であるが、「素人はなんと発音したらいいのかわからない」ため、カタカナ表記を基本とするように変更する。
