Rayo関数のwell-defined性。公理関連は素人には厄介な問題。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼（ボカロドン）」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **
