クリーネ代数といえば…