t_wの輪郭

Feedlyでフォローするボタン
推論『勉強会／オントロジーの概要』Dependent Type Semantics
あれ