Abstract: There is provided a technique that includes: a substrate processor configured to process a substrate according to a recipe including at least one step defining a substrate processing condition; an operator configured to receive an editing operation for at least one setting item included in the substrate processing condition; a calculator configured to calculate a control value for a setting value of the at least one setting item in conformity with an edited substrate processing condition obtained by the editing operation; and a controller configured to be capable of controlling a displayer to display time-series data of the control value calculated by the calculator together with information about the at least one step.

Abstract: A recording medium stores a program for causing a computer to execute a process including: identifying a specific group including a subject device among groups including devices that holds a ledger, based on identification information, in a mining process to generate a block from a newly generated transaction and store the block; determining whether a group corresponding to a past block selected during the mining process is the specific group; and determining an incentive for success in the mining process to be a first incentive when the group that corresponds to the past block is determined to be a group other than the specific group, and determining an incentive for success in the mining process to be a second incentive that is a sum of the first incentive and an additional incentive when the group that corresponds to the past block is determined to be the specific group.

Abstract: There is provided an apparatus including a substrate holder to hold substrates including a product substrate and a dummy substrate, a transfer mechanism that loads the substrates into the substrate holder, a storage part to store a device parameter including at least the number of substrates that can be loaded on the substrate holder and the number of product substrates to be loaded on the substrate holder, and a controller to: (1) create substrate transfer data, which includes information indicating an order for transferring the substrates, transfer source information, and transfer destination information, according to the device parameter, (2) read the created substrate transfer data, (3) by transferring the substrates to the transfer mechanism based on the read substrate transfer data, transfer the dummy substrate to a substrate holding region except for a heat equalization region, and transfer the product substrate to the heat equalization region on the substrate holder.

Abstract: Described herein is a technique capable of stabilizing conditions in a furnace at the start of a film-forming process. According to one aspect of the technique, there is provided a method of manufacturing a semiconductor device, including: pre-processing of preparing a process environment in a process furnace of a substrate processing apparatus; film-forming by processing a substrate; and post-processing, wherein the pre-processing comprises (a1) determining whether to execute a maintenance recipe for a target object in the substrate processing apparatus, wherein (a1) is performed first in the pre-processing.

Abstract: A personal data providing system includes a plurality of first information processing apparatuses. Each of the first information processing apparatuses executes a first process including transmitting an inquiry for an encrypting method of an individual identifier to a terminal of each of individuals, and encrypting each of the individual identifiers into a code based on a response to the inquiry received from the terminal of each of the individuals, and corresponding the code of each of the individuals to personal data of each of the individuals.

Abstract: An information provision control system includes an intermediary device including a memory, and a processor configured to receive, from a first terminal device, extraction information related to an acquisition request transmitted by the first terminal device to a second terminal device storing user data, determine, based on the received extraction information, a plurality of users which are targets for the acquisition request, and transmit first information indicating the determined plurality of users to the second terminal device.

Abstract: An information provision apparatus includes a memory configured to store personal data and a processor coupled to the memory and configured to, in response to reception of a provision request to provide personal data on a data originator create a transaction identifier (ID) based on an identifier of the data originator and a combination of identifiers of holders of personal data on two or more request destinations, associate the personal data stored in the memory with the transaction ID and provide the personal data associated with the transaction ID to an apparatus that uses the personal data.

Abstract: There is provided an apparatus including a substrate holder to hold substrates including a product substrate and a dummy substrate, a transfer mechanism that loads the substrates into the substrate holder, a storage part to store a device parameter including at least the number of substrates that can be loaded on the substrate holder and the number of product substrates to be loaded on the substrate holder, and a controller to: (1) create substrate transfer data, which includes information indicating an order for transferring the substrates, transfer source information, and transfer destination information, according to the device parameter, (2) read the created substrate transfer data, (3) by transferring the substrates to the transfer mechanism based on the read substrate transfer data, transfer the dummy substrate to a substrate holding region except for a heat equalization region, and transfer the product substrate to the heat equalization region on the substrate holder.

Abstract: An information processing apparatus is configured to, regarding each of a plurality of objects, acquire a record including location information of an object, speed information of the object, time information that represents a time at which the location information and the speed information have been acquired, and identification information of the object, identify a first record including the identification information corresponding to a target object, the time information corresponding to a target time section, and the location information corresponding to a target space section, identify a plurality of second records each of which includes the time information corresponding to the target time section and the location information corresponding to the target space section, identify a degree of risk of the target object based on difference between a representative value of the speed information included in the plurality of second records and the speed information included in the first record.

Abstract: A personal data providing system including a plurality of first information processing apparatuses, wherein each of the first information processing apparatuses executes a first process including: transmitting an inquiry for an encrypting method of an individual identifier to a terminal of each of individuals, and encrypting each of the individual identifiers into a code based on a response to the inquiry received from the terminal of each of the individuals, and corresponding the code of each of the individuals to personal data of each of the individuals.

Abstract: A data securing device according to an embodiment includes a processor that executes a process including: receiving individual data and a parameter for anonymization, using the parameter to suppress data that does not satisfy k-anonymity among data that is included in various attributes of records in the individual data, and suppressing data that is extracted from the data at random; and outputting individual data in which data is suppressed at the receiving.

Abstract: A method for generating anonymized data includes: (A) extracting, from plural data blocks, each of which includes a secret attribute value and a numeric attribute value, plural groups of data blocks, wherein each of the plural groups includes data blocks that include a first data block, which has not been grouped, whose frequency distribution of the secret attribute value satisfies a predetermined condition and whose numeric attribute values are within a certain area that has a predetermined size; and (B) replacing the numeric attribute values of the data blocks that belong to each group of the plural groups with a numeric attribute value calculated for the group. And, the certain area is determined without any relation with other certain areas for other groups.

Abstract: A document checking device includes: a memory; and a processor coupled to the memory and configured to: generate, for each of character strings, a list including feature elements in the corresponding one of the character strings, divide, based on a hash value calculated from at least one of feature elements included in the list, the list into blocks each including one or more feature elements, obtain a hash value for each of the blocks, compare the obtained hash values between the character strings, and output a comparison result based on the comparing.

Abstract: A data securing device according to an embodiment includes a processor that executes a process including: receiving individual data and a parameter for anonymization, using the parameter to suppress data that does not satisfy k-anonymity among data that is included in various attributes of records in the individual data, and suppressing data that is extracted from the data at random; and outputting individual data in which data is suppressed at the receiving.

Abstract: A method for generating anonymized data includes: (A) extracting, from plural data blocks, each of which includes a secret attribute value and a numeric attribute value, plural groups of data blocks, wherein each of the plural groups includes data blocks that include a first data block, which has not been grouped, whose frequency distribution of the secret attribute value satisfies a predetermined condition and whose numeric attribute values are within a certain area that has a predetermined size; and (B) replacing the numeric attribute values of the data blocks that belong to each group of the plural groups with a numeric attribute value calculated for the group. And, the certain area is determined without any relation with other certain areas for other groups.

Abstract: There is disclosed a Java applet that causes a computer to execute plural predetermined Java applet programs. The Java applet is attached with an electronic signature for certifying an origin. The Java applet causes the computer to execute: an alteration detection step that detects alteration to deployment information, based on the identification information for detecting alteration to the deployment information defining respective locations of the plural predetermined Java applet programs; a load program startup step that starts a load program for loading the plural predetermined Java applet programs; and a load step that makes the started load program load the plural predetermined Java applet programs on the basis of the deployment information unless alteration is detected by the alteration detection step.

Abstract: A data flow analyzing apparatus includes an analysis rule storage which stores analysis rules having definitions of data types, a data flow analyzer which performs data flow analysis on an analysis target program as a target of analysis by using the analysis rules stored in the analysis rule storage to thereby output unsafe data-including procedures as detected points, an analysis rule candidate generator which generates candidates of analysis rules based on the detected points, and an analysis rule candidate output which outputs the analysis rule candidates generated by the analysis rule candidate generator to a predetermined output.

Abstract: A page information collection program for efficiently collecting pages required to verify a web site. When a page acquisition request is input, a page acquisition section acquires the contents of a page and creates page information including the contents of the page and communication information used to acquire the page. Next, a classification section stores the page information put into a group in accordance with an assignment determination condition. If the target page information does not satisfy the assignment determination condition of any group, a grouping section creates an assignment determination condition satisfied by the target page information and a corresponding group, and stores the page information put into the created group. A page acquisition request section outputs a page acquisition request based on the link information in the page information put into the group created by the grouping section, to the page acquisition section.

Abstract: A storage medium recording an information reacquisition procedure generation program causing a computer to execute a process of generating a reacquisition procedure for reacquiring information, the information reacquisition procedure generation program causing the computer to execute a method comprising: reading a message history from a storage unit storing the message history recording a series of messages exchanged to and from a device providing information until the information is provided; generating a message transitional relationship with respect to the information by extracting a parent-child relationship between the respective messages contained in the series of messages based on the series of messages until the information contained in the read message history is acquired as well as by combining the same or similar messages of the series of messages into one; and outputting the reacquisition procedure with respect to the information based on the generated transitional relationship.

Abstract: An unclassified, an immutable entity, a mutable entity, and a neutral entity as kinds of classes are provided. Then all of the classes of a parsed object-oriented program are initially classified as unclassified, and the classifications are changed based on at least a field information and at least parent-child information. Any class that remains unclassified after the classification changes is changed to an immutable entity. Information is output about the classes classified as the immutable entity as immutable entity extraction information.