無修正のjavティーンティーンXXX. ページ 23.

5