Abstract: An order preserving pattern matching apparatus according to the present invention includes a matching direction pattern conversion unit for setting an ID number for each order preserving type of a character string in a retrieval pattern for a plurality of matching directions including at least one diagonal direction, and generating a list of the ID numbers as a matching direction pattern, an encoding processing unit configured to generate an encoded two-dimensional pattern assigned with a corresponding ID number for a pattern being a part of a two-dimensional pattern to be searched that matches an order preserving pattern assigned with an ID number, and a matching unit configured to perform matching whether an arrangement matching the matching direction pattern assigned with an ID number exists or not within the encoded two-dimensional pattern.

Abstract: In an information processing device, an observation data input means receives a pair of observation data and a predicted value of a target model for the observation data. A rule set input means receive a rule set including a plurality of rules, the rule including a pair of a condition and a predicted value corresponding to the condition. A satisfying rule selection means selects a satisfying rule from the rule set, the satisfying rule being a rule in which the condition becomes true for the observation data. An error calculation means calculates an error between a predicted value of the satisfying rule for the observation data and the predicted value of the target model. A surrogate rule determination means associates the rule which minimizes the error, among the satisfying rules, with the observation data as a surrogate rule for the target model.

Abstract: A photon upconversion composition containing a naphthalene compound substituted with a substituent containing at least one selected from the group consisting of an alkynyl group, a substituted silyl group, a benzene ring, an heteroaromatic ring, a cyano group and a halogen atom can efficiently convert an excitation light into a UV light at a low excitation light intensity.

Abstract: A contradiction detection apparatus includes: constructing a decision graph that has observed events as nodes and a transition relationship of each observed event as an edge, and outputs a boolean value of an observed event based on the knowledge base, receiving an observed event, eliminating an edge, which transitions to a side denying the observed event received, among edges connected to a node corresponding to the observed event received in the decision graph, determining whether both paths from a root node to a true leaf node and a false leaf node exist in the decision graph after the edge is eliminated, repeatedly causing a reception of the observed event, an elimination of the edge, and a determination of existence of the paths when it is determined that the paths exist, and deciding that the observed event is inconsistent with the knowledge base when determining that the paths doesn't exist.

Abstract: The information processing apparatus 1 includes the input unit 101 that receives observation represented by a conjunction of atomic formulas, background knowledge represented by a set of logic formulas, and condition to be satisfied by a new rule represented by a logic formula; the rule candidate generation unit 102 that generates the new rule represented by a logic formula having a predicate, which is contained in the observation or the background knowledge, as an element; the abduction system unit 103 that executes abduction to derive best hypothesis by using the background knowledge, to which the new rule generated is added, and the observation as inputs; and the rule evaluation unit 104 that evaluates whether the new rule satisfies the condition to be satisfied by using the best hypothesis.

Abstract: A laser device according to an aspect of the present disclosure includes a chamber into which laser gas is introduced; a pair of electrodes arranged in the chamber; a power source configured to apply a voltage between the electrodes; a nozzle structure which includes an internal passage for receiving the laser gas and a slit connected to the internal passage and is configured to generate flow of the laser gas between the electrodes due to the laser gas blowing out from the slit; a gas flow path which has a suction port through which the laser gas in the chamber is suctioned and introduces, to the nozzle structure, the laser gas suctioned through the suction port; and a blower device configured to cause the laser gas to blow toward the internal passage of the nozzle structure through the gas flow path.

Abstract: A minimal unsatisfiable set detection apparatus, which detects a minimal set from a set of observed events that are determined to be inconsistent with a knowledge base, includes a decision graph acquisition unit 31 that acquires a decision graph that outputs a boolean value of an observed event from the knowledge base, an observed event acquisition unit 32 that acquires a plurality of observed events determined to be inconsistent with the knowledge base, a minimal set covering derivation unit 33 that obtains a minimal set covering by converting a plurality of observed events, which are acquired by the observed event acquisition unit 32, into a minimal set covering problem using the decision graph, and an output unit 34 that outputs a calculation result by the minimal set covering derivation unit 33.

Abstract: An order preserving pattern matching apparatus according to the present invention includes a matching direction pattern conversion unit for setting an ID number for each order preserving type of a character string in a retrieval pattern for a plurality of matching directions including at least one diagonal direction, and generating a list of the ID numbers as a matching direction pattern, an encoding processing unit configured to generate an encoded two-dimensional pattern assigned with a corresponding ID number for a pattern being a part of a two-dimensional pattern to be searched that matches an order preserving pattern assigned with an ID number, and a matching unit configured to perform matching whether an arrangement matching the matching direction pattern assigned with an ID number exists or not within the encoded two-dimensional pattern.

Abstract: An order preserving pattern matching apparatus according to the present disclosure includes: a pattern conversion unit configured to convert a retrieval pattern composed of text data arranged two-dimensionally to a matching pattern composed of the text data arranged one-dimensionally; a character string matching and indexing unit configured to generate an index for specifying a part of a pattern to be retrieved which matches the matching pattern in an order preserving manner as index information; a matching unit configured to assign a prescribed ID number to a part of the two-dimensional pattern to be searched composed of text data arranged two-dimensionally and including an array larger than that of the retrieval pattern; and an output unit configured to output a part of the two-dimensional pattern to be searched to which the prescribed ID number is assigned by the matching unit as a matching position.

Abstract: A wavelength converter including: A. a crystal holder configured to hold a nonlinear crystal configured to convert a wavelength of a laser beam incident thereon and output the wavelength-converted laser beam; B. a first container configured to accommodate the crystal holder and include a light incident window so provided as to intersect an optical path of the laser beam incident on the nonlinear crystal and a light exiting window so provided as to intersect the optical path of the laser beam having exited out of the nonlinear crystal; C. a second container configured to accommodate the first container; D. a position adjusting mechanism configured to adjust at least a position of the first container; and E. an isolation mechanism configured to spatially isolate the light incident window and the light exiting window from the position adjusting mechanism.

Abstract: Provided is an information processing device capable of reducing the amount of data of a tensor. An information processing device (1) includes a CSF design unit (11) that sets an order of axes of a tensor of M (M is a natural number of 3 or more) or higher order in order to convert a tensor into data in CSF (Compressed Sparse Fiber) representation, a CSF construction unit (12) that converts the tensor of M or higher order into data in CSF representation according to setting by the CSF setting unit (11), and a CSF compression unit (13) that compresses the data in CSF representation by replacing an overlapping structure appearing in the data in CSF representation with an alternative structure representing the overlapping structure, and outputs compressed CSF data being a compressed version of the data in CSF representation and replacement rule data being data indicating a replacement rule.

Abstract: The abductive inference device includes a hypothesis generation unit for creating a set of candidate hypotheses, observed information including a hypothesis from which a logical expression is derived based on a knowledge database including knowledge information expressing the logical expression for deriving a consequent from an antecedent, a conversion unit for calculating a constraint condition for the created set of candidate hypotheses and a weight for the constraint condition in accordance with predetermined processing; and a solver unit for calculating a hypothesis when a predetermined condition is satisfied based on the calculated constraint condition and the calculated weight.

Abstract: A wavelength converter including: A. a crystal holder configured to hold a nonlinear crystal configured to convert a wavelength of a laser beam incident thereon and output the wavelength-converted laser beam; B. a first container configured to accommodate the crystal holder and include a light incident window so provided as to intersect an optical path of the laser beam incident on the nonlinear crystal and a light exiting window so provided as to intersect the optical path of the laser beam having exited out of the nonlinear crystal; C. a second container configured to accommodate the first container; D. a position adjusting mechanism configured to adjust at least a position of the first container; and E. an isolation mechanism configured to spatially isolate the light incident window and the light exiting window from the position adjusting mechanism.

Abstract: A connector is disclosed. The connector comprises a circuit board having a plurality of contact pads arranged in a two-dimensional fashion on a first face facing a mating connector side, the plurality of contact pads configured to make contact with a plurality of contacts of a mating connector, and a housing having a locating portion in contact with the first face of the circuit board, the locating portion locating the first face with respect to a direction of mating with the mating connector.

Abstract: A connector comprises a housing, a plurality of contacts, a slide plate, and a moving plate. The contacts are configured to make contact with a plurality of contact pads of a mating connector. The slide plate has a cam face composed of a pattern of projections and recesses and expanding in a direction intersecting with the mating direction. The moving plate expands in an overlapping manner with the slide plate and receives an action of the cam face caused by the sliding of the slide plate. The moving plate moves toward the mating connector and pushes the contacts onto the contact pads of the mating connector.

Abstract: A connector is provided that includes a housing, a contact, and a slider. The housing includes a mating connector receiving section, while the contact extends into the mating connector receiving section. The slider is positioned on the housing and includes a cam plate and a protruding wall positioned along a rear end of the cam plate.

Abstract: A connector is disclosed. The connector comprises a circuit board having a plurality of contact pads arranged in a two-dimensional fashion on a first face facing a mating connector side, the plurality of contact pads configured to make contact with a plurality of contacts of a mating connector, and a housing having a locating portion in contact with the first face of the circuit board, the locating portion locating the first face with respect to a direction of mating with the mating connector.

Abstract: A connector assembly is provided to enable a plurality of contacts to make contact with a plurality of contact pads arranged on a mating face of a mating connector in a two-dimensional fashion simultaneously with high contacting quality and consistency according to its operation. A connector has a base housing and a shell constituting a housing, a plurality of contacts, a slider, and a lift plate. The connector is mated with a mating connector having a plurality of contact pads arranged in a two-dimensional fashion. The plurality of contacts is arranged in a two-dimensional fashion, and the contacts make contact with a plurality of contact pads of the mating connector, respectively. The slider has a cam face on an upper face thereof and it is slid in a lateral direction according to a driving operation of a lever. The lift plate receives an action of the cam face caused by sliding of the slider to move toward the mating connector.