CPS investment. Term logic vs propositional logic. 葛飾八幡宮 初詣 混雑. ドロップダウン 現象水につける.