ログイン

最近の検索

検索履歴はありません

検索オプション

mastodon.cardina1.redでは利用できません。
mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

管理者

サーバーの情報

3
人のアクティブユーザー

mastodon.cardina1.red: 概要プライバシーポリシー

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

公開
らりお・ザ・何らかの🈗然㊌ソムリエ

lambda calculus における reduction って簡約だったよね(一瞬「縮約」と書きそうになってしまった)

検索リアルタイムフィード
概要