pragmaってどういう意味？使い方じゃなくて、英単語として。名前の由来というか。