Fitting-Marek-Truszczyński意味論