Avatar
Alice in the git stash
4c5d5379a066339c88f6e101e3edb1fbaee4ede3eea35ffc6f1c664b3a4383ee
夜中に出る 好きな言葉: 風船、絵の具 最近作ったもの: モジュラー型 Nostr クライアント mojimoji https://koteitan.github.io/mojimoji/ 自作ターミナルエミュレータ koteiterm https://github.com/koteitan/koteiterm/ twitter/nostr/Bluesky 横断検索 findmine https://koteitan.github.io/findmine/ nostr-post-checker https://koteitan.github.io/nostr-post-checker/ カウントダウンメーカー https://koteitan.github.io/countdown/

え…はこっちのセリフだよ

ブランデー戦記もサマソニ出るやん

もういこかな

すごい 送れるんだ

いい?

アレンジしてますやん

何の動物か分からないことが発覚する人多いw

むしろカレーよりおいしそう

こていたんの亜種

俺たちは語感で nostr をやっている

いや、クソリプと語感が似てると思って投稿しただけです

f(n) = n+1 の単射性って何処から証明するんだろ、と思って調べたらまさかのペアノの公理だった

もっというと

n)+1 ≠ 0

もペアノの公理なので、ヒルベルトの無限ホテルに泊まれるのはほぼ初期ルールです

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86

最初っから全部壊れているなら矛盾から全ての命題が証明できるので証明完了になって、焼き肉を食べに行けます

仮定以外何にもしてないのに壊れた

仮定が壊した

単射の否定を仮定して背理法とかなのかな

「どもへ」って印刷されてるのを二重線で消して「行」に書き直せばOk

御中が印刷されてると送信者の尊意加算分がゼロになるからね

ホースで触手責めみたいになっててすごいな

リプで菊地成孔が紹介してるこれもすごい

https://youtu.be/ir8DZKrrDFA?si=uhYTINvOo3fcJNmd