一元論的な意味論に基づく情報システム