{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":2,"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>\u3053\u308c\u3060\u3051\u307f\u308b\u3068\u66f4\u65b0\u3059\u308b\u306e\u306b\u904e\u53bb\u306e\u5024\u3068\u306f\u3063\u3066\u611f\u3058\u3060\u306a\u3002stobj \u306f\u526f\u4f5c\u7528\u306e\u306a\u3044\u4e16\u754c\u3067\u4e0d\u53ef\u9006\u306a\u5909\u66f4\u3092\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u3063\u3066\u611f\u3058\u3067\u3001\u526f\u4f5c\u7528\u306e\u3042\u308b\u95a2\u6570\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u306a\u304f\u5b9f\u969b\u306b\u306f\u7834\u58ca\u7684\u306a\u5909\u66f4\u3092\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u3063\u3066\u611f\u3058\u3002\u526f\u4f5c\u7528\u306e\u306a\u3044\u4e16\u754c\u3067\u306f\u66f4\u65b0\u3059\u308b\u524d\u306e\u5909\u6570\u3068\u304b\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308c\u3070\u3001\u904e\u53bb\u306e\u5024\u3092\u898b\u308c\u308b\u308f\u3051\u3060\u3051\u3069\u898b\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3067\u304d\u308c\u3070\u7834\u58ca\u3057\u3066\u3044\u3066\u3082\u7834\u58ca\u3057\u3066\u3044\u306a\u304f\u3066\u3082\u5dee\u306f\u306a\u3044\u3063\u3066\u3053\u3068\u3060\u306a\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\/106800299416185146","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106800299416185146","objectType":"note","content":"<p>\u3053\u308c\u3060\u3051\u307f\u308b\u3068\u66f4\u65b0\u3059\u308b\u306e\u306b\u904e\u53bb\u306e\u5024\u3068\u306f\u3063\u3066\u611f\u3058\u3060\u306a\u3002stobj \u306f\u526f\u4f5c\u7528\u306e\u306a\u3044\u4e16\u754c\u3067\u4e0d\u53ef\u9006\u306a\u5909\u66f4\u3092\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u3063\u3066\u611f\u3058\u3067\u3001\u526f\u4f5c\u7528\u306e\u3042\u308b\u95a2\u6570\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u306a\u304f\u5b9f\u969b\u306b\u306f\u7834\u58ca\u7684\u306a\u5909\u66f4\u3092\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u3063\u3066\u611f\u3058\u3002\u526f\u4f5c\u7528\u306e\u306a\u3044\u4e16\u754c\u3067\u306f\u66f4\u65b0\u3059\u308b\u524d\u306e\u5909\u6570\u3068\u304b\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308c\u3070\u3001\u904e\u53bb\u306e\u5024\u3092\u898b\u308c\u308b\u308f\u3051\u3060\u3051\u3069\u898b\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3067\u304d\u308c\u3070\u7834\u58ca\u3057\u3066\u3044\u3066\u3082\u7834\u58ca\u3057\u3066\u3044\u306a\u304f\u3066\u3082\u5dee\u306f\u306a\u3044\u3063\u3066\u3053\u3068\u3060\u306a\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106800299416185146","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106800284173119437","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106800284173119437"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-08-22:objectType=thread:nonce=286aaf413babde37","notice_info":{"local_id":"3886014","source":"ActivityPub"}},"published":"2021-08-22T14:40:43+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106800299416185146"},{"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 \u306e stobj \u3092\u52c9\u5f37\u3057\u3066\u308b\u3002\u306a\u3093\u304b\u3053\u308c\u3067 ACL2 \u3067\u526f\u4f5c\u7528\u3092\u6271\u3048\u308b\u3063\u307d\u3044\u3002\u69cb\u6587\u7684\u306b\u66f4\u65b0\u524d\u306e\u904e\u53bb\u306e\u5024\u304c\u53c2\u7167\u3055\u308c\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b\u3053\u3068\u3067\u7834\u58ca\u7684\u5909\u66f4\u3092 OK \u3068\u3059\u308b\u307f\u305f\u3044\u3002\u9762\u767d\u3044\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\/106800284173119437","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106800284173119437","objectType":"note","content":"<p>ACL2 \u306e stobj \u3092\u52c9\u5f37\u3057\u3066\u308b\u3002\u306a\u3093\u304b\u3053\u308c\u3067 ACL2 \u3067\u526f\u4f5c\u7528\u3092\u6271\u3048\u308b\u3063\u307d\u3044\u3002\u69cb\u6587\u7684\u306b\u66f4\u65b0\u524d\u306e\u904e\u53bb\u306e\u5024\u304c\u53c2\u7167\u3055\u308c\u306a\u3044\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b\u3053\u3068\u3067\u7834\u58ca\u7684\u5909\u66f4\u3092 OK \u3068\u3059\u308b\u307f\u305f\u3044\u3002\u9762\u767d\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106800284173119437","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-08-22:objectType=thread:nonce=286aaf413babde37","notice_info":{"local_id":"3886008","source":"ActivityPub"}},"published":"2021-08-22T14:36:52+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106800284173119437"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2805747","rel":"alternate","type":"text\/html"}]}