{"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>\u307e\u3042\u3001\u4eca\u306e\u79c1\u306f ACL2 \u306b\u5922\u4e2d\u306a\u3093\u3067 ACL2 \u306a\u3089\u305d\u308c\u304f\u3089\u3044\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u306f\u5f53\u7136\u306a\u305f\u3081\u3082\u306f\u3084\u3042\u3093\u307e\u5b09\u3057\u304f\u306a\u3044\u304c\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\/107062525810904725","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062525810904725","objectType":"note","content":"<p>\u307e\u3042\u3001\u4eca\u306e\u79c1\u306f ACL2 \u306b\u5922\u4e2d\u306a\u3093\u3067 ACL2 \u306a\u3089\u305d\u308c\u304f\u3089\u3044\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u306f\u5f53\u7136\u306a\u305f\u3081\u3082\u306f\u3084\u3042\u3093\u307e\u5b09\u3057\u304f\u306a\u3044\u304c\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062525810904725","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062521937413613","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062521937413613"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978302","source":"ActivityPub"}},"published":"2021-10-07T22:08:19+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062525810904725"},{"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>Typed Racket \u306f\u6570\u5024\u578b\u304c\u8c4a\u5bcc\u3067 Natural \u578b\u304c\u3042\u3063\u305f\u308a\u3059\u308b\u306e\u597d\u304d\u3002\u8ca0\u306e\u6570\u3092\u9759\u7684\u306b\u62d2\u7d76\u3067\u304d\u308b factorial \u624b\u7d9a\u304d\u3068\u304b\u304c\u66f8\u3051\u308b\u306e\u3067\u5f37\u3044\u305e\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\/107062521937413613","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062521937413613","objectType":"note","content":"<p>Typed Racket \u306f\u6570\u5024\u578b\u304c\u8c4a\u5bcc\u3067 Natural \u578b\u304c\u3042\u3063\u305f\u308a\u3059\u308b\u306e\u597d\u304d\u3002\u8ca0\u306e\u6570\u3092\u9759\u7684\u306b\u62d2\u7d76\u3067\u304d\u308b factorial \u624b\u7d9a\u304d\u3068\u304b\u304c\u66f8\u3051\u308b\u306e\u3067\u5f37\u3044\u305e\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062521937413613","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062516778687310","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062516778687310"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978301","source":"ActivityPub"}},"published":"2021-10-07T22:07:21+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062521937413613"},{"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>\u3042\u3068\u306f ACL2 \u307f\u305f\u3044\u306e\u3092\u5c0e\u5165\u3059\u308b\u3068\u304b\u304b\u306a\u3002ACL2 \u3067\u8a3c\u660e\u3057\u305f\u3084\u3064\u3092 Guile \u306b\u6301\u3063\u3066\u3044\u304d\u305f\u3044\u91ce\u671b\u306f\u6301\u3063\u3066\u305f\u3093\u3060\u3051\u3069\u3082\u3046\u307b\u307c\u632b\u6298\u3057\u3066\u308b\u3002Scheme \u3068 Common Lisp \u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u3058\u3083\u610f\u5473\u8ad6\u9055\u3046\u3057\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\/107062516778687310","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062516778687310","objectType":"note","content":"<p>\u3042\u3068\u306f ACL2 \u307f\u305f\u3044\u306e\u3092\u5c0e\u5165\u3059\u308b\u3068\u304b\u304b\u306a\u3002ACL2 \u3067\u8a3c\u660e\u3057\u305f\u3084\u3064\u3092 Guile \u306b\u6301\u3063\u3066\u3044\u304d\u305f\u3044\u91ce\u671b\u306f\u6301\u3063\u3066\u305f\u3093\u3060\u3051\u3069\u3082\u3046\u307b\u307c\u632b\u6298\u3057\u3066\u308b\u3002Scheme \u3068 Common Lisp \u306e\u30b5\u30d6\u30bb\u30c3\u30c8\u3058\u3083\u610f\u5473\u8ad6\u9055\u3046\u3057\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062516778687310","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062509282232383","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062509282232383"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978300","source":"ActivityPub"}},"published":"2021-10-07T22:06:02+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062516778687310"},{"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>\u3068\u3044\u3046\u304b\u3088\u304f\u8003\u3048\u305f\u3089 Typed Racket \u304c\u5b58\u5728\u3059\u308b\u3058\u3083\u3093\u3002\u3042\u308c\u3082\u666e\u901a\u306e Racket \u306e\u4e16\u754c\u3068\u3084\u308a\u3068\u308a\u3067\u304d\u308b\u3057\u3001Typed Racket \u306f\u666e\u901a\u306b\u3061\u3083\u3093\u3068\u3057\u305f\u9759\u7684\u578b\u3092\u6301\u3063\u305f\u8a00\u8a9e\u306a\u306e\u3067\u3044\u3044\u3002<\/p><p>Guile \u3058\u3083\u306a\u304f\u3066 Racket \u3092\u5c0e\u5165\u3059\u308c\u3070\u89e3\u6c7a\u3063\u307d\u3044\u96f0\u56f2\u6c17\u3042\u308b\u306a\u3002\u307e\u3042\u3001Typed Racket \u306f\u30de\u30af\u30ed\u3067\u3057\u3063\u304b\u308a\u3068\u3057\u305f\u9759\u7684\u578b\u3092\u5b9f\u73fe\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3057\u305f\u4f8b\u306a\u3093\u3067\u3001Guile \u3067\u3082\u540c\u3058\u3053\u3068\u3092\u3084\u308c\u3070\u6280\u8853\u7684\u306b\u53ef\u80fd\u306a\u3053\u3068\u306f\u9593\u9055\u3044\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\/107062509282232383","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062509282232383","objectType":"note","content":"<p>\u3068\u3044\u3046\u304b\u3088\u304f\u8003\u3048\u305f\u3089 Typed Racket \u304c\u5b58\u5728\u3059\u308b\u3058\u3083\u3093\u3002\u3042\u308c\u3082\u666e\u901a\u306e Racket \u306e\u4e16\u754c\u3068\u3084\u308a\u3068\u308a\u3067\u304d\u308b\u3057\u3001Typed Racket \u306f\u666e\u901a\u306b\u3061\u3083\u3093\u3068\u3057\u305f\u9759\u7684\u578b\u3092\u6301\u3063\u305f\u8a00\u8a9e\u306a\u306e\u3067\u3044\u3044\u3002<\/p><p>Guile \u3058\u3083\u306a\u304f\u3066 Racket \u3092\u5c0e\u5165\u3059\u308c\u3070\u89e3\u6c7a\u3063\u307d\u3044\u96f0\u56f2\u6c17\u3042\u308b\u306a\u3002\u307e\u3042\u3001Typed Racket \u306f\u30de\u30af\u30ed\u3067\u3057\u3063\u304b\u308a\u3068\u3057\u305f\u9759\u7684\u578b\u3092\u5b9f\u73fe\u3067\u304d\u308b\u3053\u3068\u3092\u793a\u3057\u305f\u4f8b\u306a\u3093\u3067\u3001Guile \u3067\u3082\u540c\u3058\u3053\u3068\u3092\u3084\u308c\u3070\u6280\u8853\u7684\u306b\u53ef\u80fd\u306a\u3053\u3068\u306f\u9593\u9055\u3044\u306a\u3044\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062509282232383","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062501506599219","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062501506599219"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978296","source":"ActivityPub"}},"published":"2021-10-07T22:04:07+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062509282232383"},{"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>\u3053\u308c\u3060\u3001\u3053\u3046\u3084\u3063\u3066\u90e8\u5206\u7684\u306b\u9759\u7684\u578b\u3092\u5c0e\u5165\u3067\u304d\u308b\u3093\u3060\u304b\u3089\u3067\u304d\u306a\u3044\u7406\u7531\u306f\u78ba\u304b\u306b\u306a\u3044\u3002<\/p><p>Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp | The Coalton Language<a href=\"https:\/\/coalton-lang.github.io\/20211010-introducing-coalton\/\" rel=\"nofollow noreferrer\">https:\/\/coalton-lang.github.io\/20211010-introducing-coalton\/<\/a><\/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\/107062501506599219","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062501506599219","objectType":"note","content":"<p>\u3053\u308c\u3060\u3001\u3053\u3046\u3084\u3063\u3066\u90e8\u5206\u7684\u306b\u9759\u7684\u578b\u3092\u5c0e\u5165\u3067\u304d\u308b\u3093\u3060\u304b\u3089\u3067\u304d\u306a\u3044\u7406\u7531\u306f\u78ba\u304b\u306b\u306a\u3044\u3002<\/p><p>Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp | The Coalton Language<a href=\"https:\/\/coalton-lang.github.io\/20211010-introducing-coalton\/\" rel=\"nofollow noreferrer\">https:\/\/coalton-lang.github.io\/20211010-introducing-coalton\/<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062501506599219","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062496182733457","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062496182733457"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978292","source":"ActivityPub"}},"published":"2021-10-07T22:02:09+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062501506599219"},{"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>\u305d\u3046\u3044\u3048\u3070\u6700\u8fd1 Common Lisp \u306b\u9759\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u3092\u57cb\u3081\u8fbc\u3080\u3084\u3064\u304c\u8a71\u984c\u306b\u306a\u3063\u3066\u305f\u306a\u3002\u305f\u3057\u304b\u306b\u9759\u7684\u578b\u4ed8\u304d\u3067\u3082\u53ef\u80fd\u3067\u306f\u3042\u308a\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\/107062496182733457","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/107062496182733457","objectType":"note","content":"<p>\u305d\u3046\u3044\u3048\u3070\u6700\u8fd1 Common Lisp \u306b\u9759\u7684\u578b\u4ed8\u3051\u8a00\u8a9e\u3092\u57cb\u3081\u8fbc\u3080\u3084\u3064\u304c\u8a71\u984c\u306b\u306a\u3063\u3066\u305f\u306a\u3002\u305f\u3057\u304b\u306b\u9759\u7684\u578b\u4ed8\u304d\u3067\u3082\u53ef\u80fd\u3067\u306f\u3042\u308a\u305d\u3046\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062496182733457","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-10-07:objectType=thread:nonce=650130d4ee60f8b5","notice_info":{"local_id":"3978289","source":"ActivityPub"}},"published":"2021-10-07T22:00:47+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/107062496182733457"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2882399","rel":"alternate","type":"text\/html"}]}