2018-10-14 なんだか急に 頭が痛くなってきました。鼻水はもともと出ているのですが…。 秋の花粉症…みたいな気がしないでもない。 疲れているだけかもしれません。とりあえず, TeX打ちを進めたいので進んでいきます。