プログラムの意味論
【ぷろぐらむのいみろん】
【puroguramunoimiron】
程序语义学