{"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>\u5f8c\u304b\u3089\u307f\u308b\u306810\u5206\u304f\u3089\u3044\u3067\u601d\u3044\u4ed8\u304d\u305d\u3046\u306a\u3053\u3068\u3057\u304b\u3057\u3066\u3044\u306a\u3044\u306e\u304c\u60b2\u3057\u3044\u2026<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-12:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653132059120923","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653132059120923","objectType":"note","content":"<p>\u5f8c\u304b\u3089\u307f\u308b\u306810\u5206\u304f\u3089\u3044\u3067\u601d\u3044\u4ed8\u304d\u305d\u3046\u306a\u3053\u3068\u3057\u304b\u3057\u3066\u3044\u306a\u3044\u306e\u304c\u60b2\u3057\u3044\u2026<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653132059120923","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653128682749140","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653128682749140"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-02-01:objectType=thread:nonce=4a545022472e107a","notice_info":{"local_id":"3416965","source":"ActivityPub"}},"published":"2021-02-01T00:20:57+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653132059120923"},{"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 \u30a8\u30ad\u30b9\u30d1\u30fc\u30c8\u306b\u306a\u308c\u3070\u3001\u88dc\u984c\u3068\u30d2\u30f3\u30c8\u3092\u3059\u3050\u306b\u601d\u3044\u4ed8\u3051\u308b\u3088\u3046\u306b\u306a\u308b\u306e\u3060\u308d\u3046\u304b\u2026\u3002\u3082\u3057\u3082\u3001\u8a13\u7df4\u306b\u3088\u3063\u3066\u88dc\u984c\u3068\u30d2\u30f3\u30c8\u304c\u3059\u3050\u306b\u601d\u3044\u4ed8\u3051\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3089\u3081\u3063\u3061\u3083\u52b9\u7387\u7684\u306b\u8a3c\u660e\u306b\u3088\u3063\u3066\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4fe1\u983c\u6027\u3092\u4fdd\u8a3c\u3057\u3066\u3044\u3051\u308b\u308f\u3051\u306a\u306e\u3067\u9811\u5f35\u3063\u3066\u3044\u304d\u305f\u3044\u3002<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-12:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653128682749140","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653128682749140","objectType":"note","content":"<p>ACL2 \u30a8\u30ad\u30b9\u30d1\u30fc\u30c8\u306b\u306a\u308c\u3070\u3001\u88dc\u984c\u3068\u30d2\u30f3\u30c8\u3092\u3059\u3050\u306b\u601d\u3044\u4ed8\u3051\u308b\u3088\u3046\u306b\u306a\u308b\u306e\u3060\u308d\u3046\u304b\u2026\u3002\u3082\u3057\u3082\u3001\u8a13\u7df4\u306b\u3088\u3063\u3066\u88dc\u984c\u3068\u30d2\u30f3\u30c8\u304c\u3059\u3050\u306b\u601d\u3044\u4ed8\u3051\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3089\u3081\u3063\u3061\u3083\u52b9\u7387\u7684\u306b\u8a3c\u660e\u306b\u3088\u3063\u3066\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4fe1\u983c\u6027\u3092\u4fdd\u8a3c\u3057\u3066\u3044\u3051\u308b\u308f\u3051\u306a\u306e\u3067\u9811\u5f35\u3063\u3066\u3044\u304d\u305f\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653128682749140","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653095875729762","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653095875729762"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-02-01:objectType=thread:nonce=4a545022472e107a","notice_info":{"local_id":"3416963","source":"ActivityPub"}},"published":"2021-02-01T00:20:09+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653128682749140"},{"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>\u4e8c\u5206\u6728\u306b\u8981\u7d20\u3092\u8ffd\u52a0\u3057\u3066\u3082\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u304c\u3001\u5de6\u306e\u6728\u306e\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u3088\u308a\u3082\u5927\u304d\u304f\u3001\u53f3\u306e\u6728\u306e\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u3088\u308a\u3082\u5c0f\u3055\u304f\u306a\u308b\u3053\u3068\u3092\u8a3c\u660e\u3057\u305f\u3002<\/p><p>\u88dc\u984c\u3092\u601d\u3044\u4ed8\u304f\u306e\u304c\u96e3\u3057\u3044\u3002\u305f\u3076\u30933\u6642\u9593\u304f\u3089\u3044\u304b\u304b\u3063\u305f\u3002<\/p><p><a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/b9222e3aad3d4c8d9eb78a04f49621e56e13a718\/binary-tree.lisp\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/b9222e3aad3d4c8d9eb78a04f49621e56e13a718\/binary-tree.lisp<\/a><\/p><p><a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/ACL2\" class=\"mention hashtag\" rel=\"tag\">#ACL2<\/a><\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-12:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653095875729762","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105653095875729762","objectType":"note","content":"<p>\u4e8c\u5206\u6728\u306b\u8981\u7d20\u3092\u8ffd\u52a0\u3057\u3066\u3082\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u304c\u3001\u5de6\u306e\u6728\u306e\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u3088\u308a\u3082\u5927\u304d\u304f\u3001\u53f3\u306e\u6728\u306e\u5168\u3066\u306e\u30ce\u30fc\u30c9\u306e\u30ad\u30fc\u3088\u308a\u3082\u5c0f\u3055\u304f\u306a\u308b\u3053\u3068\u3092\u8a3c\u660e\u3057\u305f\u3002<\/p><p>\u88dc\u984c\u3092\u601d\u3044\u4ed8\u304f\u306e\u304c\u96e3\u3057\u3044\u3002\u305f\u3076\u30933\u6642\u9593\u304f\u3089\u3044\u304b\u304b\u3063\u305f\u3002<\/p><p><a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/b9222e3aad3d4c8d9eb78a04f49621e56e13a718\/binary-tree.lisp\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/b9222e3aad3d4c8d9eb78a04f49621e56e13a718\/binary-tree.lisp<\/a><\/p><p><a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/ACL2\" class=\"mention hashtag\" rel=\"tag\">#ACL2<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653095875729762","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-02-01:objectType=thread:nonce=4a545022472e107a","notice_info":{"local_id":"3416956","source":"ActivityPub"}},"published":"2021-02-01T00:11:46+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105653095875729762"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2417879","rel":"alternate","type":"text\/html"}]}