そういえばチップの話で、0.25ミクロンとかいうのが出てくるけど、「ミクロン」って言葉はたしか去年の10月くらいに廃止になって「マイクロメートル」になったんじゃなかったっけ?これに関して知っている方、メールください。