{"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":"<p>\u3067\u3082\u3001(len (cons-all e x)) \u304c (len x) \u3068\u7b49\u3057\u3044\u3068\u304b\u306f\u8a3c\u660e\u3057\u3066\u306a\u3044\u306e\u306b\u81ea\u52d5\u8a3c\u660e\u3055\u308c\u305f\u306e\u306f\u4eca\u307e\u3067\u306e\u611f\u899a\u3068\u306f\u3061\u3087\u3063\u3068\u7570\u306a\u308b\u3002\u3084\u3063\u3071\u308a ACL2 \u306e\u632f\u821e\u3044\u306b\u3064\u3044\u3066\u307e\u3060\u307e\u3060\u5206\u304b\u3063\u3066\u306a\u3044\u3053\u3068\u304c\u3042\u308b\u306a\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\/106856924369393070","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856924369393070","objectType":"note","content":"<p>\u3067\u3082\u3001(len (cons-all e x)) \u304c (len x) \u3068\u7b49\u3057\u3044\u3068\u304b\u306f\u8a3c\u660e\u3057\u3066\u306a\u3044\u306e\u306b\u81ea\u52d5\u8a3c\u660e\u3055\u308c\u305f\u306e\u306f\u4eca\u307e\u3067\u306e\u611f\u899a\u3068\u306f\u3061\u3087\u3063\u3068\u7570\u306a\u308b\u3002\u3084\u3063\u3071\u308a ACL2 \u306e\u632f\u821e\u3044\u306b\u3064\u3044\u3066\u307e\u3060\u307e\u3060\u5206\u304b\u3063\u3066\u306a\u3044\u3053\u3068\u304c\u3042\u308b\u306a\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856924369393070","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856917067137516","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856917067137516"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-01:objectType=thread:nonce=a079800995e32a00","notice_info":{"local_id":"3907505","source":"ActivityPub"}},"published":"2021-09-01T14:41:11+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856924369393070"},{"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>\u305f\u3057\u304b\u306b\u3001combinations \u95a2\u6570\u3068 comb \u95a2\u6570\u306f\u4f3c\u3066\u3044\u308b\u306e\u3067\u3001\u81ea\u52d5\u8a3c\u660e\u3067\u304d\u308b\u306e\u306f\u305d\u3093\u306a\u306b\u4e0d\u601d\u8b70\u306a\u8a71\u3067\u306f\u306a\u3044\u6c17\u3082\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\/106856917067137516","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856917067137516","objectType":"note","content":"<p>\u305f\u3057\u304b\u306b\u3001combinations \u95a2\u6570\u3068 comb \u95a2\u6570\u306f\u4f3c\u3066\u3044\u308b\u306e\u3067\u3001\u81ea\u52d5\u8a3c\u660e\u3067\u304d\u308b\u306e\u306f\u305d\u3093\u306a\u306b\u4e0d\u601d\u8b70\u306a\u8a71\u3067\u306f\u306a\u3044\u6c17\u3082\u3059\u308b\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856917067137516","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856910675955154","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856910675955154"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-01:objectType=thread:nonce=a079800995e32a00","notice_info":{"local_id":"3907504","source":"ActivityPub"}},"published":"2021-09-01T14:39:19+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856917067137516"},{"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>\u3055\u3063\u304d\u306e\u983c\u307e\u308c\u3054\u3068\u306e\u6b63\u4f53\u306f\u6587\u5b57\u5217\u306e\u30ea\u30b9\u30c8\u304b\u3089 n \u500b\u3092\u53d6\u308a\u3060\u3059\u5168\u3066\u306e\u7d44\u5408\u305b\u3092\u6c42\u3081\u3066\u6b32\u3057\u3044\u3068\u3044\u3046\u3082\u306e\u3060\u3063\u305f\u3093\u3060\u3051\u3069\u3001ACL2 \u3067\u5b9f\u88c5\u3057\u305f\u3002\u3068\u308a\u3042\u3048\u305a\u7d44\u5408\u305b\u306e\u6570\u306b\u95a2\u3059\u308b\u5b9a\u7406\u3092\u66f8\u3044\u305f\u3089\u88dc\u52a9\u5b9a\u7406\u306a\u3057\u3067\u81ea\u52d5\u8a3c\u660e\u3067\u304d\u3066\u3057\u307e\u3063\u3066\u9a5a\u3044\u305f\u3002<\/p><p>\u30b3\u30fc\u30c9: <a href=\"https:\/\/git.tojo.tokyo\/acl2-theorems.git\/tree\/combinations.lisp?id=975418f4c2e1520649196458d3211e6ef9ec531a\" rel=\"nofollow noreferrer\">https:\/\/git.tojo.tokyo\/acl2-theorems.git\/tree\/combinations.lisp?id=975418f4c2e1520649196458d3211e6ef9ec531a<\/a>ACL2 \u306e\u51fa\u529b: <a href=\"https:\/\/ci.tojo.tokyo\/jobs\/acl2-verify\/412\" rel=\"nofollow noreferrer\">https:\/\/ci.tojo.tokyo\/jobs\/acl2-verify\/412<\/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\/106856910675955154","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856910675955154","objectType":"note","content":"<p>\u3055\u3063\u304d\u306e\u983c\u307e\u308c\u3054\u3068\u306e\u6b63\u4f53\u306f\u6587\u5b57\u5217\u306e\u30ea\u30b9\u30c8\u304b\u3089 n \u500b\u3092\u53d6\u308a\u3060\u3059\u5168\u3066\u306e\u7d44\u5408\u305b\u3092\u6c42\u3081\u3066\u6b32\u3057\u3044\u3068\u3044\u3046\u3082\u306e\u3060\u3063\u305f\u3093\u3060\u3051\u3069\u3001ACL2 \u3067\u5b9f\u88c5\u3057\u305f\u3002\u3068\u308a\u3042\u3048\u305a\u7d44\u5408\u305b\u306e\u6570\u306b\u95a2\u3059\u308b\u5b9a\u7406\u3092\u66f8\u3044\u305f\u3089\u88dc\u52a9\u5b9a\u7406\u306a\u3057\u3067\u81ea\u52d5\u8a3c\u660e\u3067\u304d\u3066\u3057\u307e\u3063\u3066\u9a5a\u3044\u305f\u3002<\/p><p>\u30b3\u30fc\u30c9: <a href=\"https:\/\/git.tojo.tokyo\/acl2-theorems.git\/tree\/combinations.lisp?id=975418f4c2e1520649196458d3211e6ef9ec531a\" rel=\"nofollow noreferrer\">https:\/\/git.tojo.tokyo\/acl2-theorems.git\/tree\/combinations.lisp?id=975418f4c2e1520649196458d3211e6ef9ec531a<\/a>ACL2 \u306e\u51fa\u529b: <a href=\"https:\/\/ci.tojo.tokyo\/jobs\/acl2-verify\/412\" rel=\"nofollow noreferrer\">https:\/\/ci.tojo.tokyo\/jobs\/acl2-verify\/412<\/a><\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856910675955154","status_net":{"notice_id":null},"inReplyTo":{"objectType":"note","id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856591248271143","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856591248271143"}},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-09-01:objectType=thread:nonce=a079800995e32a00","notice_info":{"local_id":"3907503","source":"ActivityPub"}},"published":"2021-09-01T14:37:43+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856910675955154"},{"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>\u983c\u307e\u308c\u3054\u3068\u3057\u3066\u7c21\u5358\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u66f8\u3044\u305f\u3093\u3060\u3051\u3069\u3001\u6700\u521d\u306f ACL2 \u3067\u3084\u308d\u3046\u3068\u3057\u3066\u3001\u3061\u3087\u3063\u3068\u6642\u9593\u304b\u304b\u308a\u305d\u3046\u3060\u3063\u305f\u306e\u3067 GNU Guile\u3001\u3063\u3066\u601d\u3063\u305f\u3051\u3069\u6700\u7d42\u7684\u306b Racket \u3067\u89e3\u3044\u3066\u3057\u307e\u3063\u305f\u3002battery included \u306e\u4fbf\u5229\u3055\u3092\u5b9f\u611f\u3057\u3066\u3057\u307e\u3063\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\/106856591248271143","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/106856591248271143","objectType":"note","content":"<p>\u983c\u307e\u308c\u3054\u3068\u3057\u3066\u7c21\u5358\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u66f8\u3044\u305f\u3093\u3060\u3051\u3069\u3001\u6700\u521d\u306f ACL2 \u3067\u3084\u308d\u3046\u3068\u3057\u3066\u3001\u3061\u3087\u3063\u3068\u6642\u9593\u304b\u304b\u308a\u305d\u3046\u3060\u3063\u305f\u306e\u3067 GNU Guile\u3001\u3063\u3066\u601d\u3063\u305f\u3051\u3069\u6700\u7d42\u7684\u306b Racket \u3067\u89e3\u3044\u3066\u3057\u307e\u3063\u305f\u3002battery included \u306e\u4fbf\u5229\u3055\u3092\u5b9f\u611f\u3057\u3066\u3057\u307e\u3063\u305f\u3002<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856591248271143","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-01:objectType=thread:nonce=a079800995e32a00","notice_info":{"local_id":"3907369","source":"ActivityPub"}},"published":"2021-09-01T13:16:29+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/106856591248271143"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2823550","rel":"alternate","type":"text\/html"}]}