記号論理学と日常言語の間ぐらいの奴