辻占 #009535

形式化されていない難しさと形式化してしまうことの危険はセットになっている。