くるる@在米中年集合論者
banner
kururumath.bsky.social
くるる@在米中年集合論者
@kururumath.bsky.social
みなさーん、くるくるー!アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。
アイコンはbing image creatorによるkururu_goedel。
twitter: kururu_goedel, mathtod: kururu
反対したのがトーマス判事だけなので圧倒的多数ですね。前回同性婚反対の票を入れたアリトー判事とかは多分同性婚には反対の立場だと思いますが、判例を覆すだけの根拠がないとかいう理屈だと思います。基本的に最高裁の保守派判事たちはトーマス判事を除くと法理を無視するような判断は避けているようで、割とえっと思うようなタイミングで市井の保守派の意見に反する判断を下しますね。
November 11, 2025 at 4:14 AM
離散数学の教科書に、空でない長さ6以下のbitstringの総数を求めよという問題があって、これを2^1+2^2+...+2^6=126と求めていたのだけれども、これはもちろん2^7-1-1で、空列を除くのに-1はわかるとしてなんでもう一つ引くだけでよいのだろうと思っていたのだけれども、これでちょっと納得できたということで。
November 1, 2025 at 5:36 PM
と思ったら、昔持ってきてずっと使ってなかったヒーターがあった。ありがたい。
October 15, 2025 at 5:20 PM