Abstract: A piperidine derivative having the formula (I): ##STR1## wherein R.sup.1 and R.sup.2, which may be the same or different from each other, are (i) a not-substituted phenyl group or a phenyl group substituted by a halogen atom, trifluoromethyl group, a C.sub.1-5 alkyl group or a C.sub.1-5 alkoxyl group, (ii) a C.sub.3-7 cycloalkyl group, (iii) pyridyl group or (iv) thienyl group, R.sup.3 is (i) hydrogen atom, (ii) a halogen atom, (iii) a C.sub.1-4 alkyl group or (iv) a C.sub.1-4 alkoxyl group, R.sup.4 is (i) hydrogen atom or (ii) a C.sub.1-4 alkyl group. R.sup.5 is (i) a not-substituted C.sub.1-5 alkyl group or a C.sub.1-5 alkyl group substituted by a halogen atom, (ii) phenyl group or (iii) thienyl group and Z is (i) a C.sub.1-6 alkylene group, (ii) a C.sub.2-6 alkenylene group or (iii) a C.sub.3-6 alkynylene group or a pharmacologically acceptable salt thereof. According to the present invention, an anti-allergic agent and a therapeutic agent for ischemic heart disease without toxicity can be provided.

Abstract: In a wire cut electric discharge machine, a CPU stores a reference specific resistance specified for a machining solution according to a numerical control program, and causes a specific resistance control unit to control the specific resistance of the machining solution, and compares the machining solution's specific resistance thus controlled with the reference specific resistance, so that the CPU starts the electric discharge machining operation after confirming that the specific resistance has reached the reference specific resistance specified.

Abstract: A wire electrode type electrical discharge machining method in which a wire electrode is controlled by an NC device to automatically move along predetermined loci while forming an angle with respect to a workpiece which is being machined, wherein, even when a taper offset value occurring prior to an intersection of program loci is different from that after the intersection, the program can be readily executed. Wire electrode movement instruction codes and wire electrode inclination instruction codes are inputted to an NC device. The NC device then determines whether or not, with respect to the wire electrode inclination instruction codes, a wire electrode inclination before a corner is different from that after the corner. If the inclinations are different, a plurality of movement instructions are calculated and inserted between the movement instructions forming the corner. The wire electrode is then moved at the corner in accordance with the plurality of movement instructions thus calculated.