後にJavaによって、この呼び名が定着した.
、