generated at
書きながら考える
⇔考えながらまとめる
この矢印は対立関係の意？同値関係の意？takker