マイクロプログラミング⑦――仮想記憶システム――システム/370の仮想記憶システムと動的アドレス変換機構を解説する