TeXでオートマトンを書く - ひでたそ覚書帳Vaucanson を知らないとオートマトン界隈ではモグリ？ 一昨年まで、形式的検証手法の研究をしていた学生だった。 形式的検証の表記をする上で、オートマトン(を構文的・意味論的・操作的に拡張した物)を使用するので、論文の1/3はオートマトンの図で占有されてしまう。 そんなオートマトンを図で書く時は、もっぱらInkscapeを使っていた。 あれだと、SVG形式であとから修正できるし、アンチエイリアスかかって結構綺麗にできるんだよねぇ。 と、思い出はここまでにして。 先日、こんなツイートを見かけた。 ちなみに記事中の図は論文のものなんだけど，VaucaonsonというTeXの作図ツール使ってます． http://t.co/PkY2tSXhzu 綺麗なオートマトンがかけるのでお気に入り．Sakarovitch大先生携わってるしね． pic.twitter.com/tTZXAHjLpr— Ryo
