PTXは、任意の大きさのレジスタセットを使用する。コンパイラからの出力は、ほぼ純粋な単一代入形式である。通常、連続したレジスタを参照する連続した命令列を伴っている。プログラムは以下の形式の宣言で始まる。.reg .u32 %r<335>;            // 符号なし32bit整数型の335個のレジスタを宣言する。PTXは、最大で3つの引数を持つアセンブリ言語である。そして、ほとんど全ての命令は、命令が操作するデータのデータ型を（符号とデータ幅によって）明示するために命令の右にデータ型を並べて書く。レジスタ名は、先頭に%文字を付ける。そして、定数はそのまま書く。以下に例を示す。shr.u64 %rd14, %rd12, 32;     // %rd12の符号なし64bit整数を32bit右シフトする。結果は%rd14に入る。cvt.u64.u32 %rd142, %r112;    // 符号なし32bit整数を64bitへ変換する。プレディケートレジスタもある（命令を実行するかどうかを決める条件を格納するレジスタ）。しかし、シェーダーモデル1.0でコンパイルされたコードは、分岐命令のときだけプレディケートレジスタを使用する。条件分岐は以下のようになる。@%p14 bra $label;             // $labelへ分岐setp.cc.type命令は、適切な型の2つのレジスタを比較した結果をプレディケートレジスタに格納する。set命令も存在する。set.le.u32.u64 %r101, %rd12, %rd28というコードは、もしも64bitレジスタ %rd12 が64bitレジスタ %rd28 よりも小さい、あるいは等しいならば、32bitレジスタ %r101 へ 0xffffffff を格納する。さもなければ、%r101は、0x00000000 を格納される。疑似レジスタを意味する少数の定義済み識別子がある。他にも %tid, %ntid, %ctaid そして %nctaid は、それぞれスレッドのインデックス、ブロックの次元、ブロックのインデックス、そして、グリッドの次元を格納している。
Parallel Thread Execution (PTX あるいは NVPTX) は、NVIDIAのCUDAプログラミング環境で使用されるGPU用の疑似アセンブリ言語である。nvccコンパイラは、C言語/C++の独自拡張であるCUDA C/C++で書かれたコードのうち、GPU上で実行されるデバイスコードをPTXに翻訳する。そしてグラフィックスドライバは、PTXをGPUのプロセッシングコア上で実行されるバイナリコードに翻訳するコンパイラを搭載している。中間表現であるPTXを利用することで、演算能力や機能 (compute capability: CC) および設計思想の異なるハードウェア上で共通して動作するCUDAプログラムを記述したり、ドライバが生成するバイナリコードを実行環境に応じて最適化したりすることが容易になる。
刈谷城の南西に位置する。三河国と尾張国の境界を流れる境川・逢妻川の東岸に、やや南北に長い境内を持つ。名鉄三河線刈谷市駅より徒歩15分、JR東海道本線逢妻駅より徒歩20分。境内の北西部に本殿や拝殿があり、拝殿から南側に参道が伸びている。本殿や拝殿の東側に山神社・猿田彦社・内外宮社・春日社が南面して勃っており、その南東側に刈谷神社が建っている。林の中に丹生川社があり、弁天池に造られた堤上の参道の先に市杵島社が建っている。文政9年（1826年）に俳人の中島秋挙が亡くなって10年あまりしてから、秋挙の門人や友人たちが市原稲荷神社の鳥居前に高さ5mほどの句碑を建てた。毎年夏に万灯祭りを開催する刈谷市銀座2丁目の秋葉神社は、市原稲荷神社の兼務社の一つである。
遠い未来、宇宙に進出した人類は「人類銀河同盟」を結成し、宇宙生命体ヒディアーズとの殲滅戦争を続けていた。銀河同盟軍のパイロットレド少尉はヒディアーズとの戦闘から撤退する際に母艦のワープに巻き込まれ、人型戦闘機「チェインバー」に搭乗したまま未知の宙域に転送されてしまう。半年後、レドが目を覚ますと、そこは氷河期の到来によって滅んだはずの地球だった。海水面上昇によって人類は海上生活を営んでおり、チェインバーを海底から引き揚げたのは巨大船団「ガルガンティア」のサルベージ屋ベローズだった。レドは配達人の少女エイミーを人質にとってガルガンティアの乗員たちとにらみ合う。はじめレドとチェインバーを警戒していたガルガンティアだったが、レド達が女海賊ラケージを二度にわたって撃退したことで彼らを受け入れる。レドはガルガンティアで働きながら暮らし、エイミーの弟ベベルや修理屋ピニオンと知り合い、エイミーと惹かれあう。兵士として調整されてきたレドははじめて人間らしい生活を知る。一方、母艦とのリンクを失ったチェインバーの人工知能も人知れず変化してゆく。ある日、ベローズのサルベージを手伝っていたレドは、地球人が神聖視する大型海棲生物クジライカと遭遇する。クジライカの正体は銀河同盟の敵ヒディアーズだった。レドがクジライカを殺すと、ガルガンティアには動揺が広がる。一方、ピニオンはレド達の力を借りてクジライカが棲みつく海底遺跡をサルベージすることを計画する。まもなく船団長のフェアロックが死去すると、ピニオンや大船主フランジはガルガンティアから離脱する。レドは地球上のヒディアーズを殲滅することが自分の使命と考え、エイミーに別れを告げてガルガンティアを離れる。海底遺跡へ向かったレドとチェインバーは、クジライカの群れを殲滅し、古代の記録媒体を発見する。そこには氷河期の到来を迎えた人類が、外宇宙への移民を目指す「コンチネンタル・ユニオン」と、ヒトゲノム操作とナノマシンにより極限環境に適応しようとする「イボルバー」に別れて争った記録が残されていた。ここで、ヒディアーズの正体が遺伝子工学によって変異した人類であることが明かされる。旧文明の遺産を手に入れたピニオンは意気軒昂となるが、レドは新たな真実に激しく狼狽して戦いを拒絶する。チェインバーはレドに対して、チェインバーに象徴される科学文明が人間の本質であり、文明を捨てたヒディアーズとは戦わなければならないと淡々と主張する。その時、同じく地球に到達していたレドの上官クーゲル中佐が率いる船団が現れ、ピニオンやフランジの船団を強制的に併合してしまう。クーゲル船団では、クーゲルとその乗機「ストライカー」を頂点とした宗教的な支配体制が築かれていた。クーゲルが人類銀河同盟と似た非人間的な管理体制によって地球を支配しようとしていることにレドは疑念を抱き、次の標的がガルガンティアであると知ってついにクーゲルに反旗を翻す。しかし、クーゲルは既に死亡しておりストライカーが船団を支配していたことが判明する。ストライカーは自らを人類統治システムであると宣言し、服従せよとレドにせまる。ストライカーと、自ら思考し判断する人間を支援することがシステムの目的であるとするチェインバーは、互いをシステムの暴走とみなして激しく戦う。レドは死を覚悟するが、チェインバーはコックピットを分離し、レドが生きていくことが自らの存在意義を充足すると告げてストライカーと共に自爆する。物語は、クジライカとの共存しながら古代の遺物を回収する探検家となったレドと、平和が戻ったガルガンティアで彼を迎えるエイミー、そして海底でクジライカの巣礁となったチェインバーの姿を映し、幕を閉じる。