>>635
RPNは記法の名称でRPLはRPNに含まれるのではないのか?