ラムダ婆とネオラムダ婆の情報量の差が草だわ