あ @atsuchan@atsuchan.page

@Yohei_Zuho

JCには難しい説明かも

自然数：
自然数 1 が存在する
任意の自然数 a に対してその後者 S(a)が存在する
1 はどの自然数の後者でもにゃい
自然数 a,b に対して S(a)=S(b) にゃら a=b
数学的帰納法が使える

自然数に０を含むか含めにゃいかは難しいところです、高校教育課程までは含めにゃいです

@memesyu@labo.wovs.tk 正の整数だね、 1,2,3,4,5...

そういやMisskeyでGoogle Cloud Storage普通に使えてしまったので、新しいホスティングの方はメディア用オブジェクトストレージもバックアップ用オブジェクトストレージもそれにしてる

@noellabo そうにゃんや…（困惑

@noellabo Mastodonみたいにディレクトリ分けてる？

慎重派が多いらしい
https://msk.ilnk.info/notes/9a3znqbcid

@noellabo そういやmisskey.cloudってメディアプロキシしてるって本当？

@youth0530@mattyaski.co まだ小学生だもんね、かわいい

@youth0530@mattyaski.co にゃるほど、ねこみやには私レベルの情報技術を身に着けてもらおうと思ってさ

@youth0530@mattyaski.co でもインスタンス建ててもメリットにゃくにゃい？（ねこみやにも同じことは聞いた

@youth0530@mattyaski.co ゆーすもほしいかしら、まあ自分で建てるひとだわね

@youth0530@mattyaski.co あの子はリソースも専有でサーバーもたせたほうがやりやすいかにゃと思い、他のホスティングしてるインスタンスの鯖缶とケンカしにゃくて済む

@youth0530@mattyaski.co にゃんと専用サーバーです

@mozc 卒検頑張れ

さらに独自の改造がにゃされている

っていうかインスタンス減ったにゃあ…

msk.ilnk.info
labo.wovs.tk
とかいうインスタンスホストしてますが…あのドメインも意味不