t_wの輪郭

形式意味論形式的意味論
単調性推論『AI は言語の基盤を獲得するか:推論の体系性の観点から』『プログラミング言語の形式的意味論入門』形式的意味論世界の実在物は集合と真偽値のみ