アセンブリ言語実行モデルとマイクロアーキテクチャによる実装.