Fast Functions and Localized Reflecting Cardinals
                    Tadatoshi Miyamoto 

Abstract.
 We force with the fast function forcing at a localized
reflecting cardinal. We show that the large cardinal
has a Laver-type diamond sequence in the generic extensions.
This improves our previous construction via an Easton type
iterated forcing with an extra assumption.