chroju "型システムのしくみ Type..." 2025年4月19日