Результат интеллектуальной деятельности: СПОСОБ ВЕРИФИКАЦИИ, УСТРОЙСТВО ОБРАБОТКИ ИНФОРМАЦИИ И ДОЛГОВРЕМЕННЫЙ СЧИТЫВАЕМЫЙ КОМПЬЮТЕРОМ НОСИТЕЛЬ ХРАНЕНИЯ ДЛЯ ХРАНЕНИЯ ПРОГРАММЫ ВЕРИФИКАЦИИ

Область техники

[0001] Настоящее изобретение относится к способу верификации и тому подобному.

ПРЕДШЕСТВУЮЩИЙ УРОВЕНЬ ТЕХНИКИ

[0002] Например, является обязательным представление финансовых отчетов, которые используют расширенный язык финансовой отчетности (XBRL) для финансовых органов надзора. XBRL представляет собой язык, разработанный на основе расширяемого языка разметки (XML) в качестве языка описания данных для облегчения подготовки, распространения и использования коммерческих отчетов.

[0003] Финансовые отчеты, подлежащие предоставлению, должны соответствовать Размерной спецификации, которая является расширенной спецификацией, используемой для представления данных по множеству осей, такой как двумерная таблица. Таким образом, финансовый орган надзора, который принял представление финансовых отчетов, верифицирует финансовые отчеты на основе спецификации, называемой Размерной спецификацией.

[0004] В Размерной спецификации, комбинация оси и значения, специфицированного по оси, определена заранее. Эта комбинация представляет возможное значение в качестве данных. Фиг. 12 является диаграммой, иллюстрирующей опорный пример финансового отчета, соответствующего Размерной спецификации. В финансовом отчете, проиллюстрированном на фиг. 12, оси "регион" и "бизнес" определены для заголовков счетов (далее упоминаются как заголовки) "объем продаж", "себестоимость продаж" и "валовая прибыль". По оси "регион", "Северная Америка", "Европа", "Азия" и “итог” определены как значения, которые может принимать ось. По оси "бизнес", значения "аппаратные средства", "программное обеспечение" и "итог" определены в качестве значений, которые может принимать ось.

[0005] Кроме того, в верификации на основе Размерной спецификации, в случае, когда имеется комбинация, которая не включена в определения, или комбинация, которая запрещена определениями, определяется, что данные не являются действительными данными. Здесь, например, в случае, когда заголовком является "объем продаж", определяется, что комбинация "Северной Америки" по оси "регион" и "аппаратных средств" по оси "бизнес" представляет собой действительные данные. С другой стороны, например, в случае, когда заголовком является "объем продаж", определяется, что комбинация "Африки" по оси "регион" и "промежуточного программного обеспечения" по оси "бизнес" не является действительными данными. Это объясняется тем, что "Африка" не определена в качестве значения, которое может принимать ось "регион". Это объясняется тем, что "промежуточное программное обеспечение" не определено в качестве значения, которое может принимать ось "бизнес".

[0006] Примеры предшествующего уровня техники включают в себя следующее: Японская выложенная патентная публикация № 2001-306370; и Японская выложенная патентная публикация № 5-134859.

КРАТКОЕ ОПИСАНИЕ СУЩНОСТИ ИЗОБРЕТЕНИЯ

ТЕХНИЧЕСКАЯ ПРОБЛЕМА

[0007] В такой Размерной спецификации, существует понятие, установленное по умолчанию. По умолчанию означает значение, используемое в случае, когда никакое значение не специфицировано по оси. Например, в случае, когда ось представляет собой "тип продукта", "все продукты" используется в качестве значения по умолчанию. То есть, в случае, когда заголовком является "объем продаж", объем продаж "Северной Америки" и объем продаж "всех продуктов" "Северной Америки" имеют то же самое значение. С другой стороны, в случае оси, для которой значение по умолчанию не специфицировано, необходимо всегда специфицировать значение для этой оси.

[0008] Поэтому, когда выполняется верификация на основе Размерной спецификации, существует проблема, состоящая в том, что трудно корректно выполнить верификацию только путем простой комбинации оси и значения по оси. Отметим, что подобная проблема может возникнуть и для иной, чем верификация на основе Размерной спецификации.

[0009] В одном аспекте, настоящее изобретение направлено на улучшение точности верификации.

РЕШЕНИЕ ПРОБЛЕМЫ

[0010] Способ верификации, согласно одному аспекту, представляет собой способ верификации, исполняемый компьютером, причем способ верификации включает в себя обработку, включающую в себя: получение, когда принимаются XBRL-данные, данных опционального (произвольного) заголовка из XBRL-данных в качестве данных, подлежащих верификации; специфицирование, со ссылкой на информацию определения XBRL-данных, значений атрибутов, назначенных данным того же заголовка, как данных, подлежащих верификации; и верифицирование действительности данных, подлежащих верификации, с использованием алгоритма, который определяет, что данные, подлежащие верификации, действительны в случае, когда специфицированные значения атрибутов ассоциированы или не ассоциированы с данными, подлежащими верификации, и определяет, что данные, подлежащие верификации, не действительны в случае, когда значения атрибутов иные, чем специфицированные значения атрибутов, ассоциированы с данными, подлежащими верификации, причем компьютер исполняет обработку определения, что данные, подлежащие верификации, не действительны в случае, когда специфицированные значения атрибутов включают в себя значения атрибутов предопределенного типа, и никакие из значений атрибутов предопределенного типа не ассоциированы с данными, подлежащими верификации.

ПОЛЕЗНЫЕ РЕЗУЛЬТАТЫ ИЗОБРЕТЕНИЯ

[0011] В соответствии с одним аспектом, точность верификации может быть повышена.

КРАТКОЕ ОПИСАНИЕ ЧЕРТЕЖЕЙ

[0012] Фиг. 1 является функциональной блок-схемой, иллюстрирующей конфигурацию устройства обработки информации в соответствии с вариантом осуществления;

[0013] Фиг. 2 является диаграммой, иллюстрирующей пример информации определения;

[0014] Фиг. 3 является диаграммой, иллюстрирующей пример экземпляра реализации;

[0015] Фиг. 4 является диаграммой, иллюстрирующей пример таблицы битовых строк комбинаций в соответствии с вариантом осуществления;

[0016] Фиг. 5 является диаграммой, иллюстрирующей пример битовой строки верификации в соответствии с вариантом осуществления;

[0017] Фиг. 6 является диаграммой, иллюстрирующей пример обработки верификации в соответствии с вариантом осуществления;

[0018] Фиг. 7 является диаграммой, иллюстрирующей пример основной блок-схемы последовательности операций обработки верификации в соответствии с вариантом осуществления;

[0019] Фиг. 8 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки анализа информации определения в соответствии с вариантом осуществления;

[0020] Фиг. 9 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки анализа информации верификации в соответствии с вариантом осуществления;

[0021] Фиг. 10 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки верификации в соответствии с вариантом осуществления;

[0022] Фиг. 11 является диаграммой, иллюстрирующей пример компьютера, который исполняет программу верификации;

[0023] Фиг. 12 является диаграммой, иллюстрирующей базовый пример финансового отчета, соответствующего размерной спецификации;

[0024] Фиг. 13A является диаграммой, иллюстрирующей базовый пример верификации посредством битовой операции; и

[0025] Фиг. 13B является диаграммой, иллюстрирующей базовый пример верификации посредством битовой операции.

ОПИСАНИЕ ВАРИАНТОВ ОСУЩЕСТВЛЕНИЯ

[0026] Далее, варианты осуществления способа верификации, устройства обработки информации и программы верификации, раскрытые в настоящей заявке, будут описаны подробно со ссылками на чертежи. Отметим, что варианты осуществления не ограничивают настоящее изобретение.

[0027] [Варианты осуществления]

[0028] Сначала, базовый пример в случае, где верификация комбинации оси и значения по оси выполняется с использованием битовой операции, когда выполняется верификация на основе Размерной спецификации, будет описан со ссылкой на фиг. 13A и 13B. Фиг. 13A и 13B являются диаграммами, иллюстрирующими базовый пример верификации посредством битовой операции. На фиг. 13A и 13B, будет описан случай, где выполняется верификация комбинации оси и значения по оси в случае, когда заголовками счетов (далее сокращены как "заголовки") являются "продажи" и "активы”".

[0029] Как проиллюстрировано на фиг. 13A, битовые строки генерируются с учетом всех комбинаций осей и значений по осям для "продаж" и "активов" в качестве заголовков. Здесь, "все регионы", "Северная Америка", "Азия" и "Европа" являются значениями по оси "регион". "Все продукты", "бытовые приборы" и "PC" являются значениями по оси "тип продукта". "Материальный" и "нематериальный" являются значениями по оси "тип актива".

[0030] Битовое значение "1" устанавливается в случае, когда комбинация оси и значения является возможной для заголовка. Битовое значение "0" устанавливается в случае, когда комбинация оси и значения является невозможной для заголовка. Здесь, битовое значение "1" установлено для значений оси "регион" и значений оси "тип продукта" для заголовка "продажи". Битовое значение "1" установлено для значений оси "регион" и значений оси "тип актива" для заголовка "активы". Отметим, что все комбинации оси и значений для заголовков и возможные комбинации осей и значений для заголовков определены заранее в информации определений с использованием Размерной спецификации.

[0031] При таких обстоятельствах, устройство обработки информации использует битовую операцию, чтобы верифицировать, является ли или нет комбинация значений, подлежащая верификации, действительной в предположении битовых строк возможных комбинаций осей и значений для заголовков, проиллюстрированных на фиг. 13A.

[0032] Как иллюстрируется в верхней части фиг. 13B, предполагается, что комбинацией значений, подлежащей верификации в случае, когда заголовком является "продажи", является "регион: Северная Америка, прочее не специфицировано". "Регион: Северная Америка, прочее не специфицировано" означает случай, где значение по оси "регион" специфицировано как "Северная Америка", и значения по другим осям не специфицированы. В таком случае, бит для "Северной Америки" в битовой строке для верификации установлен в "1" как запросный бит. Например, в битовой строке для верификации, только биты значений, подлежащих верификации, установлены в "1".

[0033] Затем, устройство обработки информации выполняет операцию "И" битовой строки возможных комбинаций осей и значений в случае, где заголовком является "продажи", и битовой строки для верификации "регион: Северная Америка, прочее не специфицировано" и выводит результат операции "И". Когда результат операции "И" совпадает (согласуется) с запросным битом, устройство обработки информации определяет, что комбинация является действительной. Здесь, поскольку результат операции "И" совпадает с запросным битом, определяется, что комбинация значений, подлежащая верификации является действительной комбинацией.

[0034] Как иллюстрируется в средней части фиг. 13B, предполагается, что комбинацией значений, подлежащей верификации в случае, когда заголовком является "продажи", является "активы: материальные, прочее не специфицировано". "Активы: материальные, прочее не специфицировано" означает случай, где значение по оси "тип актива" специфицировано как "материальный" и значения по другим осям не специфицированы. В таком случае, бит для "материального" в битовой строке для верификации установлен в "1" как запросный бит.

[0035] Затем, устройство обработки информации выполняет операцию "И" битовой строки возможных комбинаций осей и значений в случае, где заголовком является "продажи", и битовой строки для верификации "регион: материальные, прочее не специфицировано" и выводит результат операции "И". Если результат операции "И" согласуется с запросным битом, то устройство обработки информации определяет, что комбинация является действительной. Здесь, поскольку результат операции "И" не согласуется с запросным битом, определяется, что комбинация значений, подлежащая верификации, не является действительной комбинацией.

[0036] Как иллюстрируется в нижней части фиг. 13B, предполагается, что комбинацией значений, подлежащей верификации в случае, когда заголовком является "активы", является "регион: все регионы, прочее не специфицировано". "Регион: все регионы, прочее не специфицировано" означает случай, где значение по оси "регион" специфицировано как "все регионы", и значения по другим осям не специфицированы. В таком случае, бит для "всех регионов" в битовой строке для верификации установлен в "1" в качестве запросного бита.

[0037] Затем, устройство обработки информации выполняет операцию "И" битовой строки возможных комбинаций осей и значений в случае, где заголовком является "активы", и битовой строки для верификации "регион: все регионы, прочее не специфицировано" и выводит результат операции "И". Когда результат операции "И" согласуется с запросным битом, устройство обработки информации определяет, что комбинация является действительной. Здесь, поскольку результат операции "И" согласуется с запросным битом, определяется, что комбинация значений, подлежащая верификации, является действительной комбинация.

[0038] Однако, в случае, где заголовком является "активы", значение по оси "тип актива" необходимо верифицировать из возможных комбинаций осей и значений в случае, где заголовком является "активы", как указано на фиг. 13B. Например, значение по оси "тип актива" необходимо включить в комбинацию значений для верификации. Однако, в случае нижней части фиг. 13B, значение по оси "тип актива" не включено в комбинацию значений для верификации. Тем не менее, результат операции "И" согласуется с запросным битом и определяется, что комбинация значений, подлежащая верификации, является действительной комбинацией.

[0039] Это объясняется тем, что поскольку Размерная спецификация не определяет значение по умолчанию по оси "тип актива", в случае, где комбинация значений, когда заголовком является "активы", подлежит верификации, всегда необходимо специфицировать значение не по умолчанию по оси "тип актива" в битовой строке для верификации. Однако, даже хотя значение по оси "тип актива" не специфицировано в битовой строке для верификации, результат является действительным. Например, поскольку Размерная спецификация использует понятие по умолчанию, в случае оси, которая не имеет определения по умолчанию для значения, может быть ошибочно определено, что комбинация является действительной, как в нижней части фиг. 13B. Таким образом, когда верификация на основе Размерной спецификации выполняется, трудно корректно выполнить верификацию только путем простой комбинации оси и значения по оси.

[0040] Поэтому, в последующем, будет описано устройство 1 обработки информации, которое исполняет способ верификации, который улучшает точность верификации, когда верификация на основе Размерной спецификации выполняется посредством битовой операции.

[0041] [Конфигурация устройства обработки информации в соответствии с вариантом осуществления]

[0042] Фиг. 1 является функциональной блок-схемой, иллюстрирующей конфигурацию устройства обработки информации в соответствии с вариантом осуществления. Как проиллюстрировано на фиг. 1, устройство 1 обработки информации выполняет верификацию на основе Размерной спецификации посредством битовой операции. Устройство 1 обработки информации определяет, может ли или нет спецификация значения по оси быть опущена, на основе возможных комбинаций осей и значений по оси для заголовка, заранее определенного посредством Размерной спецификации. Затем, устройство 1 обработки информации добавляет бит дискриминации к каждой из битовой строки (битовой строки комбинации) возможных комбинаций осей и значений по осям и битовой строки для верификации (битовой строки верификации) и выполняет верификацию с использованием битовой строки комбинации и битовой строки верификации, которые получены путем сложения. Отметим, что битовая строка для верификации является примером данных, подлежащих верификации. Битовая строка возможных комбинаций осей и значений по осям является примером данных комбинации.

[0043] Устройство 1 обработки информации включает в себя блок 10 управления и блок 20 хранения.

[0044] Блок 10 управления включает в себя внутреннюю память для хранения программы, предписывающей различные процедуры обработки, и управляющих данных и исполняет различные типы обработки с использованием программы и управляющих данных. Кроме того, блок 10 управления соответствует, например, интегральной схеме, такой как специализированная интегральная схема (ASIC) или программируемая вентильная матрица (FPGA), или электронной схеме, такой как центральный процессор (CPU) или микропроцессор (MPU). Кроме того, блок 10 управления включает в себя блок 11 анализа информации определения, блок 12 анализа информации верификации, блок 13 верификации и блок 14 вывода. Отметим, что блок 12 анализа информации верификации является примером блока получения. Блок 13 верификации является примером блока спецификации и блока верификации.

[0045] Блок 20 хранения соответствует, например, устройству хранения, такому как элемент энергонезависимой полупроводниковой памяти, такой как флэш-память, ферроэлектрическая память с произвольным доступом (FRAM) (зарегистрированный товарный знак). Кроме того, блок 20 хранения включает в себя информацию 21 определения, экземпляр реализации 22, таблицу битовых строк комбинаций и битовую строку 24 верификации.

[0046] Информация 21 определения представляет собой информацию касательно тела определения XBRL-элемента. Информация 21 определения представляет собой информацию, которая определяет информацию, требуемую для электронного представления финансовой информации, такую как имя заголовка счета и информацию оси XBRL-элемента. Информация 21 определения включена XBRL-таксономию.

[0047] Фиг. 2 является диаграммой, иллюстрирующей пример информации определения. Как проиллюстрировано на фиг. 2, информация 21 определения сохраняет заголовок, ось и значения, которые может принимать ось, в ассоциации друг с другом.

[0048] В качестве примера, в случае, когда заголовком является "продажи", в качестве осей включены "регион" и "тип продукта". В случае, когда ось представляет собой "регион", значения "все регионы", "Северная Америка", "Азия" и "Европа" включены в качестве значений, которые может принимать ось. В случае, когда ось представляет собой "тип продукта", значения "все продукты", "бытовые приборы" и "PC" включены в качестве значений, которые может принимать ось. Кроме того, в случае, когда заголовком является "активы", значения "регион" и "тип актива" включены как оси. В случае, когда ось представляет собой "регион", значения "все регионы", "Северная Америка", "Азия" и "Европа" включены как значения, которые может принимать ось. В случае, когда ось представляет собой "тип актива", значения "материальный" и "нематериальный" включены как значения, которые может принимать ось.

[0049] Здесь, "все регионы", которое является значением, которое может принимать ось "регион", и "все продукты", которое является значением, которое может принимать ось "тип продукта", являются значениями по умолчанию, которые могут принимать оси. Отметим, что, для оси "тип актива", значение по умолчанию, которое может принимать ось, не определено.

[0050] Со ссылкой на фиг. 1, экземпляр реализации 22 представляет собой документ, указывающий XBRL-данные, описывающие финансовую информацию. Финансовая информация описывается в соответствии с правилом, определенным в XBRL- таксономии.

[0051] Фиг. 3 является диаграммой, иллюстрирующей пример экземпляра реализации. Как проиллюстрировано на фиг. 3, экземпляр реализации включает в себя, например, идентификатор компании, данные для значения, информацию оси в качестве информации, ассоциированной со значением заголовка, и тому подобное. Информация, ассоциированная со значением заголовка, называется "контекстом". Контекст представляет данные XBRL-элемента посредством идентификатора, периода, сегмента и сценария. Например, XBRL-элемент моет интерпретироваться посредством идентификатора, периода, сегмента и сценария. В качестве примера, значение "материальный" установлено по оси "тип актива". Значение "Северная Америка" установлено по оси "регион".

[0052] Со ссылкой на фиг. 1, таблица 23 битовых строк комбинаций хранит, для каждого заголовка, битовую строку возможных комбинаций осей и значений по осям. Битовая строка комбинации является битовой строкой, учитывающей все комбинации осей и значений оси для всех осей, определенных в информации 21 определения. Кроме того, битовая строка комбинации имеет бит, указывающий, возможен ли или невозможен пропуск для каждой оси. Отметим, что таблица битовых строк комбинаций генерируется блоком 11 анализа информации определения.

[0053] Здесь, пример таблицы 23 битовых строк комбинаций в соответствии с вариантом осуществления будет описан со ссылкой на фиг. 4. Фиг. 4 является диаграммой, иллюстрирующей пример таблицы битовых строк комбинаций в соответствии с вариантом осуществления. Как проиллюстрировано на фиг. 4, таблица 23 битовых строк комбинаций ассоциирует, для каждого заголовка, информацию для значения по оси с информацией, указывающей, возможен ли пропуск для оси.

[0054] Информация для значения по оси является информацией, указывающей, специфицировано ли или нет значение по оси в заголовке, и представлена битом. В качестве примера, "1" устанавливается в случае, когда значение по оси специфицировано в заголовке, и "0" устанавливается в случае, когда значение по оси не специфицировано в заголовке. То, возможен ли пропуск для оси, является информацией, указывающей, имеет ли ось значение по умолчанию, или указывающей, что ось не специфицирована в заголовке, и представлено битом. В качестве примера, "1" устанавливается в случае, когда ось имеет значение по умолчанию или ось не установлена заголовке, и "0" устанавливается в случае, когда ось установлена в заголовке и ось не имеет значения по умолчанию.

[0055] В качестве примера, в случае, когда заголовком является "продажи", в каждом из значений по оси "регион", которыми являются "все регионы", "Северная Америка", "Азия" и "Европа", сохраняется "1", указывая, что значение по оси специфицировано в заголовке. В каждом из значений по оси "тип продукта", которыми являются "все продукты", "бытовые приборы" и "PC", сохраняется “1”, указывая, что значение по оси специфицировано в заголовке. В каждом из значений по оси "тип актива", которыми являются "материальный" и "нематериальный", сохраняется "0", указывая, что значение по оси не специфицировано в заголовке. В опускаемом "регион", сохраняется “1”, указывая, что ось "регион" имеет значение по умолчанию. В опускаемом "тип продукта", сохраняется "1", указывая, что ось "тип продукта" имеет значение по умолчанию. В опускаемом "тип актива", сохраняется "1", указывая, что ось "тип актива" не установлена в заголовке.

[0056] В качестве другого примера, в случае, где заголовком является "активы", в каждом из значений по оси "регион", которыми являются "все регионы", "Северная Америка", "Азия" и "Европа", сохраняется "1", указывая, что значение по оси специфицировано в заголовке. В каждом из значений по оси "тип продукта", которыми являются "все продукты", "бытовые приборы" и "PC", сохраняется "0", указывая, что значение по оси не специфицировано в заголовке. В каждом из значений по оси "тип актива", которыми являются "материальный" и "нематериальный", сохраняется "1", указывая, что значение по оси специфицировано в заголовке. В опускаемом "регион", сохраняется "1", указывая, что ось "регион" имеет значение по умолчанию. В опускаемом "тип продукта", сохраняется "1", указывая, что ось "тип продукта" не установлена в заголовке. В опускаемом "тип актива", сохраняется “0”, указывая, что ось "тип актива" установлена в заголовке и ось не имеет значения по умолчанию.

[0057] Со ссылкой на фиг. 1, битовая строка 24 верификации является битовой строкой, используемой для верификации того, является ли комбинация значений, подлежащая верификации, действительной для заголовка, подлежащего верификации. Кроме того, битовая строка 24 верификации имеет бит, указывающий, что спецификация опущена для оси, имеющей значение, не подлежащее верификации. Отметим, что битовая строка 24 верификации генерируется блоком 12 анализа информации верификации.

[0058] Здесь, пример битовой строки 24 верификации в соответствии с вариантом осуществления будет описан со ссылкой на фиг. 5. Фиг. 5 является диаграммой, иллюстрирующей пример битовой строки верификации в соответствии с вариантом осуществления. Как проиллюстрировано на фиг. 5, битовая строка 24 верификации ассоциирует, для заголовка, информацию для значения по оси с информацией, указывающей, возможен ли пропуск для оси.

[0059] Информация для значения по оси является информацией, указывающей, специфицировано ли или нет значение по оси в комбинации значений, подлежащей верификации, и представлено битом. В качестве примера, "1" устанавливается в случае, когда значение по оси специфицировано в комбинации значений, подлежащей верификации, и "0" устанавливается в случае, когда значение по оси не специфицировано в комбинации значений, подлежащей верификации. То, возможен ли пропуск для оси, является информацией, указывающей, что спецификация опущена для оси, имеющей значение, не специфицированное в комбинации значений, подлежащей верификации, и представлено битом. В качестве примера, "1" устанавливается в случае, когда спецификация опущена, и "0" устанавливается в случае, когда спецификация не опущена.

[0060] В качестве примера (P1), комбинацией значений, подлежащей верификации в случае, когда заголовком является "активы", является "регион: все регионы, прочее не специфицировано". "Регион: все регионы, прочее не специфицировано" означает случай, где значение по оси "регион" специфицировано как "все регионы", и значения по другим осям не специфицированы. В таком случае, "1" как запросный бит сохраняется в бите для "всех регионов" битовой строки 24 верификации. Кроме того, в опускаемом "типе продукта" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена. Кроме того, в опускаемом "типе актива" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена. Отметим, что, в опускаемом "регионе" в битовой строке 24 верификации, сохраняется "0", указывая, что спецификация не опущена.

[0061] В качестве другого примера (P2), комбинацией значений, подлежащей верификации в случае, когда заголовком является "активы", является "регион: не специфицировано". "Регион: не специфицировано" означает случай, где значения по всем осям не специфицированы. В таком случае, "0", указывающий, что не имеется запроса, сохраняется в битах для значений по всем осям битовой строки 24 верификации. Кроме того, в опускаемом "регионе" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена. В опускаемом "типе продукта" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена. Кроме того, в опускаемом "типе актива" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена.

[0062] В качестве другого примера (P3), комбинацией значений, подлежащей верификации в случае, когда заголовком является "активы", является "регион: Северная Америка, тип актива: материальный". "Регион: Северная Америка, тип актива: материальный" означает случай, где значение по оси "регион" специфицировано как "Северная Америка", и значение по "тип актива" специфицировано как "материальный". В таком случае, "1" как запросный бит сохраняется в бите для значения "Северная Америка" битовой строки 24 верификации. "1" как запросный бит сохраняется в бите для значения "материальный" битовой строки 24 верификации. Кроме того, в опускаемом "типе продукта" в битовой строке 24 верификации, сохраняется "1", указывая, что спецификация опущена. Отметим, что, в опускаемом "регионе" в битовой строке 24 верификации, сохраняется "0", указывая, что спецификация не опущена. В опускаемом "типе актива" в битовой строке 24 верификации, сохраняется "0", указывая, что спецификация не опущена.

[0063] Со ссылкой на фиг. 1, блок 11 анализа информации определения анализирует информацию 21 определения и генерирует таблицу битовых строк комбинаций.

[0064] Например, блок 11 анализа информации определения обращается к информации 21 определения, чтобы получить все комбинации осей и значений по осям, и сохраняет комбинации в списке. Блок 11 анализа информации определения добавляет опускаемое значение для каждой оси в конце списка. Блок 11 анализа информации определения использует список, что сгенерировать битовые строки комбинаций на основе всех заголовков. В качестве примера, блок 11 анализа информации определения выполняет следующую обработку для каждого заголовка. Блок 11 анализа информации определения обращается к информации 21 определения и устанавливает часть комбинации списка, соответствующего комбинации оси, на основе заголовка и значения по оси, в "1", чтобы сгенерировать битовую строку комбинации. Кроме того, в случае, когда имеется ось, которая не основана на заголовке, например, ось, которая не специфицирована в заголовке, блок 11 анализа информации определения устанавливает опускаемый бит для этой оси в "1". Кроме того, в случае, когда значение по умолчанию специфицировано по оси на основе заголовка, блок 11 анализа информации определения устанавливает опускаемый бит для этой оси в "1". Отметим, что, в случае, когда значение по умолчанию не специфицировано по оси на основе заголовка, блок 11 анализа информации определения оставляет опускаемый бит для этой оси как "0". Затем, блок 11 анализа информации определения добавляет битовую строку комбинации для каждого заголовка к таблице 23 битовых строк комбинаций.

[0065] Блок 12 анализа информации верификации анализирует информацию верификации, подлежащую верификации, чтобы сгенерировать битовую строку 24 верификации.

[0066] Например, при приеме экземпляра реализации 22, который представляет собой XBRL-данные, подлежащие верификации, блок 12 анализа информации верификации получает, из экземпляра реализации 22, данные опционального заголовка в качестве данных, подлежащих верификации. Блок 12 анализа информации верификации генерирует битовую строку 24 верификации из данных, подлежащих верификации. В качестве примера, блок 12 анализа информации верификации получает ось, желательную для верификации, из данных, подлежащих верификации, и проверяет, специфицировано или нет множество значений по той же оси. В случае, когда множество значений не специфицировано по той же оси, блок 12 анализа информации верификации устанавливает часть комбинации списка, соответствующую комбинации оси, желательной для верификации, и значения по оси, в "1" и генерирует битовую строку 24 верификации. Кроме того, блок 12 анализа информации верификации устанавливает "1" в опускаемом значении в битовой строке 24 верификации для оси, не подлежащей верификации, например, для оси, не специфицированной в данных, подлежащих верификации. Отметим, что блок 12 анализа информации верификации оставляет опускаемый бит для этой оси как "0" для оси, желательной для верификации, например, оси, специфицированной в данных, подлежащих верификации.

[0067] Блок 13 верификации верифицирует информацию верификации, подлежащую верификации.

[0068] Например, блок 13 верификации получает битовую строку комбинации заголовка, подлежащую верификации, из таблицы битовых строк комбинаций. Блок 13 верификации выполняет операцию "И" битовой строки 24 верификации и полученной битовой строки комбинации. Затем, в случае, когда результат операции "И" согласуется с битовой строкой 24 верификации, блок 13 верификации определяет, что информация верификации является действительной. В случае, когда результат операции "И" не согласуется с битовой строкой 24 верификации, блок 13 верификации определяет, что информация верификации является недействительной.

[0069] Например, блок 13 верификации обращается к информации 21 определения, чтобы специфицировать ось и значение по оси (соответственно битовой строке комбинации), назначенное данным того же самого заголовка, как данные, подлежащие верификации (соответственно битовой строке 24 верификации). Блок 13 верификации определяет что данные, подлежащие верификации, действительны в случае, где специфицированная ось и значение по оси специфицированы или не специфицированы в данных, подлежащих верификации, и определяет, что данные, подлежащие верификации, не действительны в случае, где ось и значение по оси иные, чем специфицированная ось и значение по оси, специфицированы в данных, подлежащих верификации. Затем, блок 13 верификации определяет, что данные, подлежащие верификации, не действительны в случае, где специфицированная ось и значение по оси включают в себя ось предопределенного типа и значение по оси, и ни ось предопределенного типа, ни значение по оси не специфицированы в данных, подлежащих верификации. Здесь, предопределенный тип означает, например, тип, указывающий ось, не имеющую определения по умолчанию (ось типа актива), указанную на фиг. 5.

[0070] Блок 14 вывода выводит результат верификации информации верификации, подлежащей верификации. Например, блок 14 вывода выводит, на монитор, битовую строку 24 верификации, битовую строку комбинации заголовка, подлежащего верификации, и результат верификации.

[0071] [Один пример обработки верификации]

[0072] Фиг. 6 является диаграммой, иллюстрирующей пример обработки верификации в соответствии с вариантом осуществления. На фиг. 6, будет описан случай, где заголовком является "активы", и выполняется верификация комбинаций значений, подлежащих верификации в P1 до P3, показанных на фиг. 5. Битовой строкой, указанной ссылочной позицией b0 на фиг. 6, является битовая строка комбинации в случае, когда заголовком является "активы". В битовой строке комбинации b0, установлено "1", указывая, что значения по оси "регион" специфицированы в заголовке. Установлено "1", указывая, что значения по оси "тип актива" специфицированы в заголовке. Кроме того, опускаемый бит "регион", установлен в "1", указывая, что ось "регион" имеет значение по умолчанию ("все диапазоны"). Опускаемый бит "тип продукта" установлен в "1", указывая, что ось "тип продукта" не установлена в заголовке. Опускаемый бит "тип актива" установлен в "0", указывая, что ось "тип актива" установлена в заголовке, и ось не имеет значения по умолчанию.

[0073] При таких обстоятельствах, будет описана верификация комбинации значений, подлежащей верификации в P1. Комбинацией значений, подлежащей верификации в P1, является "регион: все регионы, прочее не специфицировано". Здесь, битовой строкой, указанной ссылочной позицией b1 на фиг. 6, является битовая строка 24 верификации комбинации значений, подлежащей верификации в P1. Запросный бит "1" установлен в бит для значения "все регионы" в битовой строке 24 верификации. В опускаемом "регион", установлено “0”, указывая, что спецификация не опущена. В опускаемом "типе продукта", установлено "1", указывая, что спецификация опущена. В опускаемом "типе актива", установлено "1", указывая, что спецификация опущена.

[0074] Например, блок 13 верификации выполняет операцию "И" битовой строки 24 верификации (b1) и битовой строки комбинации b0. Затем, в случае, когда результат операции "И" a1 согласуется с битовой строкой 24 верификации (b1), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P1, является действительной. В случае, когда результат операции "И" a1 не согласуется с битовой строкой 24 верификации (b1), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P1, не является действительной. Здесь, поскольку результат операции "И" a1 не согласуется с битовой строкой 24 верификации (b1), определяется, что комбинация значений, подлежащая верификации в P1, не является действительной. Например, в случае, когда заголовком является "активы", должно быть специфицировано значение по оси "тип актива", которое не имеет значения по умолчанию. Однако, поскольку значение по оси "тип актива" не специфицировано в комбинации значений, подлежащей верификации в P1, определяется, что комбинация значений, подлежащая верификации в P1, является не действительной. При такой конфигурации, поскольку результат операции "И" не согласуется с битом верификации путем добавления опускаемого бита для каждой оси к битовой строке комбинации и битовой строке 24 верификации, блок 13 верификации может определить, что верификация, обычно определяемая как действительная, не является действительной.

[0075] Далее, будет описана верификация комбинации значений, подлежащей верификации в P2. Комбинация значений, подлежащая верификации в P2, является "не специфицированной". Здесь, битовой строкой, указанной ссылочной позицией b2 на фиг. 6, является битовая строка 24 верификации комбинации значений, подлежащей верификации в P2. В каждом из опускаемого "региона", опускаемого "типа продукта" и опускаемого "типа актива" в битовой строке 24 верификации, устанавливается "1", указывая, что спецификация опущена.

[0076] Например, блок 13 верификации выполняет операцию "И" строки 24 битов верификации (b2) и битовой строки комбинации b0. Тогда, в случае, когда результат операции "И" a2 согласуется с битовой строкой 24 верификации (b2), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P2 является действительной. В случае, когда результат операции "И" a2 не согласуется с битовой строкой 24 верификации (b2), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P2, не является действительной. Здесь, поскольку результат операции "И" a2 не согласуется с битовой строкой 24 верификации (b2), определяется, что комбинация значений, подлежащая верификации в P2, не является действительной. Например, в случае, когда заголовком является "активы", должно быть специфицировано значение по оси "тип актива", которое не имеет значения по умолчанию. Однако, поскольку значение по оси "тип актива" не специфицировано в комбинации значений, подлежащей верификации в P2, определяется, что комбинация значений, подлежащая верификации в P2, не является действительной. При такой конфигурации, поскольку результат операции "И" не согласуется с битом верификации путем добавления опускаемого бита для каждой оси к битовой строке комбинации и битовой строке 24 верификации, блок 13 верификации может определить, что верификация, обычно определяемая как действительная, не является действительной.

[0077] Далее, будет описана верификация комбинации значений, подлежащей верификации в P3. Комбинацией значений, подлежащих верификации в P3, является "регион: Северная Америка, тип актива: материальный". Здесь, битовой строкой, указанной ссылочной позицией b3 на фиг. 6, является битовая строка 24 верификации комбинации значений, подлежащей верификации в P3. Запросный бит "1" установлен в бите для значения "Северная Америка" в битовой строке 24 верификации. Запросный бит "1" установлен в бите для значения "материальный". В опускаемом "регионе", устанавливается "0", указывая, что спецификация не опущена. В опускаемом "типе продукта", устанавливается "1", указывая, что спецификация опущена. В опускаемом "типе актива", устанавливается "0", указывая, что спецификация не опущена.

[0078] Например, блок 13 верификации выполняет операцию "И" битовой строки 24 верификации (b3) и битовой строки комбинации b0. Тогда, в случае, когда результат операции "И" a3 согласуется с битовой строкой 24 верификации (b3), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P3, является действительной. В случае, когда результат операции "И" a3 не согласуется с битовой строкой 24 верификации (b3), блок 13 верификации определяет, что комбинация значений, подлежащая верификации в P3, не является действительной. Здесь, поскольку результат операции "И" a3 согласуется с битовой строкой 24 верификации (b3), определяется, что комбинация значений, подлежащая верификации в P3, является действительной. Например, поскольку ось и значение по оси комбинации, указанной битовой строкой комбинации b0, специфицированы или не специфицированы в комбинации значений, подлежащей верификации в P3, определяется, что комбинация значений, подлежащая верификации в P3, является действительной.

[0079] [Блок-схема последовательности операций обработки верификации]

[0080] Здесь, блок-схема последовательности операций обработки верификации в соответствии с вариантом осуществления будет описана со ссылкой на фиг. 7-10. Фиг. 7 является диаграммой, иллюстрирующей пример основной блок-схемы последовательности операций обработки верификации в соответствии с вариантом осуществления.

[0081] Как проиллюстрировано на фиг. 7, когда тело определения (информация 21 определения) XBRL-элемента введено (этап S11), блок 11 анализа информации определения исполняет обработку анализа информации определения (этап S12). Отметим, что блок-схема последовательности операций обработки анализа информации определения будет описана далее.

[0082] Затем, блок 12 анализа информации верификации исполняет обработку анализа информации верификации (этап S13). Отметим, что блок-схема последовательности операций обработки анализа информации верификации будет описана далее.

[0083] Затем, блок 13 верификации исполняет обработку верификации (этап S14). Отметим, что блок-схема последовательности операций обработки верификации будет описана далее.

[0084] Затем, блок 14 вывода выводит результат обработки верификации (этап S15).

[0085] [Блок-схема последовательности операций обработки анализа информации определения]

[0086] Фиг. 8 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки анализа информации определения в соответствии с вариантом осуществления.

[0087] Как проиллюстрировано на фиг. 8, блок 11 анализа информации определения получает все комбинации осей и значений по осям, существующие в ссылке определения информации 21 определения, и сохраняет комбинации в списке для генерации битовой строки 24 верификации (этап S21). Кроме того, блок 11 анализа информации определения добавляет опускаемый бит для каждой оси к концу списка (этап S22).

[0088] Затем, блок 11 анализа информации определения получает комбинации осей и значений по осям, ассоциированным со всеми заголовками (этап S23).

[0089] Затем, блок 11 анализа информации определения выбирает один заголовок из всех заголовков (этап S24A). Блок 11 анализа информации определения генерирует битовую строку, в которой индекс списка, соответствующего комбинации оси и значений по оси, ассоциированной с выбранным заголовком, установлен в "1" (этап S24).

[0090] Затем, блок 11 анализа информации определения определяет, имеется ли или нет ось, которая не ассоциирована с (не специфицирована в) выбранным заголовком (этап S25). В случае, когда определяется, что имеется ось, которая не ассоциирована с (не специфицирована в) выбранным заголовком (этап S25; Да), блок 11 анализа информации определения устанавливает опускаемый бит для оси в битовой строке в "1" (этап S26). Затем, блок 11 анализа информации определения переходит к этапу S27.

[0091] С другой стороны, в случае, когда определяется, что не имеется оси, которая не ассоциирована с (не специфицирована в) выбранным заголовком (этап S25; Нет), блок 11 анализа информации определения переходит к этапу S27.

[0092] На этапе S27, блок 11 анализа информации определения определяет, специфицировано ли или нет значение по умолчанию по оси, ассоциированной с выбранным заголовком (этап S27). В случае, когда определяется, что значение по умолчанию специфицировано по оси, ассоциированной с выбранным заголовком (этап S27; Да), блок 11 анализа информации определения устанавливает опускаемый бит для оси в битовой строке в "1" (этап S28). Затем, блок 11 анализа информации определения переходит к этапу S29.

[0093] С другой стороны, в случае, когда определяется, что значение по умолчанию не специфицировано по оси, ассоциированной с выбранным заголовком (этап S27; Нет), блок 11 анализа информации определения переходит к этапу S29.

[0094] На этапе S29, блок 11 анализа информации определения добавляет битовую строку в таблицу битовых строк комбинаций (этап S29).

[0095] Затем, блок 11 анализа информации определения определяет, были ли все заголовки выбраны (этап S30). В случае, когда определяется, что все заголовки не были выбраны (этап S30; Нет), блок 11 анализа информации определения переходит к этапу S24A, чтобы выбрать следующий заголовок.

[0096] С другой стороны, в случае, когда определяется, что все заголовки были выбраны (этап S30; Да), блок 11 анализа информации определения заканчивает обработку анализа информации определения.

[0097] [Блок-схема последовательности операций обработки анализа информации верификации]

[0098] Фиг. 9 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки анализа информации верификации в соответствии с вариантом осуществления.

[0099] Как проиллюстрировано на фиг. 9, блок 12 анализа информации верификации принимает комбинацию заголовка, оси и значения по оси, которые желательны для верификации (этап S41). Например, блок 12 анализа информации верификации принимает комбинацию значений, подлежащую верификации.

[0100] Затем, блок 12 анализа информации верификации определяет, для принятой комбинация, специфицировано ли или нет множество значений по той же самой оси (этап S42). В случае, когда определяется, что множество значений специфицировано по той же самой оси (этап S42; Да), блок 12 анализа информации верификации определяет, что комбинация значений, подлежащая верификации, не является действительной (этап S43). Затем, блок 12 анализа информации верификации заканчивает обработку анализа информации верификации.

[0101] С другой стороны, в случае, когда определяется, что множество значений не специфицировано по той же самой оси (этап S42; Нет), блок 12 анализа информации верификации генерирует битовую строку 24 верификации, в которой индекс списка, соответствующего комбинации оси и значения по оси, установлен в "1" (этап S44).

[0102] Кроме того, блок 12 анализа информации верификации устанавливает опускаемый бит в битовой строке 24 верификации в "1" для оси, не специфицированной в принятой комбинации (этап S45). Затем, блок 12 анализа информации верификации заканчивает обработку анализа информации верификации.

[0103] [Блок-схема последовательности операций обработки верификации]

[0104] Фиг. 10 является диаграммой, иллюстрирующей пример блок-схемы последовательности операций обработки верификации в соответствии с вариантом осуществления.

[0105] Как проиллюстрировано на фиг. 10, блок 13 верификации получает все битовые строки заголовка, подлежащего верификации, из таблицы битовых строк комбинаций (этап S51). Причина для получения всех битовых строк состоит в том, что, в зависимости от заголовка, подлежащего верификации, даже тот же самый заголовок может иметь множество битовых строк комбинаций.

[0106] Блок 13 верификации определяет, имеется ли битовая строка комбинации (этап S52). В случае, когда определяется, что не имеется битовой строки комбинации (этап S52; Нет), блок 13 верификации определяет, что не имеется ограничений посредством Размерной спецификации, и определяет, что комбинация значений, подлежащая верификации, является действительной комбинацией (этап S53). Затем, блок 13 верификации заканчивает обработку верификации.

[0107] С другой стороны, в случае, когда определяется, что имеется битовая строка комбинации (этап S52; Да), блок 13 верификации выполняет операцию "И" битовой строки комбинации и битовой строки 24 верификации (этап S54). Затем, блок 13 верификации определяет, согласуется ли или нет результат операции "И" с битовой строкой 24 верификации (этап S55).

[0108] В случае, когда определяется, что результат операции "И" согласуется с битовой строкой 24 верификации (этап S55; Да), блок 13 верификации определяет, что комбинация значений, подлежащая верификации, является действительной комбинация (этап S56). Затем, блок 13 верификации заканчивает обработку верификации.

[0109] С другой стороны, в случае, когда определяется, что результат операции "И" не согласуется с битовой строкой 24 верификации (этап S55; Нет), блок 13 верификации определяет, что комбинация значений, подлежащая верификации, не является действительной комбинация (этап S57). Затем, блок 13 верификации заканчивает обработку верификации.

[0110] При такой конфигурации, устройство обработки информации 1 может выполнять верификацию на основе Размерной спецификации экземпляра реализации 22, имеющего большой размер, с высокой скоростью при повышении точности верификации. Например, в последние годы, экземпляр реализации 22, предоставляемый с использованием Размерной спецификации, увеличился в размерах, например, от нескольких мегабайтов (MБ) до нескольких гигабайтов (ГБ). Таким образом, финансовый орган надзора или тому подобное, который принял представление экземпляра реализации 22, должен верифицировать экземпляр реализации 22, имеющий большие размеры, представление которого было получено. В таком случае, устройство 1 обработки информации может верифицировать комбинации размерностей большого количества числовых значений в экземпляре реализации 22 без обращения к XBRL-таксономии (информации 21 определения).

[0111] Кроме того, устройство 1 обработки информации может надежно назначать данные экземпляра реализации 22 с высокой скоростью табличным определениям в XBRL-таксономии (информации 21 определения). Например, XBRL-таксономия (информация 21 определения) имеет спецификацию для определения таблицы, называемую базой табличных ссылок. В матрице заголовочной части каждой таблицы, специфицированы имя заголовка, значение, которое может принимать размерность, и тому подобное. Когда устройство 1 обработки информации генерирует битовую строку 24 верификации экземпляра реализации 22 во время верификации, затем можно назначать данные каждой таблице с использованием сгенерированной битовой строки 24 верификации. Например, устройство 1 обработки информации 1 может выполнять поиск в экземпляре реализации 22 данных, удовлетворяющих размерности, с использованием битовой строки 24 верификации для каждой таблицы и назначать данные каждой таблице.

[0112] [Результаты изобретения]

[0113] В соответствии с вариантом осуществления, описанным выше, при приеме XBRL-данных, устройство 1 обработки информации получает данные опционального заголовка из XBRL-данных в качестве данных, подлежащих верификации. Устройство 1 обработки информации специфицирует, со ссылкой на информацию определения XBRL-данных, значения атрибутов, назначенные данным того же заголовка, как данные, подлежащие верификации. Устройство 1 обработки информации верифицирует действительность данных, подлежащих верификации, с использованием алгоритма, который определяет, что данные, подлежащие верификации, действительны в случае, когда специфицированные значения атрибутов ассоциированы или не ассоциированы с данными, подлежащими верификации, и определяет, что данные, подлежащие верификации, не действительны в случае, когда значения атрибутов иные, чем специфицированные значения атрибутов, ассоциированы с данными, подлежащими верификации. Затем, устройство 1 обработки информации определяет, что данные, подлежащие верификации, не действительны в случае, когда специфицированные значения атрибутов включают в себя значения атрибутов предопределенного типа, и никакие из значений атрибутов предопределенного типа не ассоциированы с данными, подлежащими верификации. В соответствии с такой конфигурацией, устройство 1 обработки информации может улучшить точность верификации.

[0114] Кроме того, в соответствии с вариантом осуществления, описанным выше, устройство 1 обработки информации получает данные, подлежащие верификации, которые передают информацию верификации, которая указывает, что верификация выполняется, значениям атрибутов, подлежащим верификации, опционального заголовка, и также передают, в качестве значений атрибутов, информацию, которая указывает, что пропуск не выполняется, для оси, которая имеет атрибут, подлежащий верификации, и информацию, которая указывает, что пропуск выполняется, для оси значения атрибута, не подлежащего верификации. Устройство 1 обработки информации получает данные комбинации, которые передают информацию комбинации, которая указывает комбинацию оси на основе опционального заголовка и значения по оси, а также передает, в качестве значения атрибута, информацию, которая указывает, возможен ли или нет пропуск для оси на основе опционального заголовка. Устройство 1 обработки информации объединяет данные, подлежащие верификации, с данными комбинации посредством соответствующих значений атрибутов и определяет, что данные, подлежащие верификации, не действительны в случае, когда какие-либо из значений атрибутов не ассоциированы друг с другом. В соответствии с такой конфигурацией, устройство 1 обработки информации может улучшить точность верификации с использованием, для верификации, информации, которая указывает, возможен ли или нет пропуск для оси.

[0115] Кроме того, устройство 1 обработки информации выполняет битовую операцию, чтобы объединять соответствующие значения атрибутов друг с другом. В соответствии с такой конфигурацией, устройство 1 обработки информации может выполнять верификацию с высокой точностью и высокой скоростью.

[0116] [Программа и тому подобное]

[0117] Отметим, что каждый проиллюстрированный компонент устройства 1 обработки информации не обязательно должен быть физически сконфигурирован, как иллюстрируется на чертежах. Например, конкретные аспекты разделения и интеграции устройства 1 обработки информации не ограничены проиллюстрированными и все или часть устройства 1 обработки информации могут быть функционально или физически разделены или интегрированы в опциональном блоке в соответствии с различными нагрузками, состояниями использования или тому подобного. Например, блок 13 верификации и блок 14 вывода могут быть интегрированы как один блок. С другой стороны, блок 11 анализа информации определения может быть разделен на первый блок анализа информации определения, который генерирует часть комбинации оси и значения по оси в битовой строке комбинации, и второй блок анализа информации определения, который генерирует опускаемую битовую часть в битовой строке комбинации. Аналогично, блок 12 анализа информации верификации может быть разделен на первый блок анализа информации верификации, который генерирует часть комбинации оси и значения по оси в битовой строке 24 верификации, и второй блок анализа информации верификации, который генерирует опускаемую битовую часть в битовой строке 24 верификации. Кроме того, блок 20 хранения, например, информации 21 определения, экземпляра реализации 22, таблицы битовых строк комбинаций и битовой строки 24 верификации, может соединяться с сетью по сети как внешнее устройство для устройства 1 обработки информации.

[0118] Кроме того, различные типы обработки, описанной в вариантах осуществления, описанных выше, могут быть реализованы путем исполнения программы, подготовленной заранее, на компьютере, таком как персональный компьютер или рабочая станция. Таким образом, далее будет описан пример компьютера, который исполняет программу верификации, реализующую функции, подобные функциям устройства 1 обработки информации, проиллюстрированного на фиг. 1. Фиг. 11 является диаграммой, иллюстрирующей пример компьютера, который исполняет программу верификации.

[0119] Как проиллюстрировано на фиг. 11, компьютер 200 включает в себя центральный процессор (CPU) 203, который исполняет различные типы арифметической обработки, устройство 215 ввода, которое принимает данные, введенные пользователем, и блок 207 управления отображением, который управляет устройством 209 отображения. Кроме того, компьютер 200 включает в себя устройство 213 привода, которое считывает программу или тому подобное с носителя хранения, и блок 217 управления связью, который обменивается данными с другим компьютером через сеть. Кроме того, компьютер 200 включает в себя память 201, которая временно хранит различные типы информации, и накопитель на жестком диске (HDD) 205. Кроме того, память 201, CPU 203, HDD 205, блок 207 управления отображением, устройство 213 привода, устройство 215 ввода и блок 217 управления связью соединены посредством шины 219.

[0120] Устройство 213 накопителя, например, представляет собой устройство для съемного диска 211. HDD 205 хранит программу верификации 205a и информацию 205b, относящуюся к обработке верификации.

[0121] CPU 203 считывает программу 205а верификации и разворачивает программу 205а верификации в памяти 201. Программа 205а верификации функционирует как процесс верификации.

[0122] Например, процесс верификации соответствует каждому функциональному блоку блока 10 управления. Информация 205b, относящаяся к обработке верификации, соответствует информации 21 определения, экземпляру реализации 22, таблице 23 битовых строк комбинаций и битовой строке 24 верификации.

[0123] Отметим, что программа 205а верификации не обязательно должна быть сохранена в HDD 205 с самого начала. Например, программа сохраняется на "портативном физическом носителе", таком как гибкий диск (FD), постоянная память на компакт-диске (CD-ROM), цифровой многоцелевой диск (DVD), магнитооптический диск или карта с интегральной схемой (IC), которая вводится в компьютер 200. Затем, компьютер 200 может считывать программу 205а верификации из этих носителей и исполнять программу 205а верификации.

Список ссылочных позиций

[0124] 1 Устройство обработки информации

[0125] 10 Блок управления

[0126] 11 Блок анализа информации определения

[0127] 12 Блок анализа информации верификации

[0128] 13 Блок верификации

[0129] 14 Блок вывода

[0130] 20 Блок хранения

[0131] 21 Информация определения

[0132] 22 Экземпляр реализации

[0133] 23 Таблица битовой строки комбинации

[0134] 24 Битовая строка верификации

Список цитированных документов

[0135] Японская выложенная патентная публикация № 2001-306370; и

[0136] Японская выложенная патентная публикация № 5-134859.