本发明涉及信息管理装置和信息管理方法。
背景技术：
：：被提案有以下一种技术：在商业设施的停车场中设置电动汽车(electricvehicle，也简称ev等。)的充电设备，通过无偿或廉价地提供充电服务并且赋予与充电量相应的优惠来促使顾客来访该商业设施。例如，在专利文献1中记载了车辆用充电设备内的通信装置，该车辆用充电设备与具有信息取得单元、信息生成单元及信息发送单元的设施一并设置。该便携信息取得单元从利用有线或无线与车辆用充电设备连接的便携终端取得用于向该便携终端发送数据的便携信息(邮件地址等)。该信息生成单元将使用者乘坐的车辆作为对象车辆，根据在供电中测量出的供电量(该对象车辆的行驶用电池通过车辆用充电设备充电的充电量)生成优惠信息，其中，该优惠信息是表示用于将能够在设施内接受的优惠赋予给使用者的信息。该信息发送单元使用由便携信息取得单元取得的便携信息，将由信息生成单元生成的优惠信息发送给便携终端。根据该通信装置，根据使用者乘车的对象车辆的行驶用电池通过车辆用充电设备充电的充电量，生成优惠信息。然后，将优惠信息发送给便携终端。优惠信息是用于赋予给使用者且能够在设施内获得的优惠的信息。使用者通过使用该优惠信息，能够在设施内享受优惠。另外，由于优惠信息与充电量对应，为了在设施内享受优惠，能够促使使用者访问具有车辆用充电设备的设施。现有技术文献专利文献专利文献1：日本特开2013-246704号公报技术实现要素：发明要解决的课题然而，面向车辆等移动体的充电设备的设置费用高，充电所需的电力耗费巨大，因此在具有大型停车场的设施的所有的停车位设置移动体用充电设备实际上很困难。在设置于停车场的充电设备被其他移动体使用的情况下，停在停车场的其他停车位的移动体则无法进行充电，进而有可能存在导致移动体的使用者感到不满或者对设施的印象受损的情况。即使要对无法使用充电设备的移动体的使用者进行某种补偿，但在现有技术中，即使利用在供电中测量出的供电量来确定使用了移动体用充电设备的移动体，却无法确定未能利用到移动体用充电设备的移动体。因此，在现有技术中，难以对未能使用充电设备的移动体的使用者进行某种补偿。因此，本发明的目的在于提供一种能够对访问了具有移动体用充电设备的设施的移动体中未能利用到该移动体用充电设备的移动体的使用者也能赋予优惠的信息管理装置和信息管理方法。用于解决课题的手段本发明的信息管理装置的特征在于，包括：移动体信息接收部，其接收移动体信息，该移动体信息包含用于识别一个移动体或多个移动体各自的移动体识别信息以及表示所述一个移动体或多个移动体各自的位置的移动体位置信息；充电状况信息接收部，其接收充电状况信息，该充电状况信息表示设置于设施的一个移动体用充电设备或多个移动体用充电设备对移动体进行充电的充电状况；设施信息存储部，其存储至少包含所述设施的位置的设施信息；停留判定部，其基于所述设施信息及所述移动体信息，判定移动体是否在所述设施中停留过；充电判定部，其基于所述充电状况信息接收部接收到的充电状况信息，判定被判定为在所述设施中停留过的移动体是否在所述一个移动体用充电设备上或所述多个移动体用充电设备中的任一移动体用充电设备上充过电；以及，优惠信息生成部，其生成与要被赋予移动体的使用者的优惠有关的优惠信息，其中，该移动体是所述停留判定部判定为在所述设施中停留过且所述充电判定部判定未在所述一个移动体用充电设备上或者所述多个移动体用充电设备中的任一移动体用充电设备上充过电的移动体。根据该信息管理装置，优惠信息生成部针对下述移动体的使用者生成与优惠有关的优惠信息，该移动体是指所述停留判定部判定为在所述设施中停留过且所述充电判定部判定为未在所述一个移动体用充电设备上或多个移动体用充电设备中的任一移动体用充电设备上充过电的移动体。这里，“所述停留判定部判定为在所述设施中停留过且所述充电判定部判定为未在所述一个移动体用充电设备上或多个移动体用充电设备中的任一移动体用充电设备上充过电的移动体”是访问了具有移动体用充电设备的设施的移动体中未能利用到该移动体用充电设备的移动体的可能性高。根据上述信息管理装置，生成针对这类移动体的使用者的优惠信息，因此能够对访问了具有移动体用充电设备的设施的移动体中未能利用到该移动体用充电设备的可能性高的移动体的使用者赋予优惠。进而，能够避免在移动体用充电设备上未能充上电的移动体的使用者感到不满或者导致设施形象受损的情况。在本发明的信息管理装置中，优选的是，所述优惠信息生成部构成为，将所述一个移动体用充电设备或所述多个移动体用充电设备全部被与所述停留判定部检测出在所述设施中停留过的移动体分别不同的一个或多个移动体所使用作为必要条件，生成所述优惠信息。根据具有该构成的信息管理装置，作为生成优惠信息的条件之一，需要所述一个或多个移动体用充电设备全部被与所述停留判定部检测出在所述设施中停留过的移动体分别不同的一个或多个移动体所使用。由此，能够避免下述情况：在所述一个或多个移动体用充电设备中的至少一个移动体用充电设备未被其他移动体使用的情况下，因移动体的使用者的误认或选择而未使用移动体用充电设备这种赋予优惠的必要性低的情况下赋予优惠。在本发明的信息管理装置中，优选的是，所述优惠信息是赋予与移动体的充电有关的优惠的信息。根据具有该构成的信息管理装置，能够对未通过移动体用充电设备进行充电的移动体的使用者赋予与移动体的充电相关的优惠。由此，能够纠正在移动体用充电设备上充过电的移动体的使用者与在移动体用充电设备上未被充电的移动体的使用者之间的不均衡。进而，能够避免未能在移动体用充电设备上充电的移动体的使用者感到不满或者导致设施形象受损。在本发明的信息管理装置中，优选的是，所述停留判定部基于所述移动体在多个时刻的位置，判定所述移动体是否在所述设施中停留过。根据具有该构成的信息管理装置，在判定所述移动体是否在所述设施中停留过时，使用表示移动体是否在设施中停留过的可能性高的多个时刻的所述移动体的位置。由此，能够简易地判定移动体是否停留在设施中。优选的是，所述停留判定部基于所述移动体的使用者在所述设施的购买历史记录，判定所述移动体是否在所述设施中停留过。根据具有该构成的信息管理装置，在判定所述移动体是否在所述设施中停留过时，使用所述移动体的使用者在表示移动体是否在设施中停留过的可能性高的所述设施进行购买的购买历史记录。由此，能够简易地判定移动体是否在设施中停留过。另外，在作为优惠赋予的前提而判定所述移动体是否在所述设施停留过时，不仅考虑了来访设施，还考虑了有没有在设施中购买，因此能够更符合设施侧的需求。附图的简单说明图1表示本发明的一个实施方式的整体构成的图。图2表示车载器的构成的一例的图。图3表示便携无线终端的构成的一例的图。图4表示服务器的构成的一例的图。图5a表示使用者/移动体的对应信息的一例的图。图5b表示移动体信息的一例的图。图6a表示优惠管理信息的一例的图。图6b表示充电设施信息的一例的图。图6c表示充电状况信息的一例的图。图7a示出设施终端的构成的图。图7b表示移动体用充电设备的构成的一例的图。图8a表示移动体信息接收处理的一例的流程图。图8b表示充电状况信息接收处理的一例的流程图。图9表示优惠赋予处理的一例的流程图。图10a表示对判断充电设备是使用中的期间的一例进行说明的图。图10b表示对判断充电设备是使用中的期间的另一例进行说明的图。图10c是对根据购入日期时间来推定停留开始日期时间的情况进行说明的图。图11表示购买历史记录的一例的图。图12表示本发明其他实施方式的整体构成的图。图13表示本发明另一实施方式的整体构成的图。具体实施方式(第一实施方式)参照图1至图10b，对本发明的第一实施方式进行说明。基本系统构成为包括搭载于车辆x(移动体)的车载器1、能够由乘客带入车辆x内部的便携终端装置2(例如智能手机)、设置于乘客自家的pc3、服务器4、设施终端5以及移动体用充电设备61、62。车载器1、便携终端装置2、pc3、服务器4、设施终端5以及移动体用充电设备61、62具备通过网络(例如因特网(internet)、无线通信网)相互通信的功能。车载器1以及便携终端装置2在共存于同一车辆x的空间内等物理上接近的情况下，具备通过近距离无线方式(例如bluetooth(“bluetooth”为注册商标))相互进行无线通信的功能。车辆x是电动汽车，具备能够与移动体用充电设备61、62连接的充电部x1。(车载器的构成)例如如图2所示，车载器1具备控制部10、传感器部11(gps传感器111、车速传感器112、陀螺仪传感器113以及开关传感器114。)、存储部12、无线部13、输出部14、输入部15、计时部16、充电管理部17。控制部10例如由cpu等运算装置构成。运算装置的运算结果被适当地存储在存储部12内，在之后的处理中被读出。控制部10以能够从传感器部11、存储部12、无线部13、输出部14、输入部15、计时部16和充电管理部17被输入信号且向传感器部11、存储部12、无线部13、输出部14、输入部15、计时部16、充电管理部17等输出控制信号的方式，经由总线(bus)等与上述各部(传感器部11～充电管理部17等)连接。传感器部11的gps传感器111基于来自gps(globalpositioningsystem：全球定位系统)卫星的信号计算出当前位置。车速传感器112基于来自旋转轴的脉冲信号计算出车辆x的速度。陀螺仪传感器113检测角速度。通过这些gps传感器、车速传感器、陀螺仪传感器，能够准确地计算出车辆x的当前位置、朝向。开关传感器114构成为输出表示车辆x的驱动源的开关是接通(on)状态还是断开(off)状态的信号，其中，车辆x搭载有车载器1。存储部12由存储器、hdd等存储装置构成。存储部12构成为存储作为用于识别车辆x的移动体识别信息的移动体id121、和从服务器4等接收到的优惠信息122。无线部13例如由wi-fi：wirelessfidelity(注册商标)、bluetooth(注册商标)、3g或蜂窝、lte通信等进行无线通信的通信装置构成。输出部14例如由液晶显示器等图像显示装置以及扬声器等声音输出装置构成。输出部14通过下述方式构成：以车辆x的乘客能够通过五感进行识别的方式输出与来自控制部10的控制信号对应的图像或者声音等信息。输入部15例如由触摸面板等操作受理装置以及声音输入装置那样，由能够受理信息的输入的装置构成。输入部15对输入的信息适当地进行信号转换等后输出到控制部10。计时部16构成为能够识别日期时间。计时部16例如通过与ntp(networktimeprotocol(网络时间协议))服务器进行通信，并能够与ntp服务器时刻同步。需要说明的是，一装置“识别”信息是指比如下述各处理等执行用于取得该信息的所有运算处理：一装置从其他装置接收该信息；一装置读取存储在与该一装置连接的存储介质中的信息；一装置根据从与该一装置连接的传感器输出的信号取得信息；一装置根据接收到的信息、存储于存储介质中的信息或者从传感器取得的信息执行规定的运算处理(计算处理或检索处理等)并由此来导出该信息；一装置从其他装置接收作为该其他装置的运算处理结果的信息；一装置按照该接收信号从内部存储装置或外部存储装置读取该信息等。充电管理部17构成为，通过与车辆x进行通信，取得车辆x的充电状态和识别与车辆x的充电部x1连接的充电设备的识别信息。(便携终端装置的构成)例如如图3所示，便携终端装置2具备控制部20、传感器部21(具备gps传感器211及陀螺仪传感器213)、存储部22、无线部23、输出部24、输入部25、计时部26。存储部22例如由存储器或硬盘构成，存储有使用者id221，该使用者id221是用于识别便携终端装置2的使用者的识别信息。使用者id221例如是使用者的邮件地址。便携终端装置2的控制部20、传感器部21、无线部23、输出部24、输入部25、计时部26具有与车载器1的各构成要素大致相同的构成和功能，因此在本说明书中省略说明。便携终端装置2不具备取得充电状况信息的构成要素(参照图2/充电管理部17)，但例如能够通过无线部23从车载器1取得充电状况信息。另外，便携终端装置2也可以利用存储在存储部22中的应用程序(软件)，使便携终端装置2具备与车载器1的充电管理部17分别同样的功能。另外，便携终端装置2也可以构成为通过与车辆x进行通信来识别车辆x的驱动源的开关的接通(on)状态或者断开(off)状态。(pc的构成)pc3具有与便携终端装置2大致相同的构成。(服务器的构成)服务器4例如由服务器计算机构成。服务器相当于本发明的“信息管理装置”的一例。如图4所示，服务器4具备控制部40、存储部41以及通信部42。存储部41相当于本发明的“设施信息存储部”的一例。控制部40例如由cpu等运算装置构成。运算装置的运算结果被适当地存储到存储部41中，在之后的处理中被读出。控制部40经由总线(bus)等与存储部41及通信部42连接，以便能够从通信部42输入信号并能够向存储部41、通信部42等输出控制信号。控制部40通过执行保存在存储部41中的规定的程序，起到执行后述的处理的移动体信息接收部401、充电状况信息接收部402、停留判定部403、充电判定部404及优惠信息生成部405的功能。存储部41例如由存储器以及hdd等存储装置构成。存储部41存储有使用者/移动体对应信息411、移动体信息412、优惠管理信息413、设施信息414以及充电状况信息415。如图5a所示，使用者/移动体对应信息411是包含移动体id和使用者id的信息。例如，在图5a中，移动体id的“a01”与使用者id的“b01”相关联。这意味着通过移动体id“a01”识别的移动体被使用者id“b01”识别的使用者所使用、借用或拥有。如图5a所示的移动体id“a02”那样，关于一个移动体id，也可以关联多个使用者id。在该情况下，如图5a所示，也可以按各使用者id与期间一并建立关联。在与该使用者id相关联的期间中，通过各使用者id“b02”“b03”识别的使用者意味着使用、借用或拥有对象移动体id“a02”。该移动体id、使用者id及期间例如可以基于从便携终端装置2或pc3接收到的信息来进行设定。如图5b所示，移动体信息412包括：移动体id；移动体位置信息，其表示通过移动体id识别的移动体的位置；断开(off)日期时间，其表述该移动体的驱动源的开关所断开的日期时间；以及，接通(on)日期时间；其表示上述断开日期时间以后该移动体的驱动源的开关首次接通的日期时间。移动体位置信息例如由纬度及经度来表示，该纬度及经度通过gps传感器111等被取得。移动体位置信息还可以包含高度。如图6a所示，优惠管理信息413是包括移动体id、使用者id、设施id、折扣率以及优惠码的信息。优惠管理信息是以下一种信息：通过使用者id识别的使用者(利用了通过移动体id识别的移动体的使用者)针对通过设施id识别的设施中的充电等特定或不特定的服务或商品能够享受到的由折扣率表示的折扣的程度(相当于本发明的“优惠”。)。优惠码是用于确定该优惠的信息。使用者通过使用便携终端装置2让该设施的设施终端、移动体用充电设备等读取优惠码，能够享受通过优惠码被确定的优惠。需要说明的是，优惠并不限于折扣率，也可以是可充电量。在该情况下，在优惠管理信息中包括表示电量及充电时间等的可充电量的信息。如图6b所示，设施信息414是包括设施id、由该设施id识别的设施的位置以及该设施所具有的移动体用充电设备的数量的信息。设施的位置与移动体位置信息同样地由纬度以及经度表示。设施的位置还可以包含高度。设施的位置例如可以表示设施的中心的位置等设施的一个地点，也可以用停车场的位置等具有一定程度扩展的范围来表示。也可以将从设施终端5等接收到的信息作为设施信息414进行存储。如图6c所示，充电状况信息415是包括下述内容的信息：设施id；移动体id；充电开始日期时间，其表示通过该移动体id识别的移动体在通过该设施id识别的设施中开始充电的日期时间；以及，充电结束日期时间，其表示该移动体在上述充电开始日期时间之后首次结束充电的日期时间。通信部42构成为能够利用有线通信或无线通信并经由网络与车载器1、便携终端装置2、pc3、设施终端5以及移动体用充电设备61，62分别进行通信。(设施终端的构成)如图7a所示，设施终端5具备控制部50、存储部51、通信部52以及输出部53。存储部51例如由存储器以及hdd等存储装置构成，存储用于识别拥有或使用该设施终端5的设施的设施id和在该设施中能够利用的优惠管理信息。控制部50、通信部52以及输出部53分别具有与车载器1、便携终端装置2或者pc3的控制部、通信部以及输出部相同的构成。(移动体用充电设备的构成)如图7b所示，移动体用充电设备61具备控制部610、存储部611、通信部612、计时部613和充电连接部614。存储部611存储设施id6111和表示移动体在移动体用充电设备61上的充电状况的充电状况信息61112。充电连接部614构成为能够与移动体(车辆x)的充电部x1连接。控制部610、通信部612、计时部613分别具有与车载器1、便携终端装置2或pc3的控制部、通信部及计时部相同的构成。(移动体信息接收处理)接着，参照图8a，对移动体信息接收处理进行说明。服务器4的控制部40定期地反复执行移动体信息接收处理。服务器4的控制部40(移动体信息接收部401)判定是否从移动体(车辆x)的车载器1接收到移动体信息(图8a/步骤002)。移动体信息例如在检测到移动体(车辆x)的驱动源的开关接通这一时机(timeing)被发送。移动体信息是包括下述内容的信息：车载器1的存储部12中存储的移动体id；车载器1的传感器部11所识别出的该移动体(车辆x)的移动体位置信息；车载器1的传感器部11所识别出的该移动体(车辆x)的驱动源的开关断开(off)的日期时间、即断开日期时间；车载器1的传感器部11所识别出的该移动体(车辆x)的驱动源的开关接通(on)的日期时间、即接通日期时间。在该判定结果为肯定的情况下(图8a/步骤002…yes(是))，服务器4的控制部40(移动体信息接收部401)将接收到的信息追加存储到存储部41的移动体信息412(参照图5b)上(图8a/步骤004)。在该判定结果为否定的情况下(图8a/步骤002…no(否))，服务器4的控制部40结束本处理。(充电状况信息接收处理)接着，参照图8b，说明充电状况信息接收处理。服务器4的控制部40定期地反复执行充电状况信息接收处理。服务器4的控制部40(充电状况信息接收部402)判定是否经由通信部42而从移动体用充电设备61、62接收到了充电状况信息(图8b/步骤012)。充电状况信息例如在开始一移动体的充电或者充电结束这一时机而被发送。充电状况信息是包括下述内容的信息：存储在移动体用充电设备的存储部中的设施id；经由充电连接部取得的用于识别该一移动体的移动体id；计时部在充电连接部开始充电的时刻所示出的充电开始日期时间；计时部在充电连接部结束充电的时刻检测到的充电结束日期时间。在该判定结果为肯定的情况下(图8b/步骤012…yes(是))，服务器4的控制部40(充电状况信息接收部402)将接收到的信息追加存储到存储部41的充电状况信息415(参照图6c)上(图8b/步骤014)。在该判定结果为否定的情况下(图8b/步骤012…no(否))，服务器4的控制部40结束本处理。(优惠赋予处理)接着，参照图9对优惠赋予处理进行说明。通过服务器4的控制部40定期地反复执行优惠赋予处理。服务器4的控制部40(停留判定部403)基于移动体信息412及设施信息414，识别在距离任意设施规定距离以内的开关断开(off)的移动体的移动体id(图9/步骤102)。例如，服务器4的控制部40(停留判定部403)识别移动体信息412(参照图5b)所包含的移动体位置信息“p11”～“p15”中距离由设施信息414(参照图6b)所示的各设施的位置“p01”“p02”是规定距离以内的位置。服务器4的控制部40(停留判定部403)还识别距离该移动体的位置在规定距离内的设施的设施id。需要说明的是，服务器4的控制部40在识别出多个位置的情况下，可以分别针对各个位置重复执行图9/步骤104以下的处理。需要说明的是，图9/步骤102中的规定距离可以是统一确定的距离，也可以是由每个设施各自确定的距离。另外，在设施的位置是以具有一定程度扩展的范围进行表示的情况下，服务器4的控制部40也可以采用识别包含在该范围内的移动体的位置的方式来代替是否在规定距离以内的判定，或者在是否在规定距离以内的判定的同时还识别包含在该范围内的移动体的位置。服务器4的控制部40(停留判定部403)将通过在图9/步骤102中识别出的移动体id所识别的移动体(以下，称为“对象移动体”。)是否停留在距离该移动体的位置规定距离以内的设施(以下，称为“对象设施”)(图9/步骤104)。例如，服务器4的控制部40(停留判定部403)参照移动体信息412，判定识别出的移动体id的断开(off)日期时间与接通(on)日期时间的差是否在规定时间以上(是否停留了)。规定时间可以是针对每个设施而确定的时间，也可以是统一确定的时间。在该判定结果为否定的情况下(图9/步骤104…no(否))，服务器4的控制部40结束本处理。在该判定结果为肯定的情况下(图9/步骤104…yes(是))，服务器4的控制部40(充电判定部404)基于移动体信息412以及充电状况信息415，判定对象移动体在从断开(off)时间到接通(on)时间为止的期间中的至少一部分时间是否被充电(图9/步骤106)。服务器4的控制部40(充电判定部404)例如判定移动体信息412(图5b)所示的移动体id“a01”的从断开(off)时间到接通(on)时间为止的期间“2018/04/0113：00～15：00”是否存在与充电状况信息415(图6c)所示的移动体id“a01”的充电期间“2018/04/0113：00～15：00”重复的期间(充电了)。在图5b和图6c所示的例子中，关于移动体“a01”“a03”“a04”，图9/步骤106的判定结果为肯定，而关于移动体“a02”，图9/步骤106的判定结果在任意off时间到on时间的期间都为否定。在该判定结果为肯定的情况下(图9/步骤106…no(否))，服务器4的控制部40结束本处理。在该判定结果为否定的情况下(图9/步骤106…no)，服务器4的控制部40(优惠信息生成部405)识别作为对象设施的对象移动体的停留开始日期时间(图9/步骤108)。例如，服务器4的控制部40(优惠信息生成部405)将移动体信息412(图5b)所示的移动体id“a02”的off日期时间“2018/04/0110：00”以及“2018/04/0114：00”分别识别为停留开始日期时间。服务器4的控制部40(优惠信息生成部405)识别对象设施中的充电设备的使用期间(图9/步骤110)。例如，服务器4的控制部40(优惠信息生成部405)基于移动体信息412及充电状况信息415，将下述期间识别为充电设备的使用期间，该期间为：从与充电状况信息415所包含的各移动体id建立有关联的充电开始日期时间和断开日期时间中较早的日期时间到与该移动体id建立有关联的充电结束日期时间中较晚的日期时间为止的期间。这是因为，在开关断开后到充电开始为止花费了时间的情况下、在充电开始后还因某些理由而未断开开关的情况下，可以设想是：在乘客返回之前充电结束的情况；乘客中的1人返回因而接通了开关，但因其他乘客没有返回而没有出发因而充电继续的情况等。例如，如图10a所示，在off日期时间比充电开始日期时间早且on日期时间比充电结束日期时间晚的情况下，服务器4的控制部40(优惠信息生成部405)将从off日期时间到on日期时间为止的期间识别为充电设备的使用期间。另外，如图10b所示，在断开(off)日期时间比充电开始日期时间早且充电结束日期时间比接通(on)日期时间晚的情况下，服务器4的控制部40(优惠信息生成部405)将从off日期时间到充电结束日期时间为止的期间识别为充电设备的使用期间。例如，关于移动体id“a03”，移动体信息412(参照图5b)所示的接通日期时间“2018/04/0115：00”比充电状况信息415(参照图6c)所示的充电结束日期时间“2018/04/0113：30”晚。在该情况下，服务器4的控制部40(优惠信息生成部405)将on日期时间“2018/04/0115：00”识别为充电设备的使用期间的终了日期时间。服务器4的控制部40(优惠信息生成部405)在图9/步骤108中识别出的对象移动体的停留开始日期时间，判定对象设施中的所有充电设备是否在使用中(使用期间中)(图9/步骤112)。例如，服务器4的控制部40(优惠信息生成部405)判定：在图9/步骤108中所识别出的对象移动体的停留开始日期时间，对象设施中的使用中的充电设备的数量与设施信息414所示的对象设施的设施id建立有关联的充电设备的数量相等(对象设施中的所有的充电设备是否正在使用)。例如，假设对象设施的设施id为“c02”，对象移动体的移动体id为“a02”。在设施id“c02”的设施中，关于移动体id“a03”，“2018/04/0110：00～15：00”是一个充电设备的使用期间，对于移动体id“a04”，“2018/04/0113：00～15：00”是一个充电设备的使用期间。在该情况下，在对象移动体的移动体id为“a02”的停留开始日期时间“2018/04/0110：00”，由于充电设备没有开始对移动体id“a04”进行使用，在设施id“c02”的设施中使用的充电设备的数量是移动体id“a03”正在使用的一个充电设备。该数量比设施信息414所示的设施id“c02”的充电设备的数量“2”小。因此，服务器4的控制部40(优惠信息生成部405)判定为：在对象移动体的移动体id为“a02”的停留开始日期时间“2018/04/0110：00”，在设施id“c02”的设施中并不是所有充电设备正在被使用(图9/步骤112…no)。另一方面，对象移动体的移动体id为“a02”的停留开始日期时间“2018/04/0114：00”包含在移动体id“a03”的使用期间“2018/04/0110：00～15：00”以及移动体id“a04”的使用期间“2018/04/0113：00～15：00”这两个使用期间内。因此，在对象移动体的移动体id为“a02”的停留开始日期时间“2018/04/0114：00”，在设施id“c02”的设施中使用的充电设备的数量为2。因此，服务器4的控制部40(优惠信息生成部405)判定为：在对象移动体的移动体id为“a02”的停留开始日期时间“2018/04/0114：00”，设施id“c02”的设施中的所有充电设备正在被使用(图9/步骤112…yes(是))。在该判定结果为否定的情况下(图9/步骤112…否)，服务器4的控制部40结束本处理。在该判定结果为肯定的情况下(图9/步骤112…是)，服务器4的控制部40(优惠信息生成部405)生成优惠管理信息(图9/步骤114)。例如，服务器4的控制部40(优惠信息生成部405)例如通过参照表格(table)等，根据从对象移动体的off日期时间到on日期时间为止的期间的长度决定折扣率。服务器4的控制部40(优惠信息生成部405)参照使用者/移动体对应信息411，在停留开始日期时间识别与对象移动体的移动体id建立有关联的使用者id。例如，服务器4的控制部40(优惠信息生成部405)参照使用者/移动体对应信息411(图5a)，在停留开始日期时间“2018/04/0114：00”识别与对象移动体的移动体id“a02”建立有关联的使用者id“b03”。然后，服务器4的控制部40(优惠信息生成部405)发行表示对象移动体的移动体id、对象设施的设施id、该使用者id和折扣率的优惠码，并生成优惠管理信息。服务器4的控制部40(优惠信息生成部405)将所生成的信息追加存储到优惠管理信息413中。服务器4的控制部40(优惠信息生成部405)在停留开始日期时间经由通信部42将包含优惠管理信息中所包含的折扣率以及优惠码的优惠信息发送给联系地址(例如使用者id所示的邮箱)(图9/步骤116)，其中，该联系地址与使用者id建立有关联，该使用者id与对象移动体的移动体id建立有关联。被赋予了优惠的使用者能够经由自身的便携终端装置2的输出部24等确认该优惠信息，或者向设施的负责人确认该优惠信息。另外，服务器4的控制部40(优惠信息生成部405)经由通信部42将优惠管理信息发送给与对象设施的设施id建立有关联的联系地址(图9/步骤118)。设施的负责人能够经由该设施的设施终端5的输出部53等来确认该优惠管理信息。通过以上处理，来赋予优惠。(本实施方式的作用效果)以下，为了便于说明，将由移动体id“a02”等识别的移动体等简述为移动体“a02”等。根据该信息管理装置(服务器4)，通过优惠信息生成部405(控制部40)对移动体“a02”的使用者“b03”生成与优惠有关的优惠信息(图9/步骤114)，其中，上述移动体“a02”是停留判定部403(控制部40)判定是在设施(图9/步骤104…yes(是))中停留过且充电判定部404(控制部40)判定为未在所述一个移动体用充电设备或多个移动体用充电设备中的任一移动体用充电设备上被充电(图9/步骤106…否)的移动体。需要说明的是，与优惠有关的优惠信息可以是人物(character)图像、声音信息等信息本身有价值的情况下的信息本身，也可以是如用于接受充电的码或用于接受充电的折扣的码这种用于享受优惠的信息。这里，“上述停留判定部403判定是在上述设施中停留过且上述充电判定部404判定为未在所述一个移动体用充电设备或多个移动体用充电设备中的任一移动体用充电设备上被充电的移动体”是访问了具有移动体用充电设备的设施“c02”的移动体“a02”“a03”“a04”中未能利用到该移动体用充电设备的移动体的可能性高。根据上述信息管理装置(服务器4)，对这样的移动体“a02”的使用者“b03”生成优惠信息，因此能够对访问具有移动体用充电设备的设施的移动体中未能利用到该移动体用充电设备的可能性高的移动体的使用者赋予优惠。进而，能够避免未能在移动体用充电设备上进行充电的移动体的使用者感到不满或者导致设施形象受损。根据具有该构成的信息管理装置(服务器4)，作为制作优惠信息的条件之一，需要所述一个或多个移动体用充电设备全部被由所述停留判定部检测到在所述设施中停留过的移动体“a02”和分别不同的一个或多个移动体“a03”“a04”所使用(图9/步骤112…yes)。由此，能够避免发生下述情况：在所述一个或多个移动体用充电设备中的至少一个移动体用充电设备未被其他移动体使用的情况下(停留开始日期时间“2018/04/0110：00”的情况下)，因移动体的使用者的误认或选择而不使用移动体用充电设备这种赋予优惠的必要性低的情况下优惠赋予。根据具有该构成的信息管理装置(服务器4)，对未能利用到移动体用充电设备进行充电的移动体“a02”的使用者“b03”赋予与移动体的充电相关的优惠(图9/步骤114)。由此，能够纠正在移动体用充电设备上充过电的移动体的使用者和未在移动体用充电设备上充电的移动体的使用者之间的不均衡。进而，能够避免未能在移动体用充电设备上充电的移动体的使用者感到不满或者导致设施形象受损的情况。根据具有该构成的信息管理装置(服务器4)，在判定移动体是否在所述设施中停留过，使用表示移动体是否在设施中停留过的可能性高的所述移动体的多个时刻的位置(移动体的off日期时间以及on日期时间的位置)(图9/步骤104)。由此，能够简易地判定移动体是否停留过设施。(第2实施方式)在适当参照图1～图11的同时，说明在判定移动体是否在所述设施停留过时使用对象设施的购买历史记录的第2实施方式。该购买历史记录例如从设施终端5发送至服务器4，并被存储在服务器4的存储部41中。对于与第一实施方式共同的构成及处理，标注相同的附图标记并省略说明。服务器4的控制部40(停留判定部403)在图9的步骤104中例如参照图11所示的购买历史记录、使用者/移动体对应信息411以及移动体信息412，判定与对象移动体建立有关联的使用者id在从对象移动体的off日期时间到on日期时间为止的期间内是否存在购买行为。在图5a、图5b、图11所示的例子中，服务器4的控制部40(停留判定部403)例如针对对象移动体“a02”，判定为与对象移动体建立有关联的使用者id“b03”在从对象移动体的off日期时间到on日期时间为止的“2018/04/0113：00～15：00”期间内存在购买历史记录“2018/04/014：00；5，000日元”，从而将图9的步骤104的判定结果评价为肯定。在该情况下，例如如图10c所示，服务器4的控制部40(优惠信息生成部405)也可以在图9的步骤108中将移动体“a02”的停留开始日期时间识别为从购买时刻起算的规定时间之前。另外，服务器4的控制部40(优惠信息生成部405)也可以在图9的步骤114中，根据使用者“b03”的购买金额决定折扣率等优惠内容。根据第2实施方式的信息管理装置(服务器4)，在判定移动体“a02”是否在设施“c02”停留过时(图9/步骤104)，使用所述移动体的使用者“b03”在表示移动体是否在设施停留过的可能性高的所述设施的的购买历史记录(图11)。由此，能够简易地判定移动体是否在设施中停留过。另外，在作为赋予优惠的前提而判定所述移动体是否在所述设施停留过时，不仅考虑了来访设施“c02”，还考虑了有没有在设施中购买，因此能够更符合设施“c02”侧的需求。(变形方式)如图12所示，服务器4也可以在图8b/步骤012中，从移动体(车辆x)接收充电状况信息。另外，如图13所示，服务器4也可以在图9/步骤116中，向车辆x发送优惠信息。在该情况下，优惠信息能够被输出在车载器1的输出部14上。优惠不一定限于折扣的一定程度，可以是固定金额的折扣，也可以是能够享受附加的服务的优惠，还可以是能够接收附加的礼物等优惠。需要说明的是，优惠信息不一定是需要发送的信息，也可以适用下述优惠：具有收费功能的服务器4也可以参照优惠管理信息413，针对被赋予了优惠的使用者(通过优惠管理信息中包含的使用者id识别的使用者)，自动地对下次的收费金额打折扣。另外，能够享受优惠的场所不一定限于同一设施，也可以是相关联的设施(例如，与对象设施签约的充电站(具有与对象设施id建立有关联的设施id的设施)。在该情况下，也可以将优惠管理信息发送给通过该相关联的设施的设施id确定的联系地址。另外，也可以构成为：关于与充电有关的优惠，以用户id或者优惠码相一致为条件来适用折扣等优惠，即使是与对象移动体不同的移动体也能够享受优惠。符号说明4…服务器(信息管理装置)；401：…移动体信息接收部；402…充电状况信息接收部；403…停留判定部；404…充电判定部；405…优惠信息生成部；41…存储部(设施信息存储部)。当前第1页12当前第1页12