Abstract: A semiconductor memory device includes first and second chips that are bonded together. The first chip includes a stacked body in which memory cells are formed and first bonding electrodes, and the second chip includes second bonding electrodes. The first bonding electrodes and the second bonding electrodes are joined to each other to form joining electrodes. The stacked body includes an insulating layer that extends in a first direction to separate the stacked body in a second direction. The joining electrodes include first and second joining electrodes, the first joining electrodes being disposed adjacent to a first side of the insulating layer in a third direction, and the second joining electrodes being disposed adjacent to a second side of the insulating layer in the third direction. The first joining electrodes and the second joining electrodes are disposed in a staggered arrangement in the second direction and the third direction.

Abstract: A non-transitory computer readable recording medium storing a machine learning program for causing a computer to execute a process includes extracting a feature related to a surface structure of a substance based on an atomic arrangement of the substance, and training a machine learning model that predicts information regarding a chemical reaction that occurs in a substance that corresponds to an input explanatory variable using training data that includes, as an explanatory variable, atomic arrangement information regarding the atomic arrangement of the substance and the extracted feature and includes, as an objective variable, information regarding the chemical reaction that occurs in the substance.

Abstract: A non-transitory computer-readable recording medium stores an information processing program for causing a computer to execute processing including: generating, from first data in which values of a plurality of attributes included in each sample are accumulated for each sample, second data obtained by binarizing, for each sample, the values of the plurality of attributes included in each sample based on an attribute condition set in advance; enumerating, by using the second data, sets of attribute conditions in which all sample sets indicate true values; computing, for each set of attribute conditions, a correlation between the plurality of attributes in the first data in a sample set associated with each set of attribute conditions; and selecting a set of attribute conditions determined to have a correlation as a condition to be causally searched.

Abstract: An information processing program for causing a computer to execute a process including: acquiring an index value, the index value indicating how many data sets have correct classification results obtained by classifying data sets for each of a plurality of attribute value patterns different from each other with a classifier; identifying, based on the acquired index values, one or more of first attribute value patterns among the plurality of attribute value patterns, each of the one or more of the first attribute value patterns being an attribute value pattern having a relatively small number of data sets with the correct classification results; in a case of classifying a target data set, determining whether at least any one of the identified one or more of first attribute value patterns matches the target data set; and outputting a result of the determining.

Abstract: A non-transitory computer-readable recording medium stores therein a prediction program that causes a computer to execute a process including receiving input data to be predicted, generating a tree structure data based on a plurality of pieces of rule information each indicated by an association of a combination of attribute values of a plurality of attributes with a label according to a predetermined order condition for the plurality of attributes, the tree structure data being obtained by aggregating the plurality of pieces of rule information, the tree structure data including an attribute value as a branch, and determining a degree of contribution to make a determination result on a predetermined value of a predetermined attribute reach a predetermined label based on a likelihood of obtaining a value of the predetermined label as the determination result, when the attribute value of the predetermined attribute is determined to be the predetermined value.

Abstract: A non-transitory computer-readable storage medium storing a pattern search program that causes a computer to execute a process, the process includes designating priority ranks of each of attributes included in a plurality of attribute patterns that indicate one or more attributes, based on an inclusion relationship between occurrence sets of a plurality of samples with respect to each of the attributes included in the plurality of attribute patterns; and determining whether each of the plurality of attribute patterns is an emerging pattern according to a search order based on the priority ranks, when a frequency of occurrence of the plurality of samples in a first attribute pattern is less than the frequency of occurrence of the plurality of samples in a second attribute pattern that has all the attributes except one of the attributes with lowest one of the priority ranks among the attributes included in the first attribute pattern.

Abstract: An authentication system is provided with: a first input unit and a second input unit into which authentication information can be input; a first computing unit which performs computation on the basis of the authentication information input into the first input unit and a communication counterpart-side authentication parameter registered in a communication counterpart; a second computing unit which performs computation on the basis of the authentication information input into the second input unit and a portable terminal-side authentication parameter registered in a portable terminal; and authentication units which, if the authentication information has been input into the first or the second input unit, perform authentication on the basis of the result of computation by corresponding computing unit and the portable terminal-side authentication parameter.

Abstract: A non-transitory computer-readable recording medium storing a rule update program for causing a computer to execute a process including: accepting user specification for at least a part of rules included in a rule set generated as a result of first mining that uses training data; detecting, from the training data, sample data that corresponds to the rules for which the user specification has been accepted; and acquiring a new rule by executing second mining by using the training data limited to the sample data that corresponds to the rules for which the user specification has been accepted.

Abstract: A non-transitory computer-readable recording medium stores therein an allocation program that causes a computer to execute a process including: performing, by using a part of data including an objective variable and one or more explanatory variables corresponding to the objective variable as training data, training of a model that predicts the objective variable from the explanatory variables of the data; classifying test data obtained by excluding the training data from the data into a group according to a classification condition regarding at least a part of the explanatory variables of the data; predicting the objective variable from the explanatory variables of the test data using the trained model for each of groups by which classification has been performed at the classifying; and calculating a predetermined resource amount to be allocated to each of the groups based on the objective variable for each of the groups predicted at the predicting.

Abstract: An information processing device classifies a plurality of linear models, each of which includes one or more variables, into a plurality of groups in such a way that the linear models which include identical variables included in each of the plurality of linear models and which have identical coefficient encoding with respect to the variables are grouped in the same group, outputs a first question used in deciding degree of importance of each explanatory variable included in training data which is used in training of the plurality of linear models, and, decides on an explanatory variable about which a second question is to be asked, when a linear model in which the degree of importance is reflected is to be selected from the plurality of linear models, based on extent of decrease in number of target groups for selection according to an answer to the first question.

Abstract: A non-transitory computer-readable recording medium stores therein an information processing program that causes a computer to execute a process including, deciding on one or more variables, from among a plurality of variables, to be a target for a question regarding degree of importance, based on order of priority of the variables and estimated amount, the order of priority of the variables being determined based on a plurality of patterns indicating ranking of the plurality of variables, the estimated amount indicating possibility of a match with predetermined condition regarding each of the patterns, and updating the estimated amount based on an answer result of the question about the decided variable.

Abstract: A non-transitory computer-readable recording medium stores therein an extraction program that causes a computer to execute a process including: generating a plurality of combinations of conditions relating to a plurality of item values included in data; calculating an index value that indicates a degree of cooccurrence between a specified response variable and each of the plurality of combinations, by using a machine learning model that estimates a response variable from the plurality of item values, the machine learning model having been trained by using the data; and extracting a specific combination from among the plurality of combinations based on any one of the condition and the index value.

Abstract: A non-transitory computer-readable recording medium stores therein a predicting program that causes a computer to execute: receiving input data to be subjected to prediction; and generating, from training data sets each having explanatory variables and an objective variable, a prediction result, by using a hypothesis set and respective weights of hypotheses included in the hypothesis set, the hypotheses each being formed of a combination of the explanatory variables, classifying any of the training data sets and satisfying a specific condition, the weights being learnt based on whether each of the hypotheses holds true for each of the training data sets. The generating includes determining a value of a variable included in a pseudo-Boolean function such that a probability satisfies a predetermined standard, the probability being a probability that the prediction result satisfies the specific condition, the pseudo-Boolean function including variables corresponding to the explanatory variables.

Abstract: This key information generation system generates key information necessary when using a shared device and imparts this key information to a mobile terminal. Authentication is performed between a mobile terminal which has imported key information, and an authentication device provided to the device, and if said authentication is successful, the mobile terminal enables operation of the device via the authentication device. The key information generation system includes: an information management unit which manages, by associating with one another, individual information for the authentication device, a key information generating code, and usage information pertaining to the use of the authentication device; and a key information generation unit which specifies a key information generation code from the individual information and usage information managed by being associated with one another by the information management unit, and generates key information on the basis of the key information generation code.

Abstract: An electronic key system determines that legitimate communication has been performed on the basis of conditions including that a measured distance from a ranging request unit to a ranging response unit measured on the basis of a ranging request signal and a ranging response signal is within a threshold range that is set on the basis of the distance from a communication area of a transmission antenna where an electronic key is determined to be located by a key location determination unit to one of either the ranging request unit or the ranging response unit that is provided in an on-board device.

Abstract: An authentication system includes an authentication unit that performs an authentication process between a first communication device and a second communication device when the first communication device and the second communication device communicate. The authentication unit performs the authentication process by transmitting authentication information from one of the first communication device and the second communication device to the other one, calculating the authentication information with an encryption code in each of the first communication device and the second communication device, and evaluating a calculation result. During a processing series in the authentication process, the authentication unit performs a first authentication based on part of the calculation result transmitted between the first and second communication device, and a second authentication based on another part of the calculation result transmitted between the first and second communication device.

Abstract: A non-transitory computer-readable storage medium storing a pattern search program that causes a computer to execute a process, the process includes designating priority ranks of each of attributes included in a plurality of attribute patterns that indicate one or more attributes, based on an inclusion relationship between occurrence sets of a plurality of samples with respect to each of the attributes included in the plurality of attribute patterns; and determining whether each of the plurality of attribute patterns is an emerging pattern according to a search order based on the priority ranks, when a frequency of occurrence of the plurality of samples in a first attribute pattern is less than the frequency of occurrence of the plurality of samples in a second attribute pattern that has all the attributes except one of the attributes with lowest one of the priority ranks among the attributes included in the first attribute pattern.

Abstract: A storage medium storing a pattern extraction program that causes a computer to execute a process includes acquiring sample set data associated with both of data item values related to each of a plurality of data items and label information regarding an event; acquiring a plurality of combination patterns, each of which is a combination of the data item values; determining evaluation values for each of the plurality of combination patterns based on a number of samples that satisfy each of the plurality of combination patterns among the samples indicated by the sample set data and a ratio of samples whose label information indicates a certain value to samples that satisfy each of the plurality of combination patterns; and extracting a combination pattern that corresponds to one of the evaluation values that has a local maximum value in the evaluation values from the plurality of combination patterns.

Abstract: This key information generation system generates key information required when using a shared vehicle, and imparts this key information to a mobile terminal. Authentication is performed between a mobile terminal containing the imparted key information, and an authentication device provided to a vehicle, and if said authentication is successful, the mobile terminal enables operation of the vehicle via the authentication device. The key information generation system includes: an information management unit which manages, by associating with one another, individual information for the authentication device, a key information generation code, and usage information pertaining to the use of the authentication device; and a key information generation unit which specifies a key information generation code from individual information and usage information managed by being associated with one another by the information management unit, and generates key information on the basis of the key information generation code.

Abstract: An authentication system is provided with: a first input unit and a second input unit into which authentication information can be input; a first computing unit which performs computation on the basis of the authentication information input into the first input unit and a communication counterpart-side authentication parameter registered in a communication counterpart; a second computing unit which performs computation on the basis of the authentication information input into the second input unit and a portable terminal-side authentication parameter registered in a portable terminal; and authentication units which, if the authentication information has been input into the first or the second input unit, perform authentication on the basis of the result of computation by corresponding computing unit and the portable terminal-side authentication parameter.