{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":4,"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":"
https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105606459763642932<\/a><\/p>","generator":{"id":"tag:social.senooken.jp,2024-03-29:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105606462586420200","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105606462586420200","objectType":"note","content":" https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105606459763642932<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105606462586420200","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602200022472623","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602200022472623"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-01-22:objectType=thread:nonce=451056184828344b","notice_info":{"local_id":"3392567","source":"ActivityPub"}},"published":"2021-01-23T18:32:18+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105606462586420200"},{"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":" \u7dcf\u5f53\u305f\u308a\u3067\u89e3\u6c7a\u3057\u3061\u3083\u3063\u3066\u3044\u308b\u611f\u306f\u3042\u308b<\/p>","generator":{"id":"tag:social.senooken.jp,2024-03-29:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602200022472623","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602200022472623","objectType":"note","content":" \u7dcf\u5f53\u305f\u308a\u3067\u89e3\u6c7a\u3057\u3061\u3083\u3063\u3066\u3044\u308b\u611f\u306f\u3042\u308b<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602200022472623","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602195779585710","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602195779585710"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-01-22:objectType=thread:nonce=451056184828344b","notice_info":{"local_id":"3390660","source":"ActivityPub"}},"published":"2021-01-23T00:28:16+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602200022472623"},{"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":" expand \u306e\u30d2\u30f3\u30c8\u306e\u4f7f\u3044\u65b9\u3092\u899a\u3048\u305f\u3053\u3068\u3067\u300111 \u4ee5\u4e0b\u306e\u3068\u304d\u306f\u5b89\u5168\u306b\u30d2\u30c3\u30c8\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3059\u5b9a\u7406\u304c\u304b\u3051\u305f\u3002<\/p> https:\/\/gitlab.com\/tojoqk\/blackjack\/-\/commit\/12733bfa51f3cc6c98d2b067bf3217f4e2a76145<\/a><\/p>","generator":{"id":"tag:social.senooken.jp,2024-03-29:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602195779585710","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602195779585710","objectType":"note","content":" expand \u306e\u30d2\u30f3\u30c8\u306e\u4f7f\u3044\u65b9\u3092\u899a\u3048\u305f\u3053\u3068\u3067\u300111 \u4ee5\u4e0b\u306e\u3068\u304d\u306f\u5b89\u5168\u306b\u30d2\u30c3\u30c8\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3059\u5b9a\u7406\u304c\u304b\u3051\u305f\u3002<\/p> https:\/\/gitlab.com\/tojoqk\/blackjack\/-\/commit\/12733bfa51f3cc6c98d2b067bf3217f4e2a76145<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602195779585710","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602052033549921","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602052033549921"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-01-22:objectType=thread:nonce=451056184828344b","notice_info":{"local_id":"3390658","source":"ActivityPub"}},"published":"2021-01-23T00:27:12+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105602195779585710"},{"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":" \u3053\u306e\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u3081\u3063\u3061\u3083\u91cd\u8981\u3060\u3063\u305f\u3002thm \u3068 verify \u30b3\u30de\u30f3\u30c9\u3068 expand \u30d2\u30f3\u30c8\u306e\u4f7f\u3044\u65b9\u3092\u899a\u3048\u305f\u305e\u3002https:\/\/www.cs.utexas.edu\/users\/kaufmann\/tutorial\/rev3.html#top<\/a><\/p> #ACL2<\/a><\/p>","generator":{"id":"tag:social.senooken.jp,2024-03-29:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602052033549921","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105602052033549921","objectType":"note","content":" \u3053\u306e\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u3081\u3063\u3061\u3083\u91cd\u8981\u3060\u3063\u305f\u3002thm \u3068 verify \u30b3\u30de\u30f3\u30c9\u3068 expand \u30d2\u30f3\u30c8\u306e\u4f7f\u3044\u65b9\u3092\u899a\u3048\u305f\u305e\u3002https:\/\/www.cs.utexas.edu\/users\/kaufmann\/tutorial\/rev3.html#top<\/a><\/p>