理科科学的言語:特性、関数、型 - 理科 - 2025