【類型賦值】
<P align=center><STRONG><FONT size=5>【<FONT color=red>類型賦值</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：typeassignment</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>係將一陳式中的自由變數映射至類型的動作。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>常用於型式推理之陳式（及其子陳式）的歸約過程中。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]