具尾置記法邏輯計算器;具尾部記法邏輯之計算器