GNU social
https://social.senooken.jp/api/statusnet/conversation/2396220.atom
Conversation
2024-03-29T15:19:23+09:00
http://activitystrea.ms/schema/1.0/note
https://mastodon.tojo.tokyo/users/tojoqk/statuses/105599869769273230
New note by tojoqk
<p>あれ、昨日ヒントを書かないと証明してくれなかったやつが今日は書かなくても普通に証明してくれるのなんで?深夜の謎のテンションで書いてたのが悪かったのかな……。</p><p><a href="https://mastodon.tojo.tokyo/tags/ACL2" class="mention hashtag" rel="tag">#ACL2</a></p>
3390011
http://activitystrea.ms/schema/1.0/post
2021-01-22T14:35:41+00:00
2021-01-22T14:35:41+00:00
http://activitystrea.ms/schema/1.0/person
https://mastodon.tojo.tokyo/users/tojoqk
tojoqk
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tojoqk
きゅーけー
GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb
tag:social.senooken.jp,2021-01-22:objectType=thread:nonce=edcd91262d422f45