形式的な定理証明の面白さに世界が気付きつつあるな｜りょの投稿-GRAVITY(グラビティ) SNS

共感で繋がるSNS

GRAVITY(グラビティ) SNS

投稿

りょ

2025/06/30

形式的な定理証明の面白さに世界が気付きつつあるな

8

話題の投稿をみつける

ぬのの

そど子が攫われたら一番前に出て追いかける麻子さん……麻子そどは本当に……良……

ゆ

紅茶の茶葉裂けて全部飛び出てるとか言えない

しぃそ

ノクチルのくだらないやと虹になれで横転
ほんとに？？？？？？？

NUGOSU（R

史騎よく抑えた‼️
#ロアッソ熊本

⚾はる

伊勢も森原も連投してるし、明日勝つ方法は大量リードした状態を9回まで維持or竹田くん完投しかないのがキツい

やっさ

エグ女ってアフト無いですか？ほんまに無いですか？

久住

DOMOTOのコンテンツ、近日公開から1週間経ったけどまだかな？近日ってどれくらいかな～

ひたち

ほーふくか？！(違いますよ)

おちい

ﾊ…ﾊﾞ…ﾄﾊﾝﾊﾞ…ﾄをまっている

ガルガ

今日は、結局なんにもやる気無いだろうけど…高尾山行くくらいは気持ちあるだろうなって、思っていたけど…
パペットの悪魔sideのヒメちゃんとパペットの大悪魔sideのヒナちゃんと朝話していたら…
寝ることをおすすめされたので、6時間トイレ我慢して寝てた╰( Ｕ ⩌ ω⩌)

もっとみる

関連検索ワード

形式意味論