logx 微分 証明半導体企業ランキング世界鶯谷yayaya