>>560
よく言われることだし僕もたまにそういう言い方していたけど
なかなか伝わりにくいね．

普段の記号や言葉使いで埋もれてしまいがちな
操作を明確にすることで形式化し，形式化することで
色々な構造の関係を見やすくする，みたいな説明はどうかなぁと
最近は考えてる．