日本語を考える1_自然言語の形式理論