σ < ワロタ
 (V)    パラレルに考えられないのかな
  ||     そこに構造を抽象すれば
       その構造をもつ表現における問題の解決に役立つ