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