ユートピアを実装するための圜理論による定義の一形式 | prototype