Misskey.ioに、「ペンシルパズル部」なるものが出来ているようだ。Misskey自体初めて知ったが、UIは以前のTwitterに近い印象だ。 もう少し様子見しようと思う。

この記事は、ペンシルパズルI Advent Calendar 2022 - Adventarの 17 日目の記事である。 この記事では、ペンパの（紙面上での）解き方について、考える。

以前ネス化という概念を考え始めたが、ここ最近は、ネス化というのは要するに「であること」なのだと思っている。 「であること」を言い方を変えると「でないとおかしい」だとか「でないはずがない」になって、いかにもややこしいが、実際には「である」とい…

以前PuLPを使ってみた記事を書いた（ PuLPで簡単なカックロを解いてみる - pzdcの雑記 ）が、誤りがあった。 PuLPでは「!=」が使えないらしい。面倒だが、あるマスにある数が入るかどうかのブール変数を作る必要があるようだ。

最近になってプログラマーもすなる最適化というものに興味が出てきた。 今回はPythonのPuLPで簡単なカックロを解いてみたい。 記事中の追記の通り、この記事には誤りが含まれる