
マクスウェル方程式は、電荷と電流によって電場と磁場がどのように生成されるかを記述する連立偏微分方程式です。ローレンツ力の法則とともに、古典電磁気学、古典光学、電気回路、磁気回路の基礎を形成しています。これらの方程式は、発電、電動機、無線通信、レンズ、レーダーなど、電気、光学、無線技術の数学的モデルを提供します。
マクスウェル方程式には大きく分けて2つのバリエーションがある。
「マクスウェル方程式」という用語は、同等の別の定式化にもしばしば使用されます。境界値問題、解析力学、または量子力学で方程式を明示的に解くには、電気および磁気スカラーポテンシャルに基づくマクスウェル方程式のバージョンが好まれます。共変定式化(空間と時間を別々にではなく、時空上で)は、マクスウェル方程式と特殊相対性理論との整合性を明らかにします。高エネルギー物理学および重力物理学で一般的に使用される曲がった時空におけるマクスウェル方程式は、一般相対性理論と整合性があります。[注1 ]
マクスウェル方程式は、物理学者で数学者のジェームズ・クラーク・マクスウェルにちなんで名付けられました。彼は1861年と1862年に、ローレンツ力の法則を含む方程式の初期の形を発表しました。この方程式の発表は、それまで別々に記述されていた現象、すなわち磁気、電気、光、および関連する放射線の理論の統一を意味しました。最も一般的な定式化における方程式の現代版は、オリバー・ヘヴィサイドによるものとされています。[ 1 ]
20世紀半ば以降、マクスウェル方程式は電磁現象を正確に記述するものではなく、より精密な量子電磁力学理論の古典的な極限であるということが理解されてきた。
マクスウェル方程式の最も一般的な2つの変形は、SI単位系における微視的微分形式と巨視的微分形式である。
偏微分方程式の形式でSI単位系で表すと、マクスウェルの微視的方程式は次のように表されます(上から順に:ガウスの法則、磁気に関するガウスの法則、ファラデーの法則、アンペール・マクスウェルの法則)。
これらの式では、は電場であり、磁場、総電荷密度、全電流密度、真空の誘電率、真空透磁率、発散演算子 、および curl演算子。
偏微分方程式の形式とSI単位系では、マクスウェルの巨視的方程式は次のように表される。
これらの式では、 は電束密度場です。電場、磁場、磁場強度、自由電荷密度、自由電流密度、発散演算子 、および curl演算子。

ガウスの法則は、電場と電荷の関係を記述するものです。電場は正電荷から遠ざかり、負電荷に向かって流れます。また、閉曲面を通過する電場の正味の流出量は、物質の分極による束縛電荷を含めた、閉曲面内の電荷に比例します。比例定数は真空の誘電率です。

ガウスの磁気法則によれば、電荷には磁気的な類似物(磁気単極子と呼ばれる)は存在せず、北極や南極といった孤立した磁極は存在しない。[ 2 ]その代わりに、物質の磁場は双極子に起因し、閉曲面を通過する磁場の正味流出量はゼロである。磁気双極子は、電流のループ、あるいは等しく反対の「磁気電荷」の不可分なペアとして表すことができる。正確には、ガウス面を通過する全磁束はゼロであり、磁場はソレノイドベクトル場である。[注2 ]

ファラデーの誘導法則のマックスウェル・ファラデー版は、時間的に変化する磁場が電場の負の回転に対応することを説明しています。[ 2 ]積分形式では、閉じたループに沿って電荷を移動させるのに必要な単位電荷あたりの仕事は、囲まれた表面を通過する磁束の変化率に等しいと述べています。
電磁誘導は、多くの発電機の動作原理となっている。例えば、回転する棒磁石は変化する磁場を作り出し、近くの導線に電場を発生させる。

アンペールの法則は、磁場が電流と関係することを述べている。マクスウェルの法則は、磁場が変化する電場とも関係することを述べており、マクスウェルはこれを変位電流と呼んだ。積分形式によれば、電流と変位電流は、任意の囲み曲線に沿った比例的な磁場と関連付けられる。
アンペールの周回法則に対するマクスウェルの修正は、アンペールの法則とガウスの法則を静電場に対して調整する必要があるため重要である。[ 3 ]その結果、変化する電場に伴って回転磁場が発生することが予測される。[ 2 ] [ 4 ]さらに、真空空間を伝わる自己維持型電磁波の存在も結果として挙げられる。
電荷や電流に関する実験から予測できる電磁波の速度は[注3 ]光速と一致します。実際、光は電磁放射の一形態です(X線、電波なども同様です)。マクスウェルは1861年に電磁波と光の関係を理解し、それによって電磁気学と光学の理論を統一しました。
電場と磁場の定式化には、与えられた電荷と電流分布に対する場を決定する 4 つの方程式があります。ローレンツ力の法則という別の自然法則は、電場と磁場が荷電粒子と電流にどのように作用するかを記述します。慣例として、マクスウェルの元の方程式にあるこの法則のバージョンはもはや含まれていません。以下のベクトル解析形式は、オリバー・ヘヴィサイドの研究[ 5 ] [ 6 ]によるもので、標準となっています。これは回転不変であり、したがって、x、y、z成分のマクスウェルの元の 20 の方程式よりも数学的に明快です。相対論的定式化はより対称的でローレンツ不変です。テンソル解析または微分形式を使用して表現された同じ方程式については、§代替定式化を参照してください。
微分形式と積分形式は数学的に等価であり、どちらも有用です。積分形式は空間領域内の場と境界上の場を関連付け、対称的な電荷と電流の分布から場を簡略化して直接計算するためによく使用されます。一方、微分方程式は純粋に局所的であり、有限要素解析などを使用して、より複雑な(対称性の低い)状況で場を計算するためのより自然な出発点となります。[ 7 ]
特に断りのない限り、太字の記号はベクトル量を表し、斜体の記号はスカラー量を表します。これらの式は、ベクトル場である電場 E と擬似ベクトル場である磁場 B を導入しており、それぞれ一般に時間と場所に依存します。発生源は
式中に現れる普遍定数(最初の2つはSI単位系でのみ明示的に示されている)は以下のとおりです。
微分方程式では、
積分方程式では、
時間によらない表面と体積を用いると、方程式の解釈が少し容易になります。時間によらない表面と体積は「固定」されており、一定の時間間隔では変化しません。例えば、表面は時間によらないので、ファラデーの法則の微分を積分記号の下に置くことができます。 マクスウェル方程式は、微分形式を用い、必要に応じてガウスの定理やストークスの定理を用いることで、時間依存する可能性のある表面や体積を含む形で定式化することができる。
電荷、電場、磁場の定義は、ε 0とμ 0の次元因子を単位に取り込む(そしてそれらを再定義する)ことで、理論計算を簡略化するために変更できます。ローレンツ力法則の量の値もそれに合わせて変更すると、同じ物理、つまり荷電粒子の軌跡や電気モーターによる仕事が得られます。これらの定義は、電磁テンソルの外観を簡略化するために電場と磁場を同じ単位で扱うのが自然な理論物理学や高エネルギー物理学でよく好まれます。電場と磁場を統一するローレンツ共変オブジェクトは、均一な単位と次元を持つ成分を含むことになります。[ 8 ] : vii このような修正された定義は、慣習的にガウス(CGS)単位系で使用されます。これらの定義を口語的に「ガウス単位系で」使用すると、[ 9 ] マクスウェル方程式は次のようになります。[ 10 ]
光速cを無次元化に用いる量体系を選択すると、方程式はわずかに簡略化され、例えば秒と光秒は互換性があり、c = 1 となります。
4πの係数を吸収することで、さらに変化が生じる可能性があります。このプロセスは合理化と呼ばれ、クーロンの法則やガウスの法則にそのような係数が含まれるかどうかに影響します(主に素粒子物理学で使用されるヘヴィサイド・ローレンツ単位を参照)。
微分形式と積分形式の等価性は、ガウスの発散定理とケルビン・ストークスの定理の結果である。

(純粋に数学的な)ガウス発散定理によれば、境界表面∂Ωを通過する 電気束は次のように書き換えられる。
ガウス方程式の積分形は次のように書き換えることができる。 Ωは任意の値(例えば、任意の中心を持つ任意の小さな球)である ため、この条件は被積分関数が至るところでゼロである場合に限り満たされます。これは、ガウス方程式を微分方程式で定式化したもので、簡単な変形を加えるだけで済みます。
同様に、磁気に関するガウスの法則の 磁束を積分形式で書き直すと、次のようになる。
これは、すべてのΩに対して、以下の条件を満たす場合に限り満たされる。どこにでも。

ケルビン・ストークスの定理により、閉じた境界曲線∂Σ の周りの場の線積分を、その曲線が囲む曲面上の 「場の循環」(つまり回転)の積分に書き換えることができる。 したがって、アンペールの周回積分法則の修正版であるアンペール・マクスウェルの法則は、積分形式で次のように書き換えることができる。 Σは任意に選択できる ため、例えば任意の大きさ、任意の向き、任意の中心を持つ円盤として選択できます。したがって、被積分関数がゼロになるのは、微分方程式形式のアンペール・マクスウェルの法則が満たされる場合のみであると結論付けられます。ファラデーの法則の微分形式と積分形式の等価性も同様に導かれます。
線積分と回転は、古典的な流体力学における量に類似している。流体の循環は、閉じたループに沿った流体の流れ速度場の線積分であり、流体の渦度は速度場の回転である。
電荷の不変性は、マクスウェル方程式の系として導出できる。アンペール・マクスウェルの法則の左辺は、div-curl恒等式により発散がゼロである。右辺の発散を展開し、微分を入れ替え、ガウスの法則を適用すると、次の式が得られる。 つまり、 ガウスの発散定理によれば、これは、一定体積内の電荷の変化率が、境界を通過する正味の電流に等しいことを意味する。
特に、孤立系においては、総電荷は保存される。

電荷( ρ = 0)も電流(J = 0 )も存在しない領域、例えば真空中では、マクスウェル方程式は以下のように簡略化される。
回転方程式の回転(∇×)を取り、回転恒等式の回転を用いると、次の式が得られる。
数量次元は(T/L) 2である。上記の式は、標準的な波動方程式の形をしている。
マクスウェルの生前にすでに、そして与える当時すでに自由空間における光速として知られていた。このことから彼は、光と電波は伝播する電磁波であると提唱し、それは十分に確認された。旧SI単位系では、そしては定義定数であり、(つまり定義により))アンペアとメートルを定義する。新しいSIシステムでは、cのみが定義値を維持し、電子の電荷が定義値を得る。
比誘電率εr、比透磁率μrの材料では、光の 位相速度は次のようになる。 これは通常[注4 ] cより小さい。
さらに、EとBは互いに垂直であり、波の伝播方向にも垂直で、互いに同位相です。正弦波平面波は、これらの方程式の特殊な解の1つです。マクスウェル方程式は、これらの波が物理的に空間を伝播する方法を説明します。変化する磁場は、ファラデーの法則によって変化する電場を生成します。次に、その電場は、アンペールの周回法則のマクスウェルによる修正によって変化する磁場を生成します。この永久的なサイクルにより、現在電磁放射として知られるこれらの波は、速度cで空間を移動することができます。
上記の式は、マクスウェル方程式の微視的なバージョンであり、存在する(おそらく原子レベルの)電荷と電流を用いて電場と磁場を表しています。これは「一般形」と呼ばれることもありますが、下記の巨視的なバージョンも同様に一般的であり、違いは計算方法の違いだけです。
微視的なバージョンは「真空中のマクスウェル方程式」と呼ばれることもあります。これは、物質媒体が方程式の構造に組み込まれておらず、電荷と電流の項にのみ現れるという事実を指しています。微視的なバージョンはローレンツによって導入され、彼はそれを用いてバルク物質の巨視的な性質を微視的な構成要素から導き出そうとしました。[ 11 ]: 5
「マクスウェルの巨視的方程式」、別名「物質におけるマクスウェル方程式」は、マクスウェル自身が提唱した方程式により近いものである。
巨視的な方程式では、束縛電荷Q bと束縛電流I bの影響が変位場Dと磁化場Hに組み込まれている一方、方程式は自由電荷Q fと自由電流I fのみに依存します。これは、全電荷Qと電流I (およびそれらの密度ρとJ ) を自由部分と束縛部分に分割することを反映しています。
この分割に伴うコストは、追加の場DとHを、これらの場を電場Eと磁場B、束縛電荷と電流に関連付ける現象論的な構成方程式によって決定する必要があることである。
空気/真空で有用な、物質の寄与を含む全電荷と電流を扱う微視的方程式[注5 ]と、物質内での使用に実用的な自由電荷と電流 を扱う巨視的方程式の違いについては、以下を参照してください。

誘電体材料に電場を印加すると、その分子は微視的な電気双極子を形成することで応答します。原子核は電場の方向にわずかな距離だけ移動し、電子は反対方向にわずかな距離だけ移動します。これにより、関与するすべての電荷が個々の分子に束縛されているにもかかわらず、材料内に巨視的な束縛電荷が生成されます。たとえば、図に示すようにすべての分子が同じように応答する場合、これらの電荷の微小な動きが組み合わさって、材料の一方の側に正の束縛電荷の層と、もう一方の側に負の束縛電荷の層が生成されます。束縛電荷は、材料の分極P 、つまり単位体積あたりの双極子モーメントによって最も簡単に説明できます。P が均一な場合、巨視的な電荷の分離は、 P が材料に出入りする表面でのみ生成されます。Pが不均一な場合、電荷はバルク内にも生成されます。[ 12 ]
同様に、すべての物質において、構成原子は、原子の構成要素、特に電子の角運動量と本質的に結びついた磁気モーメントを示します。角運動量との関連は、微視的な電流ループの集合体というイメージを示唆しています。物質の外部では、個々の電荷が大きな距離を移動していないにもかかわらず、このような微視的な電流ループの集合体は、物質の表面を循環する巨視的な電流と違いはありません。これらの束縛電流は、磁化Mを使用して記述できます。[ 13 ]
したがって、非常に複雑で微細な束縛電荷と束縛電流は、巨視的なスケールではPとMを用いて表すことができる。PとMは、個々の原子の微細さが目立たないほど十分に大きなスケールでこれらの電荷と電流を平均化するが、同時に、物質内の位置によって変化するほど十分に小さなスケールで平均化している。このように、マクスウェルの巨視的な方程式は、適切な体積にわたって平均化された場を計算することで、大まかなスケールでの理解には重要でない微細なスケールの多くの詳細を無視している。
補助フィールドの 定義は以下のとおりです。 ここで、Pは分極場、Mは磁化場であり、それぞれ微視的な束縛電荷と束縛電流によって定義される。分極Pと磁化Mを用いた巨視的な束縛電荷密度ρbと束縛電流密度Jbは、次のように定義される 。
総電荷密度、束縛電荷密度、自由電荷密度、および電流密度を次のように定義します。 そして、上記の定義関係を用いてDとH を消去すると、「巨視的」なマクスウェル方程式は「微視的」な方程式を再現します。
「マクスウェルの巨視的方程式」を適用するには、変位場Dと電場E、磁化場Hと磁場Bの関係を特定する必要があります。言い換えれば、分極P(すなわち束縛電荷)と磁化M(すなわち束縛電流)の印加電場および磁場への依存性を特定する必要があります。この応答を規定する方程式は構成関係と呼ばれます。実際の材料の場合、構成関係は近似的なものを除いて単純なことはほとんどなく、通常は実験によって決定されます。より詳細な説明については、構成関係に関するメイン記事を参照してください。[ 14 ]: 44-45
分極と磁化のない材料の場合、構成関係は(定義により)[ 8 ] : 2 となる。 ここで、ε₀は真空の誘電率、 μ₀は真空の透磁率である。束縛電荷が存在しないため、全電荷と自由電荷、および電流は等しくなる。
微視的方程式に関する別の見解としては、それらは巨視的方程式と、真空が追加の分極や磁化のない完全な線形「物質」のように振る舞うという記述を組み合わせたものであるという考え方がある。より一般的には、線形物質の構成関係は[ 14 ]: 44-45である。 ここで、εは材料の誘電率、μは透磁率である。変位場Dについては、実験室で得られる極端な電場や温度(高出力パルスレーザー)を除けば、10 11 V/m程度の材料の原子間電場は外部電場よりもはるかに高いため、線形近似は通常非常に優れている。磁化場については、しかしながら、鉄などの一般的な材料では線形近似が破綻し、ヒステリシスなどの現象が生じる可能性がある。線形近似の場合でも、様々な複雑な問題が生じる可能性がある。
さらに一般的に言えば、非線形材料の場合(例えば非線形光学を参照)、DとPは必ずしもEに比例するとは限らず、同様にHやMも必ずしもBに比例するとは限らない。一般に、DとHはEとBの両方、位置と時間、そして場合によっては他の物理量にも依存する。
応用においては、自由電流と電荷密度が、圧力、電荷を運ぶ粒子の質量、数密度、速度などの他の物理量と結合したEとBに関してどのように振る舞うかを記述する必要もある。例えば、マクスウェルが与えた元の方程式(マクスウェル方程式の歴史を参照)には、オームの法則が次のような形で 含まれていた。
以下に、マクスウェル方程式の他のいくつかの数学的定式化を示します。列は、2 つの同次マクスウェル方程式と 2 つの非同次マクスウェル方程式を分けています。各定式化には、電場と磁場を直接用いたバージョンと、電位φとベクトル電位Aを間接的に用いたバージョンがあります。電位は同次方程式を解くための便利な方法として導入されましたが、すべての観測可能な物理現象は電場と磁場 (または相対論的にファラデー テンソル) に含まれていると考えられていました。しかし、電位は量子力学において中心的な役割を果たし、電場と磁場が消滅した場合でも観測可能な結果をもたらす量子力学的に作用します (アハロノフ-ボーム効果)。
各表はそれぞれ一つの形式体系を表しています。各定式化の詳細については、本文を参照してください。
直接的な時空定式化では、空間と時間が同等に扱われる場合、マクスウェル方程式が相対論的に不変であることが明らかになります。この対称性により、電場と磁場は同等に扱われ、ファラデーテンソルの成分として認識されます。これにより、4 つのマクスウェル方程式が 2 つに減り、方程式は簡略化されますが、おなじみのベクトル形式は使用できなくなります。空間と時間が明らかに同等に扱われない形式のマクスウェル方程式には、隠れた対称性としてローレンツ不変性があります。これは、相対性理論の発展における主要なインスピレーション源でした。実際、空間と時間を別々に扱う形式でさえ、非相対論的近似ではなく、単に変数の名前を変更するだけで同じ物理を記述します。このため、相対論的に不変な方程式も通常、マクスウェル方程式と呼ばれます。
以下の各表は、それぞれ一つの形式体系について説明しています。
その他の形式としては、幾何代数による定式化やマクスウェル方程式の行列表現などがある。歴史的には、四元数による定式化[ 16 ] [ 17 ]が用いられてきた。
マクスウェル方程式は、電場と磁場を互いに、そして電荷と電流に関連付ける偏微分方程式です。多くの場合、電荷と電流自体も、ローレンツ力方程式と構成関係式を介して電場と磁場に依存します。これらはすべて連立偏微分方程式を形成し、解くのは非常に困難な場合が多く、その解は古典電磁気学のあらゆる多様な現象を網羅しています。以下にいくつかの一般的な考察を示します。
任意の微分方程式と同様に、一意解を得るためには境界条件[ 18 ] [ 19 ] [ 20 ]と初期条件[ 21 ]が必要です。たとえば、時空全体に電荷も電流も存在しない場合でも、EとBがゼロまたは一定となる明らかな解がありますが、電磁波に対応する非自明な解も存在します。場合によっては、マクスウェル方程式は空間全体で解かれ、境界条件は無限遠での漸近極限として与えられます。[ 22 ]また別の場合には、マクスウェル方程式は有限の空間領域で解かれ、その領域の境界に適切な条件が課されます。たとえば、宇宙の残りの部分を表す人工的な吸収境界[ 23 ] [ 24 ]や周期境界条件、または小さな領域を外部から隔離する壁 (導波管や空洞共振器など) [ 25 ]などです。
ジェフィメンコ方程式(またはそれと密接に関連するリエナール・ヴィーヘルト電位)は、任意の電荷と電流の分布によって生成される電場と磁場に関するマクスウェル方程式の明示的な解です。この方程式は、特定の初期条件を仮定することで、電荷によって生成される場のみが存在する、いわゆる「遅延解」を得ます。しかし、電荷と電流自体が、それらが生成する場の影響を受けるような状況では、ジェフィメンコ方程式は役に立ちません。
微分方程式の数値解法は、厳密解が不可能な場合にマクスウェル方程式の近似解を計算するために使用できます。これには、有限要素法と有限差分時間領域法が含まれます。[ 18 ] [ 20 ] [ 26 ] [ 27 ] [ 28 ]詳細については、計算電磁気学を参照してください。
マクスウェル方程式は、 6 つの未知数( EとBの 3 つの成分) を含むが、方程式は 8 つ (2 つのガウスの法則それぞれに 1 つずつ、ファラデーの法則とアンペールの周回法則それぞれに 3 つのベクトル成分) であるため、過剰決定されているように見える。 (電流と電荷は未知数ではなく、電荷保存則に従って自由に指定できる。) これは、マクスウェル方程式におけるある種の限定的な冗長性に関連している。ファラデーの法則とアンペールの周回法則を満たす任意のシステムは、システムの初期条件が満たされ、電荷保存則と磁気単極子の非存在を仮定すれば、自動的に2 つのガウスの法則も満たすことが証明できる。[ 29 ] [ 30 ]この説明は、 1941 年にJulius Adams Stratton によって初めて導入された。[ 31 ]
数値アルゴリズムでは(初期条件を除いて)ガウスの2つの法則を単純に無視することも可能ですが、計算の精度が不完全なため、これらの法則の違反がますます大きくなる可能性があります。これらの違反を特徴付けるダミー変数を導入することで、4つの方程式は結局過剰決定されなくなります。結果として得られる定式化は、4つの法則すべてを考慮に入れた、より正確なアルゴリズムにつながります。[ 32 ]
両方のアイデンティティ8 つの方程式を 6 つの独立した方程式に還元するものが、過剰決定の本当の理由である。[ 33 ] [ 34 ]
言い換えれば、過剰決定は電気電荷と磁気電荷の保存を意味すると見なすことができる。なぜなら、これらは上述の導出において必要とされるものであり、ガウスの2つの法則によって暗黙のうちに示されているからである。
線形代数方程式の場合、方程式と未知数を書き換えるための「適切な」規則を設けることができます。方程式は線形従属になることがあります。しかし、微分方程式、特に偏微分方程式(PDE)では、適切な境界条件が必要であり、境界条件は方程式に必ずしも明白な形で依存しません。さらに、ベクトルポテンシャルとスカラーポテンシャルを用いて方程式を書き換えると、ゲージ固定のために方程式が不確定になります。
マクスウェル方程式とローレンツ力法則(および古典電磁気学のその他の法則)は、様々な現象を説明し予測する上で非常に優れた能力を発揮します。しかし、量子効果を考慮していないため、適用範囲は限られています。マクスウェル方程式は、量子電磁力学(QED)の古典極限とみなされています。
電磁場の発生源が電荷と電流の古典的な分布である場合、観測される電磁現象の中にはマクスウェル方程式では説明できないものがあります。これには、光子-光子散乱や、光子または仮想光子に関連するその他の多くの現象、「非古典的光」、電磁場の量子もつれ(量子光学を参照)などが含まれます。例えば、量子暗号はマクスウェル理論では近似的にも記述できません。マクスウェル方程式の近似的な性質は、極めて強い場領域(オイラー-ハイゼンベルク・ラグランジアンを参照)や極めて小さな距離になると、ますます明らかになります。
最後に、マクスウェル方程式は、光電効果、プランクの法則、デュアン・ハントの法則、単一光子検出器など、個々の光子と量子物質の相互作用に関わる現象を説明することはできません。しかし、そのような現象の多くは、量子物質と古典的な電磁場が結合した中間的な理論を用いることで説明できます。この理論は、外部場として、あるいはマクスウェル方程式の右辺の電荷電流と密度の期待値として用いられます。これは半古典理論、あるいは自己場QEDとして知られており、当初はド・ブロイとシュレーディンガーによって発見され、後にE.T.ジェインズとA.O.バルートによって完全に発展させられました。
電磁場の古典理論としてのマクスウェル方程式の一般的な変形は比較的少ない。なぜなら、標準的な方程式は長年にわたって非常に優れた妥当性を示してきたからである。
マクスウェル方程式は、宇宙には電荷は存在するが、磁気電荷(磁気単極子とも呼ばれる)は存在しないと仮定している。実際、広範な探索にもかかわらず、磁気電荷はこれまで観測されたことがなく[注6 ]、存在しない可能性もある。もし存在するとすれば、磁気に関するガウスの法則とファラデーの法則の両方を修正する必要があり、結果として得られる4つの方程式は、電場と磁場の交換に関して完全に対称となる[ 8 ]: 273-275
{{cite book}}ISBN /日付の不一致(ヘルプ){{citation}}ISBN /日付の不一致(ヘルプ)