{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":3,"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>ACL2 \u306f\u306a\u3093\u304b\u5b9f\u7528\u3057\u305f\u3044\u91ce\u671b\u304c\u3042\u3063\u3066\u3084\u3063\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u304f\u3066\u3001\u7d14\u7c8b\u306b\u9762\u767d\u3044\u304b\u3089\u3084\u3063\u3066\u308b\u611f\u3058\u3060\u3057\u306a\u3002\u3067\u3082\u7d50\u679c\u3068\u3057\u3066\u4f55\u304b\u3057\u3089\u5b9f\u7528\u3067\u304d\u305f\u3089\u3044\u3044\u306a\u30fc\u3068\u306f\u601d\u3063\u3066\u3044\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\/107062760559292991","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062760559292991","objectType":"note","content":"<p>ACL2 \u306f\u306a\u3093\u304b\u5b9f\u7528\u3057\u305f\u3044\u91ce\u671b\u304c\u3042\u3063\u3066\u3084\u3063\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u304f\u3066\u3001\u7d14\u7c8b\u306b\u9762\u767d\u3044\u304b\u3089\u3084\u3063\u3066\u308b\u611f\u3058\u3060\u3057\u306a\u3002\u3067\u3082\u7d50\u679c\u3068\u3057\u3066\u4f55\u304b\u3057\u3089\u5b9f\u7528\u3067\u304d\u305f\u3089\u3044\u3044\u306a\u30fc\u3068\u306f\u601d\u3063\u3066\u3044\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062760559292991","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062753510887570","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062753510887570"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=c5098b68558767f3","notice_info":{"local_id":"3978415","source":"ActivityPub"}},"published":"2021-10-07T23:08:02+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062760559292991"},{"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>\u305d\u3046\u3044\u3046\u3084\u3064\u306f\u52d5\u7684\u578b\u4ed8\u304d\u306a Guile \u4f7f\u3063\u3066\u66f8\u3044\u3061\u3083\u3046\u3060\u308d\u3046\u3057\u3001\u307e\u3042\u306a\u3093\u3068\u3044\u3046\u304b\u6975\u7aef\u3060\u3068\u3044\u3046\u306e\u306f\u8a8d\u3081\u3056\u308b\u3092\u5f97\u306a\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\/107062753510887570","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062753510887570","objectType":"note","content":"<p>\u305d\u3046\u3044\u3046\u3084\u3064\u306f\u52d5\u7684\u578b\u4ed8\u304d\u306a Guile \u4f7f\u3063\u3066\u66f8\u3044\u3061\u3083\u3046\u3060\u308d\u3046\u3057\u3001\u307e\u3042\u306a\u3093\u3068\u3044\u3046\u304b\u6975\u7aef\u3060\u3068\u3044\u3046\u306e\u306f\u8a8d\u3081\u3056\u308b\u3092\u5f97\u306a\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062753510887570","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062748422263491","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062748422263491"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=c5098b68558767f3","notice_info":{"local_id":"3978412","source":"ActivityPub"}},"published":"2021-10-07T23:06:14+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062753510887570"},{"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>\u305d\u3082\u305d\u3082\u79c1\u306e\u95a2\u5fc3\u9818\u57df\u304c ACL2 \u304c\u30bf\u30fc\u30b2\u30c3\u30c8\u306b\u3057\u3066\u308b\u3088\u3046\u306a\u7bc4\u56f2\u306a\u3093\u3067\u3001\u305d\u306e\u7bc4\u56f2\u5916\u306e\u8a71\u3092\u3055\u308c\u3066\u3082\u3076\u3063\u3061\u3083\u3051\u305d\u3093\u306a\u8208\u5473\u304c\u306a\u3044\u3068\u3044\u3046\u554f\u984c\u304c\u3042\u308b\u308f\u3051\u3067\u3001\u307e\u3042 ACL2 \u3067\u5168\u3066\u3092\u7f6e\u304d\u63db\u3048\u3089\u308c\u308b\u3068\u306f\u601d\u3063\u3066\u306a\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\/107062748422263491","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062748422263491","objectType":"note","content":"<p>\u305d\u3082\u305d\u3082\u79c1\u306e\u95a2\u5fc3\u9818\u57df\u304c ACL2 \u304c\u30bf\u30fc\u30b2\u30c3\u30c8\u306b\u3057\u3066\u308b\u3088\u3046\u306a\u7bc4\u56f2\u306a\u3093\u3067\u3001\u305d\u306e\u7bc4\u56f2\u5916\u306e\u8a71\u3092\u3055\u308c\u3066\u3082\u3076\u3063\u3061\u3083\u3051\u305d\u3093\u306a\u8208\u5473\u304c\u306a\u3044\u3068\u3044\u3046\u554f\u984c\u304c\u3042\u308b\u308f\u3051\u3067\u3001\u307e\u3042 ACL2 \u3067\u5168\u3066\u3092\u7f6e\u304d\u63db\u3048\u3089\u308c\u308b\u3068\u306f\u601d\u3063\u3066\u306a\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062748422263491","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-10-07:objectType=thread:nonce=c5098b68558767f3","notice_info":{"local_id":"3978411","source":"ActivityPub"}},"published":"2021-10-07T23:04:56+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062748422263491"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2882479","rel":"alternate","type":"text\/html"}]}