>>328
その問題を圏論で定式化しなおしてくんない