"東京" ^ "特許" ^ "許可局" ^ "局長" ;; 
"関数" ^ "型" ^ "言語" ;;