ジェフスモデル-プランパーとマシンのコンパイル