■著者
前川守

■シリーズ名等
岩波講座ソフトウェア科学 6