いろいろな平均年収ランキングで上位の常連となっている「キーエンス」。名前は聞いたことがあるけれど、実際に何をやっている会社なのか、ご存じですか？