夏コミ？

球面とは関係ない問題を一月以上考えていたが、良く考えたら球面の問題であることに気付き、無事証明できた、と思う。

この成果はうちの業界の「夏コミ」に相当する会議で発表予定。今年はKNZWだ。