特化型インスタンス、LTLとFTL以外に特化する意味あるのか謎＞＜（特化って分散と逆に集合（「みんなおいでよ」の方の意味の）だよね＞＜）