Formica hayashi Terayama & Hashimoto, 1996: 4, figs. 8-12 (w.) JAPAN. Palearctic.

Primary type information: Primary type material: holotype worker. Primary type locality: Japan: Shizuoka Pref., Nakaizu-machi, 12.x.1993 (M. Terayama). Primary type depository: MNHA. Secondary type information: Secondary type material: 57 paratype workers. Secondary type localities: 42 paratype workers with same data as holotype, 10 paratype workers Japan: Saitama Pref., Kawamoto-machi, 21.iv.1976 (M. Terayama), 1 paratype worker Japan: Aomori Pref., Mutsu-shi, 17-19.v.1993 (M. Nishimura), 4 paratype workers Japan: Yamanashi Pref., Tabayama-mura, 10.vii.1988 (M. Nishimura). Secondary type depositories: MNHA, NIAS, NSMT.