コロナが生んだホラー画像すき

このアカウントは、notestockで公開設定になっていません。

はめるとこ全部覆ってあるからパッと見たときに怖い

笑い男のマーク貼られたやつの無機質バージョンみたい

このアカウントは、notestockで公開設定になっていません。

やったぜ。

これ(超限)順序数を超限一山ニムとみなせばよかったことに気づいた

このアカウントは、notestockで公開設定になっていません。

見覚えがあるアイコンで草

こっちでも表示されとる

とりあえずなんか返信しとこ

世の中には「覚える必要のないプログラミング言語」ってのはしばしばあるが、「覚えてはいけない言語」っていうのは VBA 一強だと思う

このアカウントは、notestockで公開設定になっていません。

コミュニケーションブレイクダンサー
DAN DARI DOO WA DEE

ついでなのでニム和とニム積も入れた
ニム積は演算重すぎて使い物にならんけど

自然数あらかたできたから整数を定義するか

整数を実装するために順序対を集合で表現するためのユーティリティ関数を定義

アッデイリーやってねえ