{"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>ob-acl2\u3001\u3068\u308a\u3042\u3048\u305a\u79c1\u304c\u4f7f\u3048\u308b\u72b6\u614b\u306b\u306f\u306a\u3063\u305f\u306a(\u3068\u3066\u3082\u5fae\u5999\u3060\u3051\u3069)\u3002\u3053\u308c\u3092\u3082\u3063\u3066 Jupyter Notebook \u306f\u4e00\u65e6\u3084\u3081\u3066 org-mode \u306b\u79fb\u884c\u3059\u308b\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\/106987015442828756","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106987015442828756","objectType":"note","content":"<p>ob-acl2\u3001\u3068\u308a\u3042\u3048\u305a\u79c1\u304c\u4f7f\u3048\u308b\u72b6\u614b\u306b\u306f\u306a\u3063\u305f\u306a(\u3068\u3066\u3082\u5fae\u5999\u3060\u3051\u3069)\u3002\u3053\u308c\u3092\u3082\u3063\u3066 Jupyter Notebook \u306f\u4e00\u65e6\u3084\u3081\u3066 org-mode \u306b\u79fb\u884c\u3059\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106987015442828756","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986640291671323","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986640291671323"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3952267","source":"ActivityPub"}},"published":"2021-09-24T14:05:04+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106987015442828756"},{"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>Emacs Lisp \u306a\u3093\u3082\u308f\u304b\u3089\u306a\u3044\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\/106986640291671323","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986640291671323","objectType":"note","content":"<p>Emacs Lisp \u306a\u3093\u3082\u308f\u304b\u3089\u306a\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986640291671323","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986639290320703","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986639290320703"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3951969","source":"ActivityPub"}},"published":"2021-09-24T12:29:38+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986640291671323"},{"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>ob-acl2 \u306f\u306a\u3093\u3082\u5206\u304b\u3089\u3093\u3051\u3069\u3068\u308a\u3042\u3048\u305a\u52d5\u304f\u3084\u3064\u3067\u304d\u305d\u3046\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\/106986639290320703","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986639290320703","objectType":"note","content":"<p>ob-acl2 \u306f\u306a\u3093\u3082\u5206\u304b\u3089\u3093\u3051\u3069\u3068\u308a\u3042\u3048\u305a\u52d5\u304f\u3084\u3064\u3067\u304d\u305d\u3046\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986639290320703","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986546985616151","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986546985616151"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3951968","source":"ActivityPub"}},"published":"2021-09-24T12:29:23+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986639290320703"},{"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>\u516c\u5f0f\u306e ACL2 \u304c\u3001\u306a\u3093\u3068\u3044\u3046\u304b bash \u306b S \u5f0f\u3092\u6d41\u3057\u8fbc\u3093\u3067\u89e3\u6c7a\u3063\u3066\u3084\u3063\u3066\u3044\u308b\u308f\u3051\u3060\u304b\u3089 ob-acl2 \u3082\u51dd\u3063\u305f\u3053\u3068\u3057\u306a\u304f\u3066\u3044\u3044\u6c17\u304c\u3057\u3066\u304d\u305f\u3002\u9069\u5f53\u306b\u4f5c\u308d\u3046\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\/106986546985616151","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986546985616151","objectType":"note","content":"<p>\u516c\u5f0f\u306e ACL2 \u304c\u3001\u306a\u3093\u3068\u3044\u3046\u304b bash \u306b S \u5f0f\u3092\u6d41\u3057\u8fbc\u3093\u3067\u89e3\u6c7a\u3063\u3066\u3084\u3063\u3066\u3044\u308b\u308f\u3051\u3060\u304b\u3089 ob-acl2 \u3082\u51dd\u3063\u305f\u3053\u3068\u3057\u306a\u304f\u3066\u3044\u3044\u6c17\u304c\u3057\u3066\u304d\u305f\u3002\u9069\u5f53\u306b\u4f5c\u308d\u3046\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986546985616151","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986409680953376","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986409680953376"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3951919","source":"ActivityPub"}},"published":"2021-09-24T12:05:55+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986546985616151"},{"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>ob-acl2 \u5b9f\u88c5\u3059\u308b\u306e\u3084\u3063\u3071\u5927\u5909\u3060\u3002\u5927\u5909\u306a\u306e\u3067\u3057\u3070\u3089\u304f\u306f Jupyer Notebook \u3092\u4f7f\u3063\u3066 org-mode \u3078\u306e\u79fb\u884c\u306f\u9577\u671f\u76ee\u6a19\u306b\u3057\u3088\u3046\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\/106986409680953376","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106986409680953376","objectType":"note","content":"<p>ob-acl2 \u5b9f\u88c5\u3059\u308b\u306e\u3084\u3063\u3071\u5927\u5909\u3060\u3002\u5927\u5909\u306a\u306e\u3067\u3057\u3070\u3089\u304f\u306f Jupyer Notebook \u3092\u4f7f\u3063\u3066 org-mode \u3078\u306e\u79fb\u884c\u306f\u9577\u671f\u76ee\u6a19\u306b\u3057\u3088\u3046\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986409680953376","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106985276919019775","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106985276919019775"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3951841","source":"ActivityPub"}},"published":"2021-09-24T11:31:00+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106986409680953376"},{"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>JupyterLab \u3092\u898b\u3066\u306a\u3093\u304b Jupyter \u304c\u9032\u3082\u3046\u3068\u3059\u308b\u65b9\u5411\u6027\u304c\u81ea\u5206\u306e\u6c42\u3081\u3066\u3044\u308b\u3082\u306e\u3068\u306a\u3093\u304b\u9055\u3046\u3053\u3068\u306b\u6c17\u3065\u3044\u3066\u3057\u307e\u3063\u3066\u3001Jupyter Notebook \u306b\u5bfe\u3059\u308b\u71b1\u304c\u51b7\u3081\u3066\u3057\u307e\u3063\u305f\u3002<\/p><p>ob-acl2 \u3092\u3069\u3046\u306b\u304b\u3057\u3066\u5b9f\u88c5\u3057\u3066\u3001org-mode \u3067\u751f\u304d\u3066\u3044\u304f\u3053\u3068\u306b\u3057\u305f\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\/106985276919019775","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106985276919019775","objectType":"note","content":"<p>JupyterLab \u3092\u898b\u3066\u306a\u3093\u304b Jupyter \u304c\u9032\u3082\u3046\u3068\u3059\u308b\u65b9\u5411\u6027\u304c\u81ea\u5206\u306e\u6c42\u3081\u3066\u3044\u308b\u3082\u306e\u3068\u306a\u3093\u304b\u9055\u3046\u3053\u3068\u306b\u6c17\u3065\u3044\u3066\u3057\u307e\u3063\u3066\u3001Jupyter Notebook \u306b\u5bfe\u3059\u308b\u71b1\u304c\u51b7\u3081\u3066\u3057\u307e\u3063\u305f\u3002<\/p><p>ob-acl2 \u3092\u3069\u3046\u306b\u304b\u3057\u3066\u5b9f\u88c5\u3057\u3066\u3001org-mode \u3067\u751f\u304d\u3066\u3044\u304f\u3053\u3068\u306b\u3057\u305f\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106985276919019775","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-24:objectType=thread:nonce=4bfb2be42ab340dd","notice_info":{"local_id":"3951413","source":"ActivityPub"}},"published":"2021-09-24T06:42:58+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106985276919019775"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2859919","rel":"alternate","type":"text\/html"}]}