用語一覧 /型システム #型システム 6語 エフェクトシステム えふぇくとしすてむ 型消去 かたしょうきょ 構造的部分型 こうぞうてきぶぶんがた 線形型 せんけいがた 名前的部分型 なまえてきぶぶんがた フロー型解析 ふろーがたかいせき