監督を務める神山にとっては、モーションキャプチャを初めて用いる作品となり、モーションアクターには、小川輝晃、山﨑勝之、笠原紳司ら過去に特撮作品で変身ヒーローを演じた経験のある俳優らが起用されている。原作に準拠した物語ではあるが、バトルシークエンスやスーツの装着プロセスなどアニメ独自のオリジナル要素がある。また、ジャックのブレスレットなどはオリジナル音源のSEが使用されている。フォトストーリー.ゲーム.モデル理論モデル理論における研究対象は、形式言語の文に意味を与えるとしてのモデルである。もし言語のモデルがある特定のまたは(特定の条件を満足する文の集合)を満足するならば、それはその文または理論のモデルと呼ばれる。モデル理論は代数および普遍代数と関係が深い。この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。概要.代数幾何学では主に代数的集合のような体上の定義可能集合を考察対象とするが、モデル理論では体に限らない一般のモデルにおける代数的集合をも考察対象とするということである。例.普遍代数.有限モデル理論.一階述語論理.普遍代数がの意味論を与える一方、論理は統語論を与える。恒等式およびの項とともに、普遍代数はいくつかの限定的な統語論のツールも利用している。例えば、一階述語論理は量化を明確にし否定を取り入れた結果である。公理化可能性、量化記号消去、およびモデル完全性.範疇性.モデル理論と集合論.モデル理論的な観点は集合論にとって有用である。例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、(哲学的に興味深い)選択公理のおよび集合論の他の公理からの連続体仮説を証明することができる。モデル理論のその他の基礎概念.コンパクト性定理と完全性定理の使用.