t_wの輪郭

Dependent Type Semantics
接触元 『勉強会／オントロジーの概要』