Scribble at 2019-04-02 09:37:12 Last modified: unmodified

本日で Google Plus のパーソナル版はサービスが終了となる（ビジネス版は継続して提供されるらしい）。よって、５年近くにわたって管理者を勤めさせていただいた圏論のコミュニティも解散である。「引継ぎ先のコミュニティはないのか？」という質問も受けたが、それには対応しない。まず第一に、僕がそういうものを勝手に選んで引き継ぐほどの権限はないし、第二に何年も前からコミュニティに投稿しているのは殆ど僕だけでアクティブなコミュニティとは言い難かったし、第三に仕切りなおすなら数学のプロパーが管理して専門的な議論をした方がいいと思う。やはりアマチュアも素人も入っていては、スパムを投稿するバカもいるし、僕もいちどは騙されたがプロパーの中にもキチガイがいるので見分けるのが難しい場合もある。