{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":6,"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 \u3068\u300c\u4ef2\u826f\u304f\u300d\u306a\u308b\u3053\u3068\u304c\u91cd\u8981\u306a\u308f\u3051\u304b\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\/105658900925413358","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658900925413358","objectType":"note","content":"<p>ACL2 \u3068\u300c\u4ef2\u826f\u304f\u300d\u306a\u308b\u3053\u3068\u304c\u91cd\u8981\u306a\u308f\u3051\u304b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658900925413358","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658857451777053","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658857451777053"}},"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=17e766f5aa31d802","notice_info":{"local_id":"3419619","source":"ActivityPub"}},"published":"2021-02-02T00:48:04+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658900925413358"},{"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>\u5b9a\u7406\u8a3c\u660e\u624b\u7fd2\u3044\u306e J-Bob \u3084\u3053\u306e\u524d\u4f5c\u3063\u305f vikalpa (<a href=\"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105579715190206801\" rel=\"nofollow noreferrer\">https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105579715190206801<\/a>) \u3067\u540c\u3058\u3053\u3068\u3092\u8a3c\u660e\u306b\u3088\u3046\u3068\u3057\u305f\u3089\u81a8\u5927\u306a\u6642\u9593\u304c\u304b\u304b\u308b\u306f\u305a\u306a\u306e\u3067\u3001\u3053\u308c\u3067\u3082 ACL2 \u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u305f\u3082\u306e\u306f\u3081\u3061\u3083\u304f\u3061\u3083\u5927\u304d\u3044\u3068\u8a00\u3063\u3066\u3044\u3044\u306f\u305a\u3002\u7d4c\u9a13\u3092\u7a4d\u3081\u3070\u3082\u3063\u3068\u77ed\u3044\u6642\u9593\u3067\u8a3c\u660e\u3067\u304d\u308b\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\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\/105658869652226135","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658869652226135","objectType":"note","content":"<p>\u5b9a\u7406\u8a3c\u660e\u624b\u7fd2\u3044\u306e J-Bob \u3084\u3053\u306e\u524d\u4f5c\u3063\u305f vikalpa (<a href=\"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105579715190206801\" rel=\"nofollow noreferrer\">https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105579715190206801<\/a>) \u3067\u540c\u3058\u3053\u3068\u3092\u8a3c\u660e\u306b\u3088\u3046\u3068\u3057\u305f\u3089\u81a8\u5927\u306a\u6642\u9593\u304c\u304b\u304b\u308b\u306f\u305a\u306a\u306e\u3067\u3001\u3053\u308c\u3067\u3082 ACL2 \u306b\u3088\u3063\u3066\u5f97\u3089\u308c\u305f\u3082\u306e\u306f\u3081\u3061\u3083\u304f\u3061\u3083\u5927\u304d\u3044\u3068\u8a00\u3063\u3066\u3044\u3044\u306f\u305a\u3002\u7d4c\u9a13\u3092\u7a4d\u3081\u3070\u3082\u3063\u3068\u77ed\u3044\u6642\u9593\u3067\u8a3c\u660e\u3067\u304d\u308b\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658869652226135","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658700800009674","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658700800009674"}},"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=17e766f5aa31d802","notice_info":{"local_id":"3419596","source":"ActivityPub"}},"published":"2021-02-02T00:40:07+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658869652226135"},{"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>\u7d76\u5bfe\u6b63\u3057\u3044\u3060\u308d\u3046\u3051\u3069\u5177\u4f53\u7684\u306b\u3069\u3046\u3084\u3063\u3066\u8a3c\u660e\u3057\u305f\u3089\u3044\u3044\u306e\u304b\u898b\u5f53\u3082\u3064\u304b\u306a\u3044\u72b6\u614b\u304b\u3089\u3001\u79c1\u3068 ACL2 \u3067 S \u5f0f\u306b\u3088\u308b\u30b3\u30df\u30cb\u30e5\u30b1\u30fc\u30b7\u30e7\u30f3\u3092\u884c\u3063\u305f\u7d50\u679c\u3001\u5b9a\u7406\u3060\u3068\u8a3c\u660e\u3067\u304d\u305f\u3002\u3053\u308c\u306f\u3082\u3046\u4eba\u5de5\u77e5\u80fd\u3068\u306e\u5bfe\u8a71\u306b\u3088\u308b\u5b9a\u7406\u8a3c\u660e\u3067\u3042\u308b\u3068\u3044\u3063\u3066\u3044\u3044\u306f\u305a\u3002(\u5b9f\u969b\u306b\u306f ACL2 \u306f\u30eb\u30fc\u30eb\u30bb\u30c3\u30c8\u3092\u4f7f\u3063\u3066\u8a3c\u660e\u3092\u63a2\u7d22\u3057\u3066\u3044\u308b\u3060\u3051\u3060\u3051\u3069\u306d)<\/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\/105658857451777053","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658857451777053","objectType":"note","content":"<p>\u7d76\u5bfe\u6b63\u3057\u3044\u3060\u308d\u3046\u3051\u3069\u5177\u4f53\u7684\u306b\u3069\u3046\u3084\u3063\u3066\u8a3c\u660e\u3057\u305f\u3089\u3044\u3044\u306e\u304b\u898b\u5f53\u3082\u3064\u304b\u306a\u3044\u72b6\u614b\u304b\u3089\u3001\u79c1\u3068 ACL2 \u3067 S \u5f0f\u306b\u3088\u308b\u30b3\u30df\u30cb\u30e5\u30b1\u30fc\u30b7\u30e7\u30f3\u3092\u884c\u3063\u305f\u7d50\u679c\u3001\u5b9a\u7406\u3060\u3068\u8a3c\u660e\u3067\u304d\u305f\u3002\u3053\u308c\u306f\u3082\u3046\u4eba\u5de5\u77e5\u80fd\u3068\u306e\u5bfe\u8a71\u306b\u3088\u308b\u5b9a\u7406\u8a3c\u660e\u3067\u3042\u308b\u3068\u3044\u3063\u3066\u3044\u3044\u306f\u305a\u3002(\u5b9f\u969b\u306b\u306f ACL2 \u306f\u30eb\u30fc\u30eb\u30bb\u30c3\u30c8\u3092\u4f7f\u3063\u3066\u8a3c\u660e\u3092\u63a2\u7d22\u3057\u3066\u3044\u308b\u3060\u3051\u3060\u3051\u3069\u306d)<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658857451777053","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658810032520512","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658810032520512"}},"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=17e766f5aa31d802","notice_info":{"local_id":"3419579","source":"ActivityPub"}},"published":"2021-02-02T00:37:01+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658857451777053"},{"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>\u8a3c\u660e\u304c\u7d42\u308f\u3063\u3066\u304b\u3089\u3001ACL2 \u306b\u8a3c\u660e\u3055\u305b\u308b\u306b\u306f\u5fc5\u8981\u306e\u306a\u3044\u88dc\u984c\u3092\u5b9a\u7fa9\u3057\u3066\u3044\u305f\u3053\u3068\u306b\u6c17\u3065\u304f\u3002\u5fc5\u8981\u306a\u3044\u3068\u3044\u3046\u304b\u3080\u3057\u308d\u6709\u5bb3\u306a\u88dc\u984c\u3060\u3063\u305f\u3002<a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/commit\/c58f7ce61cdf2bbcc86dfd7eb14be7eb31802e6f\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/commit\/c58f7ce61cdf2bbcc86dfd7eb14be7eb31802e6f<\/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\/105658810032520512","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658810032520512","objectType":"note","content":"<p>\u8a3c\u660e\u304c\u7d42\u308f\u3063\u3066\u304b\u3089\u3001ACL2 \u306b\u8a3c\u660e\u3055\u305b\u308b\u306b\u306f\u5fc5\u8981\u306e\u306a\u3044\u88dc\u984c\u3092\u5b9a\u7fa9\u3057\u3066\u3044\u305f\u3053\u3068\u306b\u6c17\u3065\u304f\u3002\u5fc5\u8981\u306a\u3044\u3068\u3044\u3046\u304b\u3080\u3057\u308d\u6709\u5bb3\u306a\u88dc\u984c\u3060\u3063\u305f\u3002<a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/commit\/c58f7ce61cdf2bbcc86dfd7eb14be7eb31802e6f\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/commit\/c58f7ce61cdf2bbcc86dfd7eb14be7eb31802e6f<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658810032520512","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658700800009674","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658700800009674"}},"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=17e766f5aa31d802","notice_info":{"local_id":"3419555","source":"ActivityPub"}},"published":"2021-02-02T00:24:57+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658810032520512"},{"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>\u7d76\u5bfe\u6b63\u3057\u3044\u3057\u5fc5\u305a\u8a3c\u660e\u3067\u304d\u308b\u3068\u601d\u3063\u3066\u304b\u3089\u5b9f\u969b\u306b\u8a3c\u660e\u3067\u304d\u308b\u307e\u30673\u65e5\u304f\u3089\u3044\u304b\u304b\u3063\u3066\u308b\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\/105658700800009674","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658700800009674","objectType":"note","content":"<p>\u7d76\u5bfe\u6b63\u3057\u3044\u3057\u5fc5\u305a\u8a3c\u660e\u3067\u304d\u308b\u3068\u601d\u3063\u3066\u304b\u3089\u5b9f\u969b\u306b\u8a3c\u660e\u3067\u304d\u308b\u307e\u30673\u65e5\u304f\u3089\u3044\u304b\u304b\u3063\u3066\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658700800009674","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658682315245907","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658682315245907"}},"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=17e766f5aa31d802","notice_info":{"local_id":"3419508","source":"ActivityPub"}},"published":"2021-02-01T23:57:09+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658700800009674"},{"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>\u3064\u3044\u306b\u4e8c\u5206\u6728\u306e\u63a2\u7d22\u3068\u4e8c\u5206\u6728\u3092\u9023\u60f3\u30ea\u30b9\u30c8\u306b\u5909\u63db\u3057\u3066\u304b\u3089 assoc \u3059\u308b\u306e\u304c\u7b49\u3057\u3044\u3053\u3068\u3092\u8a3c\u660e\u3067\u304d\u305f\u30fc\uff01\uff01\u5b09\u3057\u3059\u304e\u3066\u6ce3\u304d\u305d\u3046\u3002ACL2 \u3092\u4f7f\u3044\u3053\u306a\u305b\u308b\u6c17\u304c\u3057\u3066\u304d\u305f\u3002<\/p><p><a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/3ad5bef9259a2837e25b63dcf8be8d7bee535f1a\/binary-tree.lisp#L211\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/3ad5bef9259a2837e25b63dcf8be8d7bee535f1a\/binary-tree.lisp#L211<\/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\/105658682315245907","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105658682315245907","objectType":"note","content":"<p>\u3064\u3044\u306b\u4e8c\u5206\u6728\u306e\u63a2\u7d22\u3068\u4e8c\u5206\u6728\u3092\u9023\u60f3\u30ea\u30b9\u30c8\u306b\u5909\u63db\u3057\u3066\u304b\u3089 assoc \u3059\u308b\u306e\u304c\u7b49\u3057\u3044\u3053\u3068\u3092\u8a3c\u660e\u3067\u304d\u305f\u30fc\uff01\uff01\u5b09\u3057\u3059\u304e\u3066\u6ce3\u304d\u305d\u3046\u3002ACL2 \u3092\u4f7f\u3044\u3053\u306a\u305b\u308b\u6c17\u304c\u3057\u3066\u304d\u305f\u3002<\/p><p><a href=\"https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/3ad5bef9259a2837e25b63dcf8be8d7bee535f1a\/binary-tree.lisp#L211\" rel=\"nofollow noreferrer\">https:\/\/gitlab.com\/tojoqk\/practice-acl2\/-\/blob\/3ad5bef9259a2837e25b63dcf8be8d7bee535f1a\/binary-tree.lisp#L211<\/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\/105658682315245907","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=17e766f5aa31d802","notice_info":{"local_id":"3419504","source":"ActivityPub"}},"published":"2021-02-01T23:52:29+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105658682315245907"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2419904","rel":"alternate","type":"text\/html"}]}