2026-06-17T13:42:30Z
https://yabu.me
Nostr notes by ブルーアーカイブの話をすることが多いです
ブルーアーカイブの話をすることが多いです
https://yabu.me/npub1tqlruf5seuh9v67rhrrsdx468jhtdde74065tp7azalfaezakuzs77tute
https://i4n.kemono-friends.info/accounts/avatars/116/079/002/744/493/957/original/4b557b3a07a900c9.jpeg
https://i4n.kemono-friends.info/accounts/avatars/116/079/002/744/493/957/original/4b557b3a07a900c9.jpeg
https://yabu.me/nevent1qqsx4su5nk8clj8l7pzcr9gg26hedf4nwyaeka7h3khsa0hdvuj8n5gzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms23ukez2
Nostr event nevent1qqsx4su5nk8clj8l7pzcr9gg26hedf4nwyaeka7h3khsa0hdvuj8n5gzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms23ukez2
かいて！
2026-07-08T16:49:29Z
https://yabu.me/nevent1qqsqdjrjh6lynjy63sxmdvrdpx99hf5lw06scyluz273z3rk7qjwt5szypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms20qp0t8
Nostr event nevent1qqsqdjrjh6lynjy63sxmdvrdpx99hf5lw06scyluz273z3rk7qjwt5szypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms20qp0t8
というのも、研究にCoqやleanあたりの形式証明を取り入れたいため(形式証明に興味があるというよりは、自分がやっていることの正しさを確かめたい)
2026-06-05T02:20:56Z
https://yabu.me/nevent1qqs96f6prs9533gw3y6uzsnp3jzxvvsrr3gu0yg3u2hy89xz9garxsgzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms2vmkm4d
Nostr event nevent1qqs96f6prs9533gw3y6uzsnp3jzxvvsrr3gu0yg3u2hy89xz9garxsgzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms2vmkm4d
いや、オレは祝福を受け入れる
2026-06-04T15:14:02Z
https://yabu.me/nevent1qqsxu0lmgssk8slp3aqup9hm7mvxvnkyuzqedh6egafgesh3cmtenrqzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms23d8l4w
Nostr event nevent1qqsxu0lmgssk8slp3aqup9hm7mvxvnkyuzqedh6egafgesh3cmtenrqzypvru03xjr8ju4ntcwuvwp56hg72ad4h864l23v8m5tha8hytkms23d8l4w
音符なしだったか。
2026-06-02T03:06:08Z