JP2024018727A - 情報処理システム、プログラム及び情報処理方法 - Google Patents

Abstract

【課題】複数の支払い方法を組み合わせて、より利便性の高いサービスを提供することが可能な技術を提供すること。【解決手段】本発明の一態様によれば、情報処理システムが提供される。この情報処理システムは、制御部を有する。制御部は、予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とに基づいて、仮想的に設定された残高である第１仮想残高を取得する。第１仮想残高に関する情報を表示させる。【選択図】図１

Description

本発明は、情報処理システム、プログラム及び情報処理方法に関する。

従来の技術において、複数種類の電子マネーを保有可能な携帯電話機と、電子マネーによる決済が可能な電子決済端末とを備える電子決済システムが知られている（特許文献１）。

特開２００９－１８１２２４号公報

ところで、近年において、複数の支払い方法を組み合わせて、より利便性の高いサービスを提供するには、依然として改良の余地があった。

本発明では上記事情を鑑み、複数の支払い方法を組み合わせて、より利便性の高いサービスを提供することが可能な技術を提供することとした。

本発明の一態様によれば、情報処理システムが提供される。この情報処理システムは、制御部を有する。制御部は、予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とに基づいて、仮想的に設定された残高である第１仮想残高を取得する。第１仮想残高に関する情報を表示させる。

本開示によれば、複数の支払い方法を組み合わせて、より利便性の高いサービスを提供することが可能な技術を提供することが可能となる。

情報処理システム１のシステム構成の一例を示す図である。 サーバ装置２のハードウェア構成の一例を示す図である。 クライアント装置３のハードウェア構成の一例を示す図である。 情報処理システム１によって実行される情報処理の流れを示すアクティビティの一例を示す図である。 機能提供画面４の一例を示す図である。 あと払い利用申込画面５の一例を示す図である。 仮想残高を構成する決定性有限オートマトンの一例を示す図である。 図７に示す仮想残高を構成する決定性有限オートマトンを用いた状態遷移の一例を示す図である。 機能提供画面６の一例を示す図である。 変形例の利用可能額表示領域７０の一例を示す図である。

［実施形態］
以下、図面を用いて本発明の実施形態について説明する。以下に示す実施形態中で示した各種特徴事項は、互いに組み合わせ可能である。

ところで、本実施形態に登場するソフトウェアを実現するためのプログラムは、コンピュータが読み取り可能な非一時的な記録媒体（Ｎｏｎ－Ｔｒａｎｓｉｔｏｒｙ Ｃｏｍｐｕｔｅｒ－Ｒｅａｄａｂｌｅ Ｍｅｄｉｕｍ）として提供されてもよいし、外部のサーバからダウンロード可能に提供されてもよいし、外部のコンピュータで当該プログラムを起動させてクライアント装置でその機能を実現（いわゆるクラウドコンピューティング）するように提供されてもよい。

また、本実施形態において「部」とは、例えば、広義の回路によって実施されるハードウェア資源と、これらのハードウェア資源によって具体的に実現されうるソフトウェアの情報処理とを合わせたものも含みうる。また、本実施形態においては様々な情報を取り扱うが、これら情報は、例えば電圧・電流を表す信号値の物理的な値、０又は１で構成される２進数のビット集合体としての信号値の高低、又は量子的な重ね合わせ（いわゆる量子ビット）によって表され、広義の回路上で通信・演算が実行されうる。

また、広義の回路とは、回路（Ｃｉｒｃｕｉｔ）、回路類（Ｃｉｒｃｕｉｔｒｙ）、プロセッサ（Ｐｒｏｃｅｓｓｏｒ）、及びメモリ（Ｍｅｍｏｒｙ）等を少なくとも適当に組み合わせることによって実現される回路である。すなわち、特定用途向け集積回路（Ａｐｐｌｉｃａｔｉｏｎ Ｓｐｅｃｉｆｉｃ Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ：ＡＳＩＣ）、プログラマブル論理デバイス（例えば、単純プログラマブル論理デバイス（Ｓｉｍｐｌｅ Ｐｒｏｇｒａｍｍａｂｌｅ Ｌｏｇｉｃ Ｄｅｖｉｃｅ：ＳＰＬＤ）、複合プログラマブル論理デバイス（Ｃｏｍｐｌｅｘ Ｐｒｏｇｒａｍｍａｂｌｅ Ｌｏｇｉｃ Ｄｅｖｉｃｅ：ＣＰＬＤ）、及びフィールドプログラマブルゲートアレイ（Ｆｉｅｌｄ Ｐｒｏｇｒａｍｍａｂｌｅ Ｇａｔｅ Ａｒｒａｙ：ＦＰＧＡ））等を含むものである。

１．情報処理システム１のシステム構成
まず、図１を参照しながら本実施形態の情報処理システム１のシステム構成について説明する。

図１は、情報処理システム１のシステム構成の一例を示す図である。図１が示すように、情報処理システム１は、サーバ装置２、クライアント装置３と、ネットワークＮとを含む。サーバ装置２は、ネットワークＮを介して、クライアント装置３と通信可能に構成される。これにより、サーバ装置２及びクライアント装置３は、相互に様々な情報を送信又は受信することができる。なお、サーバ装置２及びクライアント装置３は、情報処理装置の一例であり、本実施形態に限定されるものではない。クライアント装置３は、ＰＣ（Ｐｅｒｓｏｎａｌ Ｃｏｍｐｕｔｅｒ）、タブレット型コンピュータ、スマートフォン等のいずれであってもよい。なお、サーバ装置２及びクライアント装置３は、複数あってもよい。ここで、情報処理システム１に例示されるシステムとは、１つ又はそれ以上の装置又は構成要素からなるものである。したがって、サーバ装置２単体又はクライアント装置３単体であっても情報処理システム１に例示されるシステムに含まれる。

２．ハードウェア構成
次に、図２を参照しながら本実施形態のサーバ装置２及びクライアント装置３のハードウェア構成について説明する。

２．１．サーバ装置２のハードウェア構成
図２は、サーバ装置２のハードウェア構成の一例を示す図である。図２に示されるように、サーバ装置２は、制御部２１と、記憶部２２と、通信部２３とを備え、これらの構成要素がサーバ装置２の内部において通信バスを介して電気的に接続されている。サーバ装置２は、実施形態に係る処理を実行する。

制御部２１は、サーバ装置２に関連する全体動作の処理及び制御を行う。制御部２１は、例えば中央処理装置（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ：ＣＰＵ）である。制御部２１が、記憶部２２に記憶された所定のプログラムを読み出し、プログラムに基づき処理を実行することによって、サーバ装置２に係る種々の機能、例えば、後述する図４～図１０に示される処理が実現される。なお、制御部２１は単一であることに限定されず、機能ごとに複数の制御部２１を有するように実施してもよい。また、それらの組合せであってもよい。

記憶部２２は、前述の記載により定義される様々な情報を記憶する。これは、例えば、制御部２１によって実行されるサーバ装置２に係る種々のプログラム等を記憶するソリッドステートドライブ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ：ＳＳＤ）等のストレージデバイスとして、プログラムの演算に係る一時的に必要な情報（引数、配列等）を記憶するランダムアクセスメモリ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ：ＲＡＭ）等のメモリとして実施されうる。記憶部２２は、制御部２１によって実行されるサーバ装置２に係る種々のプログラム、変数及び制御部２１がプログラムに基づき処理を実行する際に用いるデータ等を記憶している。また、記憶部２２は、従業員の情報を格納するデータベースを記憶する。記憶部２２は、記憶媒体の一例である。

通信部２３は、ＵＳＢ、ＩＥＥＥ１３９４、Ｔｈｕｎｄｅｒｂｏｌｔ（登録商標）、有線ＬＡＮネットワーク通信等といった有線型の通信手段が好ましいものの、無線ＬＡＮネットワーク通信、ＬＴＥ／３Ｇ／４Ｇ／５Ｇ等のモバイル通信、ＢＬＵＥＴＯＯＴＨ（登録商標）通信等を必要に応じて含めてもよい。すなわち、これら複数の通信手段の集合として実施することがより好ましい。すなわち、サーバ装置２は、通信部２３を介して、外部から種々の情報を通信してもよい。

２．２．クライアント装置３のハードウェア構成
図３は、クライアント装置３のハードウェア構成の一例を示す図である。図３に示されるように、クライアント装置３は、制御部３１と、記憶部３２と、通信部３３と、入力部３４と、出力部３５と、を有し、これらの構成要素がクライアント装置３の内部において通信バスを介して電気的に接続されている。クライアント装置３は、実施形態に係る処理を実行する。クライアント装置３の制御部３１、記憶部３２及び通信部３３については、サーバ装置２の制御部２１、記憶部２２及び通信部２３を参照されたい。

入力部３４は、クライアント装置３の筐体に含まれてもよいし、外付けされてもよい。例えば、入力部３４は、出力部３５と一体となってタッチパネルとして実施されてもよい。タッチパネルであれば、ユーザは、タップ操作、スワイプ操作等を入力することが可能である。もちろん、タッチパネルに代えて、スイッチボタン、マウス、ＱＷＥＲＴＹキーボード等を採用してもよい。すなわち、入力部３４がユーザによってなされた操作に基づく入力を受け付ける。当該入力が命令信号として、通信バスを介して制御部３１に転送され、制御部３１が必要に応じて所定の制御又は演算を実行しうる。

出力部３５は、クライアント装置３の表示部として機能することが可能である。出力部３５は、例えば、クライアント装置３の筐体に含まれてもよいし、外付けされてもよい。出力部３５は、ユーザが操作可能なグラフィカルユーザインターフェース（Ｇｒａｐｈｉｃａｌ Ｕｓｅｒ Ｉｎｔｅｒｆａｃｅ：ＧＵＩ）の画面を表示する。これは例えば、ＣＲＴディスプレイ、液晶ディスプレイ、有機ＥＬディスプレイ及びプラズマディスプレイ等の表示デバイスを、クライアント装置３の種類に応じて使い分けて実施することが好ましい。

３．情報処理システム１の動作の流れ
本実施形態の情報処理システム１で実行される好ましい情報処理の一例を説明する。本実施形態では、
ユーザは、クライアント装置３を操作することにより、ウォレット払いとあと払いとを使用して支払いをする。ある観点によると、ユーザは、あと払いの利用者である。

「ウォレット払い」とは、予めチャージした金額から支払いがされる支払い方法である。ウォレット払いは、前払い又は即時払い支払いと称されることがある。また、ウォレット払いとは、プリペイドの概念を含んでもよい。また、「ウォレット残高」とは、ウォレット払いにより使用可能な態様で予めチャージされた金額のことをいう。

「あと払い」とは、所定期間経過後に支払いが行われる支払い方法である。あと払いは、ひと月まとめてのあと払い、分割払い及びリボルビング払いなどの支払い方法を含んでもよい。「あと払い利用枠」とは、あるユーザが使用可能なあと払いの利用額の上限である。あと払い利用額は、ユーザによって異なる額が設定され、例えば、ユーザの支払い能力、希望額等に応じて設定される。「あと払い利用額」とは、あと払いを利用した金額をいう。

あと払い利用額には、未確定のあと払い利用額と、引き落とし前の確定したあと払い利用額と、引き落とし後の確定したあと払い利用額とが含まれる。「未確定のあと払い利用額」とは、まだ支払うことが確定していないあと払い利用額のことである。すなわち、未確定のあと払い利用額は、ウォレット残高へのチャージ、更なるあと払いの利用等により変動する。「引き落とし前の確定したあと払い利用額」とは、支払うことが確定しており、かつ、ユーザの引落口座から未だ引き落としがされていないあと払い利用額である。「引き落とし後の確定したあと払い利用額」とは、ユーザの引落口座から引き落としがされたあと払い利用額である。

また、本実施形態では、ウォレット残高がない場合又は不足している場合は、あと払いにより支払われる処理が行われる。また、あと払い利用額がある状態でウォレット残高にチャージされた場合は、あと払い利用額を打ち消したりする処理が行われる。それらの場合、未確定のあと払い利用額と引き落とし前の確定したあと払い利用額とを識別する必要がある。具体的には、あと払い利用額がある状態で、月が切り替わった場合にあと払いを使用したことによる支払額が確定し、その後２０日に確定したあと払いの支払額が、引落口座から引き落とされる。この引き落としがされるまでの間、未確定のあと払い利用額と引き落とし前の確定したあと払い利用額とが発生し、これらを識別する必要がある。本実施形態では、ウォレット残高とあと払い利用額が相互に関係する中で、未確定のあと払い利用額と引き落とし前の確定したあと払い利用額とを識別するために、第１仮想残高ｂ１と第２仮想残高ｂ２とを定義した。

「第１仮想残高ｂ１」とは、ウォレット残高とあと払い利用額により定義される仮想残高である。例えば、第１仮想残高ｂ１は、ウォレット残高から、未確定のあと払い利用額と、引き落とし前の確定したあと払い利用額とを引いた金額である。第１仮想残高ｂ１の算出にあたって、引き落とし前の確定したあと払い利用額か未確定のあと払い利用額かを区別せずに、単にあと払い利用額が使用される。

「第２仮想残高ｂ２」とは、第１仮想残高ｂ１と組み合わせることにより、引き落とし前の確定したあと払い利用額を定義する仮想残高である。例えば、第２仮想残高ｂ２は、引き落とし前の確定したあと払い利用額を第１仮想残高ｂ１に加算したものである。すなわち、第２仮想残高ｂ２は、第１仮想残高ｂ１と比較して、引き落とし前の確定したあと払い利用額を加算しているため、引き落とし前の確定したあと払い利用額を定義することができる。

本明細書において、ネットワークＮ、通信部２３及び通信部３３を介して送受信された種々の情報は、記憶部２２及び記憶部３２に記憶されるものとする。

本明細書において、ネットワークＮ、通信部２３、通信部３３及び入力部３４に関連する情報処理を省略して記載することがある。例えば、制御部３１がユーザによる入力部３４への操作を介して所定の入力を受け付けることを、単に制御部３１がユーザから所定の入力を受け付けると記載することがある。また、制御部２１が通信部２３とネットワークＮと通信部３３とを介して、クライアント装置３との間で情報を送受信することを、単に制御部２１がクライアント装置３に情報を送信する、又は単に制御部２１がクライアント装置３から情報を受信すると省略して記載することがある。制御部３１が通信部３３とネットワークＮと通信部２３とを介して、サーバ装置２と情報を送受信する場合についても同様である。

本明細書において、出力部３５に情報を表示させる情報処理について、単に制御部３１がある情報を出力部３５に表示させるものとして、また、間接的には制御部２１がある情報を出力部３５に表示させるものとして省略して説明することがある。その場合例えば次に説明するような情報処理が実行されている。例えば、制御部３１は、ユーザによる画面の状態を変化させる指示を受け付ける。制御部３１は、その指示に基づいて表示情報を生成する。制御部３１は、生成した表示情報に基づいて、出力部３５への表示を制御する。また、他の例として、制御部３１は、ユーザによる画面に情報を表示させるための指示をユーザから受け付ける。制御部３１は、その指示をサーバ装置２に送信する。制御部２１は、その指示をクライアント装置３から受信する。制御部２１は、その指示に基づいて表示情報を生成する。制御部２１は、生成した表示情報をクライアント装置３に送信する。制御部３１は、生成した表示情報をサーバ装置２から受信する。制御部３１は、生成した表示情報に基づいて、出力部３５への表示を制御する。ここで表示情報とは、画面、画像、アイコン、テキスト等といった、ユーザが視認可能な態様で生成された情報そのものだけでなく、表示させるためのレンダリング情報を含む概念である。

３．１ 情報処理の概要
本節では、前述した情報処理システム１による、情報処理方法を説明する。図４は、情報処理システム１によって実行される情報処理の流れを示すアクティビティの一例を示す図である。図４では、ユーザが支払いサービスを利用するにあたって、ログインをしてから（アクティビティＡ１）、あと払いの申込みをし（アクティビティＡ２～Ａ９）、あと払いの権限が付与され（アクティビティＡ１０）、支払い又はチャージを実行するまで（アクティビティＡ１１～Ａ１８）の情報処理の流れについて説明する。

まず、情報処理システム１は、ログイン処理を実行する（アクティビティＡ１）。例えば、制御部３１は、ユーザから、ログイン情報（ＩＤ及びパスワード）の入力及びログインの指示を受け付け、受け付けたログイン情報をサーバ装置２に送信する。その後、制御部２１は、ログイン情報をクライアント装置３から受信する。制御部２１は、受信したログイン情報と、記憶部２２に記憶されているそのユーザのログイン情報とが一致するか否かを判定する。ログイン情報が一致している場合、制御部２１は、種々の機能を提供するため機能提供画面４（図５を用いて後述）を出力部３５に表示させる。

続いて、制御部３１は、ユーザから、機能提供画面４に含まれる利用申込ボタン４３０（図５を用いて後述）の押下を受け付ける（アクティビティＡ２）。次に、利用申込ボタン４３０の押下を受け付けたことに応じて、制御部３１は、あと払い利用申込の要求をサーバ装置２に送信する（アクティビティＡ３）。

続いて、制御部２１は、あと払い利用申込の要求をクライアント装置３から受け付ける（アクティビティＡ４）。次に、あと払い利用申込の指示をクライアント装置３から受け付けることに応じて、制御部２１は、あと払いの利用開始に必要な情報の要求をクライアント装置３に送信する（アクティビティＡ５）。

続いて、制御部３１は、あと払いの利用開始に必要な情報の要求をサーバ装置２から受信する（アクティビティＡ６）。次に、制御部３１は、あと払い利用申込画面５（図６を用いて後述）等のあと払いの利用開始に必要な情報を入力するための画面を出力部３５に表示させる。制御部３１は、ユーザから、あと払い利用申込画面５等に対してあと払いの利用開始に必要な情報の入力を受け付ける（アクティビティＡ７）。次に、制御部３１は、あと払いの利用開始に必要な情報をサーバ装置２に送信する（アクティビティＡ８）。

続いて、制御部２１は、あと払いの利用開始に必要な情報をクライアント装置３から受信する（アクティビティＡ９）。次に、制御部２１は、あと払いの権限を付与し、あと払いの利用可能枠を決定する（アクティビティＡ１０）。このとき、制御部２１は、あと払いの利用可能枠を、ユーザの預金残高の推移やユーザの希望額などに応じて設定する。なお、あと払いの利用可能枠は、サービスの提供者による審査により設定されてもよい。その場合、サービスの提供者が使用する情報処理装置は、あと払いの利用可能枠の審査結果をサーバ装置２に送信する。次に、制御部２１は、あと払いの権限がある旨を識別できる表示情報をクライアント装置３に送信する（アクティビティＡ１１）。

続いて、制御部３１は、あと払いの権限がある旨を識別できる表示情報をサーバ装置２から受信する（アクティビティＡ１２）。Ａ１２の処理を実行するにあたって、ユーザがサービスからログアウトしていた場合、情報処理システム１は、ユーザにログイン処理を再度促してもよい。次に、制御部３１は、ユーザから、決済の指示を受け付ける（アクティビティＡ１３）。決済の指示には、ウォレット残高へのチャージの指示、又は支払いの指示が含まれる。次に、制御部３１は、決済の指示をサーバ装置２に送信する（アクティビティＡ１４）。

続いて、制御部２１は、決済の指示をクライアント装置３から受信する（アクティビティＡ１５）。次に、制御部２１は、決済の指示に基づいて処理を実行する（アクティビティＡ１６）。このとき、制御部２１は、予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とを取得する。制御部２１は、ウォレット残高からあと払い利用額を引くことで、仮想的に設定された残高である第１仮想残高ｂ１を取得する。次に、制御部２１は、支払い又はチャージ後の表示情報をクライアント装置３に送信する（アクティビティＡ１７）。支払い又はチャージ後の表示情報は、第１仮想残高ｂ１に関する情報を含む。

最後に、制御部３１は、支払い又はチャージ後の表示情報をサーバ装置２から受信する（アクティビティＡ１８）。制御部３１は、決済後の表示情報に基づいて、第１仮想残高ｂ１に関する情報を出力部３５に表示させる。ここで表示される第１仮想残高ｂ１に関する情報は、ユーザが支払いに使用することができる金額の総額である。ある観点によると、第１仮想残高ｂ１に関する情報は、第１仮想残高ｂ１から算出される金額の情報であってもよい。また、ある観点によると、制御部２１は、機能提供画面６（図９を用いて後述）を出力部３５に表示させる。

本実施形態によれば、複数の支払い方法を組み合わせて、より利便性の高いサービスを提供することが可能な技術を提供することが可能となる。また、第１仮想残高ｂ１が設定されるため、ユーザが使用可能な金額をユーザが認識しやすくなる。さらに、複数の支払い方法を組み合わせた処理を行うにあたって、複雑な情報処理を必要としないため、サーバ装置２及びクライアント装置３のキャッシュメモリの使用も少なくすることができる。また、キャッシュメモリの使用を少なくすることができる結果として、大掛かりな装置又はコンピュータ等を必要としないため、安価に情報処理を実行することができる。

３．２ 情報処理の詳細
次に、図５～図９を用いて、上記概説した情報処理の詳細部分を説明する。まず、図５を用いて、図４のアクティビティＡ２のあと払い利用申込の要求の受付にあたって、表示される機能提供画面４の詳細について説明する。

図５は、機能提供画面４の一例を示す図である。機能提供画面４は、ユーザに種々の機能を提供するための画面である。図５の機能提供画面４には、ウォレット残高表示領域４１と、あと払い申込領域４３と、広告領域４４と、入出金履歴表示領域４５とが少なくとも含まれる。

ウォレット残高表示領域４１は、ウォレット残高に関する情報が表示される領域である。ウォレット残高表示領域４１は、ウォレット残高情報４１０と、ポイント残高情報４１１とを含む。ウォレット残高情報４１０は、現在のウォレット残高の情報である。例えば、ウォレット残高情報４１０は、「１，５００円」等の情報である。ポイント残高情報４１１は、現在のポイントの残高に関する情報である。例えば、ポイント残高情報４１１は、「５ポイント」等の情報である。ここでポイントは、１ポイントあたり１円として、支払いに利用することができる。ポイントは、所定のサービスへの新規登録、ウォレット残高の使用による支払い、あと払いの使用による支払い等により付与される。

あと払い申込領域４３は、あと払いの申込みに関する情報が表示される領域である。あと払い申込領域４３は、利用申込ボタン４３０を含む。利用申込ボタン４３０は、あと払いの申込みをするためのボタンである。制御部２１は、利用申込ボタン４３０の押下と、その後の所定の操作とを受け付けることで、図６に示すあと払い利用申込画面５を出力部３５に表示させる。

広告領域４４は、所定のサービスに関する広告が表示される領域である。広告領域４４には、所定のサービスを利用することにより得られる特典の情報が表示されてもよい。

入出金履歴表示領域４５は、入金又は出金に関する情報が表示される領域である。入出金履歴表示領域４５は、入金情報４５０と、出金情報４５１とを含む。入金情報４５０は、ユーザが入金した日時と、入金額とを含む情報である。例えば、入金情報４５０は、「２０２２年１月１日 １０：００」に、「２，０００円」が入金されたことを示す情報である。出金情報４５１は、ユーザが出金した日時と、取引内容情報と、出金額と、ウォレットマーク４５１ａとを含む。取引内容情報は、支払い先を特定するための情報である。ウォレットマーク４５１ａは、ウォレット残高により支払われたことを示すための情報である。例えば、出金情報４５１は、「２０２２年１月２日 １２：００」に、「マネーコーヒー」にて、ウォレット残高を使用することにより、「５００円」が出金されたことを示す情報である。

次に、図６を用いて、図４のアクティビティＡ７のあと払いの利用申込に必要な情報の入力の受付にあたって、表示されるあと払い利用申込画面５の詳細について説明する。

図６は、あと払い利用申込画面５の一例を示す図である。あと払い利用申込画面５は、あと払いの利用申込にあたって表示される画面である。あと払い利用申込画面５は、希望利用枠入力領域５０と、引落口座選択領域５１と、内容申込ボタン５２とを含む。希望利用枠入力領域５０は、ユーザが希望するあと払いの利用枠としての金額を入力可能に構成されている領域である。引落口座選択領域５１は、引落口座を選択するための領域である。引落口座は、特定のタイミングで、引き落とし前の確定したあと払い利用額が引き落とされる口座である。特定のタイミングは、引き落とし前の確定したあと払い利用額が、引き落とし後の確定したあと払い利用額になるタイミングである。特定のタイミングは、例えば、毎月２０日である。引落口座選択領域５１は、所定の銀行口座をプルダウン形式で選択可能に構成される。ここで所定の銀行口座は、他のサービスで連携している法人又は個人の銀行口座であってもよい。例えば、Ｍｏｎｅｙ Ｆｏｒｗａｒｄ Ｐａｙ ｆｏｒ Ｂｕｓｉｎｅｓｓであと払いのサービスを利用する場合、引落口座選択領域５１は、Ｍｏｎｅｙ Ｆｏｒｗａｒｄ クラウドでアカウントアグリゲーションを使って会計情報を取得するために連携している銀行口座を選択可能に構成されてもよい。内容申込ボタン５２は、希望利用枠入力領域５０と、引落口座選択領域５１とに入力された情報を基にあと払いを申込するためのボタンである。制御部２１は、内容申込ボタン５２が押下されたことに応じて、あと払いの権限をユーザのアカウントに付与する。

次に、図７及び図８を示しながら、図４のアクティビティＡ１６の決済の指示に基づく処理の実行の詳細について説明する。先に説明する図７では、状態集合Ｑと入力の集合Σについて説明する。

図７は、仮想残高を構成する決定性有限オートマトンの一例を示す図である。図７における決定性有限オートマトンの状態集合Ｑは、以下のように第１状態Ｓ１と、第２状態Ｓ２と、第３状態Ｓ３とを定義する。第１状態Ｓ１、第２状態Ｓ２及び第３状態Ｓ３のそれぞれは、決定性有限オートマトンにおける受理状態である。

第１状態Ｓ１、第２状態Ｓ２及び第３状態Ｓ３は、第１仮想残高ｂ１及び第２仮想残高ｂ２を用いて以下のように表すことができる。数２に示す通り、第１状態Ｓ１では、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上である。
数３に示す通り、第２状態Ｓ２では、第１仮想残高ｂ１が０未満であり、第２仮想残高ｂ２が０以上である。
数４に示す通り、第３状態Ｓ３では、第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満である。

続いて、入力の集合Σを説明する。図７の決定性有限オートマトンにおける入力の集合Σは、入力ｐ、ｑ、ｒ、ｓ、ｔ、ｕを用いて、以下のように定義される。
利用可能額を増やす入金の集合Ｆ１は、入力ｓ、ｔ、ｕを用いて、以下のように定義される。
利用可能額を減らす出金の集合Ｆ２は、入力ｐ、ｑ、ｒを用いて、以下のように定義される。

ここで入金又は出金される金額をｘとおくと、各入力ｐ、ｑ、ｒ、ｓ、ｔ、ｕは、以下の条件を満たすものとする。出金される金額ｘが第２仮想残高ｂ２よりも大きい場合を、入力ｐとする。
出金される金額ｘが第１仮想残高ｂ１よりも大きく、第２仮想残高ｂ２以下である場合を、入力ｑとする。
出金される金額ｘが第１仮想残高ｂ１以下である場合を、入力ｒとする。
入金される金額ｘが第１仮想残高ｂ１に－１を乗じた値よりも大きい場合を、入力ｓとする。
入金される金額ｘが第２仮想残高ｂ２に－１を乗じた値よりも大きく、第１仮想残高ｂ１に－１を乗じた値以下である場合を、入力ｔとする。
入金される金額ｘが第２仮想残高ｂ２に－１を乗じた値以下である場合を、入力ｕとする。

また、図７における出力０は、あと払い明細を発行しないことを示す。図７における出力１は、あと払い明細を発行することを示す。ここで、あと払い明細は、あと払いによるものであることを示す明細である。あと払い明細は、あと払い利用額等の金額に関する情報と、あと払いの使用日時等の日付に関する情報のうち少なくとも１以上を含む。

なお拘束条件は、２つある。１つ目の拘束条件は、数１４に示す通り、第２仮想残高ｂ２の値は、第１仮想残高ｂ１の値以上であることである。
２つ目の拘束条件は、数１５に示す通り、入金又は出金される金額ｘは、０以上であることである。
拘束条件を満たさないため、状態Ｓ２において、ｒ、ｕは入力されない。

次に、図８を示しながら、これまでに定義したウォレット残高と、引き落とし前の確定したあと払い利用額と、未確定のあと払い利用額と、第１仮想残高ｂ１と、第２仮想残高ｂ２と、各状態Ｓ１、Ｓ２、Ｓ３と、各入力ｐ、ｑ、ｒ、ｓ、ｔ、ｕとの関係性について具体例を説明する。

図８は、図７に示す仮想残高を構成する決定性有限オートマトンを用いた状態遷移の一例を示す図である。ここで初期状態は、（ｂ１，ｂ２）＝（０，０）であるものとする。初期状態は、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上であり数２の条件を満たすため、第１状態Ｓ１である。また、図８に示す例では、未確定のあと払い利用額は、月の切り替わりのタイミングで、引き落とし前の確定したあと払い利用額となる。月の切り替わりのタイミングは、所定のタイミングの一例である。引き落とし前の確定したあと払い利用額は、毎月２０日に、予め設定された引落口座から引き落としがされる。毎月２０日は、特定のタイミングの一例である。

［１月１日の処理］
１月１日に２，０００円の金額がウォレット残高にチャージされる場合について説明する。
制御部２１は、ウォレット残高を０から２，０００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を０のままとする。
制御部２１は、第１仮想残高ｂ１を０から２，０００円にする。
制御部２１は、第２仮想残高ｂ２を０から２，０００円にする。
第１仮想残高ｂ１にー１を乗じた値が０であり、０よりも大きい２，０００円が入金されたこととなるため、数１１に従い、制御部２１は、入力ｓを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上のままであり数２の条件を満たすため、制御部２１は、第１状態Ｓ１のままとする。

［１月２日の処理］
１月２日に５００円の金額がウォレット残高から支払われる場合について説明する。
制御部２１は、ウォレット残高を２，０００円から１，５００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を０のままとする。
制御部２１は、第１仮想残高ｂ１を２，０００円から１，５００円にする。
制御部２１は、第２仮想残高ｂ２を２，０００円から１，５００円にする。
第１仮想残高ｂ１が２，０００円の状態で、第１仮想残高ｂ１よりも小さい５００円が出金されたこととなるため、数１０に従い、制御部２１は、入力ｒを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上のままであり数２の条件を満たすため、制御部２１は、第１状態Ｓ１のままとする。

［１月３日の処理］
１月３日に２，５００円の金額がウォレット残高から支払われる場合について説明する。
制御部２１は、ウォレット残高を１，５００円から０にする。
制御部２１は、未確定のあと払い利用額を０から１，０００円とする。
制御部２１は、引き落とし前の確定したあと払い利用額を０のままとする。
制御部２１は、第１仮想残高ｂ１を１，５００円から－１，０００円とする。すなわち、制御部２１は、ウォレット残高（１，５００円）を超える金額（２，５００円）の支払いがされる場合、ウォレット残高（１，５００円）を全て消費し、かつ、不足している支払い分（１，０００円）をあと払いにより支払い、第１仮想残高ｂ１（１，５００円）から、消費されたウォレット残高の金額（１，５００円）と、あと払いにより支払われた金額（１，０００円）とを差し引くことで、支払い後の第１仮想残高ｂ１（－１，０００円）を取得する。
制御部２１は、第２仮想残高ｂ２を１，５００円から－１，０００円とする。
第２仮想残高ｂ２が１，０００円の状態で、第２仮想残高ｂ２よりも大きい２，５００円が出金されることとなるため、数８に従い、制御部２１は、入力ｐを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満となり数４の条件を満たすため、制御部２１は、第１状態Ｓ１から第３状態Ｓ３に状態を遷移する。
制御部２１は、前記第２仮想残高が１，５００円から－１，０００円となり０を下回っているため、あと払い明細を発行する。第２仮想残高ｂ２が０を下回っていることは、第２仮想残高ｂ２が所定の閾値を超えていることの一例である。

［２月１日の処理］
２月１日に請求が確定する場合について説明する。
制御部２１は、ウォレット残高を０のままとする。
制御部２１は、未確定のあと払い利用額を１，０００円から０にする。
制御部２１は、引き落とし前の確定したあと払い利用額を０から１０００円にする。
制御部２１は、第１仮想残高ｂ１を－１，０００円のままとする。第１仮想残高ｂ１は、ウォレット残高から、引き落とし前の確定したあと払い利用額と、未確定のあと払い利用額と額を差し引いた金額である。
制御部２１は、第２仮想残高ｂ２を－１，０００円から０にする。制御部２１は、２月への月の切り替わりのタイミングにおいて、引き落とし前の確定したあと払いの利用額（１，０００円）を定義する、第２仮想残高ｂ２を管理する。
第１仮想残高ｂ１が０未満のままであり、第２仮想残高ｂ２が０以上となり数３の条件を満たすため、制御部２１は、第３状態Ｓ３から第２状態Ｓ２に状態を遷移する。

［２月２日の処理］
２月２日に３，０００円の金額があと払いで支払われる場合について説明する。
制御部２１は、ウォレット残高を０のままとする。
制御部２１は、未確定のあと払い利用額を０から３，０００円にする。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－１，０００円から－４，０００円にする。
制御部２１は、第２仮想残高ｂ２を０から－３，０００円にする。
第２仮想残高ｂ２が０円の状態で、第２仮想残高ｂ２よりも大きい３，０００円が出金されたこととなるため、数８に従い、制御部２１は、入力ｐを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満となり数４の条件を満たすため、制御部２１は、第２状態Ｓ２から第３状態Ｓ３に状態を遷移する。
制御部２１は、前記第２仮想残高が０から－３，０００円となり０を下回っているため、あと払い明細を発行する。

［２月３日の処理］
２月３日に３，５００円の金額がチャージされる場合について説明する。
制御部２１は、ウォレット残高を０から５００円にする。
制御部２１は、未確定のあと払い利用額を１，０００円から０にする。すなわち、制御部２１は、未確定のあと払い利用額（１，０００円）がある状態でウォレット残高にチャージした場合、あと払い利用額を相殺する。
制御部２１は、引き落とし前の確定したあと払い利用額を１，０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－４，０００円から－５００円にする。
制御部２１は、第２仮想残高ｂ２を－３，０００円から５００円にする。
第１仮想残高ｂ１が－４，０００円で、第２仮想残高ｂ２が－３，０００円の状態で、第２仮想残高ｂ２に－１を乗じた値よりも大きく、かつ、第１仮想残高ｂ１に－１を乗じた値よりも小さい３，５００円が入金されたこととなるため、数１２に従い、制御部２１は、入力ｔを処理する。このとき、第１仮想残高ｂ１が０未満のまま、かつ、第２仮想残高ｂ２が０以上となり数３の条件を満たすため、制御部２１は、第３状態Ｓ３から第２状態Ｓ２に遷移する。
制御部２１は、未確定のあと払い利用額（１，０００円）がウォレット残高へのチャージにより相殺されたため、あと払い明細を発行する。

［２月４日の処理］
２月４日に２００円の金額がウォレット残高から支払われる場合について説明する。
制御部２１は、ウォレット残高を５００円から３００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－５００円から－７００円にする。
制御部２１は、第２仮想残高ｂ２を５００円から３００円にする。
第１仮想残高ｂ１が－５００円で、第２仮想残高ｂ２が５００円の状態で、第１仮想残高ｂ１よりも大きく、かつ、第２仮想残高ｂ２よりも小さい２００円が出金されたこととなるため、数９に従い、制御部２１は、入力ｑを処理する。このとき、第１仮想残高ｂ１が０未満のまま、かつ、第２仮想残高ｂ２が０以上のままであり数３の条件を満たすため、制御部２１は、第２状態Ｓ２のままとする。

［２月５日の処理］
２月５日にウォレット残高とあと払いから合わせて１，０００円の金額が支払われた場合について説明する。
制御部２１は、ウォレット残高を３００円から０にする。
制御部２１は、未確定のあと払い利用額を０から７００円にする。
制御部２１は、引き落とし前の確定したあと払い利用額を１，０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－７００円から－１，７００円にする。すなわち、制御部２１は、ウォレット残高（３００円）を超える金額（１，０００円）の支払いがされる場合、ウォレット残高（３００円）を全て消費し、かつ、不足している支払い分（７００円）をあと払いにより支払い、第１仮想残高ｂ１（－７００円）から、消費されたウォレット残高の金額（３００円）と、あと払いにより支払われた金額（７００円）とを差し引くことで、支払い後の第１仮想残高ｂ１（－１，７００円）を取得する。
制御部２１は、第２仮想残高ｂ２を３００円から－７００円にする。
第１仮想残高ｂ１が－７００円で、第２仮想残高ｂ２が３００円の状態で、第２仮想残高ｂ２よりも大きい１，０００円が出金されたこととなるため、数８に従い、制御部２１は、入力ｐを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満となり数４の条件を満たすため、制御部２１は、第２状態Ｓ２から第３状態Ｓ３に状態を遷移する。
制御部２１は、前記第２仮想残高が３００円から－７００円となり０を下回っているため、あと払い明細を発行する。

［２月２０日の処理］
２月２０日に請求が確定する場合について説明する。
制御部２１は、ウォレット残高を０円のままとする。
制御部２１は、未確定のあと払い利用額を７００円のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円から０にする。
制御部２１は、第１仮想残高ｂ１を－１，７００円から－７００円にする。
制御部２１は、第２仮想残高ｂ２を－７００円のままとする。
第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満のままであるため、数４の条件に従い、制御部２１は、第３状態Ｓ３の状態のままとする。

［２月２１日の処理］
２月２１日にあと払いから３００円の金額が支払われた場合について説明する。
制御部２１は、ウォレット残高を０のままとする。
制御部２１は、未確定のあと払い利用額を７００円から１０００円にする。
制御部２１は、引き落とし前の確定したあと払い利用額を０のままとする。
制御部２１は、第１仮想残高ｂ１を－７００円から－１，０００円にする。
制御部２１は、第２仮想残高ｂ２を－７００円から－１，０００円にする。
第２仮想残高ｂ２よりも大きい３００円が出金されたこととなるため、数８に従い、制御部２１は、入力ｐを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０未満のままであるため、数４の条件に従い、制御部２１は、第３状態Ｓ３の状態のままとする。
制御部２１は、前記第２仮想残高が－７００円から－１，０００円となり０を下回っているため、あと払い明細を発行する。他の観点によると、制御部２１は、未確定のあと払い利用額が存在する状態で、あと払いが使用された場合に、あと払い明細を発行する。

［３月１日の処理］
３月１日に請求が確定する場合について説明する。
制御部２１は、ウォレット残高を０のままとする。
制御部２１は、未確定のあと払い利用額を１，０００円から０にする。
制御部２１は、引き落とし前の確定したあと払い利用額を０から１０００円にする。
制御部２１は、第１仮想残高ｂ１を－１，０００円のままとする。
制御部２１は、第２仮想残高ｂ２を－１，０００円から０にする。制御部２１は、３月への月の切り替わりのタイミングにおいて、引き落とし前の確定したあと払いの利用額（１，０００円）を定義する、第２仮想残高ｂ２を管理する。
第１仮想残高ｂ１が０未満のままであり、第２仮想残高ｂ２が０以上となり数３の条件を満たすため、制御部２１は、第３状態Ｓ３から第２状態Ｓ２に状態を遷移する。

［３月２日の処理］
３月２日にウォレット残高に２，０００円の金額がチャージされた場合について説明する。
制御部２１は、ウォレット残高を０から２，０００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。すなわち、制御部２１は、引き落とし前の確定したあと払い利用額（１，０００円）がある状態でウォレット残高にチャージした場合、あと払い利用額を相殺しない。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－１，０００円から１，０００円にする。
制御部２１は、第２仮想残高ｂ２を０から２，０００円にする。
第１仮想残高ｂ１が－１，０００円であるため、―ｂ１よりも大きい２，０００円が入金されたこととなるため、数１１に従い、制御部２１は、入力ｓを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上になり数２の条件を満たすため、制御部２１は、第２状態Ｓ２から第１状態Ｓ１に状態を遷移する。

［３月３日の処理］
３月３日にウォレット残高から１，２００円の金額が支払われた場合について説明する。
制御部２１は、ウォレット残高を２，０００円から８００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を１，０００円のままとする。
制御部２１は、第１仮想残高ｂ１を１，０００円から－２００円にする。
制御部２１は、第２仮想残高ｂ２を２，０００円から８００円にする。
第１仮想残高ｂ１が１，０００円で、第２仮想残高ｂ２が２，０００円の状態で、第１仮想残高ｂ１よりも大きく、かつ、第２仮想残高ｂ２よりも小さい１２００円が出金されたこととなるため、数９に従い、制御部２１は、入力ｑを処理する。このとき、第１仮想残高ｂ１が０未満となり、第２仮想残高ｂ２が０以上のままであることから数３の条件を満たすため、制御部２１は、第１状態Ｓ１から第２状態Ｓ２に状態を遷移する。

［３月４日の処理］
３月４日に１００円の金額がチャージされた場合について説明する。
制御部２１は、ウォレット残高を８００円から９００円にする。
制御部２１は、未確定のあと払い利用額を０のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－２００円から－１００円にする。
制御部２１は、第２仮想残高ｂ２を８００円から９００円にする。
第１仮想残高ｂ１が－２００円で、第２仮想残高ｂ２が８００円の状態で、第２仮想残高ｂ２に－１を乗じた値よりも大きく、かつ、第１仮想残高ｂ１に－１を乗じた値よりも小さい１００円が入金されたこととなるため、数１２に従い、制御部２１は、入力ｔを処理する。このとき、第１仮想残高ｂ１が０未満のままであり、第２仮想残高ｂ２が０以上のままであるため、数３の条件に従い、制御部２１は、第２状態Ｓ２のままとする。

［３月５日の処理］
３月５日にウォレット残高とあと払いから合わせて１，１００円の金額が支払われた場合について説明する。
制御部２１は、ウォレット残高を９００円から０にする。
制御部２１は、未確定のあと払い利用額を０から２００円にする。
制御部２１は、引き落とし前の確定したあと払い利用額を１，０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－１００円から－１，２００円にする。すなわち、制御部２１は、ウォレット残高（９００円）を超える金額（１，１００円）の支払いがされる場合、ウォレット残高（９００円）を全て消費し、かつ、不足している支払い分（２００円）をあと払いにより支払い、第１仮想残高ｂ１（－１００円）から、消費されたウォレット残高の金額（９００円）と、あと払いにより支払われた金額（２００円）とを差し引くことで、支払い後の第１仮想残高ｂ１（－１，２００円）を取得する。
制御部２１は、第２仮想残高ｂ２を９００円から－２００円にする。
第２仮想残高ｂ２が９００円の状態で、第２仮想残高ｂ２よりも大きい１，１００円が出金されたこととなるため、数８に従い、制御部２１は、入力ｐを処理する。このとき、第１仮想残高ｂ１と第２仮想残高ｂ２が０未満となることから数４の条件を満たすため、制御部２１は、第２状態Ｓ２から第３状態Ｓ３に状態を遷移する。
制御部２１は、前記第２仮想残高が９００円から－２００円となり０を下回っているため、あと払い明細を発行する。

［３月６日の処理］
３月６日にウォレット残高に１，７００円の金額がチャージされた場合について説明する。
制御部２１は、ウォレット残高を０から１，５００円にする。
制御部２１は、未確定のあと払い利用額を２００円から０にする。
制御部２１は、引き落とし前の確定したあと払い利用額を１，０００円のままとする。
制御部２１は、第１仮想残高ｂ１を－１，２００円から５００円にする。
制御部２１は、第２仮想残高ｂ２を－２００円から１，５００円にする。
第１仮想残高ｂ１が－１，２００円であるため、－ｂ１の１，２００円よりも大きい２，０００円が入金されたこととなるため、数１１に従い、制御部２１は、入力ｓを処理する。このとき、第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上になることから数２の条件を満たすため、制御部２１は、第３状態Ｓ３から第１状態Ｓ１に状態を遷移する。
制御部２１は、未確定のあと払い利用額（２００円）がウォレット残高へのチャージにより相殺されたため、あと払い明細を発行する。

［３月２０日の処理］
３月２０日に請求が確定する場合について説明する。
制御部２１は、ウォレット残高を１，５００円のままとする。
制御部２１は、未確定のあと払い利用額を０円のままとする。
制御部２１は、引き落とし前の確定したあと払い利用額を１０００円から０にする。
制御部２１は、第１仮想残高ｂ１を５００円から１，５００円にする。
制御部２１は、第２仮想残高ｂ２を１５００円のままとする。
第１仮想残高ｂ１及び第２仮想残高ｂ２が０以上であり数２の条件を満たすため、制御部２１は、第１状態Ｓ１のままとする。

次に、図９を用いて、図４のアクティビティＡ１８にて表示される機能提供画面６の詳細について説明する。

図９は、機能提供画面６の一例を示す図である。機能提供画面６は、ユーザに種々の機能を提供するための画面である。機能提供画面６は、図４のＡ２の情報処理に関連する画面である。図９の機能提供画面６には、利用可能額表示領域６０と、ウォレット残高表示領域６１と、あと払い利用額表示領域６２と、広告領域６４と、入出金履歴表示領域６５とが少なくとも含まれる。

利用可能額表示領域６０は、利用可能額に関する情報が表示される領域である。利用可能額表示領域６０は、利用可能額情報６００と、あと払い利用枠情報６０１と、ウォレット残高情報６０２と、あと払い利用額情報６０３とを含む。利用可能額情報６００は、ユーザが支払いに使用することができる金額の総額である。より具体的には、利用可能額情報６００は、利用者に対して設定されたあと払い利用枠に、ウォレット残高を加えた金額から、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額とを差し引いた金額である。ある観点によると、引き落とし前の確定したあと払い利用額が、引き落とし後の確定したあと払い利用額になるタイミングにおいて、利用可能額情報６００は、引き落とし前の確定したあと払い利用額が差し引かれた情報となる。ある観点によると、制御部２１は、予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とに基づいて、仮想的に設定された残高である利用可能額情報６００を取得する。制御部２１は、利用可能額情報６００を出力部３５に表示させる。ここで利用可能額情報６００は、第１仮想残高ｂ１に関する情報の一例である。これにより、あと払い利用額とウォレット残高とあと払い利用枠に基づくユーザが使用可能な金額を、ユーザが認識しやすくなる。

あと払い利用枠情報６０１は、あと払い利用枠に関する情報である。ここであと払い利用枠は、あと払いによる支払いを利用することが可能な金額である。また、あと払い利用枠は、ウォレット残高の利用、あと払いの利用等によって変化しない固定値である。ウォレット残高情報６０２は、ウォレット残高に関する情報である。ウォレット残高は、プリペイド残高と同義である。あと払い利用額情報６０３は、あと払いを利用している額の総額に関する情報である。ある観点によると、未確定のあと払い利用額が存在しない場合は、あと払い利用額情報６０３は、「０」となる。また、ある観点によると、引き落とし前の確定したあと払い利用額が、引き落とし後の確定したあと払い利用額になるタイミングに、あと払い利用額情報６０３は、「０」となる。また、ある観点によると、制御部２１は、あと払い利用枠情報６０１と、ウォレット残高情報６０２と、あと払い利用額情報６０３とを一覧性を有した状態で出力部３５に表示させる。これにより、ウォレット残高と、あと払い利用額と、あと払い利用枠とをユーザが認識しやすくなるため、利便性が向上する。

ウォレット残高表示領域６１は、ウォレット残高表示領域４１を参照されたい。図９のウォレット残高情報６１０は、「５００円」である。図９のポイント残高情報６１１は、「６０ポイント」である。

あと払い利用額表示領域６２は、あと払い利用額に関する情報が表示される領域である。あと払い利用額表示領域６２は、確定あと払い情報６２０と、未確定あと払い情報６２１とを含む。確定あと払い情報６２０は、確定したあと払いに関する情報である。確定あと払い情報６２０は、「２０２２年１月分」等のあと払いが使用された期間に関する情報が含まれてもよい。確定あと払い情報６２０は、「２月２０日引落」等の引き落としがされる日付の情報が含まれてもよい。確定あと払い情報６２０は、「確定」等の引き落とし前の確定したあと払い利用額又は引き落とし後の確定したあと払い利用額であることを識別するための情報が含まれてもよい。確定あと払い情報６２０は、「１，０００円」等の引き落とし前の確定したあと払い利用額又は引き落とし後の確定したあと払い利用額の情報が含まれても良い。第２仮想残高ｂ２が０未満の状態で月の切り替わりのタイミングとなった場合、制御部２１は、確定あと払い情報６２０にその０未満の第２仮想残高ｂ２に－１を乗じた値を、引き落とし前の確定したあと払い利用額とする。また、第２仮想残高ｂ２が０以上の状態で月の切り替わりのタイミングとなった場合、制御部２１は、「０円」を引き落とし前の確定したあと払い利用額とする。

未確定あと払い情報６２１は、未確定のあと払いに関する情報である。未確定あと払い情報６２１は、「２０２２年２月分」等のあと払いが使用された期間に関する情報が含まれてもよい。未確定あと払い情報６２１は、「３月２０日引落」等の引き落としがされる日付の情報が含まれてもよい。未確定あと払い情報６２１は、「未確定」等の未確定のあと払い利用額であることを識別するための情報が含まれてもよい。未確定あと払い情報６２１は、「０円」等の未確定のあと払い利用額の情報が含まれても良い。

広告領域６４は、広告領域４４を参照されたい。

入出金履歴表示領域６５は、入金又は出金に関する情報が表示される領域である。入出金履歴表示領域６５は、入金情報６５０、６５４と、出金情報６５１、６５２、６５３とを含む。入金情報６５０は、入金情報４５０を参照されたい。入金情報６５４は、ユーザが入金した日時と、入金額とを含む情報である。例えば、入金情報６５４は、「２０２２年２月３日 １５：１１」に、「３，５００円」が入金されたことを示す情報である。

出金情報６５１は、出金情報４５１を参照されたい。なお、出金情報６５１は、ウォレットマーク６５１ａを含む。出金情報６５２は、ユーザが出金した日時と、取引内容情報と、出金額と、ウォレットマーク６５２ａ及びあと払いマーク６５２ｂとを含む。例えば、出金情報６５２は、「２０２２年１月３日 １０：５２」に、「フォワード書店」にて、ウォレット残高とあと払いを使用することにより、「２，５００円」が出金されたことを示す情報である。出金情報６５３は、ユーザが出金した日時と、取引内容情報と、出金額と、あと払いマーク６５３ｂとを含む。例えば、出金情報６５３は、「２０２２年２月２日 １１：３０」に、「ペイ文具」にて、あと払いを使用することにより、「３，０００円」が出金されたことを示す情報である。ここで、ウォレットマーク６５１ａ、６５２ａは、ウォレット残高により支払われたことを示すための情報である。あと払いマーク６５２ｂ、６５３ｂは、あと払いにより支払われたことを示すための情報である。

ある観点によると、制御部２１は、取引においてウォレット残高を使用した場合に、ウォレットマーク６５１ａを取引の情報と共に出力部３５に表示させる。また、制御部２１は、取引においてあと払いを使用した場合に、あと払いマーク６５３ｂを取引の情報と共に出力部３５に表示させる。制御部２１は、取引においてウォレット及びあと払いの両方を使用した場合に、ウォレットマーク６５２ａ及びあと払いマーク６５２ｂの両方を取引の情報と共に出力部３５に表示させる。ここで、ウォレットマーク６５１ａ、６５２ａは、ウォレットに対応する表記の一例である。あと払いマーク６５２ｂ、６５３ｂは、あと払いに対応する表記の一例である。また、取引の情報には、ユーザが出金した日時と取引内容情報及び出金額のうち少なくとも１つが含まれる。これにより、ウォレット残高を使用して支払いをしたのか、あと払いを使用して支払いをしたのかを、ユーザが識別することが可能となる。

以上、本開示によれば、複数の支払い方法を組み合わせて、より利便性の高いサービスを提供することが可能な技術を提供することが可能となる。また、第１仮想残高ｂ１と第２仮想残高ｂ２とを定義することにより、ウォレット残高とあと払い利用額が相互に関係する中で、引き落とし前の確定したあと払い利用額の引き落としを問題なく実行することが可能となる。

［変形例］
次に、図１０を用いて、本実施形態の変形例について説明する。図１０は、変形例の利用可能額表示領域７０の一例を示す図である。図１０の利用可能額表示領域７０は、利用可能額に関する情報が表示される領域である。利用可能額表示領域７０は、モーダルウィンドウの形式で任意の情報を背景に表示されてもよい。利用可能額表示領域７０は、利用可能額情報７００と、あと払い利用枠情報７０１と、ウォレット残高情報７０２と、あと払い利用額情報７０３とを含む。利用可能額情報７００と、あと払い利用枠情報７０１と、ウォレット残高情報７０２と、あと払い利用額情報７０３とについては、利用可能額情報６００と、あと払い利用枠情報６０１と、ウォレット残高情報６０２と、あと払い利用額情報６０３とを参照されたい。

制御部２１は、利用可能額情報７００を表示部としての出力部３５に表示させる。ここで利用可能額情報７００は、第１仮想残高ｂ１に関する情報の一例である。これにより、あと払い利用額とウォレット残高とあと払い利用枠に基づくユーザが使用可能な金額を、ユーザが認識しやすくなる。

また、制御部２１は、あと払い利用枠情報７０１と、ウォレット残高情報７０２と、あと払い利用額情報７０３とを一覧性を有した状態で表示部としての出力部３５に表示させる。これにより、ウォレット残高と、あと払い利用額と、あと払い利用枠とをユーザが認識しやすくなるため、サービスの利便性が向上する。

また、本実施形態では、制御部２１は、第１仮想残高ｂ１に関する情報を表示部としての出力部３５に表示させ、ここで利用可能額情報７００は、第１仮想残高ｂ１に関する情報の一例であるものとして説明した。変形例では、制御部２１は、第１仮想残高ｂ１自体を表示部としての出力部３５に表示させてもよい。

また、本実施形態では、未確定のあと払い利用額が、引き落とし前の確定したあと払い利用額となるタイミングを、月の切り替わりのタイミングとして説明したが、変形例では、任意のタイミングであってもよい。例えば、所定のタイミングは、１５日等の任意の日付を設定してもよいし、３ヶ月に一回等の任意の間隔で設定されてもよいし、土日祝日と平日を認識して設定されてもよい。

また、本実施形態では、引き落とし前の確定したあと払い利用額が、予め設定された引落口座から引き落としがされる特定のタイミングを毎月２０日であるものとして説明したが、変形例では、任意のタイミングであってもよい。

また、本実施形態では、ウォレット残高を使用した場合に、ウォレット払いに対応する表記として記号を表示させるものとして説明したが、変形例では、記号以外でもよく、文字、画像等によって表示させてもよい。あと払いに対応する表記についても同様である。

また、本実施形態の「ボタンの押下」は、「オブジェクトの操作」の一例であり、ユーザからの指示を受け付けることができる態様であればよい。

［その他］
前述の実施形態に係る情報処理システム１に関して、コンピュータを、情報処理システム１の制御部３１として機能させるプログラムであってもよい。また、情報処理システム１が実行する情報処理方法であってもよい。

さらに、次に記載の各態様で提供されてもよい。

（１）情報処理システムであって、制御部を有し、前記制御部は、予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とに基づいて、仮想的に設定された残高である第１仮想残高を取得し、前記第１仮想残高に関する情報を表示させる、情報処理システム。

このような構成によれば、複数の支払い方法を組み合わせるため、より利便性の高いサービスを提供することができる。また、このような構成によれば、第１仮想残高が設定されるため、ユーザが使用可能な金額をユーザが認識しやすくなる。

（２）上記（１）に記載の情報処理システムにおいて、前記第１仮想残高は、前記ウォレット残高から、引き落とし前の確定したあと払い利用額と、未確定のあと払い利用額とを差し引いた金額であり、前記制御部は、前記ウォレット残高を超える金額の支払いがされる場合、前記ウォレット残高を全て消費し、かつ、不足している支払い分をあと払いにより支払うようにし、前記第１仮想残高から、前記ウォレット残高の消費された金額と、あと払いにより支払われる金額とを差し引くことで、支払い後の第１仮想残高を取得する、情報処理システム。

このような構成によれば、ウォレット残高を超える金額の支払いにより、ウォレット残高に不足分が発生した場合であっても、あと払いにより賄って支払うことができる。また、このような構成によれば、ウォレット残高とあと払い利用額とに基づいて第１仮想残高が設定されるため、ユーザが使用可能な金額をユーザが認識しやすくなる。

（３）上記（１）又は（２）に記載の情報処理システムにおいて、前記第１仮想残高に関する情報は、あと払い利用枠に、前記ウォレット残高を加えた金額から、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額とを差し引いた金額であり、ここで前記あと払い利用枠は、利用者に対してあと払いの利用枠として設定された金額である、情報処理システム。

このような構成によれば、あと払い利用枠と、ウォレット残高と、引き落とし前の確定したあと払い利用額と、未確定のあと払い利用額とに基づくユーザが使用可能な金額を、ユーザが認識しやすくなる。

（４）上記（３）に記載の情報処理システムにおいて、前記制御部は、前記ウォレット残高と、前記引き落とし前の確定したあと払い利用額及び前記未確定のあと払い利用額を足した金額と、前記あと払い利用枠とを一覧性を有した状態で表示させる、情報処理システム。

このような構成によれば、ウォレット残高と、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額を足した金額と、あと払い利用枠とをユーザが認識しやすくなるため、サービスの利便性が向上する。

（５）上記（１）～（４）のいずれか１つに記載の情報処理システムにおいて、前記制御部は、第２仮想残高を管理し、ここで前記第２仮想残高は、所定のタイミングにおいて、引き落とし前の確定したあと払いの利用額を定義する、情報処理システム。

このような構成によれば、第２仮想残高を管理するため、引き落とし前の確定したあと払いの利用額を管理することができる。

（６）上記（５）に記載の情報処理システムにおいて、前記制御部は、未確定のあと払い利用額がある状態で前記ウォレット残高にチャージした場合、前記あと払い利用額を相殺する、情報処理システム。

このような構成によれば、第２仮想残高を定義することにより、確定したあと払いの利用額と確定していないあと払いの利用額とを識別して支払いをすることができる。また、このような構成によれば、確定していないあと払い利用額については、相殺することができる。

（７）上記（６）に記載の情報処理システムにおいて、前記制御部は、あと払いにより前記第２仮想残高が所定の閾値を超えている場合、又は、前記未確定のあと払い利用額が前記ウォレット残高へのチャージにより相殺された場合、にあと払い明細を発行し、ここで、前記あと払い明細は、あと払いに関する明細である、情報処理システム。

このような構成によれば、あと払いの発生又は相殺したことを示すあと払い明細を発行することができる。

（８）上記（１）～（７）のいずれか１つに記載の情報処理システムにおいて、前記制御部は、取引において、前記ウォレット残高を使用した場合に、ウォレット払いに対応する表記を取引の情報と共に表示させ、取引において、前記あと払いを使用した場合に、あと払いに対応する表記を取引の情報と共に表示させ、取引において、前記ウォレット残高及び前記あと払いの両方を使用した場合に、前記ウォレット残高及び前記あと払いの両方の表記を取引の情報と共に表示させる、情報処理システム。

このような構成によれば、どの支払い方法にて支払いがされたのかユーザに認識させることができる。

（９）情報処理システムであって、制御部を有し、前記制御部は、利用可能額を表示させるものであり、前記利用可能額は、利用者に対して設定されたあと払い利用枠を示す金額に、予めチャージにより入金された金額であるウォレット残高を加えた金額から、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額と、を差し引いた金額である、情報処理システム。

（１０）プログラムであって、コンピュータを、上記（１）～（９）のいずれか１つに記載の情報処理システムの前記制御部として機能させるためのプログラム。

（１１）情報処理システムが実行する情報処理方法であって、上記（１）～（９）のいずれか１つに記載の情報処理システムの前記制御部が実行する各処理を備える、情報処理方法。
もちろん、この限りではない。

最後に、本発明に係る種々の実施形態を説明したが、これらは、例として提示したものであり、発明の範囲を限定することは意図していない。当該新規な実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。当該実施形態やその変形は、発明の範囲や要旨に含まれると共に、特許請求の範囲に記載された発明とその均等の範囲に含まれるものである。

１ ：情報処理システム
２ ：サーバ装置
２１ ：制御部
２２ ：記憶部
２３ ：通信部
３ ：クライアント装置
３１ ：制御部
３２ ：記憶部
３３ ：通信部
３４ ：入力部
３５ ：出力部
４ ：機能提供画面
４１ ：ウォレット残高表示領域
４１０ ：ウォレット残高情報
４１１ ：ポイント残高情報
４３ ：払い申込領域
４３０ ：利用申込ボタン
４４ ：広告領域
４５ ：入出金履歴表示領域
４５０ ：入金情報
４５１ ：出金情報
４５１ａ ：ウォレットマーク
５ ：払い利用申込画面
５０ ：希望利用枠入力領域
５１ ：引落口座選択領域
５２ ：内容申込ボタン
６ ：機能提供画面
６０ ：利用可能額表示領域
６００ ：利用可能額情報
６０１ ：払い利用枠情報
６０２ ：ウォレット残高情報
６０３ ：払い利用額情報
６１ ：ウォレット残高表示領域
６１０ ：ウォレット残高情報
６１１ ：ポイント残高情報
６２ ：払い利用額表示領域
６２０ ：払い情報
６２１ ：払い情報
６４ ：広告領域
６５ ：入出金履歴表示領域
６５０ ：入金情報
６５１ ：出金情報
６５１ａ ：ウォレットマーク
６５２ ：出金情報
６５２ａ ：ウォレットマーク
６５２ｂ ：払いマーク
６５３ ：出金情報
６５３ｂ ：払いマーク
６５４ ：入金情報
７０ ：利用可能額表示領域
７００ ：利用可能額情報
７０１ ：払い利用枠情報
７０２ ：ウォレット残高情報
７０３ ：払い利用額情報
Ｎ ：ネットワーク
Ｓ１ ：第１状態
Ｓ２ ：第２状態
Ｓ３ ：第３状態
ｂ１ ：第１仮想残高
ｂ２ ：第２仮想残高

Claims (11)

1. 情報処理システムであって、
   制御部を有し、
   前記制御部は、
   予めチャージにより入金された金額であるウォレット残高と、あと払いによって支払われる金額であるあと払い利用額とに基づいて、仮想的に設定された残高である第１仮想残高を取得し、
   前記第１仮想残高に関する情報を表示させる、
   情報処理システム。
2. 請求項１に記載の情報処理システムにおいて、
   前記第１仮想残高は、前記ウォレット残高から、引き落とし前の確定したあと払い利用額と、未確定のあと払い利用額とを差し引いた金額であり、
   前記制御部は、
   前記ウォレット残高を超える金額の支払いがされる場合、前記ウォレット残高を全て消費し、かつ、不足している支払い分をあと払いにより支払うようにし、
   前記第１仮想残高から、前記ウォレット残高の消費された金額と、あと払いにより支払われる金額とを差し引くことで、支払い後の第１仮想残高を取得する、
   情報処理システム。
3. 請求項１に記載の情報処理システムにおいて、
   前記第１仮想残高に関する情報は、あと払い利用枠に、前記ウォレット残高を加えた金額から、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額とを差し引いた金額であり、
   ここで前記あと払い利用枠は、利用者に対してあと払いの利用枠として設定された金額である、
   情報処理システム。
4. 請求項３に記載の情報処理システムにおいて、
   前記制御部は、
   前記ウォレット残高と、前記引き落とし前の確定したあと払い利用額及び前記未確定のあと払い利用額を足した金額と、前記あと払い利用枠とを一覧性を有した状態で表示させる、
   情報処理システム。
5. 請求項１に記載の情報処理システムにおいて、
   前記制御部は、
   第２仮想残高を管理し、
   ここで前記第２仮想残高は、所定のタイミングにおいて、引き落とし前の確定したあと払いの利用額を定義する、
   情報処理システム。
6. 請求項５に記載の情報処理システムにおいて、
   前記制御部は、
   未確定のあと払い利用額がある状態で前記ウォレット残高にチャージした場合、前記あと払い利用額を相殺する、
   情報処理システム。
7. 請求項６に記載の情報処理システムにおいて、
   前記制御部は、
   あと払いにより前記第２仮想残高が所定の閾値を超えている場合、又は、前記未確定のあと払い利用額が前記ウォレット残高へのチャージにより相殺された場合、にあと払い明細を発行し、
   ここで、前記あと払い明細は、あと払いに関する明細である、
   情報処理システム。
8. 請求項１に記載の情報処理システムにおいて、
   前記制御部は、
   取引において、前記ウォレット残高を使用した場合に、ウォレット払いに対応する表記を取引の情報と共に表示させ、
   取引において、前記あと払いを使用した場合に、あと払いに対応する表記を取引の情報と共に表示させ、
   取引において、前記ウォレット残高及び前記あと払いの両方を使用した場合に、前記ウォレット残高及び前記あと払いの両方の表記を取引の情報と共に表示させる、
   情報処理システム。
9. 情報処理システムであって、
   制御部を有し、
   前記制御部は、
   利用可能額を表示させるものであり、
   前記利用可能額は、利用者に対して設定されたあと払い利用枠を示す金額に、予めチャージにより入金された金額であるウォレット残高を加えた金額から、引き落とし前の確定したあと払い利用額及び未確定のあと払い利用額と、を差し引いた金額である、
   情報処理システム。
10. プログラムであって、
    コンピュータを、請求項１～９のいずれか１つに記載の情報処理システムの前記制御部として機能させるためのプログラム。
11. 情報処理システムが実行する情報処理方法であって、
    請求項１～９のいずれか１つに記載の情報処理システムの前記制御部が実行する各処理を備える、
    情報処理方法。