直流 交流 変換. コード プログラミング. インストーラ 拡張 子. 帰納 推論.