t_wの輪郭

Feedlyでフォローするボタン
システム型
あれ型システムは言語の操作規範型システムは意味論の制約