うおうお。 この記事は Mathematical Logic Advent Calendar 2019 の20日目の記事として書かれました。わいわい。 19日担当Yasuda_Yasutomoに書け！！！と言われてむむむと枠を取りましたが何を書こうか困っていたある日のこと、nLabを眺めていたら cartesia…

はじめに。 この記事は ISer Advent Calendar 2019 の13日目の記事として書かれました。そして本ブログはこれを書くために開設されました。わいわい。 先日AtCoderにおいてSedのLanguage Owner*1を獲ったのですが、軽く検索してみたところSedでABSを解いた記…