パッと見ると数式みたいに見える
でもやってることは論理の構築でバリバリ文系の分野