久々の作業。

授業の課題に対するレポートを作成するなんて，一体何年ぶりの事だろうか。

10題の問題を解くのに5日間かかり，その後，LaTeXで清書するのに4日間かかった。図入りでたったの5ページであるが，なかなかの作業だった。

そもそもオートマトンの状態遷移図を描くツールを選ぶことから始めなければならなかった。Asymptote や xy-pic に心を惹かれつつも，一番楽そうな Win Tpic に決めた。ちょっと前に使った時はバージョンが 4.28b だったのだが，いつの間にか 4.32a まで上がっていた。開発を継続して下さっているとは，何ともありがたいことである。

始めは一つの図を仕上げるのにかなり苦労したが，何枚か描いているうちにだいぶ慣れてきた。最大のネックは矢印付きの曲線が手軽に描けない点だったが，おそらく図を描くときの常套手段であろう，曲線の端にまっすぐな短い矢印を重ね書きするという解決策でクリアした。

オートマトンの状態遷移図は単純な図形からなるグラフなので，ちょっとした描画ソフトなら簡単に作成できる。そのせいか，需要はそこそこありそうなのに，お手軽な図生成ソフトやマクロがネットにほとんど落ちていない。Asymptote 用のマクロ（スタイルファイル）にそれっぽいもの (node.sty) を一つ見つけたくらいであろうか。それも僕には使いこなすのが大変そうだったので敬遠してしまった。

しかし，オートマトンの仕様を入力するだけでいい感じのグラフを生成するようなソフトや TeX 用のマクロなどがあってもよさそうなものである。情報系の人は自分用のをパパッと作ってこなしているのだろうか。そうすると，やはりわざわざ公開するクオリティーまで仕上げて公開する気にはなれないんだろうな。

といいつつ，じゃあ自分で作ればと言われても，・・・・，僕は作りません。

今回作った図の中から一枚記念に貼っておく。

ちょっと q₃ の円に矢印が刺さっている感じがあったり，粗が目立つが，もういいや。

あと，レポート用紙の右上に（そのページの番号）／（総ページ数）というスタイルでページ番号を打つというのもネットであれこれ調べて解決した。ただ，\maketitle を使うと最初のページの番号が思った表示にならないので少し悩んだが，\maketitle よりも後に \thispagestyle コマンドで自分が使用しているページスタイルに更新し直すという方法で解決した。

レポートを作成している最中にも何かと勉強になったというわけである。