../code/conceptPage.scroll id quty name Quty appeared 1984 tags pl lab Tohoku University country Japan reference https://semanticscholar.org/paper/cca3db20ac9ef2f63352d5be7e115204af65e1f0 hopl https://hopl.info/showlanguage.prx?exp=1115