05/01/20 23:08:36
>>121ではないが、>>122の想定してる定義は
URLﾘﾝｸ(swissnet.ai.mit.edu)
の7.2節みたいな内容か？
まあすべての言語がalgolやsmlやschemeみたいな意味定義は持ってないわな。
05/01/20 23:08:36
>>121ではないが、>>122の想定してる定義は
URLﾘﾝｸ(swissnet.ai.mit.edu)
の7.2節みたいな内容か？
まあすべての言語がalgolやsmlやschemeみたいな意味定義は持ってないわな。