バナッハ極限 - 他の言語