本发明涉及密码应用技术，特别是涉及判定非减序列的存在而不会揭露输入数据的方法。
背景技术：
：：作为得到特定的运算结果而不会恢复被加密的数值的方法，存在被称为秘密计算的方法(例如，参照非专利文献1)。在非专利文献1的方法中，进行使数值的片段分散在三个秘密计算装置中的加密，由三个秘密计算装置进行协调计算，从而能够保持将加减法、常数和、乘法、常数倍、逻辑运算(非、逻辑与、逻辑或、异或)、数据格式变换(整数、二进数)的结果分散到三个秘密计算装置的状态、即加密的状态，而不会恢复数值。作为在秘密计算上实现字符串的模式匹配的方法，存在非专利文献2的方法。在非专利文献2的方法中，将模式所示的非决定性有限自动机按输入文本每1字符进行评价从而实现模式匹配。现有技术文献非专利文献非专利文献1：千田浩司、濱田浩気、五十嵐大、高橋克巳、“軽量検証可能3パーティ秘匿関数計算の再考”、CSS、2010年非专利文献2：原田弘毅、笹川裕人、有村博紀、佐久間淳、“多項式時間·領域秘密正規表現照合アルゴリズム”、SCIS、pp.1-8、2014年技术实现要素：发明要解决的课题但是，关于非专利文献2的现有技术，若将模式匹配的输入文本长设为n，则需要Ω(n)级的乘法。在进行模式匹配的情况下在判明了模式中的部分字符串的位置后判定文本是否匹配于模式的处理能够抽象化为判定是否能够从集合的序列逐个选择一个元素而制成非减序列的问题。本发明的目的在于，高效地判定从集合的序列逐个选择一个元素的非减序列的存在。用于解决课题的手段为了解决上述的课题，本发明的非减序列判定装置包含：整列部，将m个集合P0,……,Pm-1作为输入，关于i＝0,……,m-1，生成将集合Pi的元素按升序排列的矢量ti,i+1和矢量bi,i+1；合并部，重复进行将满足0≤i<j<k≤m的矢量(ti,j,bi,j)和矢量(tj,k,bj,k)合并而生成矢量(ti,k,bi,k)，从而生成将矢量t0,1,……,tm-1,m合并后的矢量t0,m、将矢量b0,1,……,bm-1,m合并后的矢量b0,m；判定部，输出若矢量t0,m的长度为0则示出不存在非减序列，若矢量t0,m的长度为1以上则示出存在非减序列的判定结果。合并部包含：稳定排序部，生成将矢量bi,j和矢量tj,k连结并按升序稳定排序后的矢量e；搜索部，从矢量e搜索e[λ]为bi,j[x]且e[λ+1]为tj,k[y]的(λ,x,y)的全部组，生成包含全部被发现的x的集合X、和包含全部被发现的y的集合Y；以及提取部，生成将矢量ti,j的元素ti,j[x](x∈X)按升序排列的矢量ti,k、和将矢量bj,k的元素bj,k[y](y∈Y)按升序排列的矢量bi,k。发明效果根据本发明的非减序列判定技术，能够以O(logm)级判定从m个集合逐个选择一个元素的非减序列的存在。从而，能够高效地判定非减序列的存在。此外，由此，能够高效地处理对于文本的模式匹配。附图说明图1是例示第一实施方式的非减序列判定装置的功能结构的图。图2是例示第一实施方式的非减序列判定方法的处理流程的图。图3是例示第三实施方式的非减序列判定装置的功能结构的图。图4是例示第三实施方式的非减序列判定方法的处理流程的图。具体实施方式在实施方式的说明之前，说明本说明书中的记载方法以及用语的定义。＜记载方法＞将通过加密、秘密分散等对某值a进行保密化后的值称为a的保密文，且记载为〔a〕。在保密化为秘密分散的情况下，通过〔a〕来参照各秘密计算装置具有的秘密分散的片段的集合。将矩阵X的第i行记载为X[i]。将矢量u的第i元素记载为u[i]。将对矩阵X的各元素进行保密化后的矩阵整体记载为〔X〕，且称为X的保密文。将对矢量u的各元素进行保密化后的矢量整体记载为〔u〕，且称为u的保密文。【数1】为上取整函数，意味着·以上的最小的整数。【数2】为下取整函数，意味着·以下的最大的整数。·T表示·的转置。＜加法、减法、乘法＞加法、减法、乘法的各运算将两个值a、b的保密文〔a〕、〔b〕作为输入，分别计算a+b、a-b、ab的计算结果c1、c2、c3的保密文〔c1〕、〔c2〕、〔c3〕。将这些运算的执行分别如以下式那样记述。【数3】〔c1〕←Add(〔a〕,〔b〕),〔c2〕←Sub(〔a〕,〔b〕),〔c3〕←Mul(〔a〕,〔b〕)另外，在没有导致误解的顾虑的情况下，将Add(〔a〕,〔b〕)、Sub(〔a〕,〔b〕)、Mul(〔a〕,〔b〕)分别简记为〔a〕+〔b〕、〔a〕-〔b〕、〔a〕×〔b〕。＜逻辑运算＞逻辑或、逻辑与、非的各运算将两个值a,b∈{0,1}的保密文〔a〕、〔b〕作为输入，分别计算a和b的逻辑或、a和b的逻辑与、a的非的计算结果c1、c2、c3的保密文〔c1〕、〔c2〕、〔c3〕。将这些运算的执行分别如以下式那样记述。【数4】〔c1〕←〔a〕∨〔b〕,〔c2〕←〔a〕∧〔b〕,这些逻辑运算通过以下式的计算来实现。【数5】〔c1〕←〔a〕+〔b〕-〔a〕×〔b〕,〔c2〕←〔a〕×〔b〕,〔c3〕←1-〔a〕＜排序运算(SortOperation)＞排序(Sort)是输出将矢量的元素按升序重排的矢量的运算。对输入的矢量k＝(k[0],……,k[n-1])输出的矢量k’＝(k’[0],……,k’[n-1])是将满足k’[0]≤……≤k’[n-1]的k的元素重排的矢量。稳定排序是在排序运算中存在相同的值的情况下保存相同的值的元素之间的顺序的运算。矢量k和k’的各元素关于某双射πs：{0,……,n-1}→{0,……,n-1}满足k’[πs(i)]＝k[i]，在稳定排序中以下式成立。【数6】以下处理的秘密计算上的稳定排序运算将多个矢量作为输入，按照作为密钥的矢量的元素的重排而进行其他矢量的元素的重排。即，将作为稳定排序的密钥的大小n的矢量k和λ个(1≤λ)大小n的矢量a(0),……,a(λ-1)的保密文〔k〕,〔a(0)〕,……,〔a(λ-1)〕作为输入，按照对矢量k进行稳定排序时的重排而计算重排了各矢量a(0),……,a(λ-1)的元素的矢量b(0),……,b(λ-1)的保密文〔b(0)〕,……,〔b(λ-1)〕。将该运算的执行如以下式那样记述。【数7】〔b(0)〕,...,〔b(λ-1)〕←StableSort(〔a(0)〕,...,〔a(λ-1)〕；〔k〕)密钥公开排序是在稳定排序运算中密钥被公开的处理。与将密钥保密的状态下进行处理的排序相比效率更高，在密钥中包含的值的结构已知的情况下不必担心泄露多余的信息。将该运算的执行如以下式那样记述。【数8】〔b(0)〕,...,〔b(λ-1)〕←RevealSort(〔a(0)〕,...,〔a(λ-1)〕；〔k〕)保密化、恢复、加法、减法、乘法例如使用非专利文献1所述的方法即可。此外，稳定排序、密钥公开排序使用例如「KokiHamada,DaiIkarashi,KojiChida,andKatsumiTakahashi,“Obliviousradixsort：Anefficientsortingalgorithmforpracticalsecuremulti-partycomputation”,IACRCryptologyePrintArchive,vol.2014,p.121,2014.(参考文献1)」中记载的方法即可。＜非减序列＞非减序列判定技术是对m个集合P0,P1,……,Pm-1判定是否存在成为大小m的非减序列的矢量p(其中，p[i]∈Pi(0≤i<m)，且p[0]≤p[1]≤……≤p[m-1])的方法。例如，设为集合P0,P1,……,P4为以下。P0＝{0,3,7,8,10},P1＝{2,5,8,9},P2＝{2,4,8},P3＝{0,4,7,9},P4＝{0,6,7}此时，例如，矢量p0＝(0,8,2,4,6)满足p0[i]∈Pi(0≤i<m)，但由于p0[1]>p0[2]因此不满足p0[0]≤p0[1]≤p0[2]≤p0[3]≤p0[4]，不是非减序列。另一方面，例如，矢量p1＝(0,2,4,4,6)满足p1[i]∈Pi(0≤i<m)，且满足p1[0]≤p1[1]≤p1[2]≤p1[3]≤p1[4]，所以是非减序列。以下，详细说明本发明的实施方式。另外，对在附图中具有相同的功能的构成部分赋予相同的序号，省略重复说明。[第一实施方式]第一实施方式的非减序列判定装置1如图1所例示那样包含整列部10、合并部20以及判定部30。合并部20例如包含稳定排序部21、搜索部22以及提取部23。非减序列判定装置1例如是在具有中央运算处理装置(中央处理单元(CentralProcessingUnit)、CPU)、主存储装置(随机存取存储器(RandomAccessMemory)、RAM)等的公知或专用的计算机中读入特殊的程序而构成的特殊的装置。非减序列判定装置1例如在中央运算处理装置的控制之下执行各处理。被输入至非减序列判定装置1的数据、在各处理中得到的数据例如被储存至主存储装置，被储存至主存储装置的数据根据需要而被读出而利用于其他处理。以下，参照图2，说明第一实施方式的非减序列判定方法。第一实施方式的非减序列判定方法将m个集合P0,……,Pm-1作为输入，若存在成为大小m的非减序列的矢量p则返回1，若不存在则返回0。在步骤S10中，整列部10关于i＝0,……,m-1，生成将集合Pi的元素按升序排列的矢量ti,i+1和bi,i+1。也就是说，将集合P0的元素按升序排列而生成矢量t0,1和b0,1，将集合P1的元素按升序排列而生成矢量t1,2和b1,2，……，将集合Pm-1的元素按升序排列而生成矢量tm-1,m和bm-1,m。在步骤S20a中，合并部20选择满足0≤i<j<k≤m的矢量(ti,j,bi,j)和(tj,k,bj,k)，通过步骤S21～S23的处理，将矢量(ti,j,bi,j)和(tj,k,bj,k)合并而生成矢量(ti,k,bi,k)。合并部20将其递归地重复，从而生成将矢量t0,1,……,tm-1,m合并后的矢量t0,m、和将矢量b0,1,……,bm-1,m合并后的矢量b0,m。在步骤S21中，稳定排序部21生成将矢量bi,j和矢量tj,k连结并按升序稳定排序后的矢量e。在步骤S22中，搜索部22从矢量e搜索e[λ]为bi,j[x]且e[λ+1]为tj,k[y]的(λ,x,y)的全部组，生成包含全部被发现的x的集合X、和包含全部被发现的y的集合Y。在步骤S23中，提取部23生成将ti,j[x](x∈X)按升序排列的矢量ti,k、和将bj,k[y](y∈Y)按升序排列的矢量bi,k。在步骤S20b中，合并部20判断矢量t0,1,……,tm-1,m和矢量b0,1,……,bm-1,m是否全部被合并。即，确认是否生成了矢量(t0,m,b0,m)。若合并没有完成则将处理返回至步骤S20a。若合并完成则将处理前进至步骤S30。在步骤S30中，若矢量t0,m的长度为0则判定部30将表示不存在非减序列的0作为判定结果而输出。若矢量t0,m的长度为1以上则将表示存在非减序列的1作为判定结果而输出。使用具体例表示能够通过上述的方法判定非减序列的存在。设为集合P0,P1,……,P4为以下。P0＝{0,3,7,8,10},P1＝{2,5,8,9},P2＝{2,4,8},P3＝{0,4,7,9},P4＝{0,6,7}由于非减序列是p[i]∈Pi(0≤i<m)且p1[0]≤p1[1]≤p1[2]≤p1[3]≤p1[4]，所以在集合P0,P1,……,P4中，例如存在(0,2,2,4,6),(0,2,2,4,7),(0,2,4,4,6),(0,2,4,4,7),(0,2,4,7,7)等非减序列。在步骤S10中，生成以下的矢量t0,1,……,t4,5以及b0,1,……,b4,5。t0,1＝b0,1＝(0,3,7,8,10)t1,2＝b1,2＝(2,5,8,9)t2,3＝b2,3＝(2,4,8)t3,4＝b3,4＝(0,4,7,9)t4,5＝b4,5＝(0,6,7)在步骤S20a中，作为i＝0,j＝1,k＝2，选择矢量(t0,1,b0,1)和(t1,2,b1,2)，生成通过以下的步骤S21～S23合并后的矢量(t0,2,b0,2)。在步骤S21中，根据矢量b0,1和t1,2生成以下的矢量e。e＝(0,2,3,5,7,8,8,9,10)＝(b0,1[0],t1,2[0],b0,1[1],t1,2[1],b0,1[2],b0,1[3],t1,2[2],t1,2[3],b0,1[4])在步骤S22中，发现以下的(λ,x,y)的组。(λ＝0,x＝0,y＝0),(λ＝2,x＝1,y＝1),(λ＝5,x＝3,y＝2)从而，集合X＝{0,1,3}，集合Y＝{0,1,2}。在步骤S23中，生成以下的矢量(t0,2,b0,2)。t0,2＝(t0,1[0],t0,1[1],t0,1[3])＝(0,3,8)b0,2＝(b1,2[0],b1,2[1],b1,2[2])＝(2,5,8)在步骤S20b中，由于不存在矢量t0,5和b0,5，所以处理返回至步骤S20a。在第二次的步骤S20a中，作为i＝2,j＝3,k＝4，选择矢量(t2,3,b2,3)和(t3,4,b3,4)，同样生成合并后的矢量(t2,4,b2,4)。若将矢量b2,3＝(2,4,8)和矢量t3,4＝(0,4,7,9)连结并进行稳定排序，则生成以下的矢量e。e＝(0,2,4,4,7,8,9)＝(t3,4[0],b2,3[0],b2,3[1],t3,4[1],t3,4[2],b2,3[2],t3,4[3])于是，发现(λ＝2,x＝1,y＝1),(λ＝5,x＝2,y＝3)，所以X＝(1,2)，Y＝(1,3)。从而，矢量(t2,4,b2,4)成为以下那样。t2,4＝(t2,3[1],t2,3[2])＝(4,8)b2,4＝(b3,4[1],b3,4[3])＝(4,9)在第三次的步骤S20a中，作为i＝2,j＝4,k＝5，选择矢量(t2,4,b2,4)和(t4,5,b4,5)，同样生成合并后的矢量(t2,5,b2,5)。若将矢量b2,4＝(4,9)和矢量t4,5＝(0,6,7)连结并进行稳定排序，则生成以下的矢量e。e＝(0,4,6,7,9)＝(t4,5[0],b2,4[0],t4,5[1],t4,5[2],b2,4[1])于是，发现(λ＝1,x＝0,y＝1)，所以X＝(0)，Y＝(1)。从而，矢量(t2,5,b2,5)成为以下那样。t2,5＝(t2,4[0])＝(4)b2,5＝(b4,5[1])＝(6)在第四次的步骤S20a中，作为i＝0,j＝2,k＝5，选择矢量(t0,2,b0,2)和(t2,5,b2,5)，同样生成合并后的矢量(t0,5,b0,5)。若将矢量b0,2＝(2,5,8)和矢量t2,5＝(4)连结并进行稳定排序，则生成以下的矢量e。e＝(2,4,5,8)＝(b0,2[0],t2,5[0],b0,2[1],b0,2[2])于是，发现(λ＝0,x＝0,y＝0)，所以X＝(0)，Y＝(0)。从而，矢量(t2,5,b2,5)成为以下那样。t0,5＝(t0,2[0])＝(0)b0,5＝(b2,5[0])＝(6)在步骤S20b中，由于存在矢量t0,5和b0,5，所以将处理前进至步骤S30。在步骤S30中，由于t0,5的长度不是0，所以表示存在非减序列的1作为判定结果而被输出。[第二实施方式]第二实施方式的非减序列判定装置在合并部20中，生成矢量(ti,k,bi,k)时，以满足以下式的方式设定i,j,k而选择矢量(ti,j,bi,j)和矢量(tj,k,bj,k)。【数9】通过这样构成，从而合并部20能够通过【数10】级的递归过程而求得矢量(t0,m,b0,m)。[第三实施方式]第三实施方式是通过秘密计算来实现非减序列的判定的方法。在第三实施方式中各递归过程能够以O(1)级的计算来实现，所以整体的处理能够以O(logm)级来实现。第三实施方式的非减序列判定装置2如图3所例示那样包含整列部10、保密化部40、合并部50以及判定部60。合并部50例如包含第一稳定排序部51、第一密钥公开排序部52、第二稳定排序部53以及第二密钥公开排序部54。以下，参照图4，说明第三实施方式的非减序列判定方法。以下，以与上述的第一实施方式的不同点为中心进行说明。在步骤S40中，保密化部40关于i＝0,……,m-1，设为集合Pi的各元素为0以上且小于n，生成将矢量ti,i+1通过以下式变换为矢量t'i,i+1而进行保密化后的密文〔t'i,i+1〕。【数11】此外同样，生成将矢量bi,i+1通过以下式变换为矢量b'i,i+1而进行保密化后的密文〔b'i,i+1〕。【数12】以下，示出矢量t'i,i+1和b'i,i+1的具体例。例如，设为集合P0,P1,……,P4为以下。P0＝{0,3,7,8,10},P1＝{2,5,8,9},P2＝{2,4,8},P3＝{0,4,7,9},P4＝{0,6,7}若设为n＝12，则矢量t’i,i+1和b'i,i+1成为以下那样。t’0,1＝b’0,1＝(1,0,0,1,0,0,0,1,1,0,1,0),t’1,2＝b’1,2＝(0,0,1,0,0,1,0,0,1,1,0,0),t’2,3＝b’2,3＝(0,0,1,0,1,0,0,0,1,0,0,0),t’3,4＝b’3,4＝(1,0,0,0,1,0,0,1,0,1,0,0),t’4,5＝b’4,5＝(1,0,0,0,0,0,1,1,0,0,0,0)在步骤S50a中，合并部50选择满足0≤i<j<k≤m的保密文(〔t'i,j〕,〔b'i,j〕)和保密文(〔t'j,k〕,〔b'j,k〕)，通过步骤S51～S54的处理，将保密文(〔t'i,j〕,〔b'i,j〕)和保密文(〔t'j,k〕,〔b'j,k〕)合并而生成保密文(〔t'i,k〕,〔b'i,k〕)。合并部50将其递归地重复，从而生成将保密文〔t'0,1〕,……,〔t'm-1,m〕合并后的保密文〔t'0,m〕、和将保密文〔b'0,1〕,……,〔b'm-1,m〕合并后的保密文〔b'0,m〕。在步骤S51中，第一稳定排序部51将保密文〔b'i,j〕和保密文〔t'j,k〕的各元素交替排列而生成保密文〔a〕。即，关于h＝0,……,n-1，通过以下式生成保密文〔a〕。【数13】〔a[2h]〕←〔b′i,j[2h]〕,〔a[2h+1]〕←〔t′j,k[2h+1]〕并且，第一稳定排序部51将(0,1)n设为重复了0和1的长度2n的矢量，生成将￢〔a〕作为密钥而对(〔(0,1)n〕,〔a〕,〔(0,……,2n-1)〕)进行稳定排序后的保密文(〔f'〕,〔a'〕,〔p〕)。即，执行以下式所示的稳定排序。【数14】其中在步骤S52中，第一密钥公开排序部52关于h＝0,……,n-1，通过以下式生成保密文〔m〕。【数15】接下来，第一密钥公开排序部52生成将保密文〔p〕作为密钥而对保密文〔m〕进行密钥公开排序后的保密文〔m'〕。即，执行以下式所示的密钥公开排序。【数16】〔m′〕←RevealSort(〔m〕；〔p〕)在步骤S53中，第二稳定排序部53将保密文〔m'〕的各元素交替分解，生成保密文〔m0〕,〔m1〕。即，关于h＝0,……,n-1，通过以下式生成保密文〔m0〕,〔m1〕。【数17】〔m0[h]〕←〔m′[2h]〕,〔m1[h]〕←〔m′[2h+1]〕接下来，第二稳定排序部53生成将￢〔t'i,j〕作为密钥而对(〔t'i,j〕,〔(0,……,n-1)〕)进行稳定排序后的保密文(〔t"0〕,〔p0〕)，生成将￢〔b'i,j〕作为密钥而对保密文〔m0〕进行稳定排序后的保密文〔m"0〕，生成将￢〔b'j,k〕作为密钥而对(〔b'j,k〕,〔(0,……,n-1)〕)进行稳定排序后的保密文(〔b"1〕,〔p1〕)，生成将￢〔t'j,k〕作为密钥而对保密文〔m1〕进行稳定排序后的保密文〔m"1〕。即，执行以下式所示的四个稳定排序。【数18】在步骤S54中，第二密钥公开排序部54通过以下式生成保密文〔t"〕,〔b"〕。【数19】〔t″〕←〔t0″〕×〔m0″〕,〔b″〕←〔b1″〕×〔m1″〕接下来，第二密钥公开排序部54生成将保密文〔p0〕作为密钥而对保密文〔t"〕进行密钥公开排序后的保密文〔t'i,k〕，生成将保密文〔p1〕作为密钥而对保密文〔b"〕进行密钥公开排序后的保密文〔b'i,k〕。即，执行以下式所示的两个密钥公开排序。【数20】〔t′〕←RevealSort(〔t″〕；〔p0〕),〔b′〕←RevealSort(〔b″〕；〔p1〕)在步骤S50b中，合并部50判断保密文〔t'0,1〕,……,〔t'm-1,m〕和保密文〔b'0,1〕,……,〔b'm-1,m〕是否全部被合并。即，确认保密文(〔t'0,m〕,〔b'0,m〕)是否被生成。若合并没有完成则将处理返回至步骤S50a。若合并完成则将处理前进至步骤S60。在步骤S60中，判定部60使用保密文〔t'0,m〕，计算〔t'0,m[0]〕∨〔t'0,m[1]〕∨……∨〔t'0,m[m-1]〕，将该计算结果作为判定结果而输出。在第三实施方式的合并部50中，也可以构成为在应用上述的第二实施方式的考虑方法，生成保密文(〔t'i,k〕,〔b'i,k〕)时，以满足以下式的方式设定i,j,k而选择保密文(〔t'i,j〕,〔b'i,j〕)和保密文(〔t'j,k〕,〔b'j,k〕)。【数21】＜发明的效果＞根据本发明的非减序列判定技术，能够以O(logm)级的递归过程来实现从m个集合逐个选择一个值的非减序列的存在的判定。特别是在以秘密计算实现的情况下，能够以O(1)级的计算实现各递归过程，所以能够以O(logm)级实现整体的处理。＜发明点＞在本发明中，在进行从m个集合逐个选择一个值的非减序列的存在的判定时，通过分治法递归地构筑非减序列的集合，从而以O(logm)级进行非减序列的存在的判定。在进行分治法时，代替保持全部非减序列而仅维持具有能够高效地计算的好性质的非减序列的集合而进行计算，在秘密计算中以O(1)级实现非减序列的集合的合并。其结果，能够以O(logm)级的秘密计算实现整体的计算。本发明并非限定于上述的实施方式，能够在不脱离本发明的宗旨的范围内适当变更是不言而喻的。上述实施方式中说明的各种处理不仅按记载的顺序时序地执行，也可以根据执行处理的装置的处理能力或根据需要而并行或单独执行。[程序、记录介质]在通过计算机实现在上述实施方式中说明的各装置中的各种处理功能的情况下，各装置应具有的功能的处理内容通过程序来记述。并且，通过将该程序由计算机执行，从而能够在计算机上实现上述各装置中的各种处理功能。记述了该处理内容的程序能够记录至计算机可读取的记录介质。作为计算机可读取的记录介质，例如也可以是磁记录装置、光盘、光磁记录介质、半导体存储器等任意记录介质。此外，该程序的流通，例如也可以设为通过对记录了该程序的DVD、CD-ROM等可移动记录介质进行销售、转让、借出等来进行。进而，也可以将该程序储存至服务器计算机的存储装置，经由网络从服务器计算机向其他计算机转发该程序，从而使该程序流通的结构。执行这样的程序的计算机，例如，首先，将在可移动记录介质中记录的程序或者从服务器计算机转发的程序暂时储存至自己的存储装置。并且，在执行处理时，该计算机读取在自己的记录介质中储存的程序，执行按照所读取到的程序的处理。此外，作为该程序的另一执行方式，也可以设为计算机从可移动记录介质直接读取程序，执行按照该程序的处理，进而，也可以在每次从服务器计算机向该计算机转发程序时，逐次执行按照所接受的程序的处理。此外，也可以设为通过不进行从服务器计算机向该计算机的程序的转发，仅根据其执行指示和结果取得来实现处理功能的所谓ASP((应用服务提供商(ApplicationServiceProvider))型的服务，执行上述的处理的结构。另外，设为在本方式中的程序中，包含供于电子计算机的处理用的信息且遵循程序的信息(不是对于计算机的直接的指令但具有规定计算机的处理的性质的数据等)。此外，在该方式中，设为通过在计算机上执行规定的程序而构成本装置，但也可以将这些处理内容的至少一部分在硬件上实现。当前第1页1 2 3 当前第1页1 2 3