#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。
$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$
#Mathtodon はこの年末のどこかで小一時間(目標の)メンテナンスしようと思います。なんか繋がらないと思われたら、生暖かく arXiv なりなんなりでもご覧になられながらお待ち下さい。
$\exists$ Maintenance time $M$ such that $M \subset$ from now to the end of the year and $|M| < 1\ \mbox{hour}$
年末と言っていましたが年末年始に増加します。どうぞよろしくお願いいたします。
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.