機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器であって、前記時刻補正情報を受信する受信部と、前記受信部が受信した前記時刻補正情報を保持する保持部と、前記保持部に保持された前記時刻補正情報を用いて前記機器側時刻を補正する時刻補正部と、を備えることを特徴とする電子機器。請求項1に記載の電子機器において、前記機器側時刻の補正抑止時間の場合に、前記保持部に前記時刻補正情報を保持させる構成としたことを特徴とする電子機器。請求項1に記載の電子機器において、前記保持部に保持させた前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して得られる時刻を補正時刻とすることを特徴とする電子機器。機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正方法であって、時刻補正情報を受信する処理と、受信した前記時刻補正情報を保持する処理と、保持した前記時刻補正情報を用いて前記機器側時刻を補正する処理と、を備えることを特徴とする電子機器の時刻補正方法。請求項4に記載の電子機器の時刻補正方法において、機器側時刻の補正抑止時間であるか否かを判定する処理と、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持する処理と、を含む構成としたことを特徴とする電子機器の時刻補正方法。請求項4に記載の電子機器の時刻補正方法において、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含むことを特徴とする電子機器の時刻補正方法。コンピュータによって実行され、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正プログラムであって、時刻補正情報を受信するステップと、受信した前記時刻補正情報を保持するステップと、保持した前記時刻補正情報を用いて前記機器側時刻を補正するステップと、を備えることを特徴とする電子機器の時刻補正プログラム。請求項7に記載の電子機器の時刻補正プログラムにおいて、機器側時刻の補正抑止時間であるか否かを判定するステップと、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持するステップと、を含む構成としたことを特徴とする電子機器の時刻補正プログラム。請求項7に記載の電子機器の時刻補正プログラムにおいて、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含むことを特徴とする電子機器の時刻補正プログラム。ところで、携帯端末装置内にタイマーが設置された場合には、提供される時刻補正情報により時刻が補正されるとき、そのタイマーをリセットし、適正な時刻に調整することが行われている。このタイマーがリセットされると、各アプリケーションは時刻情報を用いているタイマープログラム等のリセットされたタイミングで補正前と補正後の時刻を取り込み、タイマーの残り時間を算出してタイマーを再設定することが行われる。この再設定には一定の時間を要するし、各アプリケーションを統括するシステムには、各アプリケーションがタイマー設定が完了したかどうかを知る手段はない。即ち、各アプリケーションはタイマーの再設定の完了をシステムに通知しないため、システム側はそれを認識することができない。また、時刻補正がマニュアル設定で行われる場合には上記の問題はないが、ネットワーク等から提供される時刻補正情報により時刻補正を自動的に行う場合には、次のような不都合がある。アプリケーションが時刻補正を実行中に時刻補正情報が提供されると、時刻補正処理が混乱するおそれがある。この場合、タイマーの再設定を失敗するおそれがある。また、時刻補正情報が提供されても、アプリケーションによっては時刻補正を実行できないタイミングがある。このような不都合は、携帯端末装置だけではなく、時刻情報を用いるアプリケーションを実行する電子機器においても、時刻補正情報の提供を受けて時刻補正を行う場合に生じるおそれがあった。このような課題について、特許文献1~3には開示や示唆はなく、その課題を解決する構成の記述や示唆もない。そこで、本発明の課題は、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器に関し、適正に時刻補正ができるようにすることにある。上記課題を解決した本発明の構成における各側面を列挙して説明する。本発明の第1の側面は、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器であって、前記時刻補正情報を受信する受信部と、前記受信部が受信した前記時刻補正情報を保持する保持部と、前記保持部に保持された前記時刻補正情報を用いて前記機器側時刻を補正する時刻補正部とを備える構成である。斯かる構成によれば、機器外から提供される時刻補正情報は受信部で受信され、保持部に保持される。この保持部に保持された時刻補正情報により、機器側時刻が補正される。機器外から時刻補正情報が定期的又は不定期に提供されると、また、機器側の機能や動作に関係なく、提供された機器側時刻が保持されるので、その時刻補正情報を用いて適時に時刻補正を行える。ここで、機器外とは例えば、基地局やネットワーク等である。また、時刻補正抑止時間には、複数の時間設定が存在しており、例えば、電源投入からの一定時間T1、時刻補正中の時間であって、その時間内に到来した時刻補正情報での時刻の再補正を防止するための時間T2=再補正を防止するための時刻補正情報の拒否時間時刻補正処理が終了した後の一定時間T3、~以外の任意に設定される一定時間T4の1又は複数の時間である。このような補正抑止時間の設定により、その補正抑止時間中では、時刻補正情報が定期的又は不定期に提供されても、機器側時刻が補正されることがなく、機器側時刻の補正中に、時刻補正情報の提供による混乱や時刻補正の誤補正が防止される。本発明の第1の側面において、好ましくは、前記機器側時刻が補正抑止時間の場合に、前記保持部に前記時刻補正情報を保持させる構成としてもよい。斯かる構成によれば、補正抑止時間が設定される場合には、それ以外の時間では提供された時刻補正情報で時刻の補正が可能である。そこで、補正抑止時間中に時刻補正情報が提供された場合には、その時刻補正情報を保持する構成としてもよい。本発明の第1の側面において、好ましくは、前記保持部に保持させた前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して得られる時刻を補正時刻とする構成としてもよい。斯かる構成によれば、補正時刻情報を保持した場合には、時刻補正情報が提供する時刻と時刻補正時点の時刻との間に時間差が生じるので、この時間差を計時して補完すれば、補正時刻情報を保持した時点と時刻補正の時点とに時間差が生じても、適正な時刻に補正することができる。本発明の第2の側面は、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正方法であって、時刻補正情報を受信する処理と、受信した前記時刻補正情報を保持する処理と、保持した前記時刻補正情報を用いて前記機器側時刻を補正する処理とを備える構成である。斯かる構成によれば、時刻補正情報の受信、時刻補正情報の保持、その時刻補正情報による時刻補正の処理が行われ、斯かる処理により、保持された時刻補正情報を用いて適時に時刻補正を行うことができる。本発明の第2の側面において、好ましくは、機器側時刻の補正抑止時間であるか否かを判定する処理と、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持する処理とを含む構成としてもよい。斯かる構成によれば、機器側時刻の補正抑止時間中の場合に、時刻補正情報を保持すれば、補正抑止時間を脱したときに保持されている時刻補正情報を用いて時刻補正が行える。本発明の第2の側面において、好ましくは、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含む構成としてもよい。斯かる構成によれば、時刻補正情報の保持と時刻補正との時間差を演算処理によって補完することができ、適正な時刻補正が可能である。本発明の第3の側面は、コンピュータによって実行され、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正プログラムであって、時刻補正情報を受信するステップと、受信した前記時刻補正情報を保持するステップと、保持した前記時刻補正情報を用いて前記機器側時刻を補正するステップとを備える構成である。斯かる構成によれば、コンピュータ処理により、時刻補正情報の受信、時刻補正情報の保持、その時刻補正情報による時刻補正の処理が行われる。本発明の第3の側面において、好ましくは、機器側時刻の補正抑止時間であるか否かを判定するステップと、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持するステップとを含む構成としてもよい。斯かる構成によれば、機器側時刻の補正抑止時間中の場合に、時刻補正情報を保持すれば、補正抑止時間を脱したときに保持されている時刻補正情報を用いて時刻補正が行える。本発明の第3の側面において、好ましくは、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含む構成としてもよい。斯かる構成によれば、時刻補正情報の保持と時刻補正との時間差を演算処理によって補完することができ、適正な時刻補正が可能である。以上の構成によれば、次のような効果が得られる。機器外から時刻補正情報が定期的又は不定期に提供されても、機器側では時刻補正抑止時間が設定され、時刻補正抑止時間以外の時間で時刻補正が行われるので、時刻補正が適正化され、誤補正や機器側の誤動作を防止できる。機器外から提供される時刻補正情報を保持する構成とすれば、その時刻補正情報を用いて時刻補正を適時に行うことができ、誤補正や機器側の誤動作を防止できる。第1の実施の形態本発明の第1の実施の形態について、図1及び図2を参照して説明する。図1は、第1の実施の形態に係る携帯端末装置を示すブロック図、図2は、その外観形態を示す図である。この携帯端末装置2は、時刻補正情報等の各種の情報を無線で受信できる携帯電話機等の電子機器の一例であって、この実施の形態の携帯端末装置2では、基地局やネットワーク等の外部から提供される時刻補正情報により機器内時刻を自動補正する機能を備えている。ここで、機器内時刻とは携帯端末装置2の内部で機能し又は表示される時刻である。この携帯端末装置2には、記憶部4、プロセッサ6、無線受信部8、入力操作部10、表示部12、タイマー14等が備えられている。記憶部4は、ROMReadOnlyMemory、RAMRandomAccessMemory等を総括的に表しており、着脱可能な記録媒体で構成してもよい。この記憶部4には、プログラム格納部42、データ格納部44等が設定されている。プログラム格納部42には、管理プログラム420、時刻管理プログラム421、時刻補正プログラム422の他、時刻情報を用いる画像表示プログラム423、スケジュールプログラム424、カレンダー日時プログラム425、アラームクロックプログラム426、撮影画像保存プログラム427、履歴情報保存プログラム428、ソフトウェア更新プログラム429等、時刻情報を用いる各種のアプリケーションプログラム等が格納されている。管理プログラム420は、フレームワークを構成しており、時刻管理プログラム421、時刻補正プログラム422、画像表示プログラム423、スケジュールプログラム424等の既述のプログラムの管理をするとともに、時刻補正については、時刻補正抑止時間であるか否か等の時刻補正についての管理を行い、時刻補正が可能か否か、即ち、時刻補正抑止中か否かの判断を行い、時刻補正情報の各プログラムに対する提供又は時刻補正情報の廃棄等を行う。時刻管理プログラム421は、計時及びその表示情報を出力する。時刻補正プログラム422は、外部から提供される時刻補正情報を用いて、機器内時刻を補正するプログラムである。画像表示プログラム423は、表示部12に時刻や各プログラムの実行中の動作画面、アイコン、カーソル、入力操作部10からの情報入力を促すメッセージ等の表示を行うプログラムである。スケジュールプログラム424、カレンダー日時プログラム425、アラームクロックプログラム426、撮影画像保存プログラム427、履歴情報保存プログラム428、ソフトウェア更新プログラム429、その他のアプリケーションプログラムにおいて、時刻情報が参照され、その時刻補正に時刻補正情報が用いられる。データ格納部44には、時刻情報に関連する各種情報が格納されるスケジュール格納部441、撮影画像格納部442、履歴情報格納部443、メール格納部444等が設定されている。スケジュール格納部441、撮影画像格納部442、履歴情報格納部443、メール格納部444等には各イベント情報とともに、イベント時等の時刻情報が格納されている。プロセッサ6は、制御部及び時刻補正部を構成しており、CPUCentralProcessingUnit等で構成されているとともに、処理途上のデータを保持する記憶部も備えている。このプロセッサ6では、既述の管理プログラム420等、各種のプログラムを実行し、時刻データの生成、時刻補正情報を用いた機器内時刻の補正、時刻情報の記憶等を実行する。無線受信部8は、基地局やネットワークから無線信号をアンテナ16を通して受信し、提供される時刻補正情報を再生し、プロセッサ6に加える。入力操作部10は、機器内時刻のマニュアル補正等に用いられる。表示部12は例えば、LCDLiquidCrystalDisplayで構成される。この表示部12には、文字、図形、写真画像等とともに、プロセッサ6から出力される時刻が表示される。この時刻の表示には、現在の時刻だけでなく、各種プログラムの実行の際にその情報に付随した時刻の場合もある。タイマー14はクロック発生回路等で構成され、クロック信号を生成する。このクロック信号はプロセッサ6の動作に用いられている。そして、この携帯端末装置2は、図2に示すように、第1及び第2の筐体部18、20がヒンジ部22により連結されて開閉可能に構成され、筐体部18には複数のキーからなる入力操作部10が配置され、筐体部20には表示部12が配置されるとともに、アンテナ16が設置されている。表示部12の画面120には、補正前又は補正後の機器側時刻として現在の日時122が表示される。次に、この携帯端末装置2の時刻補正、時刻補正抑止及び抑止解除について、図3を参照して説明する。図3は、時刻補正、時刻補正抑止及びその抑止解除の処理を示すフローチャートである。携帯端末装置2は、基地局やネットワークから時刻補正情報を受信するステップS1。フレームワークを構成する管理プログラム420が実行され、時刻補正抑止中か否かの判定が実行されるステップS2。この時刻補正抑止中とは、時刻補正抑止時間内を表しており、それを列挙すれば、電源投入からの一定時間T1、時刻補正中の時間であって、その時間内に到来した時刻補正情報での時刻の再補正を防止するための時間T2=再補正を防止するための時刻補正情報の拒否時間時刻補正処理が終了した後の一定時間T3、~以外の任意に設定される一定時間T4から選択される1又は複数の時間又は全時間である。この時刻補正抑止中の場合には時刻補正情報の破棄ステップS3が実行され、ステップS1に戻る。時刻補正抑止中でない場合には、時刻補正情報が各機能部である時刻補正プログラム422に提供され、時刻管理プログラム421等の時刻補正が実行されステップS5、ステップS1に戻る。時刻補正処理ステップS5が実行されると、実行中のプログラムから時刻補正時間中、時刻補正抑止の通知や、時刻補正の後、時刻補正抑止解除の通知が発せられステップS6、時刻補正を管理するプロパティエージェント、即ち、管理プログラム420がその通知を受けるステップS7。現状の時刻補正を維持するため、時刻補正抑止が設定され、時刻補正の終了後、時刻補正抑止が解除されることになる。これらの具体的な処理は、図4~図11に詳細に記載する通りである。次に、この携帯端末装置2の時刻補正処理について、図4を参照して説明する。図4は、時刻補正処理を示すフローチャートである。この携帯端末装置2では、基地局又はネットワークから提供される時刻補正情報を受信したか否かが監視されステップS11、時刻補正情報を受信すると、時刻補正抑止時間T1図5、T2図6、T3図7又はT4図8の何れかであるか否かが判定されステップS12、時刻補正抑止時間である場合には、提供された時刻補正情報を破棄するステップS13。また、時刻補正抑止時間でない場合には、時刻補正処理の実行中か否かが判定されステップS14、時刻補正の実行中である場合には、提供された時刻補正情報を破棄しステップS13、時刻補正の実行中でない場合には、時刻補正が行われるステップS15。このように、時刻補正抑止時間T1~T4の設定により、定期的又は不定期に提供される時刻補正情報によるランダムな時刻補正が防止でき、時刻補正が可能な時間内で適正な時刻補正を実行することができる。また、このような処理において、ステップS14では、時刻補正抑止時間ステップS12に外れた場合の時刻補正処理中に時刻補正情報を受けた場合の誤補正を防止できる。次に、時刻補正抑止時間T1、T2、T3、T4の設定について、図5、図6、図7及び図8を参照して説明する。図5は、電源投入時の時刻補正抑止時間T1の設定を示すフローチャート、図6は、時刻補正中の時刻補正抑止時間T2の設定を示すフローチャート、図7は、時刻補正後の時刻補正抑止時間T3の設定を示すフローチャート、図8は、任意の時刻補正抑止時間T4の設定を示すフローチャートである。図5に示すように、電源の投入ステップS21を開始点として計時が開始されステップS22、所定時間T1の経過ステップS23の後、その計時を終了するステップS24。電源投入から所定時間で時刻補正抑止時間T1が設定される。このような時刻補正抑止時間T1では、電源投入直後の不安定な時間中での時刻補正を防止することができる。また、図6に示すように、時刻補正の開始通知を受けステップS31、時刻補正処理が実行されるステップS32。時刻補正の終了通知を受けたか否かを監視しステップS33、時刻補正の終了通知を受けたとき、時刻補正抑止を解除するステップS34。この時刻補正の開始通知から時刻補正の終了通知までの所定時間T2が時刻補正抑止時間T2となる。このような時刻補正抑止時間T2が設定されたことにより、時刻補正中の時刻補正情報の受入れを阻止でき、時刻補正の混乱を防止することができる。即ち、時刻補正の信頼性が確保される。また、図7に示すように、時刻補正が完了すると、その終了通知を受けステップS41、その通知から計時を開始しステップS42、所定時間T3の経過を監視するステップS43。所定時間T3の経過後、計時を終了するステップS44。これによって所定時間T3の時刻補正抑止時間T3が設定される。このような時刻補正抑止時間T3の設定により、時刻補正直後の再補正を防止でき、時刻補正の繰り返しを回避できる。即ち、アプリケーションからの時刻補正通知を契機として次回の時刻補正を行うので、適正な時刻補正が可能になる。また、図8に示すように、時刻補正抑止の通知を監視しステップS51、時刻補正抑止の通知があった場合には、時刻補正抑止を維持するステップS52。時刻補正抑止の解除通知を監視しステップS53、時刻補正抑止の解除通知を受けたとき、時刻補正抑止を解除するステップS54。この時刻補正抑止の開始通知から時刻補正の解除通知までの所定時間T4が時刻補正抑止時間T4となる。このような時刻補正抑止時間T4が設定されたことにより、時刻補正中等、任意に生起する時刻補正動作の抑止を設定でき、時刻補正情報の提供によるプログラム動作の混乱を防止することができる。このように、時刻補正抑止時間T1電源投入時の所定時間、T2時刻補正実行中の所定時間、T3時刻補正終了後の所定時間、T4任意の所定時間が設定されたことにより、電源投入直後、時刻補正中、時刻補正直後の各場合について、次回の時刻補正を受け付けるまでの所定時間だけ時刻補正を受け付けない時間が設定される。これらの時刻補正抑止時間T1~T4は、各アプリケーションプログラムの上流機能であるフレームワークを構成する管理プログラム420によって設定される。具体的には、時刻補正抑止時間T1は電源投入により必然的に生起し、時刻補正抑止時間T2、T3は時刻補正が発生してから所定時間T2T3して連続的に生じ、これらの時間内では、ネットワークから時刻補正情報が通知されても、この時刻補正情報が破棄されることになる。そして、時刻補正抑止時間T4については、アプリケーション側で時刻補正を受け付けたくない時間として個別的に設定されることになる。即ち、アプリケーションの上流機能であるフレームワークを構成する管理プログラム420に時刻補正抑止を通知し、その通知から所定時間T4の時刻補正抑止が設定される。この場合、フレームワークを構成する管理プログラム420に時刻補正抑止の依頼をした後は、アプリケーション側から抑止解除を通知するまで、その時刻補正抑止が継続することになり、ネットワークから時刻補正情報が通知されても、その時刻補正情報は破棄されることになる。次に、時刻補正抑止の生起タイミングについて、図9、図10、図11及び図12を参照して説明する。図9は、電源投入直後の時刻補正抑止の生起タイミングを示す図、図10は、時刻補正実行中の時刻補正抑止の生起タイミングを示す図、図11は、時刻補正終了直後の時刻補正抑止の生起タイミングを示す図、図12は、任意の時刻補正抑止の生起タイミングを示す図である。図9のAに示すように、電源投入から所定時間T1において、初期設定動作IMが実行され、この時間T1が時刻補正抑止時間T1となる。このため、図9のBに示すように、この時刻補正抑止時間T1の間で時刻補正情報TDが提供されても、この時刻補正情報TDは受け入れられず、破棄されることになる。また、図10のAに示すように、時刻補正情報TDが提供され、この時刻補正情報TDによって時刻補正動作が実行されると、図10のB、C、D、E、Fに示すように、時刻補正情報TDを受け、時刻補正処理TA1、TA2、TA3、TA4TAnが実行される。これらの時刻補正処理TA1~TAnは、既述の時刻管理プログラム421等のアプリケーションによる個別の処理である。このような時刻補正処理TA1~TAnが開始され、各処理TA1~TAnから生起される時刻補正開始通知M11、M12、M13M1n、時刻補正終了通知M21、M22、M23M2nを、管理プログラム420を実行するプロセッサ6で監視し、この実施の形態では、最先の時刻補正開始通知M12から最後の時刻補正終了通知M24までの時間、即ち、時刻tsから時刻teまでの時間T2が時刻補正処理時間であり、これが時刻補正抑止時間T2となる。この時間T2において、図10のGに示すように、時刻補正情報TDの提供を受けても、この時刻補正情報TDは受け入れられず、破棄されることになる。また、図11のAに示すように、時刻補正処理TA図10の時刻補正処理TA1、TA2、TA3TAnの完了直後の所定時間T3が設定され、この所定時間T3が時刻補正終了直後の時刻補正抑止時間T3となる。この時刻補正抑止時間T3について、図11のBに示すように、時刻補正情報TDが提供された場合には、この時刻補正情報TDは受け入れられず、破棄されることになる。また、図12のAに示すように、任意のアプリケーションプログラムから時刻補正抑止通知MSが発せられると、そのプログラムでは、時刻情報に関係する処理TAが実行され、その終了時点で時刻補正抑止解除通知MEが発せられる。時刻補正抑止通知MSから時刻補正抑止解除通知MEまでの時間T4が時刻補正抑止時間T4となる。この時刻補正抑止時間T4において、図12のBに示すように、時刻補正情報TDが提供されても、この時刻補正情報TDは受け入れられず、破棄されることになる。そして、この時刻補正抑止時間T4の後に、図12のCに示すように、時刻補正情報TDが提供された場合には、その時刻補正情報TDにより、時刻補正処理TAが実行されることになる。この処理時間T2が時刻補正抑止時間T2となる。この時刻補正抑止時間T4の経過後、既述したように図11、時刻補正抑止時間T3を設定する構成としてもよい。以上述べた時刻補正抑止時間T1~T4から選択される1の時間又は複数の時間又は全時間の設定により、時刻補正情報TDの受入れ及びその時刻補正情報TDによる時刻補正が行われるので、機器側時刻の補正が適正化され、また、時刻補正中の再補正等の混乱を生じることもない。第2の実施の形態本発明の第2の実施の形態について、図13を参照して説明する。図13は、第2の実施の形態に係る携帯端末装置を示すブロック図である。図13において、図1に示す携帯端末装置2と同一部分には同一符号を付してある。この実施の形態の携帯端末装置2では、データ格納部44に時刻補正情報格納部440が設定され、無線受信部8を通して受信した時刻補正情報TDが格納される。即ち、第1の実施の形態では、時刻補正抑止時間T1、T2、T3又はT4に到来した時刻補正情報TDは破棄されているが、この実施の形態では、その時刻補正情報TDをデータ格納部44の時刻補正情報格納部440に格納させ、適当な補正時期を捉え、その時刻補正情報TDをその到来時点から時刻補正時点までの時間ΔTの加算により補正する構成である。その他の構成は、第1の実施の形態と同様である。次に、時刻補正抑止及び時刻補正について、図14を参照して説明する。図14は、時刻補正処理を示すフローチャートである。携帯端末装置2が動作状態に維持されているものとする。時刻補正情報TDが受信されるとステップS61、時刻補正抑止時間T1図5、T2図6、T3図7、T4図8であるか否かが判定され、時刻補正抑止時間T1~T4でない場合には、時刻補正ステップS68が実行されるが、時刻補正抑止時間T1~T4である場合には、その時刻補正情報TDは時刻補正情報格納部440に格納され保持される。そして、時刻補正情報TDの受信から計時が開始されステップS64、時刻補正抑止時間が終了したか否かが監視されステップS65、その時刻補正抑止時間が終了すると、計時終了となりステップS66、計時開始から計時終了までに計時された時間をΔTとする。時刻補正プログラム422の実行により、時間ΔTを用いて補正時刻Txの修正を行うステップS67。提供されている補正時刻Txに時間ΔTを加算し、補正時刻Txは真の時刻Ty修正時刻に修正される。修正された真の時刻Tyは、Ty=TxΔTとなる。この時刻Tyを用いて時刻補正が実行されるステップS68。次に、時刻補正の生起タイミングについて、図15を参照して説明する。図15は、時刻補正情報の保持を用いた時刻補正の生起タイミングを示す図である。図15のAに示すように、時刻補正情報TDが提供されると、図15のBに示すように、時刻補正抑止時間T1~T4の何れの時間にあっても、その時刻補正情報TDは保持され、その保持とともに時刻補正情報TDの到来時点tpから計時が開始され、時刻補正の開始時点tsまでの時間ΔTが計時される。そして、図15のCに示すように、時刻補正処理TAでは、時刻補正情報TDから提供される補正時刻Txに時間ΔTが加算されて時刻Tyに修正され、この時刻Tyで時刻補正が実行される。第3の実施の形態本発明の第3の実施の形態について、図16を参照して説明する。図16は、第3の実施の形態に係る時刻補正抑止及び時刻補正の処理を示すフローチャートである。図14及び図15に示す処理では、時刻補正情報TDの提供時点によっては、その時刻補正情報TDを用いて時刻補正を実行し、時刻補正抑止時間T1~T4に到来した時刻補正情報TDを保持する構成としたものである。これに対し、図16に示す処理では、時刻補正抑止時間T1~T4であるか否かに関係なく、提供された時刻補正情報TDを保持する処理としたものである。時刻補正情報TDが受信されるとステップS71、その時刻補正情報TDは時刻補正情報格納部440に格納され保持されるステップS72。そして、時刻補正情報TDの受信から計時が開始されステップS73、時刻補正抑止が監視されステップS74、時刻補正抑止が終了すると、計時終了となりステップS75、計時開始から計時終了までに計時された時間をΔTとする。時刻補正プログラム422の実行により、時間ΔTを用いて補正時刻Txの修正を行うステップS76。提供されている補正時刻をTxに時間ΔTを加算し、補正時刻Txは真の時刻Ty修正時刻に修正される。この時刻Tyは、式の通りである。そして、この時刻Tyを用いて時刻補正が実行されるステップS77。斯かる構成によれば、時刻補正情報TDの受信から時刻補正時点までの誤差時間ΔTを補正時刻Txに加算して真の時刻Tyが求められ、この時刻Tyで時刻補正を行うことができるので、時刻補正の適正化とともに、機器側時刻の精度が高められる。他の実施の形態上記実施の形態では、携帯電話機等の携帯端末装置2を例示して説明したが、本発明は、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器であれば、どのような機器でもよく、例えば、図17に示すように、パーソナルコンピュータPC24に適用してもよく、また、図18に示すように、携帯情報端末機PDA:PersonalDigitalAssistant26に適用してもよく、また、図19のA及びBに示すように、カメラ28に適用してもよい。図19のAは、カメラ28を前面側から見た図であり、30は、レンズ部である。また、図19のBは、カメラ28を背面側から見た図である。これら図17、図18及び図19において、図1及び図2の携帯端末装置2に対応する箇所には同一符号を付し、説明を省略する。このような電子機器においても、時刻補正の適正化や誤補正を防止することができる。その他、本発明を時計、ラジオ受信機、TV受像機等に適応してもよく、同様の効果が期待できる。上記実施の形態では、時刻補正抑止時間T1~T4を設定しているが、これらの時間を制御選択メニューから任意に選択可能としてもよい。その場合、時刻補正抑止時間T1を強制設定とし、他の時間T2~T4を選択設定としてもよく、また、時刻補正抑止時間T1、T2を強制設定とし、他の時間T3、T4を選択設定としてもよい。上記実施の形態では、時刻補正抑止時間か否かの判断をフレームワーク側に設定し、各時刻補正の結果を各機能即ち、各プログラムに任せる構成としたが、時刻管理プログラム側で時刻関係を一括管理する構成にし、時刻補正を行うようにしてもよい。次に、以上述べた本発明の電子機器、その時刻補正方法及び時刻補正プログラムの各実施形態から抽出される技術的思想を請求項の記載形式に準じて付記として列挙する。本発明に係る技術的思想は上位概念から下位概念まで、様々なレベルやバリエーションにより把握できるものであり、以下の付記に本発明が限定されるものではない。付記1機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器であって、前記時刻補正情報を受信する受信部と、前記機器側時刻の補正抑止時間か否かを判定し、前記補正抑止時間の場合には前記時刻補正情報を破棄し、前記補正抑止時間でない場合には、前記時刻補正情報により前記機器側時刻を補正する時刻補正部と、を備えることを特徴とする電子機器。斯かる構成によれば、機器外から提供される時刻補正情報が受信部で受信される。その受信の際又は時刻補正の際、補正抑止時間の場合には、その時刻補正情報を破棄し、補正抑止時間でない場合には、機器側時刻が補正される。付記2付記1に記載の電子機器において、提供された前記時刻補正情報を以て前記機器側時刻を補正した場合には、その補正から一定の補正抑止時間を設定し、時刻補正情報が提供されても該時刻補正情報を破棄し、前記機器側時刻の補正を禁止する構成としたことを特徴とする電子機器。斯かる構成によれば、機器側時刻の繰返し補正を防止できる。時刻補正による機器側の動作プログラム等への影響が回避される。付記3付記1記載の電子機器において、前記補正抑止時間は、電源投入から所定時間、機能上、連続した時間情報又は機器側時刻を用いる所定時間であることを特徴とする電子機器。付記4機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器であって、前記時刻補正情報を受信する受信部と、前記受信部が受信した前記時刻補正情報を保持する保持部と、前記保持部に保持された前記時刻補正情報を用いて前記機器側時刻を補正する時刻補正部と、を備えることを特徴とする電子機器。付記5付記4に記載の電子機器において、前記機器側時刻の補正抑止時間の場合に、前記保持部に前記時刻補正情報を保持させる構成としたことを特徴とする電子機器。付記6付記4に記載の電子機器において、前記保持部に保持させた前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して得られる時刻を補正時刻とすることを特徴とする電子機器。付記7付記4に記載の電子機器において、前記受信部が前記時刻補正情報の受信時から時刻の補正時点までの時間を計時する計時部を備えることを特徴とする電子機器。付記8機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正方法であって、時刻補正情報を受信する処理と、前記機器側時刻の補正抑止時間か否かを判定する処理と、前記補正抑止時間の場合には前記時刻補正情報を破棄し、前記補正抑止時間でない場合には、前記時刻補正情報により前記機器側時刻を補正する処理と、を備えることを特徴とする電子機器の時刻補正方法。斯かる構成によれば、時刻補正情報の受信、補正抑止時間か否かの判定、補正抑止時間中であれば時刻補正情報の破棄、補正抑止時間中でなければ時刻補正の処理が行われ、これらの処理により、適正な時刻補正が可能であるし、時刻補正の繰り返しによる不都合を回避することもできる。付記9機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正方法であって、時刻補正情報を受信する処理と、受信した前記時刻補正情報を保持する処理と、保持した前記時刻補正情報を用いて前記機器側時刻を補正する処理と、を備えることを特徴とする電子機器の時刻補正方法。付記10付記9に記載の電子機器の時刻補正方法において、機器側時刻の補正抑止時間であるか否かを判定する処理と、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持する処理と、を含む構成としたことを特徴とする電子機器の時刻補正方法。付記11付記9に記載の電子機器の時刻補正方法において、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含むことを特徴とする電子機器の時刻補正方法。付記12コンピュータによって実行され、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正プログラムであって、時刻補正情報を受信するステップと、前記機器側時刻の補正抑止時間か否かを判定するステップと、前記補正抑止時間の場合には前記時刻補正情報を破棄し、前記補正抑止時間でない場合には、前記時刻補正情報により前記機器側時刻を補正するステップと、を備えることを特徴とする電子機器の時刻補正プログラム。斯かる構成によれば、コンピュータ処理により、機器外から提供された時刻補正情報を補正抑止時間の場合に破棄し、補正抑止時間でない場合に機器内時刻の補正が行われる。付記13コンピュータによって実行され、機器外から時刻補正情報が提供されて機器側時刻を補正する電子機器の時刻補正プログラムであって、時刻補正情報を受信するステップと、受信した前記時刻補正情報を保持するステップと、保持した前記時刻補正情報を用いて前記機器側時刻を補正するステップと、を備えることを特徴とする電子機器の時刻補正プログラム。付記14付記13に記載の電子機器の時刻補正プログラムにおいて、機器側時刻の補正抑止時間であるか否かを判定するステップと、機器側時刻の補正抑止時間である場合に、前記時刻補正情報を保持するステップと、を含む構成としたことを特徴とする電子機器の時刻補正プログラム。付記15付記13に記載の電子機器の時刻補正プログラムにおいて、保持している前記時刻補正情報の時刻に、その時刻から補正時点までの時間を加算して補正時刻を算出する処理を含むことを特徴とする電子機器の時刻補正プログラム。付記16基地局から時刻補正情報が提供されて機器側時刻を補正する携帯端末装置であって、前記時刻補正情報を受信する受信部と、前記機器側時刻の補正抑止時間か否かを判定し、前記補正抑止時間の場合には前記時刻補正情報を破棄し、前記補正抑止時間でない場合には、前記時刻補正情報により前記機器側時刻を補正する時刻補正部と、を備えることを特徴とする携帯端末装置。付記17基地局から時刻補正情報が提供されて機器側時刻を補正する携帯端末装置であって、前記時刻補正情報を受信する受信部と、前記受信部が受信した前記時刻補正情報を保持する保持部と、前記保持部に保持された前記時刻補正情報を用いて前記機器側時刻を補正する時刻補正部と、を備えることを特徴とする携帯端末装置。付記18付記17に記載の携帯端末装置において、前記機器側時刻の補正抑止時間の場合に、前記保持部に前記時刻補正情報を保持させる構成としたことを特徴とする携帯端末装置。以上説明したように、本発明の最も好ましい実施形態等について説明したが、本発明は、上記記載に限定されるものではなく、特許請求の範囲に記載され、又は明細書に開示された発明の要旨に基づき、当業者において様々な変形や変更が可能であることは勿論であり、斯かる変形や変更が、本発明の範囲に含まれることは言うまでもない。