依存型のラムダキューブへの矢印がおかしかったの修正