Cartesian closed categoryについてちょっと書いてみたやつ。

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

AtCoderに登録したら解くべき精選過去問10問をSedで解いてみた。

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