{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":1,"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>\u666e\u901a\u306e\u518d\u5e30\u95a2\u6570\u306e\u65b9\u304c\u5e30\u7d0d\u6cd5\u3067\u6027\u8cea\u3092\u793a\u3057\u3084\u3059\u3044\u306e\u3067\u51fa\u756a\u304c\u3042\u308b\u3002\u52b9\u7387\u3092\u6c17\u306b\u3059\u308b\u5834\u5408\u306f\u672b\u5c3e\u518d\u5e30\u7248\u3068\u306e\u7b49\u4fa1\u6027\u3092\u8a3c\u660e\u3067\u304d\u308c\u3070\u3088\u3044\u3002<\/p><p>\u305f\u3060\u3001\u672b\u5c3e\u518d\u5e30\u95a2\u6570\u306e\u6027\u8cea\u306b\u3064\u3044\u3066\u76f4\u63a5\u8a3c\u660e\u3092\u3059\u308b\u65b9\u6cd5\u3082\u305d\u308c\u306f\u305d\u308c\u3067\u91cd\u8981\u306a\u305f\u3081\u4e21\u65b9\u306e\u30b9\u30bf\u30a4\u30eb\u3067\u8a3c\u660e\u304c\u3067\u304d\u305f\u65b9\u304c\u3088\u3044\u3068\u4e0b\u8a18\u306e\u7df4\u7fd2\u554f\u984c\u306e\u56de\u7b54\u306b\u3042\u3063\u305f(\u3082\u306e\u306b\u3088\u3063\u3066\u306f\u672b\u5c3e\u518d\u5e30\u3067\u306a\u3044\u30d0\u30fc\u30b8\u30e7\u30f3\u3068\u7b49\u3057\u3044\u3053\u3068\u3092\u793a\u3059\u306e\u304c\u96e3\u3057\u3044\u5834\u5408\u3082\u3042\u308b)\u3002<a href=\"https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____INTRODUCTORY-CHALLENGE-PROBLEM-4\" rel=\"nofollow noreferrer\">https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____INTRODUCTORY-CHALLENGE-PROBLEM-4<\/a><\/p><p>\u307e\u3042\u3001\u3068\u3082\u304b\u304f ACL2 \u306a\u3089\u672b\u5c3e\u518d\u5e30\u7248\u3067\u306a\u3044\u95a2\u6570\u306b\u3082\u51fa\u756a\u304c\u3042\u308b\u306e\u3060\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\/106909069547714077","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106909069547714077","objectType":"note","content":"<p>\u666e\u901a\u306e\u518d\u5e30\u95a2\u6570\u306e\u65b9\u304c\u5e30\u7d0d\u6cd5\u3067\u6027\u8cea\u3092\u793a\u3057\u3084\u3059\u3044\u306e\u3067\u51fa\u756a\u304c\u3042\u308b\u3002\u52b9\u7387\u3092\u6c17\u306b\u3059\u308b\u5834\u5408\u306f\u672b\u5c3e\u518d\u5e30\u7248\u3068\u306e\u7b49\u4fa1\u6027\u3092\u8a3c\u660e\u3067\u304d\u308c\u3070\u3088\u3044\u3002<\/p><p>\u305f\u3060\u3001\u672b\u5c3e\u518d\u5e30\u95a2\u6570\u306e\u6027\u8cea\u306b\u3064\u3044\u3066\u76f4\u63a5\u8a3c\u660e\u3092\u3059\u308b\u65b9\u6cd5\u3082\u305d\u308c\u306f\u305d\u308c\u3067\u91cd\u8981\u306a\u305f\u3081\u4e21\u65b9\u306e\u30b9\u30bf\u30a4\u30eb\u3067\u8a3c\u660e\u304c\u3067\u304d\u305f\u65b9\u304c\u3088\u3044\u3068\u4e0b\u8a18\u306e\u7df4\u7fd2\u554f\u984c\u306e\u56de\u7b54\u306b\u3042\u3063\u305f(\u3082\u306e\u306b\u3088\u3063\u3066\u306f\u672b\u5c3e\u518d\u5e30\u3067\u306a\u3044\u30d0\u30fc\u30b8\u30e7\u30f3\u3068\u7b49\u3057\u3044\u3053\u3068\u3092\u793a\u3059\u306e\u304c\u96e3\u3057\u3044\u5834\u5408\u3082\u3042\u308b)\u3002<a href=\"https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____INTRODUCTORY-CHALLENGE-PROBLEM-4\" rel=\"nofollow noreferrer\">https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____INTRODUCTORY-CHALLENGE-PROBLEM-4<\/a><\/p><p>\u307e\u3042\u3001\u3068\u3082\u304b\u304f ACL2 \u306a\u3089\u672b\u5c3e\u518d\u5e30\u7248\u3067\u306a\u3044\u95a2\u6570\u306b\u3082\u51fa\u756a\u304c\u3042\u308b\u306e\u3060\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106909069547714077","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-09-10:objectType=thread:nonce=1df8c58258d91b22","notice_info":{"local_id":"3925841","source":"ActivityPub"}},"published":"2021-09-10T19:42:23+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106909069547714077"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2838701","rel":"alternate","type":"text\/html"}]}