メインヒロインの雪風は日本軍軍用艦の大半が失われた太平洋戦争をほぼ無傷で生き残り、敗戦後は中国国民党政府の重要な船として活躍した「奇跡の軍艦」。連合艦隊旗艦である大和に憧れる雪風が最終的に中華民国海軍艦隊旗艦になるまでの成長を描くことを軸に、旧日本海軍や連合国の艦船を美少女化したキャラクターで太平洋戦争と戦後のトープス号事件やを描く。外伝ではヨーロッパを舞台に欧州各国の艦船を美少女化したキャラクターも登場する。
各シリーズの概要.
主人公の雪風を中心に、史実におけるミッドウェー海戦やアリューシャン攻略までをなぞりながら雪風と大和や神通、シャルンホルストらとの出会いと飛龍との別れなどを描く。
再び雪風を主人公にしてガダルカナル島の戦い等を背景にデ・ロイテルとの対決などを描く。未完（単行本未収録話がある）。
世界観.
大東日やゲルマンといった国々と、スターズやクィーンダムといった、現実の国々のそれを模した国々が対立している。擬人化された艦船以外の登場キャラは全て人間以外の動物で表現されている。動物の種類はキャラクターの出身国によって分かれている。一応史実を下書きにしているが第一次ソロモン海戦の結果など、一部の箇所にかなりアレンジを加えている。
登場人物.
※声優はゲーム版より
大東日(だいとうじつ)軍.
駆逐艦や巡洋艦は基本的にセーラー服を、戦艦や空母は白衣と袴を着用（例外あり）。
この他に加賀（声優：植田佳奈）、蒼龍、加古、青葉、初霜など。
用語.
基本的に小型艦ほど幼く大型艦ほど大人。
ゲーム作品.
中国語版のみの配信にもかかわらず、主題歌を歌う花澤香菜をはじめ、佐藤利奈、種田梨沙ら日本の人気声優が出演しており、キャラクターボイスは日本語であった。日本語版の開発も言及されておりゲーム内で言語選択メニューが準備されていたが、最後まで日本語版はリリースされなかった。
世界観などの設定は原作からだいぶ変更されている。
鋼鉄少女
内山貞三郎
経歴.
ファインマンのスラッシュ記法
恒等式.
ガンマ行列の反交換関係 を用いることで、任意のベクトル , について次の恒等式が成り立つ:
特に
以下の恒等式はガンマ行列の性質から計量テンソルと内積を置き換えることで直接的に得られる。例えば
により、次を得る。
同様の結果は、ワイル表現のような他の表現を用いても得られる。
まどそふと