「循環螺旋の浜辺より」梗概r

ウェブの梗概がストーリーをあまり要約していないので前に書き直したもの。

　自動定理創出システム「演算系」は、効果的な定理探索を行うために、定理に人格を付与した。惹かれあうもの同士に、互いの証明を組み合わせることで、新たな定理――「子」をつくらせるのだ。だが、活動資源確保のため――外界のヒトにアピールするべく――「人気投票」制度などを導入して、かれらの意思を無視した生産を行わせるようになる。人格化