第42回情報科学若手の会「型レベルプログラミングとScala」