「この定義って一般的？」というタイプの質問を受けて、知らなかったので調べてみたら、流儀がどっちもあるタイプのやつだった

3 日くらい LINE 見てなかったらしくてやば

あー

靴の汚れはずっと気になっているのだけどどうすればいいのかわからずなにもしていない

ちょうど不動点コンビネータを作る論文を読んでいました

うゆー

(λx. 靴を買いに行くための (x x)) (λx. 靴を買いに行くための (x x))

思春期

数学をします

身だしなみコンプレックスが