{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":4,"items":[{"actor":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","status_net":{"avatarLinks":[{"url":"https:\/\/social.senooken.jp\/avatar\/27709-original-tmp20200812042025.png","rel":"avatar","type":"image\/png","width":300,"height":300},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-48-20200812042027.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-24-20200812042027.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"27709"}},"image":{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk","portablecontacts_net":{"preferredUsername":"tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","note":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb"}},"content":"<p>\u5927\u5909\u3060\u3063\u305f\u30a2\u30d4\u30fc\u30eb\u3059\u308b\u305f\u3081\u306b\u306f\u89e3\u8aac\u8a18\u4e8b\u66f8\u304f\u3057\u304b\u306a\u3044\u306a<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-09:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604964588078796","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604964588078796","objectType":"note","content":"<p>\u5927\u5909\u3060\u3063\u305f\u30a2\u30d4\u30fc\u30eb\u3059\u308b\u305f\u3081\u306b\u306f\u89e3\u8aac\u8a18\u4e8b\u66f8\u304f\u3057\u304b\u306a\u3044\u306a<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604964588078796","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604574180318250","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604574180318250"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-07-19:objectType=thread:nonce=000ee40889ca4029","notice_info":{"local_id":"3803334","source":"ActivityPub"}},"published":"2021-07-19T02:44:30+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604964588078796"},{"actor":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","status_net":{"avatarLinks":[{"url":"https:\/\/social.senooken.jp\/avatar\/27709-original-tmp20200812042025.png","rel":"avatar","type":"image\/png","width":300,"height":300},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-48-20200812042027.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-24-20200812042027.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"27709"}},"image":{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk","portablecontacts_net":{"preferredUsername":"tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","note":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb"}},"content":"<p>\u3084\u3063\u3071\u3001ACL2 \u306f\u81ea\u52d5\u8a3c\u660e\u306a\u306e\u3067\u5f8c\u304b\u3089\u30b3\u30fc\u30c9\u3060\u3051\u8aad\u3093\u3067\u3082\u305d\u308c\u304c\u3069\u3046\u3057\u305f\u3063\u3066\u611f\u3058\u306b\u306a\u308b\u306a\u30fc\u3002<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-09:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604574180318250","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604574180318250","objectType":"note","content":"<p>\u3084\u3063\u3071\u3001ACL2 \u306f\u81ea\u52d5\u8a3c\u660e\u306a\u306e\u3067\u5f8c\u304b\u3089\u30b3\u30fc\u30c9\u3060\u3051\u8aad\u3093\u3067\u3082\u305d\u308c\u304c\u3069\u3046\u3057\u305f\u3063\u3066\u611f\u3058\u306b\u306a\u308b\u306a\u30fc\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604574180318250","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604530261128950","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604530261128950"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-07-19:objectType=thread:nonce=000ee40889ca4029","notice_info":{"local_id":"3803121","source":"ActivityPub"}},"published":"2021-07-19T01:05:13+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604574180318250"},{"actor":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","status_net":{"avatarLinks":[{"url":"https:\/\/social.senooken.jp\/avatar\/27709-original-tmp20200812042025.png","rel":"avatar","type":"image\/png","width":300,"height":300},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-48-20200812042027.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-24-20200812042027.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"27709"}},"image":{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk","portablecontacts_net":{"preferredUsername":"tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","note":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb"}},"content":"<p>\u3053\u308c\u3092\u8a3c\u660e\u3059\u308b\u306e\u3059\u3054\u304f\u5927\u5909\u3060\u3063\u305f\u3093\u3060\u3051\u3069\u5f8c\u304b\u3089\u898b\u8fd4\u3059\u3068\u5168\u7136\u5927\u5909\u3058\u3083\u306a\u3055\u305d\u3046\u306a\u306e\u56f0\u308b\u3002<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-09:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604530261128950","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604530261128950","objectType":"note","content":"<p>\u3053\u308c\u3092\u8a3c\u660e\u3059\u308b\u306e\u3059\u3054\u304f\u5927\u5909\u3060\u3063\u305f\u3093\u3060\u3051\u3069\u5f8c\u304b\u3089\u898b\u8fd4\u3059\u3068\u5168\u7136\u5927\u5909\u3058\u3083\u306a\u3055\u305d\u3046\u306a\u306e\u56f0\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604530261128950","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604518474672886","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604518474672886"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-07-19:objectType=thread:nonce=000ee40889ca4029","notice_info":{"local_id":"3803106","source":"ActivityPub"}},"published":"2021-07-19T00:54:02+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604530261128950"},{"actor":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","status_net":{"avatarLinks":[{"url":"https:\/\/social.senooken.jp\/avatar\/27709-original-tmp20200812042025.png","rel":"avatar","type":"image\/png","width":300,"height":300},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-48-20200812042027.png","rel":"avatar","type":"image\/png","width":48,"height":48},{"url":"https:\/\/social.senooken.jp\/avatar\/27709-24-20200812042027.png","rel":"avatar","type":"image\/png","width":24,"height":24}],"profile_info":{"local_id":"27709"}},"image":{"url":"https:\/\/social.senooken.jp\/avatar\/27709-96-20200812042027.png","rel":"avatar","type":"image\/png","width":96,"height":96},"objectType":"person","summary":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk","portablecontacts_net":{"preferredUsername":"tojoqk","displayName":"\u304d\u3085\u30fc\u3051\u30fc","note":"GNU Guix \u30e6\u30fc\u30b6\u30fc\u306e Schemer \u3067\u3001\u81ea\u7531\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3068\u884c\u52d5\u5206\u6790\u5b66\u304c\u597d\u304d\u3067\u3059\u3002Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb"}},"content":"<p>ACL2 \u3067\u56de\u6587\u306b\u95a2\u3059\u308b\u5b9a\u7406\u3092\u8a3c\u660e\u3057\u305f\u3002ACL2 \u3067\u5b9a\u7406\u3092\u66f8\u304f\u306e\u304c\u3046\u307e\u304f\u306a\u3063\u3066\u304d\u3066\u3044\u308b\u6c17\u304c\u3059\u308b\u3002<\/p><p><a href=\"https:\/\/git.tojo.tokyo\/acl2-theorems.git\/commit\/palindrome-sandwich.lisp?id=658812d37e3be083623a63c9839ac056451df1cd\" rel=\"nofollow noreferrer\">https:\/\/git.tojo.tokyo\/acl2-theorems.git\/commit\/palindrome-sandwich.lisp?id=658812d37e3be083623a63c9839ac056451df1cd<\/a><\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-09:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604518474672886","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106604518474672886","objectType":"note","content":"<p>ACL2 \u3067\u56de\u6587\u306b\u95a2\u3059\u308b\u5b9a\u7406\u3092\u8a3c\u660e\u3057\u305f\u3002ACL2 \u3067\u5b9a\u7406\u3092\u66f8\u304f\u306e\u304c\u3046\u307e\u304f\u306a\u3063\u3066\u304d\u3066\u3044\u308b\u6c17\u304c\u3059\u308b\u3002<\/p><p><a href=\"https:\/\/git.tojo.tokyo\/acl2-theorems.git\/commit\/palindrome-sandwich.lisp?id=658812d37e3be083623a63c9839ac056451df1cd\" rel=\"nofollow noreferrer\">https:\/\/git.tojo.tokyo\/acl2-theorems.git\/commit\/palindrome-sandwich.lisp?id=658812d37e3be083623a63c9839ac056451df1cd<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604518474672886","status_net":{"notice_id":null}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-07-19:objectType=thread:nonce=000ee40889ca4029","notice_info":{"local_id":"3803100","source":"ActivityPub"}},"published":"2021-07-19T00:51:02+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106604518474672886"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2737308","rel":"alternate","type":"text\/html"}]}