>>357
>>358
この説明見て思ったけど物理学からブルバキズムみたいに自然言語の排除って可能なんだろうか