少なくとも俺にはある
p進さんが形式言語解説してるけど、何だかんだ数学基礎論をある程度既知としてるレベルに感じる