まず、どのような記述でエラーが出ているのかを載せなければ良い回答はだせないですよ。 T003のエラーですが、「型が一致しません」というエラーで間違いないでしょうか? やりたい事がForallという事だし、 まだプログラムを見た訳ではないので、想像での回答ですが Forall用の変数を定義する際にVariant以外の型を指定していませんか? というか、Forallで使用する変数は添字ではなく参照変数ですのでDimを使って定義していたらエラーになる可能性はありますよ。