フォロー

natだったら帰納法は使わないけど0かそうでないかは場合分けしたいみたいなときに使える

ログインして会話に参加
Mastodon @ Poyo server

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。