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

This account is not set to public on notestock.

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

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

This account is not set to public on notestock.

やったぜ。

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

This account is not set to public on notestock.

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

こっちでも表示されとる

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

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

This account is not set to public on notestock.

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

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

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

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

アッデイリーやってねえ