プログラム言語で本を書くやつはいない
つまり人間には自然言語が一番理解しやすい
自然言語で抽象化すればよい