日記 2021/03/21

今日は前日から徹夜してたんですが、眠くなって09:00~15:30の間寝た。

朝は置換をC++でごちゃごちゃするやつで、置換の符号sgnと、任意の置換を互換の積に分解する機能を実装した。

https://wandbox.org/permlink/KcjUrHGlwXJqzCym

午後はコードがクソ汚いが命題論理のモデルを実装した。

https://wandbox.org/permlink/pgXlYQJQD7tLt2Q4

他に何もやってないのがまずい。ARCにも参加していない。

あと早めに寝たい。