猫琴娜🌸 on Nostr: 思想が強いので、自然数の計算でも 5 + 5 と 5 * 2 はともに 10 ...
思想が強いので、自然数の計算でも 5 + 5 と 5 * 2 はともに 10 だけれどもこれらは来歴が異なるので型が異なる。それが観測上等価として良い観測写像で消費者が十分であるという前提を明示して初めてともに 10 という一つの値にしていいくらい言う。
Published at
2026-10-24 22:41:54 UTCEvent JSON
{
"id": "cbc9c16b36c41417ad95037e994e256c9887cb22ddd439d37987af8abe4e5aaf",
"pubkey": "31e203f5cf4ec5aea47084d5138106d7b381a316c29463b04ad6f40012885b06",
"created_at": 1792881714,
"kind": 1,
"tags": [
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:q57l5d4iz2uzezutebljzrd2/app.bsky.feed.post/3mynrav3rqc2v",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "思想が強いので、自然数の計算でも 5 + 5 と 5 * 2 はともに 10 だけれどもこれらは来歴が異なるので型が異なる。それが観測上等価として良い観測写像で消費者が十分であるという前提を明示して初めてともに 10 という一つの値にしていいくらい言う。",
"sig": "7b7deef239b4b81086b91c145289ea511f872e2228283a1337a8262205be427d875265a1cc5c6f1c739030586e3a91643afc127c15f7cb300d030f42f0841e2d"
}