2023.01.14
https://pbs.twimg.com/media/FmYTGn-XEAoMg9H?format=jpg&name=medium#.jpg
https://tweet-card.now.sh/1613998528493195279.jpg?lang=ja https://twitter.com/3CC0__/status/1613998528493195279
思った
合致とmatchは意味も同じなに音もほとんど同じですごすぎる
やった
などをひたすら参考にしている
うっかり間違えて記号を$ \lnot,\landで書いてしまった
普通に困る（困ることはないが，あんまり良くない）ので$ \to,\lnotに書き直す
読んだ