【Graphviz 】dotファイルを画像ファイルに変換する。(for Windows)

#概要#
多くは語らないつもりですのでご辛抱を。。。
GraphvizをはじめてWindowsに導入して、「dotファイルをどうすればいいのか分からない！」となった経験から、dotファイルを他の画像ファイルに変換する方法を書いておきます。バッチファイルを使いますので、作ったバッチファイルをデスクトップに置いておくことで、ドラックアンドドロップしただけでdotファイルをpngファイルなどに変換できるようになります！
##Graphvizとは##
下のようなテキストを、

graph { 
  X -- Y
  X -- Y
  Y -- Z [color=green]
} 

画像に変換してくれます。↓ こんな感じ。

つまり、テキストで記入することで、キレイなグラフ画像が作れるようになるツールです。
###導入から記入法までを押さえておきたい方向け###
Windowsの方はこちら [Windows で Graphviz のインストール] を参考になさってください。
また、こちら [Graphvizとdot言語でグラフを描く方法のまとめ] で丁寧に記法について解説してくださっています。感謝！
#バッチファイル作成#
早速ですがバッチファイルを作っていきましょう！
##"dot.exe"のパスを取得##
インストール時にインストール先の変更をしていなければ、以下の場所にある (はず)。

C:\Program Files (x86)\Graphviz2.38\bin\dot.exe
-32bitOSの場合-
C:\Program Files\Graphviz2.38\bin\dot.exe

これが見つからないと始まらないので、頑張って探してください。見つけたら、dot.exeのパスをコピーしておいてください。
##バッチファイルを作るぞー！##
まずメモ帳(テキストエディタならなんでもいいですが)を開いて、先ほどコピーしてきたパスを貼り付け。
このとき、貼り付けたパスが、～～dot.exe で終わっていることを必ず確認してください。

バッチファイルの中身はこんな感じでどうでしょう? (デキる方はどんどんカスタマイズしていってください！)
先ほど貼り付けたパスは、6行目の "C:\Program Files (x86)\Graphviz2.38\bin\dot.exe" の部分ですので、お使いのパソコンの環境に合わせて書き換えてください。[以下の内容は64bitOSの方向けです。]

@echo off
pushd "%~dp1"
echo dotファイル専用
echo;
set /p type="変換先拡張子の入力  ＞＞＞  "
"C:\Program Files (x86)\Graphviz2.38\bin\dot.exe" -Kdot -T%type% %1 -o%~n1.%type%

ダブルクォーテーションなどを忘れるとうまくいきません。
とりあえず、よく分からなかったらコピペしてもらってもいいです。
書き終わったら、名前をつけて保存(文字コードはShift_JIS(Windowsのメモ帳ではANSIと呼ばれています)推奨)して、拡張子をtxtからbatに変えてください。アイコンが下の画像と同じものに変わったら成功です。

##使い方##
今作ったバッチファイルをデスクトップにでも置いておいて、作ったdotファイルをその上にドラッグアンドドロップすると、変換先拡張子の入力 ＞＞＞ と出るはずなので、変換したい拡張子(pngなりpdfなり)を入力して、Enter。
これで少し待てば、dotファイルと同じ場所に、新しいファイルができあがっていると思います。
#####拡張子について#####
いちおう、よく使いそうな拡張子(jpg,jpeg,png,gif,bmp,tif,png)を一通り試してみましたが、おすすめはpngかpdfです。(pdfが一番キレイです。)

続き＞＞Wordに関連付けられているdotファイルを、テキストエディタで編集したい！