超高真空KPFMを用いたp-n接合中の内蔵電位分布計測と静電気力の三次元定量解析 (Quantitative characterization of built-in potential profile across GaAs p–n junctions using Kelvin probe force microscopy and 3D theoretical analysis of electrostatic force between a metallic tip and semiconductor surface)