これによって、MTGの未解決問題の一つである「無限ループの厳密な定義」というのは、MTGがチューリング完全である限り永久に未解決のままであるということが示されました。やったね!

Show thread

はじめてnote記事を書いた。みんな大好きMTGのルールの重箱の隅のお話です! MTGの「無限ループ」を形式的に定義することは可能か|闇ぶいれこ @yami_vreco note.com/yami_vreco/n/n8c3af20

mstdn.jp, an instance of Mastodon will have past away on July 30th, 2020. R.I.P.

Mastodonの思想はすごく好きだけれど、これセキュリティ的なことを考えると、それぞれのインスタンスが本当にセキュアかどうか、ケアしなければいけないことが多すぎて厳しいお気持ちになっている。

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!