「letマップ付きグラフ」で、letマップ付きグラフは、結局はサイクルとシェアリングを持つグラフの表現だ、と述べた。逆に、サイクル／シェアリングを持つグラフから出発して、letマップ付きグラフを作ってみる。これにより、ふだん我々が使っている名前機構…