静磁場

静磁場（せいじば、）とは、時間的に変動しない磁場のことである
W.K.H. パノフスキー (著), M. フィリップス (著),林 忠四郎 (翻訳), 西田 稔 (翻訳);「新版 電磁気学〈上〉」吉岡書店; POD版 (2002/09)
[★溝口 正  (著) 「電磁気学―SI UNITS 」裳華房 (2001/03)](特にP188付近)
[★]竹山 説三 (著) 「電磁気学現象理論」丸善出版; 3版 (1949)
[★]P.P.シルベスタ(著),
R.L.フェラーリ（著）,
本間 利久（著）,
田中 康博（著）;
「有限要素法による電磁界解析 (Information & computing (26)) 」
サイエンス社 (1988/09) 
[原書]Peter P. Silvester (Author), Ronald L. Ferrari (Author);
「Finite Elements for Electrical Engineers」Cambridge University Press; 3版 (1996/9/5)
 電気学会マグネティックス研究会資料 MAG-03 号：54-64 ページ：5-10 発行年：2003年03月31日
静磁場解析のための二次要素を用いる有限要素法の研究有限要素法による磁場解析
磁場が満たす偏微分方程式（秋田高専講義録）

園田英徳;「大学院生のための基礎物理学」講談社（2011/09/29）ISBN 978-4-06-153277-9
平川浩正;「電磁気学（新物理学シリーズ２）」培風館 (1986/04) ISBN 9784563024024
守末 利弥「数値電磁気学のためのゲージ理論」森北出版 (1996/04) ISBN 978-4-627-71600-1
依田 潔 (著) ;「Mathematicaによる電磁界シミュレーション入門 - ＰＯＤ版 (計算電気・電子工学シリーズ)」森北出版(2012/2/24) ISBN 978-4-627-71529-5

立教大学講義ノート

本講義の参考文献欄
等、至る所に文字化けがあるが、たとえば、もじばけらった等によって解読できる。

鹿児島 誠一 (著) ;「電磁気学 (パリティ物理学コース)」丸善(1997/01) ISBN 978-4-621-04277-9
後藤 憲一(著), 山崎修一郎(著)  ;「詳解 電磁気学演習」共立出版 (1970/12) ISBN 978-4-320-03022-0
前田 和茂 (著) ,小林 俊雄(著);「ビジュアルアプローチ電磁気学」森北出版 (2009/12/5) ISBN 978-4-627-16221-1
Julius Adams Stratton;「Electromagnetic Theory」Wiley-IEEE Press; 1版 (2007/1/22) ISBN 978-0-470-13153-4
A. Pramanik (著) ;「Electro-Magnetism: Theory and Applications 」Prentice-Hall of India Pvt.Ltd (2004/8/15)
Bo-nan Jiang(著) ;「The Least-Squares Finite Element Method: Theory and Applications in Computational Fluid Dynamics and Electromagnetics (Scientific Computation) 」Springer; 1998版 (1998/6/22) 
電気磁気学特論（秋田高専講義録）
高橋 康人 (早稲田大学):
東京電機大学 (編集)「入門 電磁気学」東京電機大学出版局 (2006/03) ISBN 9784501004200
早川 義晴 (著) 「電気教科書 電験三種合格ガイド」翔泳社 (2011/2/25) ISBN 9784798126623

坪井 一洋 (著) 「システムと微分方程式」三恵社 (2011/5/22) ISBN 9784883618248
複数磁石による静磁場(簡易シミュレータ)
。

本記事では、静磁気学(Magnetostatics)の視点から、静磁場について述べる。

 定常な電流が作り出す静磁場の一般論 
本節では、真空中に定常な（つまり時刻tに依存しない）電流密度が作り出す磁束密度について、一般に成り立つ事柄について述べる。ただし、時間的な変動の影響はもちろんのこと、これ以外にも、電場や強制電荷、分極電荷の影響は排除されているものとする。
本記事では、専ら体積電流密度を中心に扱い、線電流近似については、例えば等々力 二郎：「有限の太さの矩形断面ヘリカルコイルの磁場の計算」核融合研究,57(1987)318
渡辺 二太:「空心円筒コイル群によって作られる磁場の計算」 核融合研究 Vol.35 (1976) No.3 P235-242 
渡辺 二太:「多様な形状のコイルに対する磁場計算法」 核融合研究 Vol.63 (1990) No.6 P482-507等に委ねることとする。

真空中に定常な（つまり時刻tに依存しない）電流密度
が与えられた
とする。このとき、
は、以下の磁気ベクトルポテンシャル
を空間内に作り出す。

    （1-1）
となる。

を考え併せると、
が直接的に作り出す磁束密度は、

    （1-2）

となる。これは、すなわち、ビオ・サバールの法則である。

上記のに対し、
新たな場を、
   (1-3)
と定義する。この場のことを、「電流密度iが作り出す磁場」と呼ぶ。ここでμ0は、真空の透磁率である。
尚、定義の上では、「電流密度iが作り出す磁場」は、
透磁率がμの場所でも、:であることに特に注意されたい。

式(1-2),式(1-3)より、
   (1-4)

である。これに、回転微分を作用させると、
   (1-5)
が得られる。実際、ベクトル解析の公式より、
従って、

が得られる。ここでδ3は、3変数のδ関数（ディラックのデルタ）を意味する。

 時間的に定常な磁化が作り出す静磁場の一般論 
本節では、定常な（つまり時刻tに依存しない）磁化が作り出す磁束密度について、一般に成り立つ事柄について述べる。ただし、時間的な変動の影響はもちろんのこと、これ以外にも、電場や強制電荷、分極電荷の影響は排除されているものとする。

 時間的に定常な磁化が作り出す磁気ベクトルポテンシャル 
空間内の領域に物質が置かれ、前記物質が、定常な（つまり時刻tに依存しない）磁化を帯びているとする。このとき、磁化ベクトルは、「単位体積当たりの磁気モーメントの密度」を表すものであるため、磁化の定義より、

物質内の各点それぞれに、それぞれ
  （2-1-1）
で与えられる磁気モーメントが配置されている
と考えることができる。

まず、時間的に定常な磁化が作り出す磁気ベクトルポテンシャルについて考えよう。
(1)原点に置かれた磁気モーメントmは、空間上の位置rに作り出す磁気ベクトルポテンシャルは、
  （2-1-2）
である。
(2)従って、"(1)"を平行移動すれば、位置に置かれた磁気モーメントmは、空間上の位置rに作り出す磁気ベクトルポテンシャルは、
  （2-1-3）
である。

従って、上記の磁気モーメントそれぞれは、磁気ベクトルポテンシャル

  （2-1-4）

を作り出す。

上記の磁気ベクトルポテンシャルそれぞれを、全てのに渡って足し合わせると、

  （2-1-5）

を得る。即ち、物質の磁化
は、上記の磁気ベクトルポテンシャル
を空間内に作り出す
尚、磁化がの外では0であるからといって、の外でが0となるとは限らない（大概の場合はの外でもは、0ではない）ことに注意されたい。
なお、磁化は、の外では0なので、上式は、

としてもよい（紛らわしいのであまり推奨しない）。

 時間的に定常な磁化が作り出す磁束密度 
次に、時間的に定常な磁化が作り出す磁束密度について考えよう。磁気ベクトルポテンシャルの回転微分をとれば、磁束密度が得られる。
(1)原点に置かれた磁気モーメントmは、空間上の位置rに作り出す磁気ベクトルポテンシャルは、前述の通り、
  （2-2-1）
である。これの回転微分をとることで、原点に置かれた磁気モーメントmが、空間上の位置rに作り出す磁束密度は、
  （2-2-2）
であることが判る。ここで、は、内積を表す。
(2)従って、"(1)"を平行移動すれば、位置に置かれた磁気モーメントmが、空間上の位置r
に作り出す磁束密度が、

  （2-2-3）
であることが判る。

従って、上記の磁気モーメントそれぞれは、磁束密度

  （2-2-4）

を作り出す。

上記の磁気ベクトルポテンシャルそれぞれを、全てのに渡って足し合わせると、

  （2-2-5）

を得る。即ち、物質の磁化
は、上記の磁気ベクトルポテンシャル
を空間内に作り出す

尚、磁化がの外では0であるからといって、の外でが0となるとは限らない（大概の場合はの外でもは、0ではない）ことに注意されたい。
なお、磁化は、の外では0なので、上式は、

としてもよい（紛らわしいのであまり推奨しない）。

さて、ベクトル解析の公式から、
  （2-2-6）
が判る。なお、磁化は、の外では0なので、上式は、

でもある。

従って、上記の磁気モーメントそれぞれが作り出す磁束密度は、

  （2-2-7）

と書けることが判る。従って、

  （2-2-8）

を得る。なお、磁化は、の外では0なので、上式は、

としてもよい（紛らわしいのであまり推奨しない）。

今、新たな場を、
  （2-2-9）

と定義すると
なお、磁化は、の外では0なので、上式は、

としてもよい（紛らわしいのであまり推奨しない）。、
  （2-2-10）

が得られる。

さて、以上の議論から「物質の磁化Mが既知である場合に限れば、その磁化Mが作り出す磁束密度BMを計算する術が得られた」
ことになる。然しながら、物質の磁化Mが既知でない場合には、上述の関係式のみからは、BMもMも、判らない。上述の関係式は、
一つの拘束条件を与えているに過ぎないのである。（だが、極めて重要な関係式ではある）。

例えば、磁化Miniを帯びた鉄心が空間におかれていたとき、外部からの磁束密度
が与えられたとき、鉄心の磁化は、元々の磁化Miniと、外部からの磁束密度
の影響で、元々の磁化Miniとは異なる新たな磁化Mconを得ることになる。仮に、このMcon
が判れば、全系の磁束密度が計算できるのだが、

（難所）元々磁化Miniを帯びている物質に、外部から磁束密度を印加したとき、最終的に、物質がどのようなMconを得るか？

が、実のところは難しい。そこで、一般には。B-H曲線等の実測結果と、上記の拘束条件を考え合わせ、数値計算によって磁束密度や磁化が計算されるのである。但し、線形物質に関して言えば、上の難所は比較的簡単である。このような特殊な物質に関する問題については、次章で述べることにする。

 磁荷密度の導入 
空間内の領域に物質が置かれ、前記物質が、定常な（つまり時刻tに依存しない）磁化を帯びているとする。

先に定義した、（磁化による）磁場
  （2-3-1）
の原因が、磁荷であると考えた場合に、それは、どのようなものであるのかを検討しよう。

ベクトル解析の公式より、

従って、
  （2-3-3）

今、スカラー値関数を、
  （2-3-4）

と定める（磁化が定める磁位、あるいは、磁化が定めるスカラーポテンシャルと言う）と、

  （2-3-5）

右辺第一項に、ガウスの発散定理を適用すると、
  （2-3-6）

さらに、ベクトル解析の公式を適用すると、
  （2-3-7）

従って、
  （2-3-8）
ここで、は、領域の境界面を意味する。
また、は、の法線ベクトルを意味する。

今、体積磁荷密度と、表面磁荷密度を、
 （体積磁荷密度）  （2-3-10）
 （表面磁荷密度）  （2-3-11）
により定めると、

  （2-3-12）

を得る。

一方、の定義により、
  （2-3-13）

であるため、
  （2-3-14）
である。

 磁化電流の導入 
時間的に定常な磁化が作り出す磁気ベクトルポテンシャルを、別の側面から考察してみることにしよう。ここでは、「磁束密度の原因は、電流に帰される」という思想に従い、
だとすれば、「磁化と等価な効果を発揮する電流」がどのようなものかを検討することにする。

前記に、
ベクトル解析の公式を適用すると、

となることが判る。ここで、
は、変数についての回転微分を意味する。は、領域の境界を意味する。
上式の右辺第二項の積分において、「の面素の絶対値」を意味し
所謂普通の面積分ではない（この「面積分」は、「ベクトル場からベクトルを作る」特殊なもの）ので注意が必要である。
この積分において、は、
の法線ベクトルを意味する。
実際、スカラー倍の回転微分の公式より、

従って、
  （2-4-3）

従って、
　　（2-4-4）

を得る。さらに、上式の右辺第二項の積分にベクトル解析の公式を適用すると、
　　（2-4-5）
を得る。さらに、右辺にベクトル解析の公式を適用すると、
  （2-4-6）

が得られる。以上から示すべき式が証明された。

今、を、
 （体積磁化電流密度）  （2-4-7）
 (表面磁化電流密度)  （2-4-8）

と置くと、結局、
  （2-4-9）

となる。

両辺の回転微分を取ると、
  （2-4-10）

が、判る。この見方は、特に、磁化が一様な場合（より一般にはrot[M]=0）といった特殊な場合に、特に威力を発揮する。

 強制電流と磁化の両方が既知のとき(一般論) 
 全系の磁束密度 
強制電流ifc (forced current)と磁化Mの両方が既知とし、これら以外に磁束密度の原因となるものがないとした場合、
全系の磁束密度Btot
は、強制電流ifcに起因する磁束密度の成分（式(1-2)から求められる）
Bfcと、磁化Mが作り出す磁束密度の成分（式(2-2-8)から求められる）
BMによって、

Btot=Bfc+BM (3-1-1)

と表される。
ここで、よく注意しておかないといけないことは、「強制電流ifcと磁化Mの両方が既知」という言葉の意味であるが、
仮に、強制電流ifc（や、他の磁化）がない状態での磁化Miniが既知したとして、
(磁化Miniが作り出す磁束密度BMini がどうなるかは(2-2-8)から計算できるが)

Btot=Bfc+BMini (間違った式)

は、よほど特殊な場合を除き成り立たない。要は間違いである。
式(3-1-1)より正確に書くならば、「外場の影響等により磁化が変化した後の磁化
Mcon
が作り出す磁束密度」
BMconを用いて、

Btot=Bfc+BMcon (正しい式)

である。結局以下の難所は残ったままである。

（難所）元々磁化Miniを帯びている物質に、外部から磁束密度を印加したとき、最終的に、物質がどのようなMconを得るか？

この問題が、実のところは難しい。つまり、強制電流が作った磁束密度や、磁化自身が作り出す磁束密度により、物質の磁化が最初の磁化から変化してしまうという問題がある。
一般には。B-H曲線等の実測結果と、上記の拘束条件を考え合わせ、数値計算によって磁束密度や磁化が計算されるのである。但し、線形物質に関して言えば、上の難所は比較的簡単である。このような特殊な物質に関する問題については、次章で述べることにする。

再び式(3-1-1)について考えよう。ベクトル解析の公式から
   (3-1-2a)
   (3-1-2b)
   (3-1-2c)

であることが判る。即ち、磁束保存の式が満たされることが判る。

 B=μ0(H+M)について 
前節同様に、強制電流ifcと磁化Mの両方が既知とし、これら以外に磁束密度の原因となるものがないとした場合
について考える。式(3-1-1)のBtotに対し、新たな場Htotを、

 （3-2-1）

と定める。式(3-2-1)は、所謂”B=μ0(H+M)”に他ならない。

さらに、強制電流が作る磁束密度は、式(1-2)に
より、（周辺の物質の有無にかかわらず）定まるが、式(1-3)に倣い
「強制電流が作る磁場」を、
 （3-2-2）
によって定め、磁化による磁場HMを式（2-2-10）のように定めると、
式（3-2-1）と式（3-2-2）、式（2-2-10）より、

が得られる。従って、
  （3-2-4）
が得られる。これは、即ち（静磁場の）アンペールの法則である。
式（3-2-4）を示そう。式（2-2-9） 及び以下の式(3-2-5)より、
rot grad=0 (3-2-5)

に対し、回転微分を作用させると、
 (3-2-6)
が判る。従って、磁化に起因する磁場は、
 (3-2-7)
を満たす。
式(3-2-7)と式(1-5)より、式（3-2-4）が示された。

 透磁率の導入 
透磁率なる概念を、新たに導入する。
即ち、3次正方行列に値を取る行列値関数（透磁率）を用いて、

 (3-3-1)

と書けるものとする。この透磁率は、磁化の概念の”すり替え”に過ぎない概念である。
尚、通常は、透磁率は、スカラー値関数と考えてよい場合が多いのだが、その場合は、
「対角成分が全部同じ値で、それ以外の成分が0の行列値関数と、スカラー値関数が同一視できる」ことを思い起こせばいい。

さらに、式(3-3-1) で見たような、透磁率（透磁率テンソル）を用いて、
   (3-3-2)
と書き表せ、かつ、μが全点で正則行列（逆行列を持つ）とする。(そう考えても、”あまり”一般性を失わない）逆に言えば、
   (3-3-3)
である。ここで、

ν:=μ-1  (3-3-4)

は、各点でμの逆行列を与えるような行列値関数である。即ち、

μ(s) ν(s)=μ(s) μ-1(s)=E3   (3-3-5)

を充たすような行列値関数である。（ここでE3は3次の単位行列)である。

これまでの議論では、電流素片や磁気双極子モーメントが作り出した磁束密度/磁場について論じてきたが、
式(3-1-2),式（3-2-4）より、このようにして作られた全系の磁場が、磁束保存の式と、アンペールの法則を
充たすことが判った。
ここからは、逆に、磁束保存の式(3-3-6)と、アンペールの法則(3-3-7)、即ち、

   (3-3-6a)
   (3-3-6b)
   (3-3-6c)
    (3-3-7)

を出発点とし、全系の磁気ベクトルポテンシャルが充たす微分方程式を導出する。

まず、磁束保存の式  (3-3-6c)は、強制電流に起因する成分 (3-3-6a)、磁化に起因する成分 (3-3-6b)
それぞれについて成り立つため、（ポアンカレの補助定理より）それぞれがベクトルポテンシャルを持ち、

   (3-3-8a)
   (3-3-8b)

をみたすようなベクトル場と、が存在する。
このようなベクトル場と、は、ゲージ不定性を除き一意に定まるが、
本記事では、強制電流に起因する成分は、式(1-1)のものを採用し、
と、磁化に起因する成分式(2-1-5）を採用することにする。

全系のベクトルポテンシャルを、
   (3-3-9)
と定めると、
   (3-3-8c)
が成り立つ。これは、(3-3-6c)の、磁束保存の式をベクトルポテンシャルを用いて書いたものに他ならない。

さらに、式(3-3-8c)に、式 (3-3-2)と、アンペールの法則(3-3-7)を考え併せると、
  (3-3-10)

が得られ、未知のベクトル場BやHが消え、未知のベクトル場はAのみとなる。これを
「ベクトルポテンシャルによる静磁場の方程式」（静磁場の支配方程式）という。

 静磁場の境界条件 
物質の境界において、式(3-3-6a)、式 (3-3-7)に、ガウスの発散定理や、ケルビンストークスの定理を適用すると、
磁場および磁束密度の境界条件が得られる。

 静磁場のエネルギーと停留値関数 
前節の前提条件において、
全系の磁気ベクトルポテンシャルは、以下の汎関数Fの停留関数となることが判る。

次元解析をすると、式(3-5-1)は、エネルギーの次元を持つことが判るが、実際に、式(3-5-1)は、全系のエネルギーとなっている。
ここで、は、内積を表す。νの定義は、式(3-3-4)に記載のとおりである。

式(3-5-1)が、本当に、「磁気ベクトルポテンシャルの停留汎関数」ことを検証しよう。
Aに対し、微小な摂動δAここでいうδは、摂動あるいは変分を表し、ディラックのδと紛らわしいが全然別物である。
を与えた際の第一変分δF、即ち、

δF=F[A+δA]-F[A]    (3-5-2)

を求める。

F[A+δA]は、以下の被積分関数を、全空間でｓについて積分したものである。
    (3-5-3)

一方、F[A]は、以下の被積分関数を、全空間でｓについて積分したものである。
    (3-5-4)

したがって、δFは、以下の(3-5-5)を、全空間でｓについて積分したものである。
    (3-5-5)

式(3-5-5)から、二次の微小項を無視すると、Fの第”一”変分
     (3-5-6)

を得る。
式(3-5-6) に、ベクトル解析の公式を適用する。
  (3-5-7)

において

を代入すると、

式(3-5-10)の第一項については、式(3-4-6)と、「真空中ではdiv[H]=0であること」を考え併せると、
結局物質Ω内の効果しか寄与しないことが判る。さらにガウスの発散定理を考慮すると、式(3-5-10)の第一項は、

  (3-5-11)

となる。従って、式(3-5-10)の第一項が、任意の摂動δAに対して0になるためには、ノイマン条件即ち、
  (3-5-12)

が満たされればよい。さらに、式(3-5-10)の第二項が、任意の摂動δAに対して0になるためには、
  (3-5-12)

であればよい。これは、「ベクトルポテンシャルによる静磁場の方程式」（静磁場の支配方程式）に(式(3-3-10))他ならない。以上から、ノイマン条件下での、静磁場の支配方程式の解は、汎関数Fの停留関数となること判る。

 ベクトル解析に関する補足 
静磁場の解析には、静磁場の解析には、やや高度なベクトル解析の知識
(例えば 藤本藤本 淳夫 (著) ベクトル解析 (現代数学レクチャーズ C- 1) 培風館 (1979/01) 参照）
が要求される。同じ式変形が何度も繰り返されるのを避ける目的から、
一般的な知識は既知とする立場から、本記事の内容理解に必要と思われる事柄に限り、簡単に説明する。
が要求される。同じ式変形が何度も繰り返されるのを避ける目的から、
一般的な知識は既知とする立場から、本記事の内容理解に必要と思われる事柄に限り、簡単に説明する。
 ベクトル場の代数演算と微分作用素 
ベクトル場に代数演算を施したものに、微分作用素を作用させた場合に成り立つ公式について、本記事で用い、かつ、あまり本に載っていないものについて、簡潔にまとめる。

 (1) <F|∇>について 
F=(f1,f2,f3)をベクトル場とする。このとき、

と定義する。ここで、∇は、

を意味する。<F|∇>のことを、”F・∇”と書くこともある。

Gを、ベクトル場としたとき、<F|∇>をGに作用させると、

が成り立つ。ここで、は、Gのヤコビ行列（ヤコビアンではない）を意味する。

 (2)rot とスカラー倍、ベクトル積 
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、以下が成り立つ。

 (3)div とスカラー倍、ベクトル積 
F,Gを、ベクトル場、fを、スカラー値関数とする。このとき、

 ディラックのデルタと、重積分 
一般のn変数関数（関数はベクトル値関数であってよい)fの定義域をΩとしたとき、

であることが知られている。ここで、上式の"*"は、合成積(乗算ではない)である。また、δnは、n変数のδ関数である。

 発散微分とディラックのデルタ 
原点(r=0)を除いて、

であり、原点(r=0)を中心とする、球体BLに対し、ガウスの発散定理を用いると、

となるので、結局、

であることが判る。(ここで、δは、3変数のδ関数である。
以上の議論を平行移動させると、

であることが判る。

 分数関数の偏微分 

 面積分に関する補足 
ここでは、様々なベクトル場の面積分についてまとめる。
「絶対値による面積分」「外積面積分」という用語は一般的な用語ではないが、他に
適切な表現がないため、この場限りでそのような言い方をする。
本記事内での定義は、それぞれ以下の通り。

Iをの閉長方形、
は、
Iの近傍で、殆ど至る所区分的に滑らかかつ、非退化であり、かつ、Iの内部で単射なベクトル値関数、
を、内の曲面片とする。
また、Xを、Sの近傍で定義された、区分的に滑らかなベクトル場とする。このとき、

 (1)普通の面積分 
定義は、以下の通りである。

上式の右辺は、についてのスカラー値関数

を、区間I上で重積分したものを意味する。今、Sの単位法線ベクトルを、

と定めると、

である。

 (2)絶対値による面積分 
定義は、以下の通りである。

本記事では、絶対値による面積分の場合は、のように、面素に絶対値記号をつけることにする。
右辺は、についてのベクトル値関数

を、成分ごとに区間I上で重積分したものを意味する。即ち、絶対値による面積分は「関数の面積分を各成分ごとにやる」というのと同じ意味である。

 (3)外積面積分 
定義は、以下の通りである。

本記事では、外積面積分の場合は、のように、面素にの前に、×をつけることにする。
右辺は、についてのベクトル値関数

を、成分ごとに区間I上で重積分したものを意味する。即ち、(2)との関係でいえば、

となる。

 脚注 

 注釈 

 参考文献 

 関連項目 
 磁場
 静電気学
 ベクトルポテンシャル
 遅延ポテンシャル
 ジェフィメンコ方程式
 アンペールの法則
 ビオ・サバールの法則
 クーロンの法則
 電場の強さ(E)、磁束密度(B)、電束密度(D)
 E-B対応とE-H対応
 地磁気
 ホール素子
 SQUID
 ファラデー効果
 マクスウェルの方程式
 ローレンツ力
 フレミングの法則

 外部リンク 




Category:電磁気学
Category:物理量
Category:磁気
Category:ポテンシャルエネルギー