t_wの輪郭

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