Codeforces Beta #24 参加しました。久しぶりに反省会。 A. Ring road リング状の無向グラフに向きをつけました。ばらばらに向きをつけたので一周できません。一周したくなったのでいくつかの辺の向きを変えます。各辺の向きを変えるのに必要なコストが与え…

最近，古典論理に対応する計算体系について勉強してます。古典論理だと Peirce's law と call/cc が対応するとかいう話がわりと有名で，基本的にはコントロールオペレータを含む体系になります。それで，そこにさらに様相が入った場合にはどんなことになるの…