投稿

fumi

2025/03/31

強制法、拡大に使う順序は謎の半順序ではなく完備ブール代数でもよくて、ブール値モデルにすると色々綺麗になるらしい。
はよ言え！！そんでブール値モデル使った説明どっかに誰か書いてくれ！！

1

14

コメント

fumi 投稿者

0

強制法に5回くらい入門して門前払い喰らってる。強制法入門キャンセル界隈すぎる。

2025/03/31 返信

りゅ💫

2025/08/12

曲もMVもどタイプすぎる（ ; ; ）

1

なたま

2025/08/12

萌えすぎか？

4

さたぱ

2025/08/12

てれさんと少しの間、夜行性の生活サイクルを鍛えていきたい気持ち()
# terepantalk

いかち

2025/08/12

そろそろじゃないっすか！？

1

ワサビ

2025/08/12

人によっては今日10万とか行きそうね

8

ぽめり

2025/08/12

女の子の方多分ブルボンさんとかの方よね？凛とした美少女ボイス

5

まねき

2025/08/12

林くんがんばれ
林くんなら決められる！

5

広告の

2025/08/12

宮くんの可愛い顔無限に見たい。同じくらいﾄｶﾞくんの困惑も見たい

1

sakura桜

2025/08/12

みんな 白いタンクトップ好きなのかな

7

のん

2025/08/12

えー絶対にすごく良い香りするじゃん！
人工的な固い香りじゃないやつ〜
いいなあ…いいなあ…✨✨
#帰れマンデー

1

もっとみる

強制法、拡大に使う順序は謎の半順序ではなく完備ブール代数でもよくて、ブール値モデルにすると色々綺麗になるらしい。