ログイン

最近の検索

検索履歴はありません

検索オプション

social.mikutter.hachune.netでは利用できません。
social.mikutter.hachune.netはMastodonを使った分散型ソーシャルネットワークの一部です。
#あなたがガチ凍結されると<br> 11月中旬くらいかな？俺はておくれだから<br> Twitterからよく舐められるんだけど、<br> ある時Twitterが度が過ぎて俺を凍結<br> してきたわけ、そんで記憶がないんだけど（痴呆）、<br> 相当ボコボコにしちゃったらしい<br> 俺、これでもておくれですよ？

管理者

サーバーの情報

104
人のアクティブユーザー
もっと詳しく

social.mikutter.hachune.net: 概要ディレクトリプライバシーポリシー

Mastodon: 概要アプリを入手キーボードショートカットソースコードを表示v4.2.17

標本分散

ちゃんと型理論やってる人ならもっとスパッと言えそう

2023年7月26日 13:33 · · 0 · 0
KOBA789

@osa_k@social.mikutter.hachune.net nominal typing ではなく structural typing ってことです？

標本分散

@koba789 確かに単にそれでいいですね

エクスプローラーリアルタイムフィード
概要