グラフのレンダリングにneatoを使ってきたがdotを使えないか考えてみた。 pos属性は便利だがneatoに特異的な属性なのでdotでは使えない。 代わりにノードの位置揃えにrank属性があり、これを使うことにする。 test.gv graph { { rank = same; "0,3"; "1,3"; …