t_wの輪郭

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