Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mstdn.takuya-a.net/users/windymelt/statuses/110457194704739069">windymelt :scala: :pgp: (windymelt@mstdn.takuya-a.net)'s status on Tuesday, 30-May-2023 19:39:11 JST</a><a href="https://mstdn.takuya-a.net/@windymelt" title="windymelt@mstdn.takuya-a.net"><img src="https://gnusocial.jp/avatar/30031-48-20221123024104.webp" width="48" height="48" alt="windymelt :scala: :pgp:" style="position: absolute; left: 0; top: 0;">windymelt :scala: :pgp:</a></section><article><p>[Tw] 「p: 全てのXはqでなければならない」という表現にすると分かりやすいと思うのだが、Xが空の場合はpは成り立つべきだというのは直感的だと思う<br>[de] <a href="https://twitter.com/windymelt/status/1663494553553498115" rel="nofollow noreferrer">https://twitter.com/windymelt/status/1663494553553498115</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/1602972#notice-3159200">In conversation</a><time datetime="2023-05-30T19:39:11+09:00" title="Tuesday, 30-May-2023 19:39:11 JST">Tuesday, 30-May-2023 19:39:11 JST</time> <span>from <span><a href="https://mstdn.takuya-a.net/@windymelt/110457194704739069" rel="external" title="Sent from mstdn.takuya-a.net via ActivityPub">mstdn.takuya-a.net</a></span></span><a href="https://mstdn.takuya-a.net/@windymelt/110457194704739069">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/1088505">Untitled attachment</a></label><br></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
windymelt :scala: :pgp: (windymelt@mstdn.takuya-a.net)'s status on Tuesday, 30-May-2023 19:39:11 JST windymelt :scala: :pgp:
[Tw] 「p: 全てのXはqでなければならない」という表現にすると分かりやすいと思うのだが、Xが空の場合はpは成り立つべきだというのは直感的だと思う
[de] https://twitter.com/windymelt/status/1663494553553498115
In conversationTuesday, 30-May-2023 19:39:11 JST from mstdn.takuya-a.netpermalink
Attachments
1. Untitled attachment

Public

Embed Notice

HTML Code

Corresponding Notice