Ye on Nostr: 定理証明は流行っているが、モデル検査は流行っていない
定理証明は流行っているが、モデル検査は流行っていない
Published at
2026-10-20 13:38:43 UTCEvent JSON
{
"id": "11fe33bd20666fa50ef48bde2c5e9cbec8ac3907dde688ac8b5073e2e37491c2",
"pubkey": "83279ad28eec4785e2139dc529a9650fdbb424366d4645e5c2824f7cbd49240d",
"created_at": 1792503523,
"kind": 1,
"tags": [
[
"client",
"Damus"
]
],
"content": "定理証明は流行っているが、モデル検査は流行っていない",
"sig": "5c66d9651dc9febfb10306918d51e5b3d07b24aa2a9c2ecf314f48c92da5e991a6ba02bd2aa3b489cc16f63fac786588df9581ab462daf3e54c7dfebbfdc440c"
}