知財求人 - 知財ポータルサイト「IP Force」
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024077758
(43)【公開日】2024-06-10
(54)【発明の名称】情報処理プログラム、情報処理方法、および情報処理装置
(51)【国際特許分類】
G06F 16/28 20190101AFI20240603BHJP
【ＦＩ】
G06F16/28
【審査請求】未請求
【請求項の数】9
【出願形態】ＯＬ
(21)【出願番号】P 2022189893
(22)【出願日】2022-11-29
(71)【出願人】
【識別番号】000005223
【氏名又は名称】富士通株式会社
(74)【代理人】
【識別番号】100104190
【弁理士】
【氏名又は名称】酒井 昭徳
(72)【発明者】
【氏名】河東 孝
【テーマコード（参考）】
5B175
【Ｆターム（参考）】
5B175CA07
5B175KA13
(57)【要約】
【課題】データ量の増大化を抑制すること。
【解決手段】情報処理装置１００は、複数のブロック列５００を記憶する。情報処理装置１００は、それぞれのブロック列５００の末尾のブロック５１０に存在する、成分の値を格納されない所定数－２個未満の末尾領域６１１を、末尾領域６１１を連結した末尾領域列６２０として管理する。情報処理装置１００は、末尾領域列６２０がフル状態になったか否かを示すフラグ情報６３０を記憶する。情報処理装置１００は、末尾領域６１１の状態に応じて、当該末尾領域６１１を含むブロック列５００が、フル状態であるか否かを管理する。
【選択図】図６
【解決手段】情報処理装置１００は、複数のブロック列５００を記憶する。情報処理装置１００は、それぞれのブロック列５００の末尾のブロック５１０に存在する、成分の値を格納されない所定数－２個未満の末尾領域６１１を、末尾領域６１１を連結した末尾領域列６２０として管理する。情報処理装置１００は、末尾領域列６２０がフル状態になったか否かを示すフラグ情報６３０を記憶する。情報処理装置１００は、末尾領域６１１の状態に応じて、当該末尾領域６１１を含むブロック列５００が、フル状態であるか否かを管理する。
【選択図】図６
【特許請求の範囲】
【請求項1】
配列の所定数の成分に対応付けられたブロックを連結した、それぞれ異なる配列を表す複数のブロック列を記憶し、
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
処理をコンピュータに実行させ、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理プログラム。
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
処理をコンピュータに実行させ、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理プログラム。
【請求項2】
前記第２領域は、前記第２領域を含むブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアに対応付けられ、
前記それぞれのブロック列の末尾ブロックの前記第２領域を連結した第２領域列について、前記第２領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の前記ペアに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する前記ペアを分配するよう、前記第２領域列を管理することにより、少なくとも、末尾領域の一部の領域が、前記ペアを格納しない未使用領域になるよう、前記第２領域列を管理し、当該一部の領域に、前記第２領域列を分割する可変の位置を示すポインタと、前記第２領域列において値が未設定の前記ペアの初期値とを保持する、
処理を前記コンピュータに実行させることを特徴とする請求項１に記載の情報処理プログラム。
前記それぞれのブロック列の末尾ブロックの前記第２領域を連結した第２領域列について、前記第２領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の前記ペアに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する前記ペアを分配するよう、前記第２領域列を管理することにより、少なくとも、末尾領域の一部の領域が、前記ペアを格納しない未使用領域になるよう、前記第２領域列を管理し、当該一部の領域に、前記第２領域列を分割する可変の位置を示すポインタと、前記第２領域列において値が未設定の前記ペアの初期値とを保持する、
処理を前記コンピュータに実行させることを特徴とする請求項１に記載の情報処理プログラム。
【請求項3】
前記第１領域列を管理する処理は、
前記第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配することにより、少なくとも、末尾領域の一部の領域が、成分の値を格納しない未使用領域になるよう、前記第１領域列を管理し、当該一部の領域に、前記第１領域列を分割する可変の位置を示すポインタと、前記第１領域列において値が未設定の成分の初期値とを保持する、ことを特徴とする請求項２に記載の情報処理プログラム。
前記第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配することにより、少なくとも、末尾領域の一部の領域が、成分の値を格納しない未使用領域になるよう、前記第１領域列を管理し、当該一部の領域に、前記第１領域列を分割する可変の位置を示すポインタと、前記第１領域列において値が未設定の成分の初期値とを保持する、ことを特徴とする請求項２に記載の情報処理プログラム。
【請求項4】
前記複数のブロック列全体の初期化要求を受け付けたことに応じて、前記第２領域列の末尾の領域の一部の領域に、前記第２領域列を分割する位置として前記第２領域列の先頭を示すポインタと、前記第２領域列において値が未設定の前記ペアの初期値とを格納し、
前記複数のブロック列全体の初期化要求を受け付けたことに応じて、前記第１領域列の末尾の領域の一部の領域に、前記第１領域列を分割する位置として前記第１領域列の先頭を示すポインタと、前記第１領域列において値が未設定の成分の初期値とを格納し、
前記複数のブロック列全体の初期化要求を受け付けたことに応じて、前記フラグ情報が、前記第１領域列において、前記オプション領域が存在しないことを示す値であれば、前記オプション領域が存在することを示す値に更新する、
処理を前記コンピュータに実行させることを特徴とする請求項３に記載の情報処理プログラム。
前記複数のブロック列全体の初期化要求を受け付けたことに応じて、前記第１領域列の末尾の領域の一部の領域に、前記第１領域列を分割する位置として前記第１領域列の先頭を示すポインタと、前記第１領域列において値が未設定の成分の初期値とを格納し、
前記複数のブロック列全体の初期化要求を受け付けたことに応じて、前記フラグ情報が、前記第１領域列において、前記オプション領域が存在しないことを示す値であれば、前記オプション領域が存在することを示す値に更新する、
処理を前記コンピュータに実行させることを特徴とする請求項３に記載の情報処理プログラム。
【請求項5】
前記複数のブロック列のいずれかのブロック列全体の初期化要求を受け付けたことに応じて、前記いずれかのブロック列に存在する前記第２領域に対応するペアに、前記いずれかのブロック列を分割する位置として前記いずれかのブロック列の先頭を示すポインタと、前記いずれかのブロック列において値が未設定の成分の初期値とのペアを設定するよう、前記いずれかのブロック列に対応する前記第２領域を更新し、
前記いずれかのブロック列全体の初期化要求を受け付けたことに応じて、前記第１領域列のうち、前記いずれかのブロック列に対応する前記第１領域が、前記オプション領域になるよう、前記第１領域列を更新し、
前記いずれかのブロック列全体の初期化要求を受け付けたことに応じて、前記フラグ情報が、前記第１領域列において、前記オプション領域が存在しないことを示す値であれば、前記オプション領域が存在することを示す値に更新する、
処理を前記コンピュータに実行させることを特徴とする請求項４に記載の情報処理プログラム。
前記いずれかのブロック列全体の初期化要求を受け付けたことに応じて、前記第１領域列のうち、前記いずれかのブロック列に対応する前記第１領域が、前記オプション領域になるよう、前記第１領域列を更新し、
前記いずれかのブロック列全体の初期化要求を受け付けたことに応じて、前記フラグ情報が、前記第１領域列において、前記オプション領域が存在しないことを示す値であれば、前記オプション領域が存在することを示す値に更新する、
処理を前記コンピュータに実行させることを特徴とする請求項４に記載の情報処理プログラム。
【請求項6】
前記配列のいずれかの成分の値の書き込み要求を受け付けたことに応じて、前記複数のブロック列のうち、前記いずれかの成分に対応する書き込み先ブロックを特定し、
特定した前記書き込み先ブロックが、前記オプションブロックである場合、特定した前記書き込み先ブロックに対応する所定数の成分のうち、前記いずれかの成分の値と、前記いずれかの成分とは異なる残余の成分の初期値とを、特定した前記書き込み先ブロックに書き込み、
特定した前記書き込み先ブロックが、前記オプションブロックではない場合、前記いずれかの成分の値を、特定した前記書き込み先ブロックに書き込む、
処理を前記コンピュータに実行させることを特徴とする請求項４または５に記載の情報処理プログラム。
特定した前記書き込み先ブロックが、前記オプションブロックである場合、特定した前記書き込み先ブロックに対応する所定数の成分のうち、前記いずれかの成分の値と、前記いずれかの成分とは異なる残余の成分の初期値とを、特定した前記書き込み先ブロックに書き込み、
特定した前記書き込み先ブロックが、前記オプションブロックではない場合、前記いずれかの成分の値を、特定した前記書き込み先ブロックに書き込む、
処理を前記コンピュータに実行させることを特徴とする請求項４または５に記載の情報処理プログラム。
【請求項7】
前記配列のいずれかの成分の値の読み出し要求を受け付けたことに応じて、前記複数のブロック列のうち、前記いずれかの成分に対応する読み出し元ブロックを特定し、
特定した前記読み出し元ブロックが、前記オプションブロックである場合、特定した前記読み出し元ブロックに対応する前記第２領域が、値が未設定の前記ペアに対応するオプション領域であれば、前記第２領域列の末尾の領域の一部の領域から、前記いずれかの成分の初期値を読み出し、
特定した前記読み出し元ブロックが、前記オプションブロックである場合、特定した前記読み出し元ブロックに対応する前記第２領域が、値が未設定の前記ペアに対応するオプション領域でなければ、特定した前記読み出し元ブロックに対応する前記第２領域から、前記いずれかの成分の初期値を読み出し、
特定した前記読み出し元ブロックが、前記オプションブロックではない場合、特定した前記読み出し元ブロックから、前記いずれかの成分の値を読み出す、
処理を前記コンピュータに実行させることを特徴とする請求項４または５に記載の情報処理プログラム。
特定した前記読み出し元ブロックが、前記オプションブロックである場合、特定した前記読み出し元ブロックに対応する前記第２領域が、値が未設定の前記ペアに対応するオプション領域であれば、前記第２領域列の末尾の領域の一部の領域から、前記いずれかの成分の初期値を読み出し、
特定した前記読み出し元ブロックが、前記オプションブロックである場合、特定した前記読み出し元ブロックに対応する前記第２領域が、値が未設定の前記ペアに対応するオプション領域でなければ、特定した前記読み出し元ブロックに対応する前記第２領域から、前記いずれかの成分の初期値を読み出し、
特定した前記読み出し元ブロックが、前記オプションブロックではない場合、特定した前記読み出し元ブロックから、前記いずれかの成分の値を読み出す、
処理を前記コンピュータに実行させることを特徴とする請求項４または５に記載の情報処理プログラム。
【請求項8】
配列の所定数の成分に対応付けられたブロックを連結した、それぞれ異なる配列を表す複数のブロック列を記憶し、
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
処理をコンピュータが実行し、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理方法。
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
処理をコンピュータが実行し、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理方法。
【請求項9】
配列の所定数の成分に対応付けられたブロックを連結した、それぞれ異なる配列を表す複数のブロック列を記憶し、
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
制御部を有し、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理装置。
前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、
前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、
前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶する、
制御部を有し、
前記それぞれのブロック列は、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱われ、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱われる、ことを特徴とする情報処理装置。
【発明の詳細な説明】
【技術分野】
【0001】
本発明は、情報処理プログラム、情報処理方法、および情報処理装置に関する。
【背景技術】
【0002】
従来、配列の所定数の成分の値を格納可能なブロックを連結した、Ｂｌｏｃｋ ｗｉｓｅ Ｏｐｔｉｏｎａｌ Ａｒｒａｙと呼ばれるデータ構造のブロック列を用いて、当該配列を表現する技術がある。例えば、ブロック列を、前後２つの範囲に分割し、前半の範囲に、配列の成分の値が未格納の前方ブロックが存在すれば、後半の範囲に存在する後方ブロックに格納することが要求された一部の成分の値を、当該前方ブロックに分配するよう管理することがある。例えば、ブロック列ごとに、当該ブロック列を分割する可変の位置を示すスタックポインタと、当該ブロック列に配列の全成分が格納済みであるか否かを示すフラグ情報とを記憶することになる。
【0003】
先行技術としては、例えば、複数のブロックを二分割した第１領域内の未書き込みブロックの数と、二分割した第２領域内の書き込み済みブロックの数とが整数比になる位置を境界とする、複数のブロックを連結して構成した配列を制御するものがある。
【先行技術文献】
【特許文献】
【0004】
【特許文献1】特開２０１８－０３７０１０号公報
【発明の概要】
【発明が解決しようとする課題】
【0005】
しかしながら、従来技術では、複数の配列を表現する際にデータ量の増大化を招くという問題がある。例えば、配列ごとに、当該配列を表現するブロック列に、配列の全成分が格納済みであるか否かを示すフラグ情報を用意すると、データ量の増大化を招く。
【0006】
１つの側面では、本発明は、データ量の増大化を抑制することを目的とする。
【課題を解決するための手段】
【0007】
１つの実施態様によれば、配列の所定数の成分に対応付けられたブロックを連結した、それぞれ異なる配列を表す複数のブロック列を記憶し、前記複数のブロック列のそれぞれのブロック列について、当該ブロック列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方ブロックがあれば、当該前方ブロックに、後半の範囲に存在する後方ブロックに対応する一部の成分の値を分配することにより、少なくとも、末尾ブロックの一部である複数の領域が、成分の値を格納しない未使用領域になるよう、当該ブロック列を管理し、前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第１領域を連結した第１領域列について、前記第１領域列を分割した２つの範囲のうち、前半の範囲に、値が未設定の成分のみに対応する前方領域があれば、当該前方領域に、後半の範囲に存在する後方領域に対応する一部の成分の値を分配するよう、前記第１領域列を管理し、前記それぞれのブロック列の末尾ブロックの前記複数の領域のうち第２領域を利用して、前記それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを保持し、前記第１領域列において、値が未設定の成分のみに対応するオプション領域が存在するか否かを示すフラグ情報を記憶し、前記それぞれのブロック列を、前記フラグ情報を用いて、末尾ブロックの一部である前記第１領域が、前記オプション領域である場合、値が未設定の成分のみに対応するオプションブロックが存在するブロック列と扱い、末尾ブロックの一部である前記第１領域が、前記オプション領域ではない場合、前記オプションブロックが存在しないブロック列と扱う情報処理プログラム、情報処理方法、および情報処理装置が提案される。
【発明の効果】
【0008】
一態様によれば、データ量の増大化を抑制することが可能になる。
【図面の簡単な説明】
【0009】
【発明を実施するための形態】
【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】
管理部４０２は、第２領域列を初期化することにより、それぞれのブロック列について、当該ブロック列を分割する可変の位置を示すポインタと、当該ブロック列において値が未設定の成分の初期値とのペアを、一括して初期化し易くすることができる。このため、管理部４０２は、複数のブロック列の全体を一括して初期化し易くすることができる。
【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】
従って、配列のすべての成分の値が設定された場合には、ブロック列５００のうち末尾のブロック５１０に、ブロック列５００に関するスタックポインタ５２０を格納することができなくなる。この場合、Ｗ領域は、存在しなくなる。
【0114】
これに対し、ブロック列５００ごとに、配列のすべての成分の値が設定され、当該ブロック列５００がフル状態になったか否かを示すフラグ情報６０１を対応付けて用意する手法が考えられる。フラグ情報６０１は、例えば、値が１であれば、オプション状態のブロック５１０が存在せず、ブロック列５００が、フル状態であることを示す。フラグ情報６０１は、例えば、値が０であれば、オプション状態のブロック５１０が存在し、ブロック列５００が、ノットフル状態であることを示す。
【0115】
この手法では、例えば、ブロック列５００ごとに、当該ブロック列５００に対応付けられたフラグ情報６０１によって、当該ブロック列５００の末尾のブロック５１０に、ブロック列５００に関するスタックポインタ５２０が存在するか否かを判定可能にする。しかしながら、この手法では、それぞれ異なる配列を表す複数のブロック列５００を記憶する際にかかるデータ量の増大化を招くという問題がある。この手法では、具体的には、配列の数が多く、情報処理装置１００が記憶するブロック列５００の数が多くなるほど、用意するフラグ情報６０１の数の増大化を招き、データ量の増大化を招くことになる。
【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】
図８～図１７は、情報処理装置１００の適用例を示す説明図である。図８において、情報処理装置１００を、表８１０に示す、Ｍ個のユーザＲiが共通して製造するＮ個の商品Ｃjの取引希望価格を管理する用途に適用する場合について説明する。ｉは、例えば、０～Ｍ－１である。ｊは、例えば、０～Ｎ－１である。図８の例では、Ｍ＝４であり、Ｎ＝４００であるとする。ユーザＲiは、例えば、ユーザＡとユーザＢとユーザＣとなどを含む。ユーザＲiは、例えば、クライアント装置２０２を有する。ユーザＲiは、例えば、製造者、または、ベンダなどである。
【0167】
情報処理装置１００は、ユーザＲiごとに、Ｎ個の商品Ｃjそれぞれの取引希望価格を成分として含む配列を、ブロック列として記憶する。情報処理装置１００は、具体的には、それぞれ異なるユーザＲiに関し、Ｎ個の商品Ｃjそれぞれの取引希望価格を成分として含むそれぞれ異なる配列を示す、４個のブロック列を記憶する。ブロックは、例えば、１００個の成分を格納可能な領域を含むとする。ブロック列は、例えば、４つのブロックを含む。
【0168】
ここで、情報処理装置１００は、第１の時点において、クエリキュー８００に示す各種クエリを順に受け付けたとする。情報処理装置１００は、例えば、クライアント装置２０２を介して、ユーザＲiからのクエリを受け付ける。情報処理装置１００は、例えば、不図示の入力装置を介したクエリの入力を受け付けることにより、クエリを受け付けてもよい。
【0169】
クエリは、例えば、複数のブロック列の全体を初期化することを要求する全体初期化要求（ｉｎｉｔａｌｌ）である。クエリは、例えば、いずれかのブロック列を初期化することを要求する行初期化要求（ｉｎｉｔ）である。クエリは、例えば、いずれかのブロック列に、いずれかの成分の値を格納することを要求する書き込み要求（ｗｒｉｔｅ）である。クエリは、例えば、いずれかのブロック列から、いずれかの成分の値を読み出すことを要求する読み出し要求（ｒｅａｄ）である。以下の説明では、情報処理装置１００が、クエリキュー８００に示す各種クエリを順に処理する具体例について説明する。
【0170】
まず、図９の説明に移行し、情報処理装置１００が、上述した第２の例と同様のデータ構造で、４個のブロック列９００を記憶する場合について、第１の時点における４個のブロック列９００の状態について説明する。図９に示すように、情報処理装置１００は、４個のブロック列９００を記憶する。ブロック９０１は、例えば、１００個の成分に対応付けられる。ブロック９０１は、１００個の成分の値を格納可能な領域を含むとする。
【0171】
ブロック列９００の末尾のブロック９０１は、第１領域９１１と、第２領域９２１とを含む。情報処理装置１００は、それぞれのブロック列９００の末尾のブロック９０１の第１領域９１１を、当該第１領域９１１を連結した第１領域列９１０の一部として扱う。情報処理装置１００は、それぞれのブロック列９００の末尾のブロック９０１の第２領域９２１を、当該第２領域９２１を連結した第２領域列９２０の一部として扱う。
【0172】
情報処理装置１００は、第１領域列９１０に、オプション状態の第１領域９１１が存在するか否か、第１領域列９１０が、ノットフル状態であるか否かを示すフラグ情報９３０を記憶する。フラグ情報９３０は、０または１の値である。フラグ情報９３０は、値が０であれば、第１領域列９１０が、ノットフル状態であることを示す。フラグ情報９３０は、値が１であれば、第１領域列９１０が、ノットフル状態ではなくフル状態であることを示す。次に、図１０の説明に移行する。
【0173】
図１０において、情報処理装置１００は、クエリキュー８００の全体初期化要求「Ｓ ｉｎｉｔａｌｌ ０」を取り出して処理する。この場合、情報処理装置１００は、第１領域列９１０の末尾に存在する第１領域９１１に、第１領域列９１０に関するスタックポインタ＝０と、初期値とのペアを格納することにより、第１領域列９１０全体を初期化する。
【0174】
情報処理装置１００は、第２領域列９２０の末尾に存在する第２領域９２１に、第２領域列９２０に関するスタックポインタ＝０と、初期ペアとを格納することにより、第２領域列９２０全体を初期化する。情報処理装置１００は、第１領域列９１０が、ノットフル状態であるため、フラグ情報９３０を０に設定する。
【0175】
これにより、情報処理装置１００は、全体初期化要求「Ｓ ｉｎｉｔａｌｌ ０」を適切に処理することができ、複数のブロック列９００の全体を初期化することができる。情報処理装置１００は、複数のブロック列９００の全体を初期化する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１１の説明に移行する。
【0176】
図１１において、情報処理装置１００は、クエリキュー８００の書き込み要求「Ｂ ｗｒｉｔｅ［２，１００］３００」を取り出して処理する。ｗｒｉｔｅ［ａ，ｂ］ｃは、ユーザＲaに対応するブロック列９００に、商品ｉｄ＝ｂの成分の値＝ｃを格納することを示す。
【0177】
この場合、情報処理装置１００は、ユーザＲ2に対応するブロック列９００のうち、商品ｉｄ＝１００の成分に対応付けられたブロック９０１（１１０１）を特定する。情報処理装置１００は、ユーザＲ2に対応するブロック列９００の末尾に存在する第２領域９２１（１１０２）が、バリュー領域になるよう、第２領域列９２０を更新する。
【0178】
情報処理装置１００は、特定したブロック９０１（１１０１）が、バリュー状態になるよう、ユーザＲ2に対応するブロック列９００に関するスタックポインタと、初期値とのペアを、第２領域列９２０に格納する。情報処理装置１００は、商品ｉｄ＝１００の成分の値＝３００を、特定したブロック９０１（１１０１）に格納する。情報処理装置１００は、特定したブロック９０１（１１０１）が、今までオプション状態であったブロック９０１であれば、商品ｉｄ＝１００の成分以外に、他の成分の値＝初期値として、特定したブロック９０１（１１０１）に格納してもよい。
【0179】
これにより、情報処理装置１００は、書き込み要求「Ｂ ｗｒｉｔｅ［２，１００］３００」を適切に処理することができ、ユーザＲ2に対応するブロック列９００に、商品ｉｄ＝１００の成分の値＝３００を格納することができる。情報処理装置１００は、書き込み要求を処理する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１２の説明に移行する。
【0180】
図１３において、情報処理装置１００は、クエリキュー８００の書き込み要求「Ｂ ｗｒｉｔｅ［１，３００］２５０」を取り出して処理する。この場合、情報処理装置１００は、ユーザＲ1に対応するブロック列９００のうち、商品ｉｄ＝３００の成分に対応付けられたブロック９０１（１２０１）を特定する。情報処理装置１００は、ユーザＲ1に対応するブロック列９００の末尾に存在する第２領域９２１（１２０２）が、バリュー領域になるよう、第２領域列９２０を更新する。
【0181】
情報処理装置１００は、特定したブロック９０１（１２０１）が、バリュー状態になるよう、ユーザＲ1に対応するブロック列９００に関するスタックポインタと、初期値とのペアを、第２領域列９２０に格納する。情報処理装置１００は、商品ｉｄ＝３００の成分の値＝２５０を、特定したブロック９０１（１２０１）に格納する。情報処理装置１００は、特定したブロック９０１（１２０１）が、今までオプション状態であったブロック９０１であれば、商品ｉｄ＝３００の成分以外に、他の成分の値＝初期値として、特定したブロック９０１（１２０１）に格納してもよい。
【0182】
これにより、情報処理装置１００は、書き込み要求「Ｂ ｗｒｉｔｅ［１，３００］２５０」を適切に処理することができ、ユーザＲ1に対応するブロック列９００に、商品ｉｄ＝３００の成分の値＝２５０を格納することができる。情報処理装置１００は、書き込み要求を処理する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１３の説明に移行する。
【0183】
図１３において、情報処理装置１００は、クエリキュー８００の読み出し要求「Ｃ ｒｅａｄ［２，１００］」を取り出して処理する。ｒｅａｄ［ａ，ｂ］は、ユーザＲaに対応するブロック列９００から、商品ｉｄ＝ｂの成分の値を読み出すことを示す。この場合、情報処理装置１００は、ユーザＲ2に対応するブロック列９００のうち、商品ｉｄ＝１００の成分に対応付けられたブロック９０１（１３０１）を特定する。
【0184】
情報処理装置１００は、特定したブロック９０１（１３０１）を参照して、商品ｉｄ＝１００の成分の値を読み出す。情報処理装置１００は、特定したブロック９０１（１３０１）が、オプション状態であれば、ユーザＲ2に対応するブロック列９００の第２領域９２１を参照して、商品ｉｄ＝１００の成分の値として初期値を読み出す。
【0185】
情報処理装置１００は、特定したブロック９０１（１３０１）が、Ｍ領域のバリュー状態であれば、特定したブロック９０１（１３０１）から、商品ｉｄ＝１００の成分の値を読み出す。情報処理装置１００は、特定したブロック９０１（１３０１）が、Ｗ領域のバリュー状態であれば、特定したブロック９０１（１３０１）の先頭の領域のポインタが示す他のブロック９０１から、商品ｉｄ＝１００の成分の値を読み出す。
【0186】
これにより、情報処理装置１００は、読み出し要求「Ｃ ｒｅａｄ［２，１００］」を適切に処理することができ、ユーザＲ2に対応するブロック列９００から、商品ｉｄ＝１００の成分の値を読み出すことができる。情報処理装置１００は、読み出し要求を処理する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１４の説明に移行する。
【0187】
図１４において、情報処理装置１００は、クエリキュー８００の行初期化要求「Ｂ ｉｎｉｔ ２ ０」を取り出して処理する。ｉｎｉｔ ａ ｂは、ユーザＲaに対応するブロック列９００全体を、ｂの値で初期化することを示す。
【0188】
この場合、情報処理装置１００は、ユーザＲ2に対応するブロック列９００に関するスタックポインタと、初期値とのペアを初期化するよう、第２領域列９２０を更新する。情報処理装置１００は、具体的には、ユーザＲ2に対応するブロック列９００に関するスタックポインタ＝０と、初期値＝０とのペアを記憶するよう、第２領域列９２０を更新する。
【0189】
情報処理装置１００は、より具体的には、ユーザＲ2に対応するブロック列９００に関するスタックポインタ＝０と、初期値＝０とのペアを、第２領域９２１（１４０１）に格納する。結果として、情報処理装置１００は、ユーザＲ2に対応するブロック列９００のブロック９０１（１４０１）を、オプション状態に戻す。
【0190】
これにより、情報処理装置１００は、行初期化要求「Ｂ ｉｎｉｔ ２ ０」を適切に処理することができ、ブロック列９００全体を初期化することができる。情報処理装置１００は、ブロック列９００全体を初期化する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１５の説明に移行する。
【0191】
図１５において、情報処理装置１００は、クエリキュー８００の書き込み要求「Ａ ｗｒｉｔｅ［０，１００］３００」を取り出して処理する。この場合、情報処理装置１００は、ユーザＲ0に対応するブロック列９００のうち、商品ｉｄ＝１００の成分に対応付けられたブロック９０１（１５０１）を特定する。情報処理装置１００は、ユーザＲ0に対応するブロック列９００の末尾に存在する第２領域９２１（１５０２）が、バリュー領域になるよう、第２領域列９２０を更新する。
【0192】
情報処理装置１００は、特定したブロック９０１（１５０１）が、バリュー状態になるよう、ユーザＲ0に対応するブロック列９００に関するスタックポインタと、初期値とのペアを、第２領域列９２０に格納する。情報処理装置１００は、商品ｉｄ＝１００の成分の値＝３００を、特定したブロック９０１（１５０１）に格納する。情報処理装置１００は、特定したブロック９０１（１５０１）が、今までオプション状態であったブロック９０１であれば、商品ｉｄ＝１００の成分以外に、他の成分の値＝初期値として、特定したブロック９０１（１５０１）に格納してもよい。
【0193】
これにより、情報処理装置１００は、書き込み要求「Ａ ｗｒｉｔｅ［０，１００］３００」を適切に処理することができ、ユーザＲ0に対応するブロック列９００に、商品ｉｄ＝１００の成分の値＝３００を格納することができる。情報処理装置１００は、書き込み要求を処理する際にかかる処理時間および処理時間を、Ｏ（１）に抑制することができる。次に、図１６の説明に移行する。
【0194】
図１６において、情報処理装置１００は、クエリキュー８００の行初期化要求「Ｃ ｉｎｉｔ ３ ２００」を取り出して処理する。ｉｎｉｔ ａ ｂは、ユーザＲaに対応するブロック列９００全体を、ｂの値で初期化することを示す。
【0195】
この場合、情報処理装置１００は、ユーザＲ3に対応するブロック列９００に関するスタックポインタと、初期値とのペアを初期化するよう、第２領域列９２０を更新する。情報処理装置１００は、具体的には、ユーザＲ3に対応するブロック列９００に関するスタックポインタ＝０と、初期値＝２００とのペアを記憶するよう、第２領域列９２０を更新する。情報処理装置１００は、より具体的には、ユーザＲ3に対応するブロック列９００に関するスタックポインタ＝０と、初期値＝２００とのペアを、第２領域９２１（１６０１）に格納する。
【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】
１００ 情報処理装置
１１０，５００，９００ ブロック列
１１１，５１０，５１１，５１２，５１３，５１４，９０１ ブロック
１２０，７１０，９１０ 第１領域列
１２１，７１１，９１１ 第１領域
１３１，７１２，７２１，９２１ 第２領域
１４０，６０１，６３０，７３０，９３０ フラグ情報
２００ 情報処理システム
２０１ 情報蓄積装置
２０２ クライアント装置
２１０ ネットワーク
３００ バス
３０１ ＣＰＵ
３０２ メモリ
３０３ ネットワークＩ／Ｆ
３０４ 記録媒体Ｉ／Ｆ
３０５ 記録媒体
４００ 記憶部
４０１ 取得部
４０２ 管理部
４０３ 更新部
４０４ 格納部
４０５ 読出部
４０６ 出力部
５２０ スタックポインタ
６００ 初期値
６１１ 末尾領域
６２０ 末尾領域列
７２０，９２０ 第２領域列
７４１，７４２，７５１，７５２，７６１，７６２ 符号
８００ クエリキュー
８１０ 表
１１０，５００，９００ ブロック列
１１１，５１０，５１１，５１２，５１３，５１４，９０１ ブロック
１２０，７１０，９１０ 第１領域列
１２１，７１１，９１１ 第１領域
１３１，７１２，７２１，９２１ 第２領域
１４０，６０１，６３０，７３０，９３０ フラグ情報
２００ 情報処理システム
２０１ 情報蓄積装置
２０２ クライアント装置
２１０ ネットワーク
３００ バス
３０１ ＣＰＵ
３０２ メモリ
３０３ ネットワークＩ／Ｆ
３０４ 記録媒体Ｉ／Ｆ
３０５ 記録媒体
４００ 記憶部
４０１ 取得部
４０２ 管理部
４０３ 更新部
４０４ 格納部
４０５ 読出部
４０６ 出力部
５２０ スタックポインタ
６００ 初期値
６１１ 末尾領域
６２０ 末尾領域列
７２０，９２０ 第２領域列
７４１，７４２，７５１，７５２，７６１，７６２ 符号
８００ クエリキュー
８１０ 表
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14】
【図15】
【図16】
【図17】
【図18】
【図19】
【図20】
【図21】