{"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>Dracula \u3063\u3066\u3044\u3046 DrRacket \u304b\u3089 ACL2 \u3092\u52d5\u304b\u305b\u308b\u3084\u3064\u304c\u3042\u3063\u305f\u3002\u3053\u308c\u3067\u3082\u3088\u3055\u305d\u3046\u3002<a href=\"http:\/\/dracula-lang.github.io\/\" rel=\"nofollow noreferrer\">http:\/\/dracula-lang.github.io\/<\/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\/105628136492476563","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105628136492476563","objectType":"note","content":"<p>Dracula \u3063\u3066\u3044\u3046 DrRacket \u304b\u3089 ACL2 \u3092\u52d5\u304b\u305b\u308b\u3084\u3064\u304c\u3042\u3063\u305f\u3002\u3053\u308c\u3067\u3082\u3088\u3055\u305d\u3046\u3002<a href=\"http:\/\/dracula-lang.github.io\/\" rel=\"nofollow noreferrer\">http:\/\/dracula-lang.github.io\/<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628136492476563","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105628098267492131","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628098267492131"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-01-27:objectType=thread:nonce=247c5578dfbf6718","notice_info":{"local_id":"3404170","source":"ActivityPub"}},"published":"2021-01-27T14:25:09+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628136492476563"},{"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>Agda \u3082 Emacs \u304b\u3089\u4f7f\u3046\u3053\u3068\u304c\u524d\u63d0\u306b\u306a\u3063\u3066\u308b\u3063\u307d\u3044\u3002<a href=\"https:\/\/agda.readthedocs.io\/en\/latest\/getting-started\/installation.html#installation-from-hackage\" rel=\"nofollow noreferrer\">https:\/\/agda.readthedocs.io\/en\/latest\/getting-started\/installation.html#installation-from-hackage<\/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\/105628111913509633","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105628111913509633","objectType":"note","content":"<p>Agda \u3082 Emacs \u304b\u3089\u4f7f\u3046\u3053\u3068\u304c\u524d\u63d0\u306b\u306a\u3063\u3066\u308b\u3063\u307d\u3044\u3002<a href=\"https:\/\/agda.readthedocs.io\/en\/latest\/getting-started\/installation.html#installation-from-hackage\" rel=\"nofollow noreferrer\">https:\/\/agda.readthedocs.io\/en\/latest\/getting-started\/installation.html#installation-from-hackage<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628111913509633","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105628098267492131","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628098267492131"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-01-27:objectType=thread:nonce=247c5578dfbf6718","notice_info":{"local_id":"3404158","source":"ActivityPub"}},"published":"2021-01-27T14:18:09+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628111913509633"},{"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\u52d5\u304b\u3059\u74b0\u5883\u306e\u9078\u629e\u80a2\u304c Emacs \u304b Eclipse \u304b\u306e\u4e8c\u629e\u306a\u306e\u3084\u3070\u3044\u6c17\u304c\u3059\u308b\u3002\u3053\u3046\u3044\u3046\u3053\u3068\u304c\u7d50\u69cb\u3042\u308b\u306e\u3067\u3001\u30a8\u30c7\u30a3\u30bf\u306e\u9078\u629e\u3067\u8ff7\u3063\u3066\u3044\u308b\u4eba\u306b\u306f Emacs \u3092\u304a\u3059\u3059\u3081\u3057\u305f\u304f\u306a\u308b\u3002<a href=\"https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____EMACS\" rel=\"nofollow noreferrer\">https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____EMACS<\/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\/105628098267492131","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105628098267492131","objectType":"note","content":"<p>ACL2 \u3092\u52d5\u304b\u3059\u74b0\u5883\u306e\u9078\u629e\u80a2\u304c Emacs \u304b Eclipse \u304b\u306e\u4e8c\u629e\u306a\u306e\u3084\u3070\u3044\u6c17\u304c\u3059\u308b\u3002\u3053\u3046\u3044\u3046\u3053\u3068\u304c\u7d50\u69cb\u3042\u308b\u306e\u3067\u3001\u30a8\u30c7\u30a3\u30bf\u306e\u9078\u629e\u3067\u8ff7\u3063\u3066\u3044\u308b\u4eba\u306b\u306f Emacs \u3092\u304a\u3059\u3059\u3081\u3057\u305f\u304f\u306a\u308b\u3002<a href=\"https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____EMACS\" rel=\"nofollow noreferrer\">https:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/manuals\/current\/manual\/index-seo.php\/ACL2____EMACS<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628098267492131","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-01-27:objectType=thread:nonce=247c5578dfbf6718","notice_info":{"local_id":"3404148","source":"ActivityPub"}},"published":"2021-01-27T14:14:41+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105628098267492131"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2407592","rel":"alternate","type":"text\/html"}]}