Ubuntu, Windows何がしたいの?接続情報から数式を含む状態遷移図が書きたい。あと、下みたいなグラフの描画を楽に行いたい。 準備必要なソフトをインストールする。$ sudo apt-get install python$ sudo apt-get install python-pyparsing python-pydot graphviz$ sudo apt-get install preview-latex-style auctex$ sudo apt-get install latex-xcolor pgf$ sudo apt-get install dot2texgraphvizの動作確認公式を参考に下のコードをtest.dotという名前で保存する。 digraph G { d2ttikzedgelabels = true; d2tstyleonly = true; d2t