>>977-979
素直にbool_or( )でいいと思うが