特許 7595058 制御方法、制御装置、及び、プログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2024-11-27

(45)【発行日】2024-12-05

(54)【発明の名称】制御方法、制御装置、及び、プログラム

(51)【国際特許分類】

   G06Q 50/10 20120101AFI20241128BHJP

【ＦＩ】

G06Q50/10

【請求項の数】 10

(21)【出願番号】P 2022501916

(86)(22)【出願日】2021-02-17

(86)【国際出願番号】 JP2021005823

(87)【国際公開番号】W WO2021166926

(87)【国際公開日】2021-08-26

【審査請求日】2023-11-30

(31)【優先権主張番号】62/979,654

(32)【優先日】2020-02-21

(33)【優先権主張国・地域又は機関】US

(73)【特許権者】

【識別番号】514136668

【氏名又は名称】パナソニック インテレクチュアル プロパティ コーポレーション オブ アメリカ

【氏名又は名称原語表記】Ｐａｎａｓｏｎｉｃ Ｉｎｔｅｌｌｅｃｔｕａｌ Ｐｒｏｐｅｒｔｙ Ｃｏｒｐｏｒａｔｉｏｎ ｏｆ Ａｍｅｒｉｃａ

(74)【代理人】

【識別番号】100109210

【弁理士】

【氏名又は名称】新居 広守

(74)【代理人】

【識別番号】100137235

【弁理士】

【氏名又は名称】寺谷 英作

(74)【代理人】

【識別番号】100131417

【弁理士】

【氏名又は名称】道坂 伸一

(72)【発明者】

【氏名】西田 直央

(72)【発明者】

【氏名】海上 勇二

【審査官】加内 慎也

(56)【参考文献】

【文献】特開２０１９－１５３１３０（ＪＰ，Ａ）

【文献】米国特許出願公開第２０１８／０２７６６６３（ＵＳ，Ａ１）

【文献】米国特許出願公開第２０２０／０００５３８８（ＵＳ，Ａ１）

【文献】米国特許出願公開第２０１９／０２８０８７１（ＵＳ，Ａ１）

【文献】特開２０１９－０２８５２５（ＪＰ，Ａ）

【文献】特開２０１８－１９６０９７（ＪＰ，Ａ）

【文献】特許第６４６９９２０（ＪＰ，Ｂ１）

【文献】国際公開第２０１８／１７５０５８（ＷＯ，Ａ１）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｑ １０／００－９９／００

(57)【特許請求の範囲】

【請求項1】

それぞれが分散台帳を保有している複数のノードを備える情報処理システムにおいて、前記複数のノードのうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する第１ノードが実行する制御方法であって、
前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態から通信可能になった後に、前記第２ノードと通信することで前記第２ノードから前記第２ノードが保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、
前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、
前記比較の結果、前記第１ブロックチェーンに含まれ、かつ、前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンに含まれ、かつ、前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、
互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定する
制御方法。

【請求項2】

前記１以上の第１差異ブロックは、前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態で前記第１ブロックチェーンに追加されたブロックであり、第１契約に関する情報を含む第１トランザクションデータを含む第１ブロックを有する
請求項１に記載の制御方法。

【請求項3】

前記更新は、前記比較の結果、前記第１ブロックチェーンが前記１以上の第１差異ブロックを有し、かつ、前記第２ブロックチェーンが前記１以上の第２差異ブロックを有する場合に行われる
請求項１または２に記載の制御方法。

【請求項4】

さらに、
前記判定において、前記更新後の第１ブロックチェーンに前記２以上のトランザクションデータが含まれると判定された場合、前記２以上のトランザクションデータにそれぞれ含まれる前記２以上の契約情報のいずれかが不正であることを示す不正情報を含む不正トランザクションデータを生成し、
前記不正トランザクションデータを含む第２ブロックを前記更新後の第１ブロックチェーンに追加する
請求項１から３のいずれか１項に記載の制御方法。

【請求項5】

前記２以上のトランザクションデータのうちの１つは、前記追加ブロックに含まれる
請求項１から４のいずれか１項に記載の制御方法。

【請求項6】

前記第１ブロックチェーンに前記２以上のトランザクションデータが含まれる場合、前記２以上のトランザクションデータのうち、前記第１ブロックチェーンに最初に追加された１つのトランザクションデータに含まれる契約情報が対応する契約を履行する
請求項１から５のいずれか１項に記載の制御方法。

【請求項7】

前記情報処理システムは、複数のユーザが複数の移動体をシェアリングするサービスに用いられ、
前記２以上のトランザクションデータのそれぞれは、前記複数のユーザのうちの予約者が第１移動体の利用を予約したことを示す予約情報を含み、
前記予約情報は、前記第１移動体を識別する移動体ＩＤと、予約時間帯とを含み、
前記２以上のトランザクションデータにそれぞれ含まれる２以上の予約情報は、互いに同じ移動体ＩＤと、互いに一部の時間帯が重複している２以上の予約時間帯とを含む
請求項１から６のいずれか１項に記載の制御方法。

【請求項8】

さらに、
前記予約者に前記第１移動体を貸し出したことを示す貸出トランザクションデータを生成し、前記貸出トランザクションデータを含む第３ブロックを前記更新後の第１ブロックチェーンに追加し、
前記予約者が前記第１移動体を返却したことを示す返却トランザクションデータを生成し、前記返却トランザクションデータを含む第４ブロックを前記第３ブロックが追加された後の前記第１ブロックチェーンに追加し、
前記第４ブロックが追加された後の前記第１ブロックチェーンに前記２以上のトランザクションデータが含まれるか否かを判定し、前記２以上のトランザクションデータのうち、前記第１ブロックチェーンに最初に追加された１つのトランザクションデータに含まれる予約情報に対してのみ、前記サービスの利用料の算出を実行する
請求項７に記載の制御方法。

【請求項9】

それぞれが分散台帳を保有している複数の制御装置を備える情報処理システムにおいて、前記複数の制御装置のうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する制御装置であって、
プロセッサと、
メモリと、を備え、
前記プロセッサは、前記制御装置が他の制御装置と通信できない状態から通信可能になった後に、前記他の制御装置と通信することで前記他の制御装置から前記他の制御装置が保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、
前記プロセッサは、前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、
前記プロセッサは、前記比較の結果、前記第１ブロックチェーンが前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンが前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、
前記プロセッサは、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定する
制御装置。

【請求項10】

それぞれが分散台帳を保有している複数のノードを備える情報処理システムにおいて、前記複数のノードのうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する第１ノードが実行する制御方法をコンピュータに実行させるためのプログラムであって、
前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態から通信可能になった後に、前記第２ノードと通信することで前記第２ノードから前記第２ノードが保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、
前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、
前記比較の結果、前記第１ブロックチェーンが前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンが前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、
互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定することを
コンピュータに実行させるためのプログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本開示は、制御方法、制御装置、及び、プログラムに関する。

【背景技術】

【0002】

例えば特許文献１には、車両端末とユーザ端末との間で送受信される利用予約に関する情報をブロックチェーンで適切に管理する技術が開示されている。

【先行技術文献】

【特許文献】

【0003】

【文献】特開２０１９－１５３１３０号公報

【発明の概要】

【発明が解決しようとする課題】

【0004】

しかしながら、物体の利用予約などの契約または取引の管理にブロックチェーンを用いる場合、特許文献１に開示されている技術では、フォークが発生したときのブロックチェーンの振る舞いを悪用して、物体を不正に利用することができてしまうという問題がある。

【0005】

本開示は、上述の事情を鑑みてなされたもので、ブロックチェーンを悪用したサービス対象の不正利用を抑制できる制御方法、制御装置、及び、プログラムを提供することを目的とする。

【課題を解決するための手段】

【0006】

本開示の一態様に係る制御方法は、それぞれが分散台帳を保有している複数のノードを備える情報処理システムにおいて、前記複数のノードのうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する第１ノードが実行する制御方法であって、前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態から通信可能になった後に、前記第２ノードと通信することで前記第２ノードから前記第２ノードが保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、前記比較の結果、前記第１ブロックチェーンに含まれ、かつ、前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンに含まれ、かつ、前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定する。

【0007】

なお、これらの包括的または具体的な態様は、システム、方法、集積回路、コンピュータプログラムまたはコンピュータで読み取り可能なＣＤ－ＲＯＭなどの記録媒体で実現されてもよく、システム、方法、集積回路、コンピュータプログラム及び記録媒体の任意な組み合わせで実現されてもよい。

【発明の効果】

【0008】

本開示によれば、ブロックチェーンを悪用したサービス対象の不正利用を抑制できる。

【図面の簡単な説明】

【0009】

【図1】図１は、不正利用を行う方法の手順を説明するための図である。

【図2A】図２Ａは、図１に示すステップ１が行われる場面の一例を示す図である。

【図2B】図２Ｂは、図１に示すステップ２、３が行われる場面の一例を示す図である。

【図2C】図２Ｃは、図１に示すステップ４が行われる場面の一例を示す図である。

【図2D】図２Ｄは、図１に示すステップ５が行われる場面の一例を示す図である。

【図2E】図２Ｅは、図１に示すステップ６が行われる場面の一例を示す図である。

【図2F】図２Ｆは、図１に示すステップ６の後に行われる場面の一例を示す図である。

【図3A】図３Ａは、フォークが発生したときのブロックチェーンの振る舞いを説明するための図である。

【図3B】図３Ｂは、フォークが発生したときのブロックチェーンの振る舞いを説明するための図である。

【図3C】図３Ｃは、フォークが発生したときのブロックチェーンの振る舞いを説明するための図である。

【図4】図４は、実施の形態に係るシステムの構成の一例を示す図である。

【図5A】図５Ａは、実施の形態に係るシステムの構成の他の一例を示す図である。

【図5B】図５Ｂは、実施の形態に係るシステムの構成の他の一例を示す図である。

【図5C】図５Ｃは、実施の形態に係るシステムの構成の他の一例を示す図である。

【図6】図６は、実施の形態に係る移動体装置の構成の一例を示す図である。

【図7】図７は、実施の形態に係る端末の構成の一例を示す図である。

【図8】図８は、比較例の第１例に係るシステムの正常処理の動作概要を示すフローチャートである。

【図9A】図９Ａは、図８のステップＳ１の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。

【図9B】図９Ｂは、図８のステップＳ３の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。

【図9C】図９Ｃは、図８のステップＳ５の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図10】図１０は、比較例の第１例に係るシステムの予約処理を示すシーケンス図である。

【図11】図１１は、比較例の第１例に係るシステムの貸出処理を示すシーケンス図である。

【図12】図１２は、比較例の第１例に係るシステムの返却処理を示すシーケンス図である。

【図13】図１３は、比較例に係るシステムの料金算定処理の詳細を説明するためのフローチャートである。

【図14】図１４は、比較例の第２例に係るシステムの正常処理の動作概要を示すフローチャートである。

【図15A】図１５Ａは、図１４のステップＳ１Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図15B】図１５Ｂは、図１４のステップＳ３Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図15C】図１５Ｃは、図１４のステップＳ５Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図16】図１６は、図１４のステップＳ６Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図17】図１７は、図１４のステップＳ６Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図18】図１８は、比較例の第２例に係るシステムの予約処理を示すシーケンス図である。

【図19】図１９は、比較例の第２例に係るシステムの貸出処理を示すシーケンス図である。

【図20】図２０は、比較例の第２例に係るシステムの返却処理を示すシーケンス図である。

【図21】図２１は、比較例の第２例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。

【図22】図２２は、比較例に係るシステムのブロック連結処理を説明するためのフローチャートである。

【図23】図２３は、比較例の第３例に係るシステムの不正処理の動作概要を示すフローチャートである。

【図24A】図２４Ａは、図２３のステップＳ１０の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図24B】図２４Ｂは、図２３のステップＳ１１の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図24C】図２４Ｃは、図２３のステップＳ１２の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図25】図２５は、図２３のステップＳ１３の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図26】図２６は、図２３のステップＳ１３の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図27】図２７は、図２３のステップＳ１４の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。

【図28】図２８は、比較例の第３例に係るシステムのローカル予約を行う場合の処理を示すシーケンス図である。

【図29】図２９は、比較例の第３例に係るシステムの競合予約を行う場合の処理を示すシーケンス図である。

【図30】図３０は、比較例の第３例に係るシステムのローカル貸出の処理を示すシーケンス図である。

【図31】図３１は、比較例の第３例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。

【図32】図３２は、比較例の第３例に係るシステムの返却処理を示すシーケンス図である。

【図33】図３３は、比較例の第４例に係るシステムの不正処理の動作概要を示すフローチャートである。

【図34A】図３４Ａは、図３３のステップＳ１０の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図34B】図３４Ｂは、図３３のステップＳ１１の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図34C】図３４Ｃは、図３３のステップＳ１２の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図34D】図３４Ｄは、図３３のステップＳ１３Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。

【図35】図３５は、図３３のステップＳ１４Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図36】図３６は、図３３のステップＳ１４Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。

【図37】図３７は、比較例の第４例に係るシステムのローカル返却の処理を示すシーケンス図である。

【図38】図３８は、比較例の第４例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。

【図39】図３９は、実施の形態に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。

【図40】図４０は、実施の形態に係る不正予約検知処理を説明するためのフローチャートである。

【図41】図４１は、実施の形態に係る不正予約検知処理を実行してインシデントレポートを作成したときに行われるシステムの処理を示すシーケンス図である。

【図42】図４２は、実施の形態に係る不正リスト生成処理を実行するときに行われるシステムの処理を示すシーケンス図である。

【発明を実施するための形態】

【0010】

（本開示の一態様を得るに至った経緯）
上述したように特許文献１には、車両端末とユーザ端末との間で送受信される利用予約に関する情報をブロックチェーンで適切に管理する技術が開示されている。

【0011】

しかしながら、特許文献１に開示されている技術では、ブロックチェーンの仕組みを悪用して不正利用できる。以下、例を挙げて説明する。

【0012】

図１は、不正利用を行う方法の手順を説明するための図である。図２Ａ～図２Ｆは、図１に示す手順が行われる場面の一例を示す図である。図１には、複数のバイクをシェアリングするサービスにおけるバイクＡに対する利用予約を行い、バイクＡを不正利用する場合の手順が示されている。なお、矢印は現在時刻を示す。また、複数のバイクはそれぞれ、ブロックチェーンで予約が管理された台帳を持っているとしている。図２Ａは図１に示すステップ１が行われる場面の一例を示す図であり、図２Ｂは図１に示すステップ２、３が行われる場面の一例を示す図である。図２Ｃは図１に示すステップ４が行われる場面の一例を示す図であり、図２Ｄは図１に示すステップ５が行われる場面の一例を示す図である。図２Ｅは図１に示すステップ６が行われる場面の一例を示す図であり、図２Ｆは図１に示すステップ６の後に行われるステップ７の場面の一例を示す図である。

【0013】

不正利用を企てるユーザは、図２Ａに示すように、ステップ１において例えば１２：００～１２：１５の間の１５分だけ、バイクＡを利用する第１予約を行う。すると、バイクＡの台帳Ａは他のバイクの台帳Ｂ、Ｃと通信可能（オンライン）な状態であるので、図１のステップ１に示すように、黒色で示される第１予約Ｔｘが、すべての台帳（台帳Ａ、Ｂ及びＣ）に格納される。この結果、バイクＡを解錠して、ユーザは、１２：００～１２：１５の間の１５分だけ利用できる。

【0014】

次に、不正利用を企てるユーザは、図２Ｂに示すように、ステップ２及び３において、バイクＡの台帳Ａを他のバイクの台帳Ｂ、Ｃと通信不可な（オフライン）状態にする。続いて、不正利用を企てるユーザは、例えば１６：００～１６：１５の間の１５分だけ、バイクＡを利用する第２予約を、他のバイクの台帳Ｂ、Ｃに対して行う。すると、バイクＡの台帳Ａはオフライン状態であるので、図１のステップ３に示すように黒色で示される第２予約Ｔｘが、オンライン状態の台帳Ｂ及びＣのみに格納される。

【0015】

次に、不正利用を企てるユーザは、図２Ｃに示すように、ステップ４において、例えば１２：１５～１６：１５の間、バイクＡを利用する不正予約をバイクＡの台帳Ａに対して行う。すると、バイクＡの台帳Ａは他のバイクの台帳Ｂ、Ｃと通信不可な（オフライン）状態であるので、図１のステップ４に示すように、ハッチングで示される不正予約Ｔｘが、バイクＡの台帳Ａのみに格納される。この結果、１２：１５にはバイクＡが解錠されるので、図２Ｄに示すステップ５に示すように、そのユーザは、１２：１５～１６：１５の間、オフライン状態のままバイクＡを不正利用することができる。この場合、図１のステップ５に示すように、黒色で示される第２予約Ｔｘが、オンライン状態の台帳Ｂ及びＣのみに格納される。

【0016】

次に、そのユーザは、図２Ｅに示すように、ステップ６において、１６：００～１６：１５の間に、バイクＡの台帳Ａを他のバイクの台帳Ｂ、Ｃと通信可能な（オンライン）状態に復帰させる。すると、詳細は後述するが、台帳Ａ、Ｂ、Ｃのブロックチェーンでフォークが発生し、図１のステップ６に示すように台帳Ａのブロックチェーンでは、台帳Ｂ、Ｃのブロックチェーンと同じように、第２予約Ｔｘが格納されることになる。そして、不正予約Ｔｘが第２予約Ｔｘの後に格納されることになる。

【0017】

ここで、ステップ６においてバイクＡの台帳Ａがオンライン状態に復帰すると、不正予約Ｔｘは、第２予約Ｔｘより後に台帳Ａ、Ｂ、Ｃに格納されるというように、フォークが発生したときのブロックチェーンの振る舞いについて説明する。

【0018】

図３Ａ～図３Ｃは、フォークが発生したときのブロックチェーンの振る舞いを説明するための図である。図３Ａ～図３Ｃには、移動体Ａの台帳Ａと移動体Ｂの台帳Ｂとに格納されるトランザクションデータが概念的に示されている。Ｔｘは、トランザクションデータを示す。移動体Ａは、例えばバイクＡであってもよい。

【0019】

まず、図３Ａの左側に示すように、移動体Ａの台帳Ａと移動体Ｂの台帳Ｂとが他の移動体（不図示）と通信可能な（オンライン）状態である場合、台帳Ａ及び台帳Ｂには、同じＴｘ１を含むブロック１と、当該ブロック１に連結されてＴｘ２を含むブロック２が格納される。Ｔｘ２は、例えば、上記の第１予約Ｔｘに該当させてもよい。

【0020】

このように、台帳Ａ及び台帳Ｂでは、Ｔｘ２を含むブロック２が生成されると、前回生成されたブロック１に連結される。台帳Ａ及び台帳Ｂでは、同一のブロックチェーンが構成されている。

【0021】

次に、図３Ａの右側に示すように、移動体Ａの台帳Ａが他の移動体と通信断絶の（オフライン）状態になっている場合、台帳Ａ及び台帳Ｂには、異なるＴｘを含むブロックが格納される。図３Ａの右側に示す例では、台帳Ａには、当該ブロック２に連結されるＴｘαを含むブロックαが格納されている一方で、台帳Ｂには、当該ブロック２に連結されるＴｘ３を含むブロック３と当該ブロック３に連結されるＴｘ４を含むブロック４とが格納されている。Ｔｘ３は、例えば、上記の第２予約Ｔｘに該当させ、Ｔｘαは、例えば、上記の不正予約Ｔｘに該当させてもよい。

【0022】

このように、台帳Ａがオフライン状態になると、台帳Ａ及び台帳Ｂの通信が断絶されるので、台帳Ａ及び台帳Ｂは独自にブロックチェーンを更新することになる。

【0023】

次に、図３Ｂの左側に示すように、移動体Ａの台帳Ａが他の移動体との通信可能な状態に復帰（オフライン復帰）させると、台帳Ａ及び台帳Ｂは、異なるブロックチェーンを共有し合う。図３Ｂの左側に示す例における台帳Ａ及び台帳Ｂでは、当該ブロック２に連結されるブロックが分岐し、当該ブロック２にＴｘαを含むブロックαが連結され、かつ、当該ブロック２にＴｘ３を含むブロック３とＴｘ４を含むブロック４とが連結される。以下、ブロックに分岐して連結されるブロックチェーンのうち最も長いブロックチェーンを主鎖と称し、それ以外のブロックチェーンを側鎖と称する。図３Ｂの左側に示す例では、Ｔｘ３を含むブロック３とＴｘ４を含むブロック４とがブロック２の主鎖に該当し、Ｔｘαを含むブロックαがブロック２の側鎖に該当する。

【0024】

このように、台帳Ａが再びオンライン状態になると、ブロック２に連結されるブロックチェーンが分岐し、フォークが発生する。

【0025】

次に、図３Ｂの右側に示すように、ブロック２の側鎖であるＴｘαを含むブロックαが削除され、フォークが解消されている。このとき、ブロックαに含まれていたＴｘαは削除されず、各移動体に搭載されている移動体装置のトランザクションプールに保存される。図３Ｂの右側に示す例では、移動体装置Ａと移動体装置ＢのトランザクションプールにＴｘαが保存される。

【0026】

次に、図３Ｃに示すように、台帳Ａ及び台帳Ｂでは、新たなブロックを生成するタイミングで、Ｔｘαが含まれて格納される。図３Ｃに示す例では、台帳Ａ及び台帳Ｂには、同じＴｘαを含むブロック５が、当該ブロック４に連結されて格納される。

【0027】

このようにして、台帳Ａ及び台帳Ｂでは、フォークが解消されて、同じブロックチェーンを持つようになる。以下、図２Ｆに戻って説明を続ける。

【0028】

最後に、不正利用を企てたユーザは、図２Ｆに示すように、ステップ７において、バイクＡを返却する。その後、料金徴収アルゴリズムが実行されて、バイクＡの利用料金が徴収される。しかし、第１予約分と第２予約分のみの料金が徴収され、１２：１５～１６：１５の間の利用分すなわち不正利用分の料金については徴収されない。

【0029】

これは、ステップ６においてバイクＡの台帳Ａがオンライン状態に復帰すると、不正予約Ｔｘは、第２予約Ｔｘより後に台帳Ａ、Ｂ、Ｃに格納され、さらに第２予約Ｔｘの予約時間帯と不正予約Ｔｘの予約時間帯とはブッキングしているからである。また、料金徴収アルゴリズムは、ブッキングしている予約（つまり、競合予約）であり後の予約である不正予約に対する料金徴収はされない。このようにして、そのユーザは、料金を支払わずにバイクＡを４時間利用できることになる。

【0030】

以上のように、物体の利用予約などの管理にブロックチェーンを用いる場合、フォークが発生したときのブロックチェーンの振る舞いを悪用して、物体を不正に利用することができてしまうという問題がある。

【0031】

それに対して、本開示の一態様に係る制御方法は、それぞれが分散台帳を保有している複数のノードを備える情報処理システムにおいて、前記複数のノードのうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する第１ノードが実行する制御方法であって、前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態から通信可能になった後に、前記第２ノードと通信することで前記第２ノードから前記第２ノードが保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、前記比較の結果、前記第１ブロックチェーンに含まれ、かつ、前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンに含まれ、かつ、前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定する。

【0032】

これによれば、１以上の第１差異ブロックと１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを第１ブロックチェーンに格納することで第１ブロックチェーンを更新した上で、更新後の第１ブロックチェーンに不正な契約情報があるか否かを判定する。このため、不正な契約情報を検知することができ、ブロックチェーンを悪用したサービス対象の不正利用を抑制できる。

【0033】

また、例えば、前記１以上の差異ブロックは、前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態で前記第１ブロックチェーンに追加されたブロックであり、第１契約に関する情報を含む第１トランザクションデータを含む第１ブロックを有してもよい。

【0034】

このため、第１ノードが第２ノードと通信できない状態で生成された第１契約が不正か否かを判定することができる。

【0035】

また、例えば、前記更新は、前記比較の結果、前記第１ブロックチェーンが前記１以上の第１差異ブロックを有し、かつ、前記第２ブロックチェーンが前記１以上の第２差異ブロックを有する場合に行われてもよい。

【0036】

また、例えば、さらに、前記判定において、前記更新後の第１ブロックチェーンに前記２以上のトランザクションデータが含まれると判定された場合、前記２以上のトランザクションデータにそれぞれ含まれる前記２以上の契約情報のいずれかが不正であることを示す不正情報を含む不正トランザクションデータを生成し、前記不正トランザクションデータを含む第２ブロックを前記更新後の第１ブロックチェーンに追加してもよい。

【0037】

また、例えば、前記２以上のトランザクションデータのうちの１つは、前記追加ブロックに含まれてもよい。

【0038】

また、例えば、前記第１ブロックチェーンに前記２以上のトランザクションデータが含まれる場合、前記２以上のトランザクションデータのうち、前記第１ブロックチェーンに最初に追加された１つのトランザクションデータに含まれる契約情報が対応する契約を履行してもよい。

【0039】

また、例えば、前記情報処理システムは、複数のユーザが複数の移動体をシェアリングするサービスに用いられ、前記２以上のトランザクションデータのそれぞれは、前記複数のユーザのうちの予約者が第１移動体の利用を予約したことを示す予約情報を含み、前記予約情報は、前記第１移動体を識別する移動体ＩＤと、予約時間帯とを含み、前記２以上のトランザクションデータにそれぞれ含まれる２以上の予約情報は、互いに同じ移動体ＩＤと、互いに一部の時間帯が重複している２以上の予約時間帯とを含んでもよい。

【0040】

また、例えば、さらに、前記予約者に前記第１移動体を貸し出したことを示す貸出トランザクションデータを生成し、前記貸出トランザクションデータを含む第３ブロックを前記更新後の第１ブロックチェーンに追加し、前記予約者が前記第１移動体を返却したことを示す返却トランザクションデータを生成し、前記返却トランザクションデータを含む第４ブロックを前記第３ブロックが追加された後の前記第１ブロックチェーンに追加し、前記第４ブロックが追加された後の前記第１ブロックチェーンに前記２以上のトランザクションデータが含まれるか否かを判定し、前記２以上のトランザクションデータのうち、前記第１ブロックチェーンに最初に追加された１つのトランザクションデータに含まれる予約情報に対してのみ、前記サービスの利用料の算出を実行してもよい。

【0041】

本開示の一態様に係る制御装置は、それぞれが分散台帳を保有している複数の制御装置を備える情報処理システムにおいて、前記複数の制御装置のうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する制御装置であって、プロセッサと、メモリと、を備え、前記プロセッサは、前記制御装置が他の制御装置と通信できない状態から通信可能になった後に、前記他の制御装置と通信することで前記他の制御装置から前記他の制御装置が保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、前記プロセッサは、前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、前記プロセッサは、前記比較の結果、前記第１ブロックチェーンが前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンが前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、前記プロセッサは、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定する。

【0042】

本開示の一態様に係るプログラムは、それぞれが分散台帳を保有している複数のノードを備える情報処理システムにおいて、前記複数のノードのうちの、第１ブロックチェーンが管理されている第１分散台帳を保有する第１ノードが実行する制御方法をコンピュータに実行させるためのプログラムであって、前記第１ノードが前記複数のノードのうちの第２ノードと通信できない状態から通信可能になった後に、前記第２ノードと通信することで前記第２ノードから前記第２ノードが保有する第２分散台帳で管理されている第２ブロックチェーンを取得し、前記第１ブロックチェーンと取得した前記第２ブロックチェーンとを比較し、前記比較の結果、前記第１ブロックチェーンが前記第２ブロックチェーンに含まれていない１以上の第１差異ブロックと、前記第２ブロックチェーンが前記第１ブロックチェーンに含まれていない１以上の第２差異ブロックとのうちで多い方を、前記第１ブロックチェーン及び前記第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加し、かつ、前記多い方の後に前記１以上の第１差異ブロックと前記１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを含む１以上の追加ブロックを追加することで前記第１ブロックチェーンを更新し、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが更新後の前記第１ブロックチェーンに含まれるか否かを判定することをコンピュータに実行させるためのプログラムである。

【0043】

以下、図面を参照しながら、実施の形態について説明する。なお、以下で説明する実施の形態は、いずれも本開示の一具体例を示すものである。つまり、以下の実施の形態で示される数値、形状、材料、構成要素、構成要素の配置及び接続形態、ステップ、ステップの順序などは、一例であり、本開示を限定する主旨ではない。また、以下の実施の形態における構成要素のうち、最上位概念を示す独立請求項に記載されていない構成要素は、本開示の課題を達成するために必ずしも必要ではないが、より好ましい形態を構成する構成要素として説明される。

【0044】

（実施の形態）
まず、本開示に係るシステム構成について説明する。システムは、第１分散台帳で第１ブロックチェーンを管理する第１ノードと、それぞれ第２分散台帳で第２ブロックチェーンを管理する複数の第２ノードとを含み、サービス対象の利用に用いられる。システムは、例えば、複数の移動体をシェアリングするサービスに用いられてもよく、この場合のサービス対象は、複数の移動体である。本実施の形態では、システムは、端末（または移動体）を介してユーザから特定の移動体の利用予約を受け付けて、受け付けた利用予約に応じて特定の移動体をユーザに貸し出す。システムは、受け付けた利用予約での予約時間帯において、端末（または移動体）を介してユーザから、予約されている特定の移動体に対する貸出要求を受け付けると、ユーザへの特定の移動体の貸出を許可する。具体的には、システムは、ユーザから特定の移動体の解錠要求を受け付けると、事前に為されている利用予約を確認し、確認結果に応じて予約時間帯に特定の移動体を解錠することをユーザに許可する。

【0045】

なお、シェアリングするサービスにおける移動体は、例えば、自転車、バイク、自動車、船舶、飛行体などを含む。

【0046】

図４は、実施の形態に係るシステムの構成の一例を示す図である。

【0047】

システム１は、図４に示すように、例えば、移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとを備える。この例では、移動体１０Ａ～１０Ｃのそれぞれは、同じ内容のデータを共有するための分散台帳を保有している。これらの分散台帳では、例えば、同じ構成のブロックチェーンが共有されている。

【0048】

移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとは、ネットワークで接続されている。ネットワークは、例えば、インターネット、携帯電話のキャリアネットワークなどであるが、どのような通信回線またはネットワークから構成されてもよい。

【0049】

なお、以下では、移動体１０Ａ～１０Ｃのそれぞれを移動体１０とも称するが、移動体１０Ａ～１０Ｃを移動体Ａ～移動体Ｃと称する場合もある。また、端末１１Ａ～１１Ｃのそれぞれを端末１１とも称するが、端末１１Ａ～１１Ｃを端末Ａ～端末Ｃと称する場合もある。また、移動体１０Ａ～１０Ｃがそれぞれ備える分散台帳を台帳Ａ～台帳Ｃと称する場合もある。

【0050】

なお、ブロックチェーンを格納する分散台帳を管理するシステムは、パブリック型、プライベート型及びコンソーシアム型のいずれの形態であってもよい。

【0051】

図５Ａは、実施の形態に係るシステムの構成の他の一例を示す図である。

【0052】

図５Ａでは、例えば、移動体１０Ａ、１０Ｂと、端末１１Ａ、１１Ｂと、管理サーバ２０とが示されている。この例では、移動体１０Ａ、１０Ｂと、管理サーバ２０とのそれぞれは、同じ内容のデータを共有するための分散台帳を保有している。これらの分散台帳では、例えば、同じ構成のブロックチェーンが共有されている。

【0053】

移動体１０Ａ、１０Ｂと、端末１１Ａ、１１Ｂと、管理サーバ２０とは、ネットワークで接続されている。ネットワークは、例えば、インターネット、携帯電話のキャリアネットワークなどであるが、どのような通信回線またはネットワークから構成されてもよい。

【0054】

図５Ｂは、実施の形態に係るシステムの構成の他の一例を示す図である。

【0055】

図５Ｂでは、例えば、移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとが示されている。この例では、端末１１Ａ～１１Ｃのそれぞれは、同じ内容のデータを共有するための分散台帳を保有している。これらの分散台帳では、例えば、同じ構成のブロックチェーンが共有されている。

【0056】

移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとは、ネットワークで接続されている。ネットワークは、例えば、インターネット、携帯電話のキャリアネットワークなどであるが、どのような通信回線またはネットワークから構成されてもよい。

【0057】

図５Ｃは、実施の形態に係るシステムの構成の他の一例を示す図である。

【0058】

図５Ｃでは、例えば、移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとが示されている。この例では、移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとのそれぞれは、同じ内容のデータを共有するための分散台帳を保有している。これらの分散台帳では、例えば、同じ構成のブロックチェーンが共有されている。

【0059】

移動体１０Ａ～１０Ｃと、端末１１Ａ～１１Ｃとは、ネットワークで接続されている。ネットワークは、例えば、インターネット、携帯電話のキャリアネットワークなどであるが、どのような通信回線またはネットワークから構成されてもよい。

【0060】

以下では、図４のシステムにおける各構成について説明する。なお、図５Ａ～図５Ｃのシステムの構成については、図４のシステムと比較して分散台帳を保有する装置または端末が異なるだけであり、同様に適用可能である。

【0061】

まず、移動体１０Ａ～１０Ｃに設けられている移動体装置について説明する。なお、以下では、移動体１０Ａ～１０Ｃに設けられている移動体装置を、それぞれ移動体装置Ａ～移動体装置Ｃと称する場合もある。

【0062】

［移動体装置１００］
移動体装置１００は、分散台帳でブロックチェーンを管理するノードの一例である。なお、ノードは制御装置と言い換えることができる。

【0063】

移動体装置１００は、移動体１０に搭載されている情報処理装置であり、分散台帳を保有している。移動体装置１００は、スマートフォン及びタブレットなどの携帯端末であってもよい。

【0064】

図６は、実施の形態に係る移動体装置１００の構成の一例を示す図である。

【0065】

本実施の形態に係る移動体装置１００は、入力部１０１と、トランザクションデータ生成部１０２と、トランザクションデータ検証部１０３と、ブロック生成部１０４と、同期部１０５と、スマートコントラクト実行部１０６と、ブロックチェーン管理部１０７と、分散台帳記憶部１０８と、状態記憶部１０９と、不正検知部１１０と、通信部１１１と、表示部１１２とを備える。

【0066】

＜入力部１０１＞
入力部１０１は、ユーザからの入力を受け付ける。入力部１０１は、受け付けた情報入力を、表示部１１２に表示したり、トランザクションデータ生成部１０２に送信したり、通信部１１１に送信したりする。例えば、入力部１０１は、返却を示す情報入力をユーザから受け付けてもよい。

【0067】

＜トランザクションデータ生成部１０２＞
トランザクションデータ生成部１０２は、トランザクションデータを生成する。

【0068】

本実施の形態では、トランザクションデータ生成部１０２は、ユーザに移動体１０を貸し出したことを示す貸出トランザクションデータを生成する。具体的には、トランザクションデータ生成部１０２は、ユーザへの移動体１０の貸出が行われた場合、ユーザに移動体１０を貸し出したことを示す貸出トランザクションデータを生成する。トランザクションデータ生成部１０２は、例えば、ユーザからの解錠要求を受け付けて移動体１０の解錠が行われた場合、貸出トランザクションデータを生成する。貸出トランザクションデータは、ユーザＩＤと、利用予約を識別するための予約番号（予約ＩＤ）と、ユーザに移動体１０を貸し出した時刻のタイムスタンプとを含む。

【0069】

また、トランザクションデータ生成部１０２は、ユーザが移動体１０を返却したことを示す返却トランザクションデータを生成する。具体的には、トランザクションデータ生成部１０２は、ユーザにより移動体１０の返却が行われた場合、ユーザが移動体１０を返却したことを示す返却トランザクションデータを生成する。ユーザにより移動体１０の返却が行われたことは、入力部１０１が返却を示す情報入力をユーザから受け付けることで判断されてもよいし、端末１１を介して返却を示す情報入力をユーザから受け付ける（つまり、端末１１から情報入力を通信部１１１が受信する）ことで判断されてもよいし、ユーザにより移動体１０に対して施錠が行われたことで判断されてもよいし、予め定められている移動体１０の返却施設において移動体の返却が受け付けられたときに返却施設から送信される通知を通信部１１１が受信することで判断されてもよい。返却トランザクションデータは、ユーザＩＤと、予約番号（予約ＩＤ）と、ユーザが移動体１０を返却した時刻のタイムスタンプとを含む。

【0070】

なお、予約トランザクションデータは、端末１１Ａによって生成されるが、移動体装置１００がユーザから利用予約を受け付ける場合には、トランザクションデータ生成部１０２は、利用予約を行うための予約トランザクションデータを生成してもよい。具体的には、トランザクションデータ生成部１０２は、ユーザから利用予約のための入力が入力部１０１に行われた場合、利用予約を示す予約情報を含む予約トランザクションデータを生成する。予約情報は、ユーザＩＤと、利用予約を識別するための予約番号（予約ＩＤ）と、ユーザに貸し出す予定の移動体装置１００を識別するための装置ＩＤと、予約時間帯とを含む。

【0071】

また、トランザクションデータ生成部１０２は、不正検知部１１０により不正なトランザクションデータが検知された場合、不正なトランザクションデータが検知されたことを示すインシデントレポートを含むトランザクションデータを生成してもよい。

【0072】

＜トランザクションデータ検証部１０３＞
トランザクションデータ検証部１０３は、通信部１１１がトランザクションデータを受信したとき検証アルゴリズムを実行し、そのトランザクションデータの正当性を検証する。そして、トランザクションデータ検証部１０３は、正当性が検証されたトランザクションデータを状態記憶部１０９のトランザクションプールの領域に格納する。状態記憶部１０９に格納された正当性が検証されたトランザクションデータは、通信部１１１によって、次に生成するブロックに格納すべきトランザクションデータの情報として、他の移動体装置１００に送信される。

【0073】

例えば、トランザクションデータ検証部１０３は、通信部１１１が受信したトランザクションデータに、正しい方法で生成された電子署名が付与されているかなどを検証する。ここで、通信部１１１が受信するトランザクションデータは、予約トランザクションデータ、貸出トランザクションデータ、及び、返却トランザクションデータのいずれかである。つまり、トランザクションデータ検証部１０３は、予約トランザクションデータ、貸出トランザクションデータ、及び、返却トランザクションデータの正当性を検証する。

【0074】

なお、トランザクションデータ検証部１０３は、トランザクションデータがトランザクションデータ生成部１０２により生成される場合には、トランザクションデータの正当性の検証を行わなくてもよい。

【0075】

＜ブロック生成部１０４＞
ブロック生成部１０４は、トランザクションデータ検証部１０３により正当性が検証されたトランザクションデータを含むブロックを生成する。ブロック生成部１０４は、状態記憶部１０９に記憶されている検証済みの複数のトランザクションデータの中から所定の数のトランザクションデータを含むブロックを生成する。ブロック生成部１０４は、複数のトランザクションデータのうちのまだブロック生成の対象となっていない複数のトランザクションデータの中から、ブロック生成の対象とする複数のブロックを選択する。ブロック生成部１０４は、既にブロック生成の対象となった複数のトランザクションデータを状態記憶部１０９から削除してもよい。

【0076】

なお、移動体装置１００のブロック生成部１０４で生成されるブロックと、他の移動体装置１００のブロック生成部１０４で生成されるブロックとは異なっていてもよい。これは、各移動体装置１００の通信状態によって状態記憶部１０９に格納されている検証済みのトランザクションデータが移動体装置１００毎に異なっていたり、ブロック生成部１０４におけるブロック生成の判断基準が異なっていたりするためである。

【0077】

なお、ブロック生成の判断基準（ブロックに格納すべきトランザクションデータに関するルール）は、各移動体装置１００が保持していてもよい。ブロック生成部１０４は、ブロック生成部１０４を備える移動体装置１００が保持しているブロック生成の判断基準に基づいて、状態記憶部１０９に格納されている検証済みの複数のトランザクションデータから、複数のトランザクションデータを選択し、選択した複数のトランザクションデータを含むブロックを生成する。

【0078】

＜同期部１０５＞
同期部１０５は、他の移動体装置１００との間で、ブロック生成部１０４において生成されたブロックの同期を行う。

【0079】

本実施の形態では、同期部１０５は、他の移動体装置１００に、通信部１１１を介してブロック生成部１０４において生成されたブロックを送信する。そして、同期部１０５は、送信したブロックについて、他の移動体装置１００との間で共同でコンセンサスアルゴリズムを実行する。コンセンサスアルゴリズムには、ＰＢＦＴ（Practical Byzantine Fault Tolerance）とよばれるコンセンサスアルゴリズムを用いてもよいし、その他の公知のコンセンサスアルゴリズムを用いてもよい。公知のコンセンサスアルゴリズムとしては、例えばＰＯＷ（Proof Of Work）またはＰＯＳ（Proof Of Stake）などがある。なお、ＰＢＦＴを用いる場合、同期部１０５は、まず、他の移動体装置１００のそれぞれからトランザクションデータの検証が成功したか否かを示す報告を受け取り、当該報告の数が所定の数を超えたか否かを判定する。そして、同期部１０５は、当該報告の数が所定の数を超えたとき、コンセンサスアルゴリズムによってトランザクションデータの正当性が検証された場合であると判定してもよい。このように、同期部１０５は、他の移動体装置１００のそれぞれから通知された報告に基づき、トランザクションデータが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックの正当性を合意する。

【0080】

また、同期部１０５は、合意済みのブロックを分散台帳記憶部１０８に記憶されている分散台帳で管理されている第１ブロックチェーンに連結する。

【0081】

＜スマートコントラクト実行部１０６＞
スマートコントラクト実行部１０６は、分散台帳記憶部１０８の分散台帳に格納されたトランザクションデータに含まれるコントラクトコードなどを実行することで、スマートコントラクトを動作させる。

【0082】

《予約ＳＣ》
本実施の形態では、スマートコントラクト実行部１０６は、予約スマートコントラクトを動作させることで、サービス対象である移動体の利用予約を行う予約処理を行わせてもよい。スマートコントラクト実行部１０６は、分散台帳記憶部１０８に記憶される分散台帳内のブロックチェーンに予約トランザクションデータを含むブロックが追加された場合、予約処理を行わせてもよい。

【0083】

《料金徴収ＳＣ》
本実施の形態では、スマートコントラクト実行部１０６は、料金徴収スマートコントラクトを動作させることで、料金算定処理を行わせてもよい。スマートコントラクト実行部１０６は、分散台帳記憶部１０８に記憶される分散台帳内のブロックチェーンに返却トランザクションデータを含むブロックが追加された場合、料金算定処理を行わせる。なお、料金算定処理は、後述するブロックチェーン管理部１０７により行われる処理と同じである。

【0084】

《不正検知ＳＣ》
また、本実施の形態では、スマートコントラクト実行部１０６は、不正検知スマートコントラクトを動作させることで、不正検知処理を行わせてもよい。スマートコントラクト実行部１０６は、分散台帳記憶部１０８の第１ブロックチェーンに予約トランザクションデータを含むブロックが追加された場合、不正検知処理を行わせる。なお、不正検知処理は、後述する不正検知部１１０により行われる処理と同じである。

【0085】

《不正リスト生成ＳＣ》
また、本実施の形態では、スマートコントラクト実行部１０６は、不正リスト生成スマートコントラクトを動作させることで、不正リスト生成処理を行わせてもよい。スマートコントラクト実行部１０６は、分散台帳記憶部１０８に記憶される分散台帳内のブロックチェーンに不正トランザクションデータまたは不正検知トランザクションデータを含むブロックが追加された場合、不正検知処理において不正であると判定された不正なトランザクションデータ、又は、当該不正なトランザクションデータを識別するトランザクションデータＩＤを不正リストに追加する処理を行わせる。

【0086】

ここで、不正検知トランザクションデータは、不正検知処理によって不正なトランザクションデータが検知された場合に生成されるトランザクションデータであって、不正リスト生成処理を実行させるためのトランザクションデータである。不正リストは、不正であると判定された不正なトランザクションデータのトランザクションデータＩＤの他に、当該不正なトランザクションデータの契約（例えば利用予約）を行ったユーザのユーザＩＤ、不正なトランザクションデータが生成された時刻などを含んでいてもよい。不正リストは、状態情報記憶部１０９に記憶されてもよいし、外部の装置が備えるメモリに記憶されてもよい。これにより、ユーザは、例えば、端末１１を操作することで、不正なトランザクションデータであると判定されたトランザクションデータを検索することができる。

【0087】

このように、スマートコントラクト実行部１０６は、スマートコントラクトを動作させることで、利用料金の徴収、不正な予約の検知、不正リストの生成などを分散台帳によって管理することができる。なお、料金徴収スマートコントラクト、不正検知スマートコントラクト、及び、不正リスト生成スマートコントラクトは、例えば、ユーザにより端末１１のアプリケーションにより生成され、これらのスマートコントラクトを含むブロックが予めブロックチェーンに格納されているものとする。

【0088】

＜ブロックチェーン管理部１０７＞
ブロックチェーン管理部１０７は、分散台帳記憶部１０８に記憶される分散台帳（以下、第１分散台帳と称する）で管理されているブロックチェーン（以下、第１ブロックチェーンと称する）を管理する。

【0089】

《主鎖・側鎖》
本実施の形態では、ブロックチェーン管理部１０７は、通信部１１１を介して他の移動体装置１００が保有する分散台帳（以下、第２分散台帳と称する）で管理されているブロックチェーン（以下、第２ブロックチェーンと称する）を取得し、分散台帳記憶部１０８の第１分散台帳で管理されている第１ブロックチェーンと、取得した第２ブロックチェーンとを比較する。ブロックチェーン管理部１０７は、比較によって、第１ブロックチェーンを構成している複数のブロックと、第２ブロックチェーンを構成している複数のブロックとが同じであるか否かを判定する。ブロックチェーン管理部１０７は、第１ブロックチェーンを構成している複数のブロックと、第２ブロックチェーンを構成している複数のブロックとが同じでない場合、第１ブロックチェーンに含まれ、かつ、第２ブロックチェーンに含まれていない１以上の第１差異ブロックの数と、第２ブロックチェーンに含まれ、かつ、第１ブロックチェーンに含まれていない１以上の第２差異ブロックの数とのどちらが多いか（長いか）を判定する。つまり、ブロックチェーン管理部１０７は、１以上の第１差異ブロックの数と、１以上の第２差異ブロックの数とを比較することで、どちらが主鎖ブロックであるか、及び、どちらが側鎖ブロックであるかを決定する。なお、この決定は、第１ブロックチェーン及び第２ブロックチェーンの比較の結果、第１ブロックチェーンが１以上の第１差異ブロックを有し、かつ、第２ブロックチェーンが１以上の第２差異ブロックを有する場合に行われる。

【0090】

ブロックチェーン管理部１０７は、１以上の第１差異ブロック及び１以上の第２差異ブロックのうち多い方（長い方）を、第１ブロックチェーン及び第２ブロックチェーンで互いに共通する１以上の共通ブロックの後に追加する。そして、ブロックチェーン管理部１０７は、さらに、追加した多い方の後に１以上の第１差異ブロック及び１以上の第２差異ブロックのうち少ない方（短い方）に含まれる１以上のトランザクションデータを含む１以上のブロックを追加する。つまり、ブロックチェーン管理部１０７は、１以上の第１差異ブロック及び１以上の第２差異ブロックのうち多い方を主鎖ブロックとして決定し、１以上の第１差異ブロック及び１以上の第２差異ブロックのうち少ない方を側鎖ブロックとして決定する。そして、ブロックチェーン管理部１０７は、１以上の共通ブロックの後に、主鎖ブロック、側鎖ブロックに含まれる１以上のトランザクションデータから生成される追加ブロックの順で、主鎖ブロック及び追加ブロックを追加する。

【0091】

このようにして、ブロックチェーン管理部１０７は、分散台帳記憶部１０８の第１分散台帳で管理されている第１ブロックチェーンを更新する。つまり、ブロックチェーン管理部１０７は、第１ブロックチェーンと、他の移動体装置１００が保有する第２分散台帳で管理されている第２ブロックチェーンとを比較して、これらのブロックチェーンの構成が異なる場合には、構成が互いに同じになるように第１ブロックチェーンを更新する。

【0092】

なお、ブロックチェーン管理部１０７は、第１ブロックチェーン及び第２ブロックチェーンの比較の結果、第１ブロックチェーンが１以上の第１差異ブロックを有していない場合、第１ブロックチェーンに１以上の第２差異ブロックを追加することで第１ブロックチェーンを更新する。

【0093】

ここで、１以上の第１差異ブロックは、例えば、移動体装置１００が他の移動体装置１００と通信できない状態で第１ブロックチェーンに追加されることで生じた、第２ブロックチェーンには含まれていないブロックである。なお、１以上の第１差異ブロックの数は、複数の他の移動体装置１００が互いに通信可能な状態である場合、１以上の第２差異ブロックの数よりも少ない可能性が高い。これは、第２ブロックチェーンは、第１ブロックチェーンを管理している移動体装置１００よりも多い台数の複数の他の移動体装置１００のそれぞれが保有する第２分散台帳で同期されて管理されているからであり、複数の他の移動体装置１００において１台の移動体装置１００よりもブロックを生成する機会が多く発生すると考えられるからである。このため、他の移動体装置１００との間で通信できない１台の移動体装置１００で生じた１以上の第１差異ブロックは、主鎖ブロックよりも側鎖ブロックとなる可能性が高い。

【0094】

１以上の第１差異ブロックは、契約に関する情報を含むトランザクションデータを含むブロックを有していてもよい。契約は、例えば移動体１０の利用予約である。契約に関する情報を含むトランザクションデータは、例えば予約トランザクションデータ、返却完了トランザクションデータ、貸出トランザクションデータ、及び、返却トランザクションデータである。

【0095】

なお、ブロックチェーン管理部１０７は、第２ブロックチェーンの全てを取得しなくてもよく、一部を取得すればよい。例えば、ここでブロックチェーン管理部１０７に取得される第２ブロックチェーンの一部とは、前回の第１ブロックチェーンの更新が実行された後の最後のブロックより後のブロック以降の１以上のブロックである。

【0096】

《貸出処理》
また、ブロックチェーン管理部１０７は、移動体１０をユーザに貸し出すための貸出処理を行ってもよい。この場合、ブロックチェーン管理部１０７は、通信部１１１が解錠要求を受信すると、分散台帳記憶部１０８に記憶されている第１分散台帳内の第１ブロックチェーンを参照することで、解錠要求に基づく予約が為されているか否かを確認する。具体的には、ブロックチェーン管理部１０７は、解錠要求に含まれる予約番号と同じ予約番号を含む予約トランザクションデータが第１ブロックチェーンに格納されているか否かを判定する。ブロックチェーン管理部１０７は、解錠要求に含まれる予約番号と同じ予約番号を含む予約トランザクションデータが第１ブロックチェーンに格納されている場合、解錠要求に基づく予約が為されていると判断し、移動体１０に解錠指示する。移動体１０は、解錠指示を取得すると、解錠指示に基づいて、施錠を行っているアクチュエータを動作させ、移動体１０の施錠を解除（解錠）する。

【0097】

解錠要求は、ユーザが利用予約において利用を予約した移動体１０のロックを解除するための情報である。解錠要求は、利用予約を特定するために少なくとも予約番号を含んでいればよい。解錠要求は、さらに、利用予約したユーザを示すユーザＩＤ、利用予約の対象の移動体１０の移動体ＩＤ、移動体１０を予約した移動体装置１００の装置ＩＤ、予約時間帯などを含んでいてもよい。

【0098】

なお、ブロックチェーン管理部１０７は、解錠要求を受信する代わりに、第１ブロックチェーンに格納されている利用予約の予約時間帯の開始時刻になった場合に、移動体装置１００が設けられている移動体に解錠指示してもよい。

【0099】

《料金算定処理》
また、ブロックチェーン管理部１０７は、スマートコントラクト実行部１０６に実行されるスマートコントラクトの代わりに、料金算定処理を行ってもよい。ブロックチェーン管理部１０７は、前回の処理の実行から一定間隔が経過したこと、または、分散台帳記憶部１０８に記憶されている第１分散台帳内の第１ブロックチェーンに新たに連結されたブロックに返却トランザクションデータが含まれていることをトリガとして、料金算定処理を行う。ブロックチェーン管理部１０７は、分散台帳記憶部１０８の第１ブロックチェーンを検索し、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが、第１分散台帳で管理されている第１ブロックチェーンに含まれるか否かを判定する。互いに両立しない２以上の契約情報とは、具体的には、互いに両立しない２以上の予約情報である。互いに両立しない２以上の予約情報は、例えば、互いに同じ装置ＩＤと、互いに一部の時間帯が重複している２以上の予約時間帯とを含む重複予約である。なお、この判定は、後述する不正検知部１１０における第１の不正判定と同じであるため、不正検知部１１０における第１の不正判定の判定結果がある場合には、この判定結果を用いてもよい。ブロックチェーン管理部１０７は、第１ブロックチェーンに互いに両立しない予約情報が含まれる場合、これらの２以上の予約情報を含む２以上のトランザクションデータのうち、第１ブロックチェーンに最初に追加された１つのトランザクションデータに含まれる契約情報が対応する契約を履行する。つまり、ブロックチェーン管理部１０７は、重複予約があったときには、重複予約の中で最先の利用予約に対して料金を算定し、算定した料金をユーザから徴収する料金徴収処理を実行する。換言すると、ブロックチェーン管理部１０７は、重複予約の中で最先の利用予約以外の利用予約に対しては、同一ユーザからの二重徴収を防ぐために、料金算定を行わず料金徴収処理を実行しない。

【0100】

なお、料金算定の対象となる利用予約は、第１ブロックチェーンに格納されている返却トランザクションデータに含まれる予約番号の利用予約であって、まだ料金の算定が行われていない利用予約である。つまり、既に料金の算定が行われた利用予約は、料金算定の対象から除外される。また、仮に返却トランザクションデータに含まれる予約番号に対応する利用予約が第１ブロックチェーンに格納されていない場合、返却トランザクションデータに対する料金算定は行われない。

【0101】

＜分散台帳記憶部１０８＞
分散台帳記憶部１０８は、第１ブロックチェーンで管理されている第１分散台帳を記憶している。本実施の形態では、第１分散台帳は、予約トランザクションデータ、貸出トランザクションデータ、及び、返却トランザクションデータを含むブロックを第１ブロックチェーンに格納している。

【0102】

＜状態記憶部１０９＞
状態記憶部１０９は、分散台帳の最新版のデータを記憶している記憶部である。状態記憶部１０９に記憶されているデータは、コンピュータにより変更されたり、削除されたりすることが可能なデータである。状態記憶部１０９は、例えばスマートコントラクトを実行するための変数、関数などが格納されるオンメモリの領域とトランザクションデータを格納するトランザクションプールの領域とを含む。状態記憶部１０９は、トランザクションデータ検証部１０３により正当性が検証されたトランザクションデータを記憶してもよい。状態記憶部１０９は、通信部１１１を介して取得された第２ブロックチェーンを記憶してもよい。状態記憶部１０９は、第２ブロックチェーンのうちの１以上の第２差異ブロックを記憶してもよい。状態記憶部１０９は、分散台帳記憶部１０８に記憶されている第１ブロックチェーンを記憶してもよい。状態記憶部１０９は、分散台帳に格納される前のトランザクションデータを記憶してもよい。状態記憶部１０９は、トランザクションデータにより呼び出されたスマートコントラクトを記憶してもよい。また、状態記憶部１０９は、分散台帳に格納されているスマートコントラクトの変数を記憶していてもよい。状態記憶部１０９は、トランザクションデータ生成部１０２により生成されたトランザクションデータを記憶してもよい。状態記憶部１０９は、通信部１１１により受信されたトランザクションデータを記憶してもよい。

【0103】

状態記憶部１０９は、上述した各データを一時的に記憶してもよい。

【0104】

＜不正検知部１１０＞
不正検知部１１０は、スマートコントラクト実行部１０６に実行されるスマートコントラクトの代わりに、分散台帳記憶部１０８に記憶されている第１分散台帳で管理されている第１ブロックチェーンに、不正な契約を含む不正なトランザクションデータが格納されているか否かを検知する不正検知処理を行ってもよい。不正検知部１１０は、不正検知処理において、例えば、以下に示す３つの不正判定のいずれかを行うことで、第１ブロックチェーンに不正なトランザクションデータが格納されているか否かを判定する。

【0105】

《不正判定処理》
第１の不正判定では、不正検知部１１０は、互いに両立しない２以上の契約情報をそれぞれ含む２以上のトランザクションデータが、第１分散台帳で管理されている第１ブロックチェーンに含まれるか否かを判定する。互いに両立しない２以上の契約情報とは、具体的には、互いに両立しない２以上の予約情報（重複予約）である。互いに両立しない２以上の予約情報は、例えば、互いに同じ装置ＩＤと、互いに一部の時間帯が重複している２以上の予約時間帯とを含む。重複予約は、分散台帳記憶部１０８の分散台帳で管理されている第１ブロックチェーンと、他の移動体装置１００が保有する分散台帳で管理されている第２ブロックチェーンとが異なる場合に、つまり、主鎖ブロック及び側鎖ブロックが発生した場合に発生しうる。重複予約を含む２以上のトランザクションデータは、追加ブロックに含まれる。これは、上述したように、他の移動体装置１００との間で通信できない１台の移動体装置１００で生じた１以上の第１差異ブロックは、主鎖ブロックよりも側鎖ブロックとなる可能性が高いからであり、側鎖ブロックには、不正に生成された予約トランザクションデータが含まれうるからである。なお、第１の不正判定は、ブロックチェーン管理部１０７の料金算定処理で行われる重複予約の判定と同じであってもよい。

【0106】

第２の不正判定では、不正検知部１１０は、契約情報を含むトランザクションデータが生成された生成日時と、当該トランザクションデータが第１ブロックチェーンに格納された格納日時との時間差が、所定時間より大きいか否かを判定する。第２の不正判定では、不正検知部１１０は、時間差が所定時間より大きい場合に、第１ブロックチェーンに不正な契約を含むトランザクションデータが格納されていると判定する。つまり、不正検知部１１０は、時間差が所定時間より大きいトランザクションデータを不正なトランザクションデータであると判定する。第２の不正判定の判定基準となる所定時間は、複数の移動体装置１００が共同でコンセンサスアルゴリズムを実行する最小の時間間隔であってもよいし、移動体装置１００の予約時間帯の最小の時間間隔であってもよい。

【0107】

第３の不正判定では、不正検知部１１０は、第１ブロックチェーンに、同じ予約番号を含む予約トランザクションデータ、貸出トランザクションデータ及び返却トランザクションデータのうちのいずれかのトランザクションデータを含まない不正な組み合わせがあるか否かを判定する。第３の不正判定では、不正検知部１１０は、当該不正な組み合わせがある場合、第１ブロックチェーンに不正な契約を含むトランザクションデータが格納されていると判定する。つまり、不正検知部１１０は、第１ブロックチェーンに、同じ予約番号を含むトランザクションデータの組み合わせにおいて、予約トランザクションデータしか第１ブロックチェーンに格納されていない場合、当該予約トランザクションデータを不正なトランザクションデータであると判定する。なお、不正検知部１１０は、第３の不正判定を予約時間帯が終了した（つまり、予約時間帯の終了時刻が過ぎた）利用予約の予約番号を有するトランザクションデータを対象に行う。つまり、不正検知部１１０は、予約のみが行われて予約トランザクションデータが生成されているが、まだ、貸出及び返却が行われていない組み合わせについて、不正なトランザクションデータであるか否かの判定を行わない。

【0108】

《インシデントレポート》
また、不正検知部１１０は、第１ブロックチェーンに不正なトランザクションデータが格納されていると判定した場合、不正なトランザクションデータを検知したことを示すインシデントレポートをトランザクションデータ生成部１０２に通知する。インシデントレポートは、不正の理由と、不正なトランザクションデータ又は不正なトランザクションデータを含む不正なブロックとを含む。不正の理由は、第１の不正判定、第２の不正判定、及び、第３の不正判定のうちのいずれの不正判定で不正なトランザクションデータが検知されたかを示す情報である。不正なトランザクションデータ又は不正なブロックは、当該不正なトランザクションデータに関連する１以上のトランザクションデータを含んでいてもよい。関連するトランザクションデータとは、不正なトランザクションデータが含む予約ＩＤを有する貸出トランザクションデータ、予約トランザクションデータなどである。

【0109】

インシデントレポートは、さらに、検知時間、対象ユーザのユーザＩＤ、及び、対象端末の端末ＩＤのいずれかを含んでいてもよい。検知時間は、不正検知部１１０が第１ブロックチェーンに不正なトランザクションデータが格納されていると判定した時刻、または、インシデントレポートを生成した時刻を示す。対象ユーザは、不正なトランザクションデータの契約（例えば利用予約）を行ったユーザを示す。対象端末は、不正なトランザクションデータの契約（例えば利用予約）に関する入力がユーザによって行われた端末を示す。

【0110】

《不正フラグ》
また、不正検知部１１０は、検知した不正なトランザクションデータに、不正であることを示す不正フラグを付与してもよい。不正検知部１１０は、不正なトランザクションデータに、さらに、不正を検知した移動体装置１００の装置ＩＤ（あるいは不正を検知した端末１１の端末ＩＤ）と、不正を検知した時刻とを付与してもよい。不正検知部１１０は、不正フラグなどを付与したフラグ付きの不正なトランザクションデータを同期部１０５に通知する。これにより、フラグ付きの不正なトランザクションデータは、他の移動体装置１００との間で、コンセンサスアルゴリズムが実行され、各移動体装置１００のブロックチェーンに格納される。

【0111】

なお、不正検知部１１０は、検知した不正なトランザクションデータに不正フラグなどを付与する代わりに、不正なトランザクションデータを識別するトランザクションデータＩＤに不正フラグなどを付与した不正情報を生成してもよい。不正検知部１１０は、生成した不正情報をトランザクションデータ生成部１０２に通知してもよい。

【0112】

《その他》
また、不正検知部１１０は、通信部１１１が他の移動体装置１００との間で通信できない状態から通信可能になった時のみに、不正検知処理を行ってもよい。また、不正検知部１１０は、通信部１１１が他の移動体装置１００との間で通信できない状態から通信可能になった時であり、かつ、ブロックチェーン管理部１０７において第１ブロックチェーンと第２ブロックチェーンとの比較の結果、主鎖ブロックと側鎖ブロックが発生した時のみに、不正検知処理を行ってもよい。

【0113】

＜通信部１１１＞
通信部１１１は、ネットワークを介して情報を他の移動体装置１００または端末１１に送信したり、他の移動体装置１００または端末１１から情報を受信したりする。通信部１１１は、ネットワークを介して他の移動体装置１００または端末１１との間で通信を行う。なお、この通信は、ＴＬＳ（Transport Layer Security）によりなされてもよく、ＴＬＳ通信用の暗号鍵は通信部１１１で保持してもよい。

【0114】

本実施の形態では、通信部１１１は、端末１１から予約トランザクションデータを受信する。また、通信部１１１は、端末１１から解錠要求を受信する。また、通信部１１１は、他の移動体装置１００から、他の移動体装置１００において検証済みのトランザクションデータを受信する。通信部１１１は、他の移動体装置１００との間で、共同でコンセンサスアルゴリズムを実行するために、ブロックの送受信を行う。

【0115】

＜表示部１１２＞
表示部１１２は、入力部１０１が受け付けた情報入力を表示する。表示部１１２は、端末１１から送信された情報を表示してもよい。表示部１１２は、移動体装置１００の返却をユーザから受け付けるための表示（ＵＩ：User Interface）を表示してもよい。

【0116】

続いて、端末１１Ａ～１１Ｃについて説明する。なお、端末１１Ａ～端末１１Ｃの構成は共通しているので、端末１１と称して説明する。

【0117】

［端末１１］
端末１１は、ユーザにより使用される端末の一例である。端末１１は、例えばパーソナルコンピュータであってもよいし、スマートフォン及びタブレットなどの携帯端末であってもよい。

【0118】

図７は、実施の形態１に係る端末１１の構成の一例を示す図である。

【0119】

本実施の形態に係る端末１１は、入力部１１０１と、表示部１１０２と、通信部１１０３とを備える。

【0120】

＜入力部１１０１＞
入力部１１０１は、ユーザの操作による情報入力を受け付ける。入力部１１０１は、受け付けた情報入力を、表示部１１０２に表示したり、通信部１１０３に送信したりする。

【0121】

例えば、入力部１１０１は、利用予約を行うためのアプリケーションが導入されており、利用予約を行うための表示（ＵＩ）への入力を受け付ける。この表示（ＵＩ）は、表示部１１０２に表示される。入力部１１０１は、端末１１を保有しているユーザの電子署名を受け付けて、受け付けた利用予約のための入力と電子署名とを含む予約トランザクションデータを生成する。

【0122】

また、入力部１１０１は、予約した移動体装置１００に対して解錠要求のための表示（ＵＩ：Ｕｓｅｒ Ｉｎｔｅｒｆａｃｅ）への入力を受け付ける。この表示（ＵＩ）は、表示部１１０２に表示される。入力部１１０１は、解錠要求のための入力を受け付けて、解錠要求を生成する。

【0123】

＜表示部１１０２＞
表示部１１０２は、入力部１１０１が受け付けた情報入力を表示する。表示部１１０２は、利用予約を行うための表示（ＵＩ）を表示する。また、表示部１１０２は、解錠要求のための表示（ＵＩ）を表示する。

【0124】

＜通信部１１０３＞
通信部１１０３は、ネットワークを介して情報を移動体装置１００に送信したり、移動体装置１００から情報を受信したりまたは通知されたりする。また、通信部１１０３は、ネットワークを介して、他の端末１１に情報を送信したり、他の端末１１からの情報を受信したりしてもよい。

【0125】

このように、通信部１１０３は、ネットワークを介して移動体装置１００または他の端末１１との間で通信を行う。なお、この通信は、ＴＬＳによりなされてもよく、ＴＬＳ通信用の暗号鍵は通信部１１０３で保持してもよい。

【0126】

例えば、通信部１１０３は、予約トランザクションデータを移動体装置１００へ送信する。また、通信部１１０３は、解錠要求を予約した移動体装置１００へ送信する。

【0127】

［システムの動作等］
次に、以上のように構成されたシステムの動作について説明する。

【0128】

まず、比較例として、複数の移動体をシェアリングするサービスにおける移動体Ａに対する処理を正常に行う正常処理について説明し、ブロックチェーンの仕組みを悪用して移動体Ａを不正利用する場合の当該処理すなわち不正処理について説明する。その後に、不正対策した本開示の当該処理について説明する。

【0129】

［比較例の第１例］
移動体Ａが常にオンライン状態である場合の処理を比較例の第１例として説明する。

【0130】

図８は、比較例の第１例に係るシステムの正常処理の動作概要を示すフローチャートである。図８には、移動体装置Ａ、Ｂ、Ｃがオンライン状態で移動体Ａに対する処理を正常に行う正常処理の動作の概要が示されている。図９Ａ～図９Ｃは、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。図９Ａは、図８のステップＳ１の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。図９Ｂは、図８のステップＳ３の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。図９Ｃは、図８のステップＳ５の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。以下では、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して処理を行うとして説明する。

【0131】

図８に示すように、まず、例えば端末Ａは、移動体装置Ａと通信し、移動体装置Ａが搭載されている移動体Ａの予約処理を行う（Ｓ１）。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを生成して、移動体装置Ａに送信する。この場合、例えば、図９Ａに示すように、移動体装置Ａと移動体装置Ｂとが他の移動体装置と通信可能な（オンライン）状態であるので、台帳Ａ及び台帳Ｂには共に、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを含むブロックが格納される。

【0132】

次に、例えば端末Ａは、移動体装置Ａと通信し、移動体Ａの貸出処理を行う（Ｓ３）。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用するため移動体Ａの解錠要求を送信する。すると、移動体装置Ａは、移動体Ａを解錠させ、移動体Ａが解錠されたことをトリガに移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを生成する。この場合、例えば、図９Ｂに示すように、移動体装置Ａと移動体装置Ｂとが他の移動体装置と通信可能な（オンライン）状態であるので、台帳Ａ及び台帳Ｂには共に、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを含むブロックが格納される。

【0133】

次に、例えば端末Ａは、移動体装置Ａと通信し、移動体Ａの返却処理を行う（Ｓ５）。より具体的には、端末Ａを操作したユーザは、解錠された移動体Ａを、利用予約した時間利用して、その後返却する。移動体装置Ａは、移動体Ａが返却されると、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを生成する。この場合、例えば、図９Ｃに示すように、移動体装置Ａと移動体装置Ｂとが他の移動体装置と通信可能な（オンライン）状態であるので、台帳Ａ及び台帳Ｂには共に、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを含むブロックが格納される。

【0134】

次に、移動体装置Ａなどでは、料金算定処理を行う（Ｓ７）。より具体的には、移動体装置Ａなどでは、料金算定アルゴリズムが実行されて、ユーザが行った移動体Ａの利用予約に対して移動体Ａを利用した料金が徴収される。

【0135】

続いて、図８に示すステップＳ１～Ｓ５の処理詳細すなわち予約処理、貸出処理及び返却処理の詳細についてシーケンス図を用いて説明する。以下でも、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して移動体Ａの予約処理、貸出処理及び返却処理を行うとして説明する。

【0136】

［比較例の第１例に係る予約処理］
図１０は、比較例の第１例に係るシステムの予約処理を示すシーケンス図である。

【0137】

まず、端末Ａは、移動体Ａを利用したいユーザの操作に基づいて、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを生成する（Ｓ１０１）。ここで、端末Ａすなわち端末１１Ａには、入力部１１０１としてアプリケーションが導入されており、アプリケーションがユーザの操作に基づいて予約トランザクションデータＴｒｓｖを生成してよい。

【0138】

次に、端末Ａは、移動体Ａの移動体装置Ａと通信し、ステップＳ１０１で生成した予約トランザクションデータＴｒｓｖを移動体装置Ａに送信する（Ｓ１０２）。

【0139】

次に、移動体装置Ａは、ステップＳ１０２で送信された予約トランザクションデータＴｒｓｖを受信すると、他の移動体装置である移動体装置Ｂ、Ｃに予約トランザクションデータＴｒｓｖを転送する（Ｓ１０３）。これにより、移動体装置Ｂ、Ｃは、予約トランザクションデータＴｒｓｖを取得する。

【0140】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、取得した予約トランザクションデータＴｒｓｖの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ１０４）。なお、予約トランザクションデータＴｒｓｖの検証が成功しなかった場合、予約処理を終了することになる。

【0141】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ１０４で実行された検証アルゴリズムにより検証済みの予約トランザクションデータＴｒｓｖをトランザクションプールに格納する（Ｓ１０５）。より具体的には、移動体装置Ａは、検証済みの予約トランザクションデータＴｒｓｖをトランザクションプールａに格納し、移動体装置Ｂは、検証済みの予約トランザクションデータＴｒｓｖをトランザクションプールｂに格納する。移動体装置Ｃは、検証済みの予約トランザクションデータＴｒｓｖをトランザクションプールｃに格納する。

【0142】

次に、移動体装置Ａ、Ｂ、Ｃは互いに、通信可能な状態であるので、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりする（Ｓ１０６）。図１０に示す例では、移動体装置Ａ、Ｂ、Ｃは、次に生成するブロックに格納すべきトランザクションデータに、検証済みの予約トランザクションデータＴｒｓｖがあることを確認する。

【0143】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、検証済みの予約トランザクションデータＴｒｓｖを含むブロックＢｌｃ（Ｔｒｓｖ）を生成する（Ｓ１０７）。

【0144】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ１０７で生成したブロックＢｌｃ（Ｔｒｓｖ）を送信する（Ｓ１０８）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（Ｔｒｓｖ）に含まれる予約トランザクションデータＴｒｓｖの正当性の検証が成功したことの報告を通知することができる。

【0145】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ１０９）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ１０８で通知された報告に基づき、予約トランザクションデータＴｒｓｖが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（Ｔｒｓｖ）の正当性を合意する。図１０に示す例では、ブロックＢｌｃ（Ｔｒｓｖ）に含まれる予約トランザクションデータＴｒｓｖが正当なトランザクションデータであること（つまり正当性）が合意され、ブロックＢｌｃ（Ｔｒｓｖ）の正当性も合意される。なお、ステップＳ１０７及びステップＳ１０８の処理は、ステップＳ１０９でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0146】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ１０９で合意済みのブロックＢｌｃ（Ｔｒｓｖ）を分散台帳内のブロックチェーンに連結する（Ｓ１１０）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（Ｔｒｓｖ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（Ｔｒｓｖ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（Ｔｒｓｖ）を台帳Ｃ内のブロックチェーンに連結する。

【0147】

これにより、図９Ａに示すように、台帳Ａ、台帳Ｂ及び台帳Ｃには共に、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを含むブロックが格納される。

【0148】

［比較例の第１例に係る貸出処理］
図１１は、比較例の第１例に係るシステムの貸出処理を示すシーケンス図である。

【0149】

まず、端末Ａは、移動体Ａを利用したいユーザの操作に基づいて、移動体Ａの解錠要求を移動体装置Ａに送信する（Ｓ３０１）。ここで、端末Ａすなわち端末１１Ａには、入力部１１０１としてアプリケーションが導入されており、アプリケーションがユーザの操作に基づいて移動体Ａの解錠要求を生成して送信してもよい。移動体Ａの解錠要求には、ユーザの予約ＩＤなど、対応する移動体Ａへの予約を識別できる情報が含まれている。

【0150】

次に、移動体装置Ａは、ステップＳ３０１で送信された解錠要求を受信すると、台帳Ａのブロックチェーンに解錠要求に対応する予約があるかを確認する（Ｓ３０２）。ここで、移動体装置Ａは、台帳Ａのブロックチェーンに、予約トランザクションデータＴｒｓｖがあるか否かを確認することで、解錠要求に対応する予約があるかを確認してもよい。図１０に示す例では、台帳Ａのブロックチェーンに、予約トランザクションデータＴｒｓｖが含まれているため、移動体装置Ａは台帳Ａのブロックチェーンに解錠要求に対応する予約があることを確認できる。

【0151】

次に、移動体装置Ａは、移動体Ａのロックを解除する（Ｓ３０３）。ここで、移動体装置Ａは、移動体Ａのロックを管理する機器に対して、解除指示をすることで、移動体Ａのロックを解除してもよいし、直接移動体Ａのロックを解除してもよい。

【0152】

次に、移動体装置Ａは、移動体Ａのロックが解除されたことをトリガに、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを生成する（Ｓ３０４）。貸出トランザクションデータＴｒｎｔには、移動体Ａを利用するユーザＩＤとともに貸出開始時刻とが含まれる。貸出開始時刻は、例えばロックが解除された時刻である。

【0153】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに貸出トランザクションデータＴｒｎｔを転送する（Ｓ３０５）。これにより、移動体装置Ｂ、Ｃは、貸出トランザクションデータＴｒｎｔを取得する。

【0154】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、貸出トランザクションデータＴｒｎｔの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ３０６）。

【0155】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ３０６で実行された検証アルゴリズムにより検証済みの貸出トランザクションデータＴｒｎｔをトランザクションプールに格納する（Ｓ３０７）。より具体的には、移動体装置Ａは、検証済みの貸出トランザクションデータＴｒｎｔをトランザクションプールａに格納し、移動体装置Ｂは、検証済みの貸出トランザクションデータＴｒｎｔをトランザクションプールｂに格納する。移動体装置Ｃは、検証済みの貸出トランザクションデータＴｒｎｔをトランザクションプールｃに格納する。

【0156】

次に、移動体装置Ａ、Ｂ、Ｃは互いに、通信可能な状態であるので、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりする（Ｓ３０８）。図１１に示す例では、移動体装置Ａ、Ｂ、Ｃは、次に生成するブロックに格納すべきトランザクションデータに、検証済みの貸出トランザクションデータＴｒｎｔがあることを確認する。

【0157】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、検証済みの貸出トランザクションデータＴｒｎｔを含むブロックＢｌｃ（Ｔｒｎｔ）を生成する（Ｓ３０９）。

【0158】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ３０９で生成したブロックＢｌｃ（Ｔｒｎｔ）を送信する（Ｓ３１０）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（Ｔｒｎｔ）に含まれる貸出トランザクションデータＴｒｎｔの正当性の検証が成功したことの報告を通知することができる。

【0159】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ３１１）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ３１０で通知された報告に基づき、貸出トランザクションデータＴｒｎｔが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（Ｔｒｎｔ）の正当性を合意する。図１１に示す例では、ブロックＢｌｃ（Ｔｒｎｔ）に含まれる貸出トランザクションデータＴｒｎｔが正当なトランザクションデータであること（つまり正当性）が合意され、ブロックＢｌｃ（Ｔｒｎｔ）の正当性も合意される。なお、ステップＳ３０９及びステップＳ３１０の処理は、ステップＳ３１１でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0160】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ３１１で合意済みのブロックＢｌｃ（Ｔｒｎｔ）を分散台帳内のブロックチェーンに連結する（Ｓ３１２）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（Ｔｒｎｔ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（Ｔｒｎｔ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（Ｔｒｎｔ）を台帳Ｃ内のブロックチェーンに連結する。

【0161】

これにより、図９Ｂに示すように、台帳Ａ、台帳Ｂ及び台帳Ｃには共に、貸出トランザクションデータＴｒｎｔを含むブロックが格納され、移動体Ａが貸出開始されたことが記録されることになる。

【0162】

［比較例の第１例に係る返却処理］
図１２は、比較例の第１例に係るシステムの返却処理を示すシーケンス図である。

【0163】

まず、移動体Ａを利用したユーザにより移動体Ａが返却されると、移動体装置Ａは、移動体Ａが返却されたことを確認する（Ｓ５０１）。ここで、例えば、ユーザＡは、移動体Ａを所定の返却施設に置いたり、移動体Ａを所定の位置に置いて移動体装置ＡのＵＩの返却ボタンを押したりすることで、移動体Ａを返却できる。ユーザＡは、端末Ａに表示されるＵＩの返却ボタンを押して移動体Ａを返却してもよい。移動体装置Ａは、所定の返却施設または端末Ａにより移動体Ａが返却された旨のメッセージが入力されることで、移動体Ａが返却されたことを確認してもよいし、移動体装置ＡのＵＩの返却ボタンが押されたことで、移動体Ａが返却されたことを確認してもよい。

【0164】

次に、移動体装置Ａは、移動体Ａが返却されたことを確認したことをトリガに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを生成する（Ｓ５０２）。返却トランザクションデータＴｒｔｎには、移動体Ａを利用するユーザＩＤと返却時刻と移動体Ａを利用したときの予約ＩＤとが含まれる。返却時刻は、例えば、移動体Ａが返却されたことを移動体装置Ａが確認した時刻である。なお、返却トランザクションデータＴｒｔｎに、予約ＩＤに含める場合に限られず、ユーザの移動体Ａの利用料金を算定できる情報を含んでいればよい。

【0165】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎを転送する（Ｓ５０３）。これにより、移動体装置Ｂ、Ｃは、返却トランザクションデータＴｒｔｎを取得する。

【0166】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、取得した返却トランザクションデータＴｒｔｎの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ５０４）。

【0167】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０４で実行された検証アルゴリズムにより検証済みの返却トランザクションデータＴｒｔｎをトランザクションプールに格納する（Ｓ５０５）。より具体的には、移動体装置Ａは、検証済みの返却トランザクションデータＴｒｔｎをトランザクションプールａに格納し、移動体装置Ｂは、検証済みの返却トランザクションデータＴｒｔｎをトランザクションプールｂに格納する。移動体装置Ｃは、検証済みの返却トランザクションデータＴｒｔｎをトランザクションプールｃに格納する。なお、図示していないが、移動体装置Ａ、Ｂ、Ｃは互いに、通信可能な状態であるので、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりする。図１２に示す例では、移動体装置Ａ、Ｂ、Ｃは、次に生成するブロックに格納すべきトランザクションデータに、検証済みの返却トランザクションデータＴｒｔｎがあることを確認する。

【0168】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、検証済みの返却トランザクションデータＴｒｔｎを含むブロックＢｌｃ（Ｔｒｔｎ）を生成する（Ｓ５０６）。

【0169】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ５０６で生成したブロックＢｌｃ（Ｔｒｔｎ）を送信する（Ｓ５０７）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（Ｔｒｔｎ）に含まれる返却トランザクションデータＴｒｔｎの正当性の検証が成功したことの報告を通知することができる。

【0170】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ５０８）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０７で通知された報告に基づき、返却トランザクションデータＴｒｔｎが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（Ｔｒｔｎ）の正当性を合意する。図１２に示す例では、ブロックＢｌｃ（Ｔｒｔｎ）に含まれる返却トランザクションデータＴｒｔｎが正当なトランザクションデータであること（つまり正当性）が合意され、ブロックＢｌｃ（Ｔｒｔｎ）の正当性も合意される。なお、ステップＳ５０６及びステップＳ５０７の処理は、ステップＳ５０８でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0171】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０８で合意済みのブロックＢｌｃ（Ｔｒｎｔ）を分散台帳内のブロックチェーンに連結する（Ｓ５０９）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（Ｔｒｔｎ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（Ｔｒｔｎ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（Ｔｒｔｎ）を台帳Ｃ内のブロックチェーンに連結する。これにより、図９Ｃに示すように、台帳Ａ、台帳Ｂ及び台帳Ｃには共に、返却トランザクションデータＴｒｔｎを含むブロックが格納され、移動体Ａの返却完了が記録されることになる。

【0172】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ブロックチェーンに格納された予約情報をチェックする（Ｓ５１０）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎを含むブロックが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖがあることを確認する。

【0173】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金算定アルゴリズムを実行する（Ｓ５１１）。図１２に示す例では、移動体Ａを利用した料金の徴収が実行される。ここで、料金算定アルゴリズムは予約スマートコントラクトに含まれるとしてもよいし、料金徴収スマートコントラクトに含まれるとしてもよい。移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金徴収スマートコントラクトまたは予約スマートコントラクトを実行させて、予約トランザクションデータＴｒｓｖに含まれる移動体Ａの利用予約に対して、料金を徴収する処理を行わせてもよい。なお、料金算定アルゴリズムの実行を、図１２に示す例では返却処理の一部として説明したが、これに限らない。図８に示す料金算定処理で行われてもよい。

【0174】

［比較例に係る料金算定処理］
続いて、図８に示すステップＳ７の料金算定処理の詳細についてフローチャートを用いて説明する。

【0175】

図１３は、比較例に係るシステムの料金算定処理の詳細を説明するためのフローチャートである。以下では、代表して移動体装置Ａで当該処理が行われる場合について説明する。

【0176】

図８に示すステップＳ７において、まず、移動体装置Ａは、料金徴収のトリガがあるかを確認する（Ｓ７１）。このトリガは、一定間隔が経過したことでもよいし、台帳Ａのブロックチェーンに新たに連結されたブロックに返却トランザクションデータＴｒｔｎが含まれていることであってもよい。

【0177】

ステップＳ７１において、トリガがあったときには（Ｓ７１でＹｅｓ）、移動体装置Ａは、台帳Ａのブロックチェーン内を検索する（Ｓ７２）。なお、ステップＳ７１において、トリガがないときには（Ｓ７１でＮｏ）、移動体装置Ａは、ステップＳ７１に戻る。

【0178】

次に、移動体装置Ａは、台帳Ａのブロックチェーン内に他にも予約（つまり重複予約）があるかどうかを確認する（Ｓ７３）。

【0179】

ステップＳ７３において、重複予約があったときには（Ｓ７３でＹｅｓ）、予約すなわち返却トランザクションデータＴｒｔｎに含まれる予約ＩＤが重複予約の中で最先かどうかを確認する（Ｓ７４）。なお、ステップＳ７３において、重複予約がないときには（Ｓ７３でＮｏ）、ステップＳ７５に進む。

【0180】

ステップＳ７４において、重複予約の中で最先であったときには（Ｓ７４でＹｅｓ）、移動体装置Ａは、料金算定アルゴリズムを実行する（Ｓ７５）。これにより、予約すなわち返却トランザクションデータＴｒｔｎに含まれる移動体Ａの利用予約を示す予約ＩＤに対する料金が算定される。なお、ステップＳ７４において、重複予約の中で最先でないときには（Ｓ７４でＮｏ）、料金算定処理を終了する。

【0181】

次に、移動体装置Ａは、料金徴収処理を実行する（Ｓ７６）。これにより、ユーザが行った移動体Ａの利用予約を示す予約ＩＤに対して移動体Ａを利用した料金が徴収される。予約トランザクションデータＴｒｓｖに含まれる移動体Ａの利用予約に対して、料金を徴収する処理を行わせてもよい。

【0182】

［比較例の第２例］
比較例の第１例では、移動体Ａがオンライン状態である場合に、複数の移動体をシェアリングするサービスにおける移動体Ａに対する予約処理、貸出処理及び返却処理を正常に行う場合について説明した。続いて、比較例の第２例として、移動体装置Ａがオフライン状態である場合に、移動体Ａに対する予約処理、貸出処理及び返却処理を正常に行い、その後、移動体装置Ａがオンライン状態に復帰する場合に行われる処理について説明する。

【0183】

図１４は、比較例の第２例に係るシステムの正常処理の動作概要を示すフローチャートである。図１４には、移動体装置Ａがオフライン状態である一方で、移動体装置Ｂ、Ｃとがオンライン状態である場合の移動体Ａに対する予約処理、貸出処理及び返却処理を正常に行う正常処理の動作の概要が示されている。図１５Ａ～図１７は、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂに格納されるブロックチェーンを概念的に説明するための図である。図１５Ａは、図１４のステップＳ１Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図１５Ｂは、図１４のステップＳ３Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図１５Ｃは、図１４のステップＳ５Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図１６及び図１７は、図１４のステップＳ６Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。以下では、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して処理を行うとして説明する。

【0184】

図１４に示すように、まず、例えば端末Ａは、他の移動体装置Ｂ、Ｃと通信可能でない（オフライン）状態の移動体装置Ａと通信し、オフライン状態の移動体装置Ａが搭載されている移動体Ａの予約処理を行う（Ｓ１Ａ）。つまり、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル予約する予約処理を行う。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを生成して、移動体装置Ａに送信する。この場合、例えば、図１５Ａに示すように、移動体装置Ａは移動体装置Ｂと通信可能でない（オフライン）状態であるので、台帳Ａのみに、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを含むブロックが格納される。

【0185】

次に、例えば端末Ａは、オフライン状態の移動体装置Ａと通信し、移動体Ａの貸出処理を行う（Ｓ３Ａ）。つまり、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル貸出する貸出処理を行う。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用するため移動体Ａの解錠要求を送信することができる。すると、移動体装置Ａは、移動体Ａを解錠させ、移動体Ａが解錠されて移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを生成する。この場合、例えば、図１５Ｂに示すように、移動体装置Ａはオフライン状態であるので、台帳Ａのみに、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを含むブロックが格納される。

【0186】

次に、例えば端末Ａは、オフライン状態の移動体装置Ａと通信し、移動体Ａの返却処理を行う（Ｓ５Ａ）。つまり、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル返却する返却処理を行う。より具体的には、端末Ａを操作したユーザは、解錠された移動体Ａを、利用予約した時間利用して、その後返却する。移動体装置Ａは、移動体Ａが返却されると、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを生成する。この場合、例えば、図１５Ｃに示すように、移動体装置Ａはオフライン状態であるので、台帳Ａのみに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを含むブロックが格納される。

【0187】

その後、移動体装置Ａがオンライン状態に復帰するとする。すると、移動体装置Ａがオンライン状態に復帰した時に、システムにおいて復帰時処理が行われる（Ｓ６Ａ）。より具体的には、ステップＳ１Ａ～ステップＳ５Ａでは、上述したように、移動体装置Ａが移動体装置Ｂと通信不可の（オフライン）状態になっている。このため、図１６の（ａ）に示すように、移動体装置Ａがオンライン状態に復帰した時点では、台帳Ａ及び台帳Ｂのブロックチェーンには、異なるブロックが連結されている。次いで、移動体装置Ａがオンライン状態に復帰すると、図１６の（ｂ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂには、異なるブロックチェーンを共有し合うことになりフォークが発生する。ここで、オフライン状態の移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックが側鎖ブロックに該当し、オンライン状態の移動体装置Ｂの台帳Ｂのブロックチェーンに連結されたブロックが主鎖ブロックに該当する。このため、図１７の（ａ）及び（ｂ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂでは、側鎖ブロックが削除され、側鎖ブロックに含まれるトランザクションデータがトランザクションプールに保存されることで、フォークが解消される。なお、図１７の（ｂ）では、予約トランザクションデータＴｒｓｖと貸出トランザクションデータＴｒｎｔと返却トランザクションデータＴｒｔｎとがトランザクションプールに保存されている。その後、図１７の（ｃ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂのブロックチェーンでは、新たなブロックを生成するタイミングで、トランザクションプールに保存されたトランザクションデータを含むブロックが生成されて連結される。

【0188】

次に、移動体装置Ａなどでは、料金算定処理を行う（Ｓ７）。ステップＳ７の料金算定処理は、上述した通りであるので説明を省略する。

【0189】

続いて、図１４に示すステップＳ１Ａの予約処理、ステップＳ３Ａの貸出処理及びＳ５Ａの返却処理の詳細すなわちローカル予約、ローカル貸出及びローカル返却の詳細処理についてシーケンス図を用いて説明する。また、図１４に示すステップＳ６Ａの移動体装置Ａの通信復帰時の処理の詳細についてもシーケンス図を用いて説明する。以下、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して移動体Ａの予約処理、貸出処理及び返却処理を行うとして説明する。

【0190】

［比較例の第２例に係る予約処理］
図１８は、比較例の第２例に係るシステムの予約処理すなわちローカル予約の処理を示すシーケンス図である。図１０と同様の要素には同一の符号を付しており、詳細な説明は省略する。

【0191】

まず、端末Ａは、移動体Ａを利用したいユーザの操作に基づいて、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを生成し（Ｓ１０１）、生成した予約トランザクションデータＴｒｓｖを移動体装置Ａに送信する（Ｓ１０２）。

【0192】

次に、移動体装置Ａは、ステップＳ１０２で送信された予約トランザクションデータＴｒｓｖを受信すると、他の移動体装置である移動体装置Ｂ、Ｃに予約トランザクションデータＴｒｓｖを転送することを試みるが、失敗する（Ｓ１０３Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに予約トランザクションデータＴｒｓｖを転送できないからである。このため、移動体装置Ｂ、Ｃは、予約トランザクションデータＴｒｓｖを取得しない。

【0193】

次に、移動体装置Ａは、取得した予約トランザクションデータＴｒｓｖの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ１０４）。なお、予約トランザクションデータＴｒｓｖの検証が成功しなかった場合、予約処理を終了することになる。

【0194】

次に、移動体装置Ａは、ステップＳ１０４で実行された検証アルゴリズムにより検証済みの予約トランザクションデータＴｒｓｖをトランザクションプールａに格納する（Ｓ１０５）。

【0195】

次に、移動体装置Ａは、検証済みの予約トランザクションデータＴｒｓｖを含むブロックＢｌｃ（Ｔｒｓｖ）を生成する（Ｓ１０７）。なお、移動体装置Ａは、オフライン状態であるので移動体装置Ｂ、Ｃとは、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりしないで、ブロックＢｌｃ（Ｔｒｓｖ）を生成する。

【0196】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ１０７で生成したブロックＢｌｃ（Ｔｒｓｖ）を送信することを試みるが、失敗する（Ｓ１０８Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（Ｔｒｓｖ）を送信できないからである。

【0197】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ１０９Ａ）。具体的には、移動体装置Ａは、予約トランザクションデータＴｒｓｖが正当なトランザクションデータであること（つまり正当性）を単独で合意し、ブロックＢｌｃ（Ｔｒｓｖ）の正当性を単独で合意する。図１８に示す例では、移動体装置Ａは、ブロックＢｌｃ（Ｔｒｓｖ）に含まれる予約トランザクションデータＴｒｓｖが正当なトランザクションデータであること（つまり正当性）を合意することで、ブロックＢｌｃ（Ｔｒｓｖ）の正当性も合意する。なお、ステップＳ１０７の処理は、ステップＳ１０９Ａで単独でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0198】

次に、移動体装置Ａは、ステップＳ１０９Ａで合意済みのブロックＢｌｃ（Ｔｒｓｖ）を台帳Ａ内のブロックチェーンに連結する（Ｓ１１０）。

【0199】

これにより、図１５Ａに示すように、台帳Ａのみに、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖを含むブロックが格納され、予約が確定されることになる。このように、オフライン状態の台帳Ａのみで自己完結して予約が確定されることを以下ではローカル予約と称する。

【0200】

［比較例の第２例に係る貸出処理］
図１９は、比較例の第２例に係るシステムの貸出処理すなわちローカル貸出の処理を示すシーケンス図である。図１１と同様の要素には同一の符号を付しており、詳細な説明は省略する。

【0201】

まず、端末Ａは、移動体Ａを利用したいユーザの操作に基づいて、移動体Ａの解錠要求を移動体装置Ａに送信する（Ｓ３０１）。

【0202】

次に、移動体装置Ａは、ステップＳ３０１で送信された解錠要求を受信すると、台帳Ａのブロックチェーンに解錠要求に対応する予約があるかを確認し（Ｓ３０２）、移動体Ａのロックを解除する（Ｓ３０３）。

【0203】

次に、移動体装置Ａは、移動体Ａのロックが解除されたことをトリガに、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔを生成する（Ｓ３０４）。

【0204】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに貸出トランザクションデータＴｒｎｔを転送することを試みるが、失敗する（Ｓ３０５Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに貸出トランザクションデータＴｒｎｔを転送できないからである。このため、移動体装置Ｂ、Ｃは、貸出トランザクションデータＴｒｎｔを取得しない。

【0205】

次に、移動体装置Ａは、貸出トランザクションデータＴｒｎｔの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ３０６）。

【0206】

次に、移動体装置Ａは、ステップＳ３０６で実行された検証アルゴリズムにより検証済みの貸出トランザクションデータＴｒｎｔをトランザクションプールａに格納する（Ｓ３０７）。

【0207】

次に、移動体装置Ａはそれぞれ、検証済みの貸出トランザクションデータＴｒｎｔを含むブロックＢｌｃ（Ｔｒｎｔ）を生成する（Ｓ３０９）。なお、移動体装置Ａは、オフライン状態であるので移動体装置Ｂ、Ｃとは、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりしないで、ブロックＢｌｃ（Ｔｒｎｔ）を生成する。

【0208】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ３０９で生成したブロックＢｌｃ（Ｔｒｎｔ）を送信することを試みるが、失敗する（Ｓ３１０Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（Ｔｒｎｔ）を送信できないからである。

【0209】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ３１１Ａ）。具体的には、移動体装置Ａは、貸出トランザクションデータＴｒｎｔが正当なトランザクションデータであること（つまり正当性）を単独で合意し、ブロックＢｌｃ（Ｔｒｎｔ）の正当性を単独で合意する。図１９に示す例では、移動体装置Ａは、ブロックＢｌｃ（Ｔｒｎｔ）に含まれる貸出トランザクションデータＴｒｎｔが正当なトランザクションデータであること（つまり正当性）を合意することで、ブロックＢｌｃ（Ｔｒｎｔ）の正当性も合意する。なお、ステップＳ３０９の処理は、ステップＳ３１１でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0210】

次に、移動体装置Ａは、ステップＳ３１１Ａで合意済みのブロックＢｌｃ（Ｔｒｎｔ）を台帳Ａ内のブロックチェーンに連結する（Ｓ３１２）。

【0211】

これにより、図１５Ｂに示すように、台帳Ａのみに、貸出トランザクションデータＴｒｎｔを含むブロックが格納され、移動体Ａが貸出開始されたことが記録されることになる。このように、オフライン状態の台帳Ａのみで自己完結して移動体Ａが貸出開始されたことが記録されることを以下ではローカル貸出と称する。

【0212】

［比較例の第２例に係る返却処理］
図２０は、比較例の第２例に係るシステムの返却処理を示すシーケンス図である。図１２と同様の要素には同一の符号を付しており、詳細な説明は省略する。

【0213】

まず、移動体Ａを利用したユーザにより移動体Ａが返却されると、移動体装置Ａは、移動体Ａが返却されたことを確認する（Ｓ５０１）。

【0214】

次に、移動体装置Ａは、移動体Ａが返却されたことを確認したことをトリガに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎを生成する（Ｓ５０２）。

【0215】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎを転送することを試みるが、失敗する（Ｓ５０３Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎを転送できないからである。このため、移動体装置Ｂ、Ｃは、返却トランザクションデータＴｒｔｎを取得しない。

【0216】

次に、移動体装置Ａは、取得した返却トランザクションデータＴｒｔｎの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ５０４）。

【0217】

次に、移動体装置Ａは、ステップＳ５０４で実行された検証アルゴリズムにより検証済みの返却トランザクションデータＴｒｔｎをトランザクションプールａに格納する（Ｓ５０５）。

【0218】

次に、移動体装置Ａは、検証済みの返却トランザクションデータＴｒｔｎを含むブロックＢｌｃ（Ｔｒｔｎ）を生成する（Ｓ５０６）。なお、移動体装置Ａは、オフライン状態であるので移動体装置Ｂ、Ｃとは、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりしないで、ブロックＢｌｃ（Ｔｒｔｎ）を生成する。

【0219】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ５０６で生成したブロックＢｌｃ（Ｔｒｔｎ）を送信することを試みるが、失敗する（Ｓ５０７Ａ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（Ｔｒｔｎ）を送信できないからである。

【0220】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ５０８Ａ）。具体的には、移動体装置Ａは、返却トランザクションデータＴｒｔｎが正当なトランザクションデータであること（つまり正当性）を単独で合意し、ブロックＢｌｃ（Ｔｒｔｎ）の正当性を単独で合意する。図２０に示す例では、移動体装置Ａは、ブロックＢｌｃ（Ｔｒｔｎ）に含まれる返却トランザクションデータＴｒｔｎが正当なトランザクションデータであること（つまり正当性）を合意することで、ブロックＢｌｃ（Ｔｒｔｎ）の正当性も合意する。なお、ステップＳ５０６の処理は、ステップＳ５０８Ａでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0221】

次に、移動体装置Ａは、ステップＳ５０８Ａで合意済みのブロックＢｌｃ（Ｔｒｔｎ）を台帳Ａ内のブロックチェーンに連結する（Ｓ５０９）。これにより、図１５Ｃに示すように、台帳Ａのみに、返却トランザクションデータＴｒｔｎを含むブロックが格納され、移動体Ａの返却完了が記録されることになる。このように、オフライン状態の台帳Ａのみで自己完結して移動体Ａの返却完了が記録されることを以下ではローカル返却と称する。

【0222】

次に、移動体装置Ａは、ブロックチェーンに格納された予約情報をチェックする（Ｓ５１０）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖがあることを確認する。

【0223】

そして、移動体装置Ａは、料金算定アルゴリズムを実行する（Ｓ５１１）。

【0224】

［比較例の第２例に係る移動体装置Ａの通信復帰時の処理］
続いて、図１４に示すステップＳ６Ａの移動体装置Ａの通信復帰時の処理の詳細について説明する。

【0225】

図２１は、比較例の第２例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。

【0226】

まず、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃと通信可能（オンライン状態）に復帰したとする（Ｓ６０１）。移動体装置Ａは、移動体Ａに搭載されているので、移動体Ａの所在位置によってはオフライン状態となったり、オンライン状態になったりし得る。

【0227】

すると、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、信号を送信する（Ｓ６０２）。信号は、移動体装置Ａがオンライン状態になったことを通知できるなんらかの信号であればよい。

【0228】

次に、移動体装置Ａ、Ｂ、Ｃは、各台帳内のブロックチェーンの異同判定を行う（Ｓ６０３）。より具体的には、移動体装置Ａは、台帳Ａ内のブロックチェーンと他の移動体装置である移動体装置Ｂ、Ｃの台帳Ｂ、Ｃ内のブロックチェーンとの異同を判定する。移動体装置Ｂ、Ｃは、台帳Ｂ、Ｃ内のブロックチェーンと他の移動体装置である移動体装置Ａの台帳Ａ内のブロックチェーンとの異同を判定する。ここでは、図１６の（ａ）に示す例のように、台帳Ａと、台帳Ｂ、Ｃとのブロックチェーンには異なるブロックが連結されており、台帳Ａ内のブロックチェーンと台帳Ｂ、Ｃ内のブロックチェーンとは異なる。このため、図１６の（ｂ）に示す例のように、移動体装置Ａ、Ｂ、Ｃでは、台帳Ａ、Ｂ、Ｃにおいて、異なるブロックチェーンを共有し合うのでフォークが発生する。

【0229】

次に、移動体装置Ａ、Ｂ、Ｃは、側鎖ブロックと主鎖ブロックとに該当するブロックについての情報を送信しあう（Ｓ６０４、Ｓ６０５）。本比較例では、一定時間オフライン状態であった移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックが側鎖ブロックに該当する。移動体装置Ｂ、Ｃの台帳Ｂ、Ｃのブロックチェーンに連結されたブロックは主鎖ブロックに該当することになる。

【0230】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６０４で得た側鎖ブロックのトランザクションデータＴｐｏｌをトランザクションプールに格納する（Ｓ６０６）。より具体的には、移動体装置Ａは、台帳Ａのブロックチェーンに連結された側鎖ブロックのトランザクションデータＴｐｏｌのコピーをトランザクションプールａに格納する。移動体装置Ｂは、側鎖ブロックのトランザクションデータＴｐｏｌをトランザクションプールｂに格納し、移動体装置Ｃは、側鎖ブロックのトランザクションデータＴｐｏｌをトランザクションプールｃに格納する。

【0231】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、台帳Ａ、Ｂ、Ｃのブロックチェーンと同一となるように更新する（Ｓ６０７）。より具体的には、移動体装置Ａは、台帳Ａのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ｂ、Ｃのブロックチェーンと同一となるように台帳Ａのブロックチェーンを更新する。移動体装置Ｂは、台帳Ｂのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ａ、Ｃのブロックチェーンと同一となるように台帳Ｂのブロックチェーンを更新する。移動体装置Ｃは、台帳Ｃのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ａ、Ｂのブロックチェーンと同一となるように台帳Ｃのブロックチェーンを更新する。

【0232】

次に、所定時間後のブロック生成タイミングにおいて、移動体装置Ａ、Ｂ、Ｃはそれぞれ、トランザクションプールに格納しているトランザクションデータＴｐｏｌを含むブロックＢｌｃ（Ｔｐｏｌ）を生成する（Ｓ６１４）。

【0233】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ６１４で生成したブロックＢｌｃ（Ｔｐｏｌ）を送信する（Ｓ６１５）。

【0234】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ６１６）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、トランザクションデータＴｐｏｌが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（Ｔｐｏｌ）の正当性を合意する。図２１に示す例では、ブロックＢｌｃ（Ｔｐｏｌ）に含まれるトランザクションデータＴｐｏｌが正当なトランザクションデータであること（つまり正当性）が合意され、ブロックＢｌｃ（Ｔｐｏｌ）の正当性も合意される。なお、ステップＳ６１４及びステップＳ６１５の処理は、ステップＳ６１６でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0235】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１６で合意済みのブロックＢｌｃ（Ｔｐｏｌ）を分散台帳内のブロックチェーンに連結する（Ｓ６１７）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（Ｔｐｏｌ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（Ｔｐｏｌ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（Ｔｐｏｌ）を台帳Ｃ内のブロックチェーンに連結する。これにより、図１７の（ｃ）に示すように、予約トランザクションデータＴｒｓｖと貸出トランザクションデータＴｒｎｔと返却トランザクションデータＴｒｔｎとを含むブロックが格納され、移動体Ａのローカル予約、ローカル貸出及びローカル返却が記録されることになる。

【0236】

次に、移動体装置Ａは、ブロックチェーンに格納された予約情報をチェックする（Ｓ６２０）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎを含むブロックが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖがあることを確認する。

【0237】

そして、移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金算定アルゴリズムを実行する（Ｓ６２１）。なお、ステップＳ６２１の処理は、上述したステップＳ５１１の処理と同じであるので説明を省略する。

【0238】

［比較例に係るブロック連結処理］
続いて、ブロックチェーンに生成したブロックを連結するブロック連結処理の比較例について説明する。

【0239】

図２２は、比較例に係るシステムのブロック連結処理を説明するためのフローチャートである。以下では、代表して移動体装置Ａでブロック連結処理が行われる場合について説明する。

【0240】

まず、移動体装置Ａは、トランザクションデータを取得または生成した場合（Ｓ１００１）、取得または生成したトランザクションデータの検証を行う検証アルゴリズムを実行する（Ｓ１００２）。

【0241】

次に、移動体装置Ａは、ステップＳ１００２で実行された検証アルゴリズムにより検証済みのトランザクションデータをトランザクションプールに格納する（Ｓ１００３）。

【0242】

次に、移動体装置Ａは、台帳Ａのブロックチェーンにブロックを連結するトリガが有るかを確認する（Ｓ１００４）。ここでのトリガは、例えば数分間などの一定間隔が経過したことである。

【0243】

ステップＳ１００４において、トリガが有ったときには（Ｓ１００４でＹｅｓ）、移動体装置Ａは、他の移動体と通信可能かを確認する（Ｓ１００５）。なお、ステップＳ１００４において、トリガがないときには（Ｓ１００４でＮｏ）、ステップＳ１００１から処理を繰り返す。

【0244】

ステップＳ１００５において、移動体装置Ａは、他の移動体と通信可能でない場合すなわちオフライン状態である場合（Ｓ１００５でＮｏ）、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ１００６）。移動体装置Ａは、取得または生成したトランザクションデータを含むブロックチェーンのブロックを生成し、コンセンサスアルゴリズムを実行することで合意形成を行う。なお、移動体装置Ａは、取得または生成したトランザクションデータの正当性を検証し、当該トランザクションデータを含むブロックを生成してもよい。

【0245】

次に、移動体装置Ａは、生成したブロックを、台帳Ａのブロックチェーンに連結する（Ｓ１００７）。

【0246】

一方、ステップＳ１００５において、移動体装置Ａは、他の移動体と通信可能である場合（Ｓ１００５でＹｅｓ）、移動体装置Ａは、他の移動体と共同でコンセンサスアルゴリズムを実行する（Ｓ１００８）。移動体装置Ａ及び他の移動体のそれぞれは、当該トランザクションデータを含むブロックチェーンのブロックを生成し、コンセンサスアルゴリズムを実行することで生成したブロックに対する合意形成を行う。

【0247】

次に、移動体装置Ａは、台帳Ａのブロックチェーンと他の移動体の台帳内のブロックチェーンとが同じか否かを判定する（Ｓ１００９）。

【0248】

ステップＳ１００９において、同じ場合には（Ｓ１００９でＹｅｓ）、移動体装置Ａは、台帳Ａのブロックチェーンに合意済のブロックを連結する（Ｓ１０１０）。

【0249】

一方、ステップＳ１００９において、同じでない場合には（Ｓ１００９でＮｏ）、側鎖となる方のブロックすなわち側鎖ブロックの当該トランザクションデータをトランザクションプールに格納する（Ｓ１０１１）。

【0250】

次に、移動体装置Ａは、他の移動体の台帳内のブロックチェーンと同じになるように台帳Ａのブロックチェーンを更新する（Ｓ１０１２）。

【0251】

次に、移動体装置Ａは、ステップＳ１００９で合意済のブロックを台帳Ａのブロックチェーンに連結する（Ｓ１０１３）。

【0252】

［比較例の第３例］
続いて、ブロックチェーンの仕組みを悪用して移動体Ａを不正利用する不正処理について説明する。比較例の第３例では、移動体装置Ａがオフライン状態である場合に、移動体Ａに対して不正な予約処理と正常な貸出処理を行い、その後、移動体装置Ａをオンライン状態に復帰させて返却処理を行う場合について説明する。

【0253】

図２３は、比較例の第３例に係るシステムの不正処理の動作概要を示すフローチャートである。図２４Ａ～図２７は、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂに格納されるブロックチェーンを概念的に説明するための図である。図２４Ａは、図２３のステップＳ１０の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図２４Ｂは、図２３のステップＳ１１の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図２４Ｃは、図２３のステップＳ１２の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図２５及び図２６は、図２３のステップＳ１３の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。図２７は、図２３のステップＳ１４の動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に示す図である。以下では、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して不正処理を行うとして説明する。

【0254】

図２３に示すように、まず、例えば端末Ａは、オフライン状態の移動体装置Ａに対して、当該移動体装置Ａが搭載されている移動体Ａの予約処理を行う（Ｓ１０）。ここでは、上述したように、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル予約する予約処理を行う。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖＡを生成して、移動体装置Ａに送信することができる。この場合、例えば、図２４Ａに示すように、移動体装置Ａはオフライン状態であるので、台帳Ａのみに、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖＡを含むブロックが格納される。

【0255】

次に、端末Ａを用いたりユーザ個人のスマートフォンを用いたりなどなんらかの手段により、オンライン状態の移動体装置Ｂに対して、ステップＳ１０で行った移動体Ａのローカル予約の時間帯が被るように移動体Ａの予約処理を行う（Ｓ１１）。つまり、オンライン状態の移動体装置Ｂに対して移動体Ａのローカル予約と競合するように移動体Ａの競合予約処理を行う。本比較例では、ユーザは、端末Ａを用いて、移動体Ａを競合予約するための予約トランザクションデータＴｒｓｖＢを生成して、オンライン状態の移動体装置Ｂに対して送信する。この場合、例えば、図２４Ｂに示すように、移動体装置Ｂ等は、オフラインである移動体装置Ａの台帳Ａを除く台帳Ｂ等に、移動体Ａを競合予約するための予約トランザクションデータＴｒｓｖＢを含むブロックが格納される。

【0256】

次に、例えば端末Ａは、オフライン状態の移動体装置Ａと通信し、移動体Ａの貸出処理を行う（Ｓ１２）。つまり、上述したが、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル貸出する貸出処理を行う。より具体的には、端末Ａは、移動体装置Ａと通信し、移動体Ａを利用するため移動体Ａの解錠要求を送信することで、移動体装置Ａに、移動体Ａを解錠させ、移動体Ａが解錠されたことをトリガに移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔＡを生成させる。この場合、例えば、図２４Ｃに示すように、移動体装置Ａはオフライン状態であるので、台帳Ａのみに、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔＡを含むブロックが格納される。

【0257】

次に、ユーザは移動体装置Ａをオンライン状態に復帰させるとする。すると、移動体装置Ａがオンライン状態に復帰した時に、システムにおいて復帰時処理が行われる（Ｓ１３）。

【0258】

より具体的には、ステップＳ１０～ステップＳ１２では、上述したように、移動体装置Ａがオフライン状態であるため、図２５の（ａ）に示すように、移動体装置Ａがオンライン状態に復帰した時点では、台帳Ａ及び台帳Ｂのブロックチェーンには、異なるブロックが連結されている。次いで、移動体装置Ａがオンライン状態に復帰すると、図２５の（ｂ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂには、異なるブロックチェーンを共有し合うことになりフォークが発生する。ここで、オフライン状態の移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックが側鎖ブロックに該当し、オンライン状態の移動体装置Ｂの台帳Ｂのブロックチェーンに連結されたブロックが主鎖ブロックに該当する。このため、図２６の（ａ）及び（ｂ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂでは、側鎖ブロックが削除され、側鎖ブロックに含まれるトランザクションデータがトランザクションプールに保存されることで、フォークが解消される。なお、図２６の（ｂ）では、予約トランザクションデータＴｒｓｖＡと貸出トランザクションデータＴｒｎｔＡとがトランザクションプールに保存されている。その後、図２６の（ｃ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂのブロックチェーンでは、新たなブロックを生成するタイミングで、トランザクションプールに保存されたトランザクションデータを含むブロックが生成されて連結される。

【0259】

次に、例えば端末Ａは、オンライン状態の移動体装置Ａと通信し、移動体Ａの返却処理を行う（Ｓ１４）。より具体的には、端末Ａを操作したユーザは、解錠された移動体Ａを、利用予約した時間利用して、その後返却する。移動体装置Ａは、移動体Ａが返却されると、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを生成する。この場合、例えば、図２７に示すように、移動体装置Ａはオンライン状態であるので、台帳Ａ、Ｂ等のすべてに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを含むブロックが格納される。

【0260】

次に、移動体装置Ａなどでは、料金算定処理を行う（Ｓ１５）。ステップＳ１５の料金算定処理は、ステップＳ７の料金算定処理と同じ処理であるので説明を省略する。予約トランザクションデータＴｒｓｖＡと予約トランザクションデータＴｒｓｖＢとが競合しており、予約トランザクションデータＴｒｓｖＡを含むブロックの方が、予約トランザクションデータＴｒｓｖＢを含むブロックよりも時間的に後となる後ろに連結される。この結果、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されないので、予約トランザクションデータＴｒｓｖＡに対応する予約において移動体Ａを利用した料金を払わないという不正が成立してしまう。

【0261】

続いて、図２３に示すステップＳ１０のローカル予約の処理、ステップＳ１１の競合予約の処理、及びステップＳ１２のローカル貸出の処理の詳細についてシーケンス図を用いて説明する。

【0262】

［比較例の第３例に係る予約処理］
図２８は、比較例の第３例に係るシステムのローカル予約を行う場合の処理を示すシーケンス図である。図１８と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0263】

まず、端末Ａは、移動体Ａを利用したいユーザの操作に基づいて、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖＡを生成し（Ｓ１０１Ｂ）、生成した予約トランザクションデータＴｒｓｖＡを移動体装置Ａに送信する（Ｓ１０２Ｂ）。

【0264】

次に、移動体装置Ａは、ステップＳ１０２Ｂで送信された予約トランザクションデータＴｒｓｖＡを受信すると、他の移動体装置である移動体装置Ｂ、Ｃに予約トランザクションデータＴｒｓｖＡを転送することを試みるが、失敗する（Ｓ１０３Ｂ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに予約トランザクションデータＴｒｓｖＡを転送できないからである。

【0265】

次に、移動体装置Ａは、取得した予約トランザクションデータＴｒｓｖＡの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ１０４Ｂ）。

【0266】

次に、移動体装置Ａは、ステップＳ１０４Ｂで実行された検証アルゴリズムにより検証済みの予約トランザクションデータＴｒｓｖＡをトランザクションプールａに格納する（Ｓ１０５Ｂ）。

【0267】

次に、移動体装置Ａは、検証済みの予約トランザクションデータＴｒｓｖＡを含むブロックＢｌｃ（ＴｒｓｖＡ）を生成する（Ｓ１０７Ｂ）。

【0268】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ１０７Ｂで生成したブロックＢｌｃ（ＴｒｓｖＡ）を送信することを試みるが、失敗する（Ｓ１０８Ｂ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（ＴｒｓｖＡ）を送信できないからである。

【0269】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ１０９Ｂ）。なお、ステップＳ１０７Ｂの処理は、ステップＳ１０９Ｂで単独でコンセンサスアルゴリズムを実行する際に行われてもよい。

【0270】

次に、移動体装置Ａは、ステップＳ１０９Ｂで合意済みのブロックＢｌｃ（ＴｒｓｖＡ）を台帳Ａ内のブロックチェーンに連結する（Ｓ１１０Ｂ）。

【0271】

これにより、図２４Ａに示すように、台帳Ａのみに、移動体Ａを利用予約するための予約トランザクションデータＴｒｓｖＡを含むブロックが格納され、ローカル予約が確定されることになる。

【0272】

図２９は、比較例の第３例に係るシステムの競合予約を行う場合の処理を示すシーケンス図である。

【0273】

まず、ユーザは例えば端末Ａを用いて、移動体Ａを競合予約するための予約トランザクションデータＴｒｓｖＢを生成する（Ｓ１０１Ｃ）。

【0274】

次に、ユーザは例えば端末Ａを用いて、移動体装置Ｂに対して、ステップＳ１０１Ｃで生成した予約トランザクションデータＴｒｓｖＢを送信する（Ｓ１０２Ｃ）。

【0275】

次に、移動体装置Ｂは、オンライン状態であるので、ステップＳ１０２Ｃで送信された予約トランザクションデータＴｒｓｖＢを受信すると、他の移動体装置である移動体装置Ｃに予約トランザクションデータＴｒｓｖＢを転送する（Ｓ１０３Ｃ）。これにより、移動体装置Ａを除く移動体装置Ｃは、予約トランザクションデータＴｒｓｖＢを取得する。

【0276】

次に、移動体装置Ｂ、Ｃはそれぞれ、取得した予約トランザクションデータＴｒｓｖＢの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ１０４Ｃ）。

【0277】

次に、移動体装置Ｂ、Ｃはそれぞれ、ステップＳ１０４Ｃで実行された検証アルゴリズムにより検証済みの予約トランザクションデータＴｒｓｖＢをトランザクションプールに格納する（Ｓ１０５Ｃ）。より具体的には、移動体装置Ｂは、検証済みの予約トランザクションデータＴｒｓｖＢをトランザクションプールｂに格納し、移動体装置Ｃは、検証済みの予約トランザクションデータＴｒｓｖＢをトランザクションプールｃに格納する。

【0278】

次に、移動体装置Ｂ、Ｃは互いに、通信可能な状態であるので、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりする（Ｓ１０６Ｃ）。図２９に示す例では、移動体装置Ｂ、Ｃは、次に生成するブロックに格納すべきトランザクションデータに、検証済みの予約トランザクションデータＴｒｓｖＢがあることを確認する。

【0279】

次に、移動体装置Ｂ、Ｃはそれぞれ、検証済みの予約トランザクションデータＴｒｓｖＢを含むブロックＢｌｃ（ＴｒｓｖＢ）を生成する（Ｓ１０７Ｃ）。

【0280】

次に、移動体装置Ｂ、Ｃはそれぞれ、移動体装置Ａを除く他の移動体装置に、ステップＳ１０７Ｃで生成したブロックＢｌｃ（ＴｒｓｖＢ）を送信する（Ｓ１０８Ｃ）。これにより、移動体装置Ｂ、Ｃはそれぞれ、移動体装置Ａを除く他の移動体装置に、ブロックＢｌｃ（ＴｒｓｖＢ）に含まれる予約トランザクションデータＴｒｓｖＢの正当性の検証が成功したことの報告を通知することができる。

【0281】

次に、移動体装置Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ１０９Ｃ）。具体的には、移動体装置Ｂ、Ｃはそれぞれ、ステップＳ１０８Ｃで通知された報告に基づき、予約トランザクションデータＴｒｓｖＢが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（ＴｒｓｖＢ）の正当性を合意する。なお、ステップＳ１０７Ｃ及びステップＳ１０８Ｃの処理は、ステップＳ１０９Ｃでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0282】

次に、移動体装置Ｂ、Ｃはそれぞれ、ステップＳ１０９Ｃで合意済みのブロックＢｌｃ（ＴｒｓｖＢ）を分散台帳内のブロックチェーンに連結する（Ｓ１１０Ｃ）。より具体的には、移動体装置Ｂは、合意済みのブロックＢｌｃ（ＴｒｓｖＢ）を台帳Ｂ内のブロックチェーンに連結し、移動体装置Ｃは、合意済みのブロックＢｌｃ（ＴｒｓｖＢ）を台帳Ｃ内のブロックチェーンに連結する。

【0283】

これにより、図２４Ｂに示すように、台帳Ｂ及び台帳Ｃには共に、予約トランザクションデータＴｒｓｖＢを含むブロックが格納される。

【0284】

［比較例の第３例に係る貸出処理］
図３０は、比較例の第３例に係るシステムのローカル貸出の処理を示すシーケンス図である。図１９と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0285】

まず、端末Ａは、移動体Ａを利用するユーザの操作に基づいて、移動体Ａの解錠要求を移動体装置Ａに送信する（Ｓ３０１Ｂ）。

【0286】

次に、移動体装置Ａは、ステップＳ３０１Ｂで送信された解錠要求を受信すると、台帳Ａのブロックチェーンに解錠要求に対応する予約があるかを確認し（Ｓ３０２Ｂ）、移動体Ａのロックを解除する（Ｓ３０３Ｂ）。

【0287】

次に、移動体装置Ａは、移動体Ａのロックが解除されたことをトリガに、移動体Ａの貸出開始を示す貸出トランザクションデータＴｒｎｔＡを生成する（Ｓ３０４Ｂ）。

【0288】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに貸出トランザクションデータＴｒｎｔＡを転送することを試みるが、失敗する（Ｓ３０５Ｂ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに貸出トランザクションデータＴｒｎｔＡを転送できないからである。

【0289】

次に、移動体装置Ａは、貸出トランザクションデータＴｒｎｔＡの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ３０６Ｂ）。

【0290】

次に、移動体装置Ａは、ステップＳ３０６Ｂで実行された検証アルゴリズムにより検証済みの貸出トランザクションデータＴｒｎｔＡをトランザクションプールａに格納する（Ｓ３０７Ｂ）。

【0291】

次に、移動体装置Ａはそれぞれ、検証済みの貸出トランザクションデータＴｒｎｔＡを含むブロックＢｌｃ（ＴｒｎｔＡ）を生成する（Ｓ３０９Ｂ）。

【0292】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ３０９Ｂで生成したブロックＢｌｃ（ＴｒｎｔＡ）を送信することを試みるが、失敗する（Ｓ３１０Ｂ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（ＴｒｎｔＡ）を送信できないからである。

【0293】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ３１１Ｂ）。具体的には、移動体装置Ａは、貸出トランザクションデータＴｒｎｔＡが正当なトランザクションデータであること（つまり正当性）を単独で合意し、ブロックＢｌｃ（ＴｒｎｔＡ）の正当性を単独で合意する。なお、ステップＳ３０９Ｂの処理は、ステップＳ３１１Ｂでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0294】

次に、移動体装置Ａは、ステップＳ３１１Ｂで合意済みのブロックＢｌｃ（ＴｒｎｔＡ）を台帳Ａ内のブロックチェーンに連結する（Ｓ３１２Ｂ）。

【0295】

これにより、図２４Ｃに示すように、台帳Ａのみに、貸出トランザクションデータＴｒｎｔＡを含むブロックが格納され、移動体Ａのローカル貸出が行われたことが記録される。

【0296】

［比較例の第３例に係る移動体装置Ａの通信復帰時の処理］
続いて、図２３に示すステップＳ１３の移動体装置Ａの通信復帰時の処理の詳細について説明する。

【0297】

図３１は、比較例の第３例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。図２１と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0298】

まず、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃと通信可能（オンライン状態）に復帰したとする（Ｓ６０１Ｂ）。

【0299】

すると、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、移動体装置Ａがオンライン状態になったことを示す信号を送信する（Ｓ６０２Ｂ）。

【0300】

次に、移動体装置Ａ、Ｂ、Ｃは、各台帳内のブロックチェーンの異同判定を行う（Ｓ６０３Ｂ）。より具体的には、移動体装置Ａは、台帳Ａ内のブロックチェーンと他の移動体装置である移動体装置Ｂ、Ｃの台帳Ｂ、Ｃ内のブロックチェーンとの異同を判定する。移動体装置Ｂ、Ｃは、台帳Ｂ、Ｃ内のブロックチェーンと他の移動体装置である移動体装置Ａの台帳Ａ内のブロックチェーンとの異同を判定する。ここでは、図２５の（ａ）に示す例のように、台帳Ａと、台帳Ｂ、Ｃとのブロックチェーンには異なるブロックが連結されており、台帳Ａ内のブロックチェーンと台帳Ｂ、Ｃ内のブロックチェーンとは異なる。このため、図２５の（ｂ）に示す例のように、移動体装置Ａ、Ｂ、Ｃでは、台帳Ａ、Ｂ、Ｃにおいて、異なるブロックチェーンを共有し合うのでフォークが発生する。

【0301】

次に、移動体装置Ａ、Ｂ、Ｃは、側鎖ブロックと主鎖ブロックとに該当するブロックについての情報を送信しあう（Ｓ６０４Ｂ、Ｓ６０５Ｂ）。本比較例では、一定時間オフライン状態であった移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックが側鎖ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）に該当する。移動体装置Ｂ、Ｃの台帳Ｂ、Ｃのブロックチェーンに連結されてたブロックは主鎖ブロックＢｌｃ（ＴｒｓｖＢ）に該当する。

【0302】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６０４Ｂで得た側鎖ブロックに含まれる予約トランザクションデータＴｒｓｖＡ、貸出トランザクションデータＴｒｎｔＡを、トランザクションプールに格納する（Ｓ６０６Ｂ）。より具体的には、移動体装置Ａは、台帳Ａのブロックチェーンに連結された側鎖ブロックのトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡのコピーをトランザクションプールａに格納する。移動体装置Ｂは、側鎖ブロックのトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡをトランザクションプールｂに格納し、移動体装置Ｃは、側鎖ブロックのトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡをトランザクションプールｃに格納する。

【0303】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、台帳Ａ、Ｂ、Ｃのブロックチェーンと同一となるように更新する（Ｓ６０７Ｂ）。より具体的には、移動体装置Ａは、台帳Ａのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ｂ、Ｃのブロックチェーンと同一となるように台帳Ａのブロックチェーンを更新する。移動体装置Ｂは、台帳Ｂのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ａ、Ｃのブロックチェーンと同一となるように台帳Ｂのブロックチェーンを更新する。移動体装置Ｃは、台帳Ｃのブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ａ、Ｂのブロックチェーンと同一となるように台帳Ｃのブロックチェーンを更新する。

【0304】

次に、所定時間後のブロック生成タイミングにおいて、移動体装置Ａ、Ｂ、Ｃはそれぞれ、トランザクションプールに格納しているトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡを含むブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を生成する（Ｓ６１４Ｂ）。

【0305】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ６１４Ｂで生成したブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を送信する（Ｓ６１５Ｂ）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）に含まれるトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡの正当性の検証が成功したことの報告を通知することができる。

【0306】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ６１６Ｂ）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１５Ｂで通知された報告に基づき、トランザクションデータＴｒｓｖＡ、ＴｒｎｔＡが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）の正当性を合意する。なお、ステップＳ６１４Ｂ及びステップＳ６１５Ｂの処理は、ステップＳ６１６Ｂでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0307】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１６Ｂで合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を分散台帳内のブロックチェーンに連結する（Ｓ６１７Ｂ）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ）を台帳Ｃ内のブロックチェーンに連結する。これにより、図２６の（ｃ）に示すように、予約トランザクションデータＴｒｓｖＡと予約トランザクションデータＴｒｓｖＢと貸出トランザクションデータＴｒｎｔＡとを含むブロックが格納され、移動体Ａのローカル予約、競合予約及びローカル貸出が記録されることになる。

【0308】

［比較例の第３例に係る返却処理］
続いて、図２３に示すステップＳ１４の移動体装置Ａの返却処理の詳細について説明する。

【0309】

図３２は、比較例の第３例に係るシステムの返却処理を示すシーケンス図である。図１２と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0310】

まず、移動体Ａを利用したユーザにより移動体Ａが返却されると、移動体装置Ａは、移動体Ａが返却されたことを確認する（Ｓ５０１Ｂ）。

【0311】

次に、移動体装置Ａは、移動体Ａが返却されたことを確認したことをトリガに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを生成する（Ｓ５０２Ｂ）。

【0312】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎＡを転送する（Ｓ５０３Ｂ）。これにより、移動体装置Ｂ、Ｃは、返却トランザクションデータＴｒｔｎＡを取得する。

【0313】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、取得した返却トランザクションデータＴｒｔｎＡの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ５０４Ｂ）。

【0314】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０４Ｂで実行された検証アルゴリズムにより検証済みの返却トランザクションデータＴｒｔｎＡをトランザクションプールに格納する（Ｓ５０５Ｂ）。より具体的には、移動体装置Ａは、検証済みの返却トランザクションデータＴｒｔｎＡをトランザクションプールａに格納し、移動体装置Ｂは、検証済みの返却トランザクションデータＴｒｔｎＡをトランザクションプールｂに格納する。移動体装置Ｃは、検証済みの返却トランザクションデータＴｒｔｎＡをトランザクションプールｃに格納する。なお、図示していないが、移動体装置Ａ、Ｂ、Ｃは互いに、通信可能な状態であるので、次に生成するブロックに格納すべきトランザクションデータの情報をやりとりする。図３２に示す例では、移動体装置Ａ、Ｂ、Ｃは、次に生成するブロックに格納すべきトランザクションデータに、検証済みの返却トランザクションデータＴｒｔｎＡがあることを確認する。

【0315】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、検証済みの返却トランザクションデータＴｒｔｎＡを含むブロックＢｌｃ（ＴｒｔｎＡ）を生成する（Ｓ５０６Ｂ）。

【0316】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ５０６Ｂで生成したブロックＢｌｃ（ＴｒｔｎＡ）を送信する（Ｓ５０７Ｂ）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（ＴｒｔｎＡ）に含まれる返却トランザクションデータＴｒｔｎＡの正当性の検証が成功したことの報告を通知することができる。

【0317】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ５０８Ｂ）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０７Ｂで通知された報告に基づき、返却トランザクションデータＴｒｔｎＡが正当なトランザクションデータであること（つまり正当性）を合意し、ブロックＢｌｃ（ＴｒｔｎＡ）の正当性を合意する。なお、ステップＳ５０６Ｂ及びステップＳ５０７Ｂの処理は、ステップＳ５０８Ｂでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0318】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ５０８Ｂで合意済みのブロックＢｌｃ（ＴｒｎｔＡ）を分散台帳内のブロックチェーンに連結する（Ｓ５０９Ｂ）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（ＴｒｔｎＡ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（ＴｒｔｎＡ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（ＴｒｔｎＡ）を台帳Ｃ内のブロックチェーンに連結する。これにより、図２７に示すように、台帳Ａ、台帳Ｂ及び台帳Ｃには共に、返却トランザクションデータＴｒｔｎＡを含むブロックが格納され、移動体Ａの返却完了が記録されることになる。

【0319】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ブロックチェーンに格納された予約情報をチェックする（Ｓ５１０Ｂ）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎＡを含むブロックを含むブロックが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖがあることを確認する。

【0320】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金算定アルゴリズムを実行する（Ｓ５１１Ｂ）。ここでは、例えば図２７に示すように、予約トランザクションデータＴｒｓｖＡと予約トランザクションデータＴｒｓｖＢとが競合しており、予約トランザクションデータＴｒｓｖＡを含むブロックの方が、予約トランザクションデータＴｒｓｖＢを含むブロックよりも時間的に後となる後ろに連結されている。このため、料金算定アルゴリズムを実行されても、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されず、予約トランザクションデータＴｒｓｖＢに対応する予約に対しての料金のみが徴収されることになる。

【0321】

このように、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されないので、予約トランザクションデータＴｒｓｖＡに対応する予約において移動体Ａを利用した料金を払わないという不正が成立する。

【0322】

［比較例の第４例］
比較例の第３例では、移動体装置Ａをオンライン状態に復帰させてから返却処理を行う場合の不正処理について説明したが、これに限らない。移動体装置Ａがオフライン状態である場合に、返却処理を行った後に移動体装置Ａをオンライン状態に復帰させてもよい。この場合の不正処理を比較例の第４例として以下説明する。

【0323】

図３３は、比較例の第４例に係るシステムの不正処理の動作概要を示すフローチャートである。図３４Ａ～図３６は、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂに格納されるブロックチェーンを概念的に説明するための図である。図３４Ａは、図３３のステップＳ１０の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図３４Ｂは、図３３のステップＳ１１の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図３４Ｃは、図３３のステップＳ１２の動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図３４Ｄは、図３３のステップＳ１３Ａの動作により台帳Ａに格納されるブロックチェーンのブロックを概念的に示す図である。図３５及び図３６は、図３３のステップＳ１４Ａの動作により台帳Ａ及び台帳Ｂに格納されるブロックチェーンのブロックを概念的に説明するための図である。以下でも、移動体Ａを利用したいユーザが端末Ａを用いて、移動体Ａに搭載されている移動体装置Ａに対して不正処理を行うとして説明する。

【0324】

図３３に示すステップＳ１０～ステップＳ１２は、図２３で説明したステップＳ１０～ステップＳ１２と同じ処理であるので説明を省略する。また、図３４Ａ～図３４Ｃは、図２４Ａ～図２４Ｃと同一の図であるので説明を省略する。

【0325】

次に、ステップＳ１３Ａにおいて、例えば端末Ａは、オフライン状態の移動体装置Ａと通信し、移動体Ａの返却処理を行う。つまり、端末Ａは、オフライン状態の移動体装置Ａに対して移動体Ａをローカル返却する返却処理を行う。より具体的には、端末Ａを操作したユーザは、解錠された移動体Ａを、利用予約した時間利用して、その後返却する。移動体装置Ａは、移動体Ａが返却されると、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを生成する。この場合、例えば、図３４Ｄに示すように、移動体装置Ａはオフライン状態であるので、台帳Ａのみに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを含むブロックが格納される。

【0326】

次に、ユーザは移動体装置Ａをオンライン状態に復帰させるとする。すると、移動体装置Ａがオンライン状態に復帰した時に、システムにおいて復帰時処理が行われる（Ｓ１４Ａ）。より具体的には、ステップＳ１０～ステップＳ１３Ａでは、移動体装置Ａがオフライン状態であるため、移動体装置Ａがオンライン状態に復帰した時点では、例えば図３４Ｄに示すように、台帳Ａ及び台帳Ｂのブロックチェーンには、異なるブロックが連結されている。次いで、移動体装置Ａがオンライン状態に復帰すると、図３５に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂには、異なるブロックチェーンを共有し合うことになりフォークが発生する。ここで、オフライン状態の移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックの方が短いため側鎖ブロックに該当し、オンライン状態の移動体装置Ｂの台帳Ｂのブロックチェーンに連結されたブロックが長いので主鎖ブロックに該当する。このため、図３６の（ａ）及び（ｂ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂでは、側鎖ブロックが削除され、側鎖ブロックに含まれるトランザクションデータがトランザクションプールに保存されることで、フォークが解消される。なお、図３６の（ｂ）では、予約トランザクションデータＴｒｓｖＡと貸出トランザクションデータＴｒｎｔＡと返却トランザクションデータＴｒｔｎＡとがトランザクションプールに保存されている。その後、図３６の（ｃ）に示すように、移動体装置Ａの台帳Ａ及び移動体装置Ｂの台帳Ｂのブロックチェーンでは、新たなブロックを生成するタイミングで、トランザクションプールに保存されたトランザクションデータを含むブロックが生成されて連結される。

【0327】

次に、移動体装置Ａなどでは、料金算定処理を行う（Ｓ１５）。比較例の第３例と同様、予約トランザクションデータＴｒｓｖＡと予約トランザクションデータＴｒｓｖＢとが競合しており、予約トランザクションデータＴｒｓｖＡを含むブロックの方が、予約トランザクションデータＴｒｓｖＢを含むブロックよりも後ろに連結される。この結果、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されないので、予約トランザクションデータＴｒｓｖＡに対応する予約において移動体Ａを利用した料金を払わないという不正が成立する。

【0328】

続いて、図３３に示すステップＳ１３Ａのローカル返却の処理、ステップＳ１４Ａの移動体装置Ａの通信復帰時の処理の詳細についてシーケンス図を用いて説明する。

【0329】

［比較例の第４例に係る返却処理］
図３７は、比較例の第４例に係るシステムのローカル返却の処理を示すシーケンス図である。図２０と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0330】

まず、移動体Ａを利用したユーザにより移動体Ａが返却されると、移動体装置Ａは、移動体Ａが返却されたことを確認する（Ｓ５０１Ｃ）。

【0331】

次に、移動体装置Ａは、移動体Ａが返却されたことを確認したことをトリガに、移動体Ａの返却完了を示す返却トランザクションデータＴｒｔｎＡを生成する（Ｓ５０２Ｃ）。

【0332】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎＡを転送することを試みるが、失敗する（Ｓ５０３Ｃ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、Ｃに返却トランザクションデータＴｒｔｎＡを転送できないからである。

【0333】

次に、移動体装置Ａは、取得した返却トランザクションデータＴｒｔｎＡの正当性を含む検証を行う検証アルゴリズムを実行する（Ｓ５０４Ｃ）。

【0334】

次に、移動体装置Ａは、ステップＳ５０４Ｃで実行された検証アルゴリズムにより検証済みの返却トランザクションデータＴｒｔｎＡをトランザクションプールａに格納する（Ｓ５０５Ｃ）。

【0335】

次に、移動体装置Ａは、検証済みの返却トランザクションデータＴｒｔｎＡを含むブロックＢｌｃ（ＴｒｔｎＡ）を生成する（Ｓ５０６Ｃ）。

【0336】

次に、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、ステップＳ５０６Ｃで生成したブロックＢｌｃ（ＴｒｔｎＡ）を送信することを試みるが、失敗する（Ｓ５０７Ｃ）。移動体装置Ａはオフライン状態であるため、移動体装置Ｂ、ＣにブロックＢｌｃ（ＴｒｔｎＡ）を送信できないからである。

【0337】

次に、移動体装置Ａは、単独でコンセンサスアルゴリズムを実行する（Ｓ５０８Ｃ）。具体的には、移動体装置Ａは、返却トランザクションデータＴｒｔｎＡが正当なトランザクションデータであること（つまり正当性）を単独で合意し、ブロックＢｌｃ（ＴｒｔｎＡ）の正当性を単独で合意する。なお、ステップＳ５０６Ｃの処理は、ステップＳ５０８Ｃでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0338】

次に、移動体装置Ａは、ステップＳ５０８Ｃで合意済みのブロックＢｌｃ（ＴｒｔｎＡ）を台帳Ａ内のブロックチェーンに連結する（Ｓ５０９Ｃ）。これにより、図３４Ｄに示すように、台帳Ａのみに、返却トランザクションデータＴｒｔｎＡを含むブロックが格納され、移動体Ａのローカル返却が記録されることになる。

【0339】

次に、移動体装置Ａは、ブロックチェーンに格納された予約情報をチェックする（Ｓ５１０Ｃ）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎＡが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖＡがあることを確認する。

【0340】

そして、移動体装置Ａはそれぞれ、料金算定アルゴリズムを実行する（Ｓ５１１Ｃ）。移動体装置Ａはオフライン状態であるので、料金算定アルゴリズムにより、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金が算定されることになる。

【0341】

［比較例の第４例に係る移動体装置Ａの通信復帰時の処理］
続いて、図３３に示すステップＳ１４Ａの移動体装置Ａの通信復帰時の処理の詳細について説明する。

【0342】

図３８は、比較例の第４例に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。図２１と同様の要素には同様の符号を付しており、詳細な説明は省略する。

【0343】

まず、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃと通信可能（オンライン状態）に復帰したとする（Ｓ６０１Ｃ）。

【0344】

すると、移動体装置Ａは、他の移動体装置である移動体装置Ｂ、Ｃに、移動体装置Ａがオンライン状態になったことを示す信号を送信する（Ｓ６０２Ｃ）。

【0345】

次に、移動体装置Ａ、Ｂ、Ｃは、各台帳内のブロックチェーンの異同判定を行う（Ｓ６０３Ｃ）。移動体装置Ａの通信復帰の前では、例えば図３４Ｄに示す例のように、台帳Ａと、台帳Ｂ、Ｃとのブロックチェーンには異なるブロックが連結されているので、台帳Ａ内のブロックチェーンと台帳Ｂ、Ｃ内のブロックチェーンとは異なる。このため、移動体装置Ａの通信復帰時には、例えば図３５に示す例のように、移動体装置Ａ、Ｂ、Ｃの台帳Ａ、Ｂ、Ｃでは、異なるブロックチェーンを共有し合うのでフォークが発生する。

【0346】

次に、移動体装置Ａ、Ｂ、Ｃは、側鎖ブロックと主鎖ブロックとに該当するブロックについての情報を送信しあう（Ｓ６０４Ｃ、Ｓ６０５Ｃ）。本比較例では、一定時間オフライン状態であった移動体装置Ａの台帳Ａのブロックチェーンに連結されたブロックは側鎖ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）に該当する。一方、移動体装置Ｂ、Ｃの台帳Ｂ、Ｃのブロックチェーンに連結されたブロックは主鎖ブロックＢｌｃ（ＴｒｓｖＢ）に該当することになる。

【0347】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６０４Ｃで得た側鎖ブロックのトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡをトランザクションプールに格納する（Ｓ６０６Ｃ）。

【0348】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、台帳Ａ、Ｂ、Ｃのブロックチェーンと同一となるように更新する（Ｓ６０７Ｃ）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ブロックチェーンに連結されていた側鎖ブロックを削除し、主鎖ブロックを残すことで、台帳Ａ、Ｂ、Ｃのブロックチェーンが同一となるように台帳Ａのブロックチェーンを更新する。

【0349】

次に、所定時間後のブロック生成タイミングにおいて、移動体装置Ａ、Ｂ、Ｃはそれぞれ、トランザクションプールに格納しているトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡを含むブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を生成する（Ｓ６１４Ｃ）。

【0350】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ステップＳ６１４Ｃで生成したブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を送信する（Ｓ６１５Ｃ）。これにより、移動体装置Ａ、Ｂ、Ｃはそれぞれ、他の移動体装置に、ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）に含まれるトランザクションデータＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡの正当性の検証が成功したことの報告を通知することができる。

【0351】

次に、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ６１６Ｃ）。具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１５Ｃで通知された報告に基づき、トランザクションデータＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡが正当なトランザクションデータであること（つまり正当性）を合意する。そして、ブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）の正当性を合意する。なお、ステップＳ６１４Ｃ及びステップＳ６１５Ｃの処理は、ステップＳ６１６Ｃでコンセンサスアルゴリズムを実行する際に行われてもよい。

【0352】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１６で合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を分散台帳内のブロックチェーンに連結する（Ｓ６１７Ｃ）。より具体的には、移動体装置Ａは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を台帳Ａ内のブロックチェーンに連結し、移動体装置Ｂは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を台帳Ｂ内のブロックチェーンに連結する。移動体装置Ｃは、合意済みのブロックＢｌｃ（ＴｒｓｖＡ、ＴｒｎｔＡ、ＴｒｔｎＡ）を台帳Ｃ内のブロックチェーンに連結する。これにより、図３６の（ｃ）に示すように、予約トランザクションデータＴｒｓｖＡと貸出トランザクションデータＴｒｎｔＡと返却トランザクションデータＴｒｔｎＡとを含むブロックが格納され、移動体Ａのローカル予約、ローカル貸出及びローカル返却が記録されることになる。

【0353】

次に、移動体装置Ａは、ブロックチェーンに格納された予約情報をチェックする（Ｓ６２０Ｃ）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、返却トランザクションデータＴｒｔｎＡを含むブロックが自身の台帳内のブロックチェーンに連結されることで、予約スマートコントラクトを実行させて、ブロックチェーンに格納された予約情報として予約トランザクションデータＴｒｓｖＡと予約トランザクションデータＴｒｓｖＢとがあることを確認する。

【0354】

そして、移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金算定アルゴリズムを実行しない（Ｓ６２１Ｃ）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、料金算定アルゴリズムを実行するが、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されない。なお、ステップＳ６２１Ｃの処理は、上述したステップＳ５１１Ｂの処理と同じであるので説明を省略する。

【0355】

ここでは、例えば図３６の（ｃ）に示すように、予約トランザクションデータＴｒｓｖＡに対応する予約と予約トランザクションデータＴｒｓｖＢとに対応する予約とが競合している。また、予約トランザクションデータＴｒｓｖＡを含むブロックの方が、予約トランザクションデータＴｒｓｖＢを含むブロックよりも後ろに連結されている。このため、料金算定アルゴリズムを実行されても、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されず、予約トランザクションデータＴｒｓｖＢに対応する予約に対しての料金のみが徴収されることになる。

【0356】

このように、予約トランザクションデータＴｒｓｖＡに対応する予約に対しての料金は徴収されないので、予約トランザクションデータＴｒｓｖＡに対応する予約において移動体Ａを利用した料金を払わないという不正が成立する。

【0357】

［本実施の形態に係る不正対策後の処理］
続いて、不正処理の対策を行った本実施の形態に係る不正対策処理について説明する。

【0358】

図２３及び図３３に示される不正処理では、ステップＳ１１で競合予約が行われることにより、ステップＳ１０で予約処理されたローカル予約に対する料金が徴収されなかった。このため、本実施の形態では、ステップＳ１１で行われた競合予約を破棄せずに、競合予約を含む追加ブロックを生成し、ブロックチェーンに格納することでブロックチェーンを更新した上で、更新後の第１ブロックチェーンに競合予約があるか否かを判定することで、競合予約を検知することができる。

【0359】

本実施の形態では、不正対策処理として、移動体装置Ａの通信復帰時の処理において、不正予約検知処理を実行させる。以下では、移動体装置Ａの通信復帰時の処理におけるコンセンサスアルゴリズムの実行の際に、不正予約検知処理を実行する場合について説明する。

【0360】

図３９は、実施の形態に係る移動体装置Ａの通信復帰時に行われるシステムの処理を示すシーケンス図である。図２１と同様の要素には同様の符号を付しており、詳細な説明は省略する。図３９に示すシーケンス図は、図２１に示すシーケンス図と比較すると、コンセンサスアルゴリズムの実行の際に、不正予約検知処理を実行している点が異なる。

【0361】

すなわち、図３９に示すステップ６０１Ｅ～ステップＳ６１５Ｅの処理は、図２１に示すステップ６０１～ステップＳ６１５の処理と同様のため、ここでの説明を省略する。

【0362】

ステップＳ６１５Ｅにおいて、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ６１６Ｅ）。本実施の形態では、動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１５で通知された報告に基づき、トランザクションデータＴｐｏｌが正当なトランザクションデータであること（つまり正当性）を合意するコンセンサスアルゴリズムの実行の際に、不正予約検知処理を実行する。

【0363】

不正予約検知処理では、移動体装置Ａ、Ｂ、Ｃはそれぞれ、自身の台帳のブロックチェーン内を検索し、不正な契約を含む不正なトランザクションデータが格納されているか否かを検知する。具体的には、不正予約検知処理は、不正検知部１１０の機能として説明した不正検知処理と同じである。

【0364】

次に、コンセンサスアルゴリズムの実行の際に、不正予約が検知されなかった場合、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６１５Ｅで合意済みのブロックＢｌｃ（Ｔｐｏｌｖ）を分散台帳内のブロックチェーンに連結する（Ｓ６１７Ｅ）。

【0365】

また、不正予約があったことを検知した場合には、不正なトランザクションデータが検知されたことを示すインシデントレポートを作成して保存してもよい。

【0366】

図４０は、実施の形態に係る不正予約検知処理を説明するためのフローチャートである。図４０に示す本実施の形態に係る不正予約検知処理は、図３９のステップＳ６１６Ｅにおいて実行される。以下では、代表して移動体装置Ａで不正予約検知処理が行われる場合について説明する。

【0367】

本実施の形態では、図３９のステップＳ６１６Ｅにおいて、まず、移動体装置Ａは、不正チェックのトリガがあるかを確認する（Ｓ６１６１）。このトリガは、一定間隔が経過したことでもよいし、台帳Ａのブロックチェーンに新たにブロックが連結されたことであってもよい。

【0368】

ステップＳ６１６１において、トリガがあったときには（Ｓ６１６１でＹｅｓ）、移動体装置Ａは、台帳Ａのブロックチェーン内を検索する（Ｓ６１６２）。なお、ステップＳ６１６２において、トリガがないときには（Ｓ６１６２でＮｏ）、移動体装置Ａは、ステップＳ６１６２に戻る。

【0369】

次に、移動体装置Ａは、台帳Ａのブロックチェーン内に、不正な契約を含む不正なトランザクションデータが格納されているか否かを判定する（Ｓ６１６３）。この判定は、例えば、不正検知部１１０により行われる、第１の不正判定、第２の不正判定、及び、第３の不正判定の少なくともいずれか１つである。

【0370】

ステップＳ６１６３において、不正なトランザクションデータがあったときには（Ｓ６１６３でＹｅｓ）、移動体装置Ａは、インシデントレポートを作成して保存する（Ｓ６１６４）。

【0371】

図４１は、実施の形態に係る不正予約検知処理を実行してインシデントレポートを作成したときに行われるシステムの処理を示すシーケンス図である。図３９と同じ動作には同一の符号を付しており、詳細な説明は省略する。図４１では、ステップＳ６１６Ｅにおいて、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行した際に行われた不正予約検知処理においてインシデントレポートを作成した後の処理が示されている。

【0372】

すなわち、図４１に示すように、ステップＳ６１５Ｅにおいて、移動体装置Ａ、Ｂ、Ｃは、共同でコンセンサスアルゴリズムを実行する（Ｓ６１６Ｅ）。本変形例では、動体装置Ａ、Ｂ、Ｃはそれぞれ、コンセンサスアルゴリズムの実行の際に、不正予約検知処理を実行する。図４１に示す例では、不正予約検知処理を実行すると、予約のない時間に発行された解錠完了トランザクションデータが検知され、不正予約があったことを検知したとしている。このため、移動体装置Ａ、Ｂ、Ｃは、解錠完了トランザクションデータが検知されたことを示すインシデントレポートを作成する。

【0373】

次に、例えば移動体装置Ｂは、代表して、作成したインシデントレポートを記録するためのトランザクションデータＴｉｎｃを生成する（Ｓ６２２Ｅ）。なお、移動体装置ＢがトランザクションデータＴｉｎｃを生成する場合に限らず、移動体装置Ａまたは移動体装置ＣがトランザクションデータＴｉｎｃを生成してもよい。

【0374】

次に、移動体装置Ｂは、他の移動体装置である移動体装置Ａ、ＣにトランザクションデータＴｉｎｃを転送する（Ｓ６２３Ｅ）。これにより、移動体装置Ａ、Ｃは、トランザクションデータＴｉｎｃを取得する。

【0375】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、トランザクションデータＴｉｎｃの検証を行う検証アルゴリズムを実行する（Ｓ６２４Ｅ）。

【0376】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、ステップＳ６２４Ｅで検証済みのトランザクションデータＴｉｎｃを台帳に格納する（Ｓ６２５Ｅ）。より具体的には、移動体装置Ａは、検証済みのトランザクションデータＴｉｎｃを台帳Ａに格納し、移動体装置Ｂは、検証済みのトランザクションデータＴｉｎｃを台帳Ｂに格納する。移動体装置Ｃは、検証済みのトランザクションデータＴｉｎｃを台帳Ｃ内に格納する。

【0377】

これにより、台帳Ａ、台帳Ｂ及び台帳Ｃには共に、トランザクションデータＴｉｎｃが格納され、インシデントレポートが記録されることになる。

【0378】

図４２は、実施の形態に係る不正リスト生成処理を実行するときに行われるシステムの処理を示すシーケンス図である。

【0379】

まず、端末Ａは、不正リスト生成処理を実行させるための不正リスト生成スマートコントラクトを含む不正リストトランザクションデータを生成する（Ｓ７０１）。ここで、端末Ａすなわち端末１１Ａには、入力部１１０１としてアプリケーションが導入されており、アプリケーションがユーザの操作に基づいて不正リストトランザクションデータを生成してよい。

【0380】

次に、端末Ａは、移動体Ａの移動体装置Ａと通信し、ステップＳ７０１で生成した不正リストトランザクションデータを移動体装置Ａに送信する（Ｓ７０２）。

【0381】

次に、移動体装置Ａは、ステップＳ７０２で送信された不正リストトランザクションデータを受信すると、他の移動体装置である移動体装置Ｂ、Ｃに不正リストトランザクションデータを転送する（Ｓ７０３）。これにより、移動体装置Ｂ、Ｃは、不正リストトランザクションデータを取得する。

【0382】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、不正リストトランザクションデータの正当性の検証した後に正当性が検証された不正リストトランザクションデータを含むブロックを生成し、生成したブロックについて共同でコンセンサスアルゴリズムを実行する（Ｓ７０４）。ステップＳ７０４の具体的な処理は、ステップＳ１０４～Ｓ１０９と同様の処理である。これにより、不正リスト生成スマートコントラクトを含む不正リストトランザクションデータは、分散台帳記憶部１０８に記憶されている分散台帳で管理されているブロックチェーンに格納される。

【0383】

その後、移動体装置Ａ、Ｂ、Ｃは、それぞれ、それぞれの台帳Ａ、Ｂ、Ｃのブロックチェーン内に、不正な契約を含む不正なトランザクションデータが格納されているか否かを判定する（Ｓ７０５）。この判定は、例えば、不正検知部１１０により行われる、第１の不正判定、第２の不正判定、及び、第３の不正判定の少なくともいずれか１つである。

【0384】

それぞれの台帳Ａ、Ｂ、Ｃのブロックチェーン内に、不正な契約を含む不正なトランザクションデータが格納されていると判定した場合（Ｓ７０５でＹｅｓ）、移動体装置Ａ、Ｂ、Ｃは、それぞれ、不正リスト生成スマートコントラクトに不正予約を追加する関数を実行する不正リスト生成実行トランザクションデータを生成する（Ｓ７０６）。つまり、移動体装置Ａ、Ｂ、Ｃは、それぞれ、不正リスト生成スマートコントラクトを動作させるための不正リスト生成実行トランザクションデータを生成する。なお、それぞれの台帳Ａ、Ｂ、Ｃのブロックチェーン内に、不正な契約を含む不正なトランザクションデータが格納されていないと判定した場合（Ｓ７０５でＮｏ）、この処理を終了する。

【0385】

なお、ステップＳ７０５の判定は、図４０で説明した不正予約検知処理が実行されるタイミングと同じタイミングで行われてもよい。

【0386】

次に、移動体装置Ａ、Ｂ、Ｃは、ステップＳ７０６で生成された不正リスト生成実行トランザクションデータを他の移動体装置へ送信する（Ｓ７０７）。これにより、移動体装置Ａ、Ｂ、Ｃのそれぞれは、他の移動体装置で生成された不正リスト生成実行トランザクションデータを取得する。

【0387】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、不正リスト生成実行トランザクションデータの正当性の検証した後に正当性が検証された不正リスト生成実行トランザクションデータを含むブロックを生成し、生成したブロックについて共同でコンセンサスアルゴリズムを実行する（Ｓ７０８）。ステップＳ７０８の具体的な処理は、ステップＳ１０４～Ｓ１０９と同様の処理である。これにより、不正リスト生成実行トランザクションデータは、分散台帳記憶部１０８に記憶されている分散台帳で管理されているブロックチェーンに格納される。

【0388】

次に、移動体装置Ａ、Ｂ、Ｃはそれぞれ、不正リスト生成処理を実行する（Ｓ７０９）。より具体的には、移動体装置Ａ、Ｂ、Ｃはそれぞれ、不正リスト生成実行トランザクションデータを含むブロックが自身の台帳内のブロックチェーンに連結されることで、不正リスト生成スマートコントラクトを実行させて、不正と判定されたトランザクションデータのトランザクションデータＩＤ、ユーザＩＤ、不正なトランザクションデータが生成された時刻等を不正リストに追加する。

【0389】

［効果等］
以上のように、本実施の形態によれば、１以上の第１差異ブロックと１以上の第２差異ブロックとのうちで少ない方に含まれる１以上のトランザクションデータを第１ブロックチェーンに格納することで第１ブロックチェーンを更新した上で、更新後の第１ブロックチェーンに不正な契約情報があるか否かを判定する。このため、不正な契約情報を検知することができ、ブロックチェーンを悪用したサービス対象の不正利用を抑制できる。

【0390】

また、本実施の形態において、不正なトランザクションデータがブロックチェーンに格納されていると判定した場合、不正なトランザクションデータを検知したことを示すインシデントレポートを生成する。インシデントレポートには、不正なトランザクションデータに関する情報、不正の理由などを含む。インシデントレポートを生成することで、どのような不正が行われたかを記録しておくことができる。

【0391】

また、本実施の形態において、不正なトランザクションデータ、又は、不正なトランザクションデータを識別するトランザクションデータＩＤを含む不正リストを生成する。このため、ユーザは、例えば、端末を操作することで、不正なトランザクションデータであると判定されたトランザクションデータを検索することができる。また、不正リストを用いてどのような不正が行われたかを分析し、有効な対策を立てることに活用することができる。

【0392】

［その他の実施の形態等］
以上のように、本開示について上記の実施の形態に基づいて説明してきたが、本開示は、上記の実施の形態に限定されないのはもちろんである。以下のような場合も本開示に含まれる。

【0393】

（１）上記の実施の形態では、サービス対象として、移動体を例に挙げて説明したがこれに限らない。サービス対象は、サービスが利用されないときには他のユーザが利用できないようにロックされていて、サービスを利用する際にロックが解除されるものであればよく、例えばホテルの部屋、電子ロッカーでもよい。また、契約は、例えば移動体１０の利用予約に限らず、例えばホテルの部屋の利用予約、電子ロッカーの利用予約でもよい。

【0394】

（２）上記の実施の形態における各装置は、具体的には、マイクロプロセッサ、ＲＯＭ、ＲＡＭ、ハードディスクユニット、ディスプレイユニット、キーボード、マウスなどから構成されるコンピュータシステムである。前記ＲＡＭまたはハードディスクユニットには、コンピュータプログラムが記録されている。前記マイクロプロセッサが、前記コンピュータプログラムにしたがって動作することにより、各装置は、その機能を達成する。ここでコンピュータプログラムは、所定の機能を達成するために、コンピュータに対する指令を示す命令コードが複数個組み合わされて構成されたものである。

【0395】

（３）上記の実施の形態における各装置は、構成する構成要素の一部または全部は、１個のシステムＬＳＩ（Large Scale Integration：大規模集積回路）から構成されているとしてもよい。システムＬＳＩは、複数の構成部を１個のチップ上に集積して製造された超多機能ＬＳＩであり、具体的には、マイクロプロセッサ、ＲＯＭ、ＲＡＭなどを含んで構成されるコンピュータシステムである。前記ＲＡＭには、コンピュータプログラムが記録されている。前記マイクロプロセッサが、前記コンピュータプログラムにしたがって動作することにより、システムＬＳＩは、その機能を達成する。

【0396】

また、上記の各装置を構成する構成要素の各部は、個別に１チップ化されていても良いし、一部またはすべてを含むように１チップ化されてもよい。

【0397】

また、ここでは、システムＬＳＩとしたが、集積度の違いにより、ＩＣ、ＬＳＩ、スーパーＬＳＩ、ウルトラＬＳＩと呼称されることもある。また、集積回路化の手法はＬＳＩに限るものではなく、専用回路または汎用プロセッサで実現してもよい。ＬＳＩ製造後に、プログラムすることが可能なＦＰＧＡ（Field Programmable Gate Array）や、ＬＳＩ内部の回路セルの接続や設定を再構成可能なリコンフィギュラブル・プロセッサを利用しても良い。

【0398】

さらには、半導体技術の進歩または派生する別技術によりＬＳＩに置き換わる集積回路化の技術が登場すれば、当然、その技術を用いて機能ブロックの集積化を行ってもよい。バイオ技術の適用等が可能性としてありえる。

【0399】

（４）上記の各装置を構成する構成要素の一部または全部は、各装置に脱着可能なＩＣカードまたは単体のモジュールから構成されているとしてもよい。前記ＩＣカードまたは前記モジュールは、マイクロプロセッサ、ＲＯＭ、ＲＡＭなどから構成されるコンピュータシステムである。前記ＩＣカードまたは前記モジュールは、上記の超多機能ＬＳＩを含むとしてもよい。マイクロプロセッサが、コンピュータプログラムにしたがって動作することにより、前記ＩＣカードまたは前記モジュールは、その機能を達成する。このＩＣカードまたはこのモジュールは、耐タンパ性を有するとしてもよい。

【0400】

（５）本開示は、上記に示す方法であるとしてもよい。また、これらの方法をコンピュータにより実現するコンピュータプログラムであるとしてもよいし、前記コンピュータプログラムからなるデジタル信号であるとしてもよい。

【0401】

また、本開示は、前記コンピュータプログラムまたは前記デジタル信号をコンピュータで読み取り可能な記録媒体、例えば、フレキシブルディスク、ハードディスク、ＣＤ－ＲＯＭ、ＭＯ、ＤＶＤ、ＤＶＤ－ＲＯＭ、ＤＶＤ－ＲＡＭ、ＢＤ（Ｂｌｕ－ｒａｙ（登録商標） Ｄｉｓｃ）、半導体メモリなどに記録したものとしてもよい。また、これらの記録媒体に記録されている前記デジタル信号であるとしてもよい。

【0402】

また、本開示は、前記コンピュータプログラムまたは前記デジタル信号を、電気通信回線、無線または有線通信回線、インターネットを代表とするネットワーク、データ放送等を経由して伝送するものとしてもよい。

【0403】

また、本開示は、マイクロプロセッサとメモリを備えたコンピュータシステムであって、前記メモリは、上記コンピュータプログラムを記録しており、前記マイクロプロセッサは、前記コンピュータプログラムにしたがって動作するとしてもよい。

【0404】

また、前記プログラムまたは前記デジタル信号を前記記録媒体に記録して移送することにより、または前記プログラムまたは前記デジタル信号を、前記ネットワーク等を経由して移送することにより、独立した他のコンピュータシステムにより実施するとしてもよい。

【0405】

（６）上記実施の形態及び上記変形例をそれぞれ組み合わせるとしてもよい。

【産業上の利用可能性】

【0406】

本開示は、制御方法、制御装置、及び、プログラムに利用でき、例えば自転車、自動二輪車などの移動体のシェアリングサービスなどでユーザが移動体利用のための契約を行う場合に、料金を払わない不正利用を抑制することができる制御方法、御方法、制御装置、及び、プログラムなどに利用可能である。

【符号の説明】

【0407】

１ システム
１０、１０Ａ、１０Ｂ、１０Ｃ 移動体
１１、１１Ａ、１１Ｂ、１１Ｃ 端末
２０ 管理サーバ
１００ 移動体装置
１０１、１１０１ 入力部
１０２ トランザクションデータ生成部
１０３ トランザクションデータ検証部
１０４ ブロック生成部
１０５ 同期部
１０６ スマートコントラクト実行部
１０７ ブロックチェーン管理部
１０８ 分散台帳記憶部
１０９ 状態記憶部
１１０ 不正検知部
１１１、１１０３ 通信部
１１２、１１０２ 表示部

【図1】

【図2A】

【図2B】

【図2C】

【図2D】

【図2E】

【図2F】

【図3A】

【図3B】

【図3C】

【図4】

【図5A】

【図5B】

【図5C】

【図6】

【図7】

【図8】

【図9A】

【図9B】

【図9C】

【図10】

【図11】

【図12】

【図13】

【図14】

【図15A】

【図15B】

【図15C】

【図16】

【図17】

【図18】

【図19】

【図20】

【図21】

【図22】

【図23】

【図24A】

【図24B】

【図24C】

【図25】

【図26】

【図27】

【図28】

【図29】

【図30】

【図31】

【図32】

【図33】

【図34A】

【図34B】

【図34C】

【図34D】

【図35】

【図36】

【図37】

【図38】

【図39】

【図40】

【図41】

【図42】