毎年恒例（大嘘）、今年のおすすめ記事を振り返ろうと思います。 まず全体の振り返り。記事本数は2017年（61本）、2018年（57本）、2019年（24本）、2020年（30本）という推移で、2017年・2018年に比べると少ないですが、2019年に比べると少し多めに記事を書…

記号化された人物、人物の行動が構成する命題、その命題からなうる公理系、そこにいくつかの推論規則が加わって——それが推理小説――にして形式体系――にしてメタ数学だよ！ （『文学少女対数学少女』loc.165 of 3860）*1 『雪が白いときかつそのときに限り』の…