とにかく恥ずかしいラムダ 2019-08