{"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>\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3058\u3083\u306a\u304f\u3066\u7279\u5b9a\u306e\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u3060\u3051\u304b\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\/106970560683204965","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106970560683204965","objectType":"note","content":"<p>\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3058\u3083\u306a\u304f\u3066\u7279\u5b9a\u306e\u30c7\u30a3\u30ec\u30af\u30c8\u30ea\u3060\u3051\u304b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970560683204965","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106970559285744814","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970559285744814"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-21:objectType=thread:nonce=bb10537d64d3708e","notice_info":{"local_id":"3946627","source":"ActivityPub"}},"published":"2021-09-21T16:20:23+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970560683204965"},{"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>Nextcloud \u3067\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3092\u540c\u671f\u3057\u3066\u308b\u306e\u3067\u305d\u308c\u3067\u3082\u3044\u3044\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\u3093\u3060\u3051\u3069\u305d\u308c\u3067\u306f\u306a\u3093\u304b\u99c4\u76ee\u306a\u3093\u3060\u3088\u306a\u3002\u4f55\u304c\u99c4\u76ee\u306a\u306e\u304b\u306f\u3088\u304f\u5206\u304b\u3089\u3093\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\/106970559285744814","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106970559285744814","objectType":"note","content":"<p>Nextcloud \u3067\u30d5\u30a1\u30a4\u30eb\u30b7\u30b9\u30c6\u30e0\u3092\u540c\u671f\u3057\u3066\u308b\u306e\u3067\u305d\u308c\u3067\u3082\u3044\u3044\u3088\u3046\u306a\u6c17\u3082\u3059\u308b\u3093\u3060\u3051\u3069\u305d\u308c\u3067\u306f\u306a\u3093\u304b\u99c4\u76ee\u306a\u3093\u3060\u3088\u306a\u3002\u4f55\u304c\u99c4\u76ee\u306a\u306e\u304b\u306f\u3088\u304f\u5206\u304b\u3089\u3093\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970559285744814","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106970555383118091","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970555383118091"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-21:objectType=thread:nonce=bb10537d64d3708e","notice_info":{"local_id":"3946626","source":"ActivityPub"}},"published":"2021-09-21T16:20:04+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970559285744814"},{"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 \u3092\u5b9f\u884c\u3057\u305f\u308a\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u4fdd\u5b58\u3059\u308b\u306e\u306b\u306f Jupyter Notebook \u306e\u307f\u3092\u4f7f\u3046\u3088\u3046\u306b\u306a\u3063\u3066\u304d\u305f\u3002\u3044\u307e\u3084 Emacs \u306f ACL2 \u3092\u4f7f\u3063\u3066\u3044\u308b\u3068\u304d\u306f S \u5f0f\u3092\u7de8\u96c6\u3059\u308b\u306e\u3068 ACL2 \u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3092\u53c2\u7167\u3059\u308b\u306e\u306b\u4f7f\u3063\u3066\u308b\u3060\u3051\u3060\u306a\u3002<\/p><p>\u3084\u3063\u3071\u308a\u66f8\u3044\u305f\u3082\u306e\u304c\u30b5\u30fc\u30d0\u30fc\u306b\u52dd\u624b\u306b\u4fdd\u5b58\u3055\u308c\u308b\u306e\u304c\u6700\u9ad8\u306a\u3093\u3060\u308d\u3046\u306a\u3002\u81ea\u524d\u30af\u30e9\u30a6\u30c9\u306b\u306f\u52dd\u3066\u306a\u304b\u3063\u305f\u3088\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\/106970555383118091","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106970555383118091","objectType":"note","content":"<p>ACL2 \u3092\u5b9f\u884c\u3057\u305f\u308a\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u4fdd\u5b58\u3059\u308b\u306e\u306b\u306f Jupyter Notebook \u306e\u307f\u3092\u4f7f\u3046\u3088\u3046\u306b\u306a\u3063\u3066\u304d\u305f\u3002\u3044\u307e\u3084 Emacs \u306f ACL2 \u3092\u4f7f\u3063\u3066\u3044\u308b\u3068\u304d\u306f S \u5f0f\u3092\u7de8\u96c6\u3059\u308b\u306e\u3068 ACL2 \u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3092\u53c2\u7167\u3059\u308b\u306e\u306b\u4f7f\u3063\u3066\u308b\u3060\u3051\u3060\u306a\u3002<\/p><p>\u3084\u3063\u3071\u308a\u66f8\u3044\u305f\u3082\u306e\u304c\u30b5\u30fc\u30d0\u30fc\u306b\u52dd\u624b\u306b\u4fdd\u5b58\u3055\u308c\u308b\u306e\u304c\u6700\u9ad8\u306a\u3093\u3060\u308d\u3046\u306a\u3002\u81ea\u524d\u30af\u30e9\u30a6\u30c9\u306b\u306f\u52dd\u3066\u306a\u304b\u3063\u305f\u3088\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970555383118091","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-21:objectType=thread:nonce=bb10537d64d3708e","notice_info":{"local_id":"3946624","source":"ActivityPub"}},"published":"2021-09-21T16:19:04+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106970555383118091"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2856004","rel":"alternate","type":"text\/html"}]}