SWE。数理論理学やプログラムの型や意味論に興味があります。犬あり。アイコンは@pr_is_ さん作。bsky.app/profile/schwmt…
scrapbox.io/buddha0818-376…
フォローする