{"generator":"GNU social 2.0.2-beta0","title":"Conversation","totalItems":1,"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>Guile \u3063\u3066\u307e\u3060 `<a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>` \u3042\u308b\u3093\u3060\u2026\u2026\u3002ACL2 \u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092 Guile \u3067\u8aad\u3080\u306e\u306b\u4f7f\u3048\u305d\u3046\u3060\u3051\u3069\u3042\u3093\u307e\u308a\u4f7f\u3044\u305f\u304f\u306a\u3044\u6c17\u6301\u3061\u304c\u3042\u308b\u3002<\/p><p>```scheme@(guile-user)&gt; <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>$1 = <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>scheme@(guile-user)&gt; (null? <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>)$2 = <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/t\" class=\"mention hashtag\" rel=\"tag\">#t<\/a>scheme@(guile-user)&gt; (if <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a> 1 2)$3 = 2scheme@(guile-user)&gt; ```<\/p>","generator":{"id":"tag:social.senooken.jp,2026-08-11:notice-source:ActivityPub","objectType":"application","status_net":{"source_code":"ActivityPub"}},"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105967474708718449","object":{"id":"https:\/\/mastodon.tojo.tokyo\/users\/tojoqk\/statuses\/105967474708718449","objectType":"note","content":"<p>Guile \u3063\u3066\u307e\u3060 `<a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>` \u3042\u308b\u3093\u3060\u2026\u2026\u3002ACL2 \u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u3092 Guile \u3067\u8aad\u3080\u306e\u306b\u4f7f\u3048\u305d\u3046\u3060\u3051\u3069\u3042\u3093\u307e\u308a\u4f7f\u3044\u305f\u304f\u306a\u3044\u6c17\u6301\u3061\u304c\u3042\u308b\u3002<\/p><p>```scheme@(guile-user)&gt; <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>$1 = <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>scheme@(guile-user)&gt; (null? <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a>)$2 = <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/t\" class=\"mention hashtag\" rel=\"tag\">#t<\/a>scheme@(guile-user)&gt; (if <a href=\"https:\/\/mastodon.tojo.tokyo\/tags\/nil\" class=\"mention hashtag\" rel=\"tag\">#nil<\/a> 1 2)$3 = 2scheme@(guile-user)&gt; ```<\/p>","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105967474708718449","status_net":{"notice_id":null},"tags":[{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"nil"},{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"nilscheme"},{"objectType":"http:\/\/activityschema.org\/object\/hashtag","displayName":"tscheme"}]},"to":[{"objectType":"http:\/\/activitystrea.ms\/schema\/1.0\/collection","id":"http:\/\/activityschema.org\/collection\/public"}],"status_net":{"conversation":"tag:social.senooken.jp,2021-03-28:objectType=thread:nonce=5654b2435c0fcbfe","notice_info":{"local_id":"3553676","source":"ActivityPub"}},"published":"2021-03-28T12:42:27+00:00","provider":{"objectType":"service","displayName":"senooken JP Social","url":"https:\/\/social.senooken.jp\/"},"verb":"post","url":"https:\/\/mastodon.tojo.tokyo\/@tojoqk\/105967474708718449"}],"links":[{"url":"https:\/\/social.senooken.jp\/conversation\/2530651","rel":"alternate","type":"text\/html"}]}