[[Windows SDKをインストールしようとして四苦八苦]]

私も同じ問題で格闘中、記事を参考にさせていただき、インストールできました。ありがとうございます。

> GRMSDKIAI_EN_DVD.iso はAMD64、らしい。
違います。GRMSDKIAI_EN_DVD.isoはItanium用でつまりIA-64です。
そして、x64とAMD64とIntel64(旧名称IA-32eまたはEM64T)はほぼ同じ物です。
# x86の別名はIA-32やIntel32となる。Intel XXとIA-XXの関係が32bitでは同等なのに対し64bitでは別物。

Intelが64bit時代に備えて作ったが大爆死したのがIA-64。
それを尻目にAMDがx86互換で作って大成功したのがAMD64。
Intel側の64bitアーキテクチャ関係の名前が悲惨なのは慌ててそれに乗っかったからですね。
64bit化に備え32bit系と64bit系を総括してIA-32とIA-64(IAはIntelArchitectureの筈)と銘打ったのに、
AMD64に舵を切ってIA-64を無かった事にするため名前を付け直したのが今のIntel 32とIntel 64。
しかもIA-64はサーバ市場をターゲットにしてしまったものだからMSもサポートを切るに切れず痕跡がアチコチに。

Itanium(IA-64)はそんな可哀想な子なんです。
大成功してIntelに逆輸入されx64なんて名前までもらったAMD64と誤解しないであげて下さい。