Abstract: An A/F sensor includes a solid electrolyte body and a heater. The A/F sensor is disposed downstream of a purification device in a flow of exhaust gas g. The purification device purifies the exhaust gas g. The solid electrolyte body is in a cup shape. The solid electrolyte body has an outer surface provided with a measurement electrode 4 contacting the exhaust gas g, and an inner surface provided with a reference electrode contacting reference gas. The solid electrolyte body is made of zirconia. The solid electrolyte body includes a detection part sandwiched between the measurement electrode and the reference electrode and conducted with oxygen ions. The detection part has a cubic phase ratio of 88 mol % or more.

Abstract: A computer that extracts an attribute which is a text string contained in an predetermined examination target document stores template information for managing a plurality of templates in which a type of attribute is defined, executes a text recognition process on image data of the document, extracts an attribute corresponding to the type of attribute using a result of the text recognition process and the plurality of templates, selects a template based on the extracted attribute, generates output information that includes the attribute extracted using the selected template and is used for the examination; determines a type of confirmation operation performed on the output information, before the examination, based on a comparison result between an evaluation value indicating credibility of the output information and a threshold, and corrects the determined type of confirmation operation based on the text string contained in the document.

Abstract: A gas sensor element includes a solid electrolyte having oxygen-ion conductivity, a first electrode film located on one side of the solid electrolyte, a second electrode film located on the other side of the solid electrolyte. At least one of the first electrode film and the second electrode film includes noble metal particles, solid electrolyte particles having oxygen-ion conductivity, and pores, and a capacitance in the electrode film is 80 ?F or less. A gas sensor includes the gas sensor element.

Abstract: A computer, which is configured to extract an attribute being a character string indicating a feature of a paper-based document, the computer stores template information dictionary information. The computer is configured to: execute character recognition processing on image data on the paper-based document; extract an attribute corresponding to each of the at least one type of attribute, which is defined in each of the plurality of templates, through use of a result of the character recognition processing and the plurality of templates; calculate a score regarding the extracted attribute for each of the plurality of templates; select one of the plurality of templates that has the highest extraction accuracy of the attribute based on the score; and generate output information through use of the selected template.

Abstract: A gas sensor is provided which has a rapid heating property and which can detect A/F ratio with high accuracy and can detect specifically a stoichiometric environment with high accuracy. The gas sensor has a limiting current type gas sensor element. The gas sensor element has a cup-shaped solid electrolyte, a reference electrode formed on an inside surface of the solid electrolyte, a measuring electrode formed on an outside surface of the solid electrolyte and a heater. The heater is disposed inside the solid electrolyte so that a tip end thereof contacts the inside surface of the solid electrolyte. The gas sensor outputs the limiting current value depending on an oxygen concentration in exhaust gases by applying a predetermined voltage between the reference electrode and the measuring electrode. The measuring electrode, which a length thereof in a direction is 0.5 mm to 3.0 mm, is housed in a range 0.5 mm to 7.5 mm from a tip end of the solid electrolyte in the direction.

Abstract: An object of the present invention is to provide a semiconductor device amplifying input voltages of various standards across a wide range. According to an embodiment, a semiconductor device includes a first differential amplifier that performs an amplifying operation in a first voltage range, a second differential amplifier that performs an amplifying operation in a second voltage range, a first protection unit that conducts between the source and the drain of each pair of differential transistors included in the first and second differential amplifiers in a third voltage range, a third differential amplifier that performs an amplifying operation in a fourth voltage range, a fourth differential amplifier that performs an amplifying operation in a fifth voltage range, and a second protection unit that conducts between the source and the drain of each pair of differential transistors included in the third and fourth differential amplifiers in a sixth voltage range.

Abstract: A computing machine managing a template manages a document format, a template, and a cluster generated on the basis of a classification result based on a position of the document in a feature space in such a manner that they correspond to one another; determines whether a cluster to which a target document can belong is present on the basis of a position, in the feature space, of the target document in a case of detecting an opportunity of generating a template of the target document; registers the template of the target document in a case of determining that the cluster to which the target document can belong is not present; generates a cluster corresponding to the registered template; and manages a document format of the target document, the registered template, and the generated cluster in such a manner that they correspond to one another.

Abstract: A computer that extracts an attribute which is a text string contained in an predetermined examination target document stores template information for managing a plurality of templates in which a type of attribute is defined, executes a text recognition process on image data of the document, extracts an attribute corresponding to the type of attribute using a result of the text recognition process and the plurality of templates, selects a template based on the extracted attribute, generates output information that includes the attribute extracted using the selected template and is used for the examination; determines a type of confirmation operation performed on the output information, before the examination, based on a comparison result between an evaluation value indicating credibility of the output information and a threshold, and corrects the determined type of confirmation operation based on the text string contained in the document.

Abstract: There is provided a display control apparatus including an external memory accommodating unit for accommodating a removable external memory; a database recognizing unit for recognizing a database stored in the external memory, the database being recorded with an image stored in the external memory and information related to the image in correspondence to each other; a display method setting unit for setting either display method of a stored first display method or a second display method of displaying the image stored in the external memory without using the database based on a recognition result of the database recognizing unit; and a display controlling unit for displaying the image stored in the external memory by the display method based on the set display method.

Abstract: An object of the present invention is to provide a semiconductor device amplifying input voltages of various standards across a wide range. According to an embodiment, a semiconductor device includes a first differential amplifier that performs an amplifying operation in a first voltage range, a second differential amplifier that performs an amplifying operation in a second voltage range, a first protection unit that conducts between the source and the drain of each pair of differential transistors included in the first and second differential amplifiers in a third voltage range, a third differential amplifier that performs an amplifying operation in a fourth voltage range, a fourth differential amplifier that performs an amplifying operation in a fifth voltage range, and a second protection unit that conducts between the source and the drain of each pair of differential transistors included in the third and fourth differential amplifiers in a sixth voltage range.

Abstract: A computer, which is configured to extract an attribute being a character string indicating a feature of a paper-based document, the computer stores template information dictionary information. The computer is configured to: execute character recognition processing on image data on the paper-based document; extract an attribute corresponding to each of the at least one type of attribute, which is defined in each of the plurality of templates, through use of a result of the character recognition processing and the plurality of templates; calculate a score regarding the extracted attribute for each of the plurality of templates; select one of the plurality of templates that has the highest extraction accuracy of the attribute based on the score; and generate output information through use of the selected template.

Abstract: An A/F sensor includes a solid electrolyte body and a heater. The A/F sensor is disposed downstream of a purification device in a flow of exhaust gas g. The purification device purifies the exhaust gas g. The solid electrolyte body is in a cup shape. The solid electrolyte body has an outer surface provided with a measurement electrode 4 contacting the exhaust gas g, and an inner surface provided with a reference electrode contacting reference gas. The solid electrolyte body is made of zirconia. The solid electrolyte body includes a detection part sandwiched between the measurement electrode and the reference electrode and conducted with oxygen ions. The detection part has a cubic phase ratio of 88 mol % or more.

Abstract: A source code equivalence verification device performs symbolic execution on both an original source code and a modified version of the original source code; generates, using the results of the symbolic execution, equivalence verification expressions for verifying equivalence between the original source code and the modified source code; and verifies the equivalence verification expressions. A correction candidate generation unit generates a correction candidate, on the basis of which the modified source code is to be corrected so as to be equivalent to the original source code, if the results of the verification of the equivalence verification expressions indicate that the modified source code is not equivalent to the original source code; and a verification result generation unit generates a verification result report using the results of the verification and the correction candidate generated by the correction candidate generation unit.

Abstract: When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid.

Abstract: A vehicle lamp comprises a reflector, a semiconductor light source, and a projection lens. The lens axis of the projection lens shifts upward relative to the center of a light emission surface. A reflection surface rotates upward about the center or near the center of the light emission surface. The light emission surface rotates upward to face the reflection surface about the center or near the center of the light emission surface. The rotation angle of the light emission surface is greater than the rotation angle of the reflection surface.

Abstract: A gas sensor includes a sensor element having a detection section at a distal end portion thereof, and an element cover that surrounds a periphery of the sensor element. The sensor element includes electrodes and formed on a surface of a solid electrolyte body, a heater, and a porous protective layer formed on an outside of the detection section. The element cover includes a cover member with gas flow holes on a side surface and a gas passage is formed between the cover member and the sensor element. A distance between the cover member and the side surface of the sensor element in a direction perpendicular to an axis of the sensor element is in a range of 0.2 mm to 0.8 mm in the entire region of the gas passage leading from the gas flow holes to the detecting section.

Abstract: A gas sensor is provided which has a rapid heating property and which can detect A/F ratio with high accuracy and can detect specifically a stoichiometric environment with high accuracy. The gas sensor has a limiting current type gas sensor element. The gas sensor element has a cup-shaped solid electrolyte, a reference electrode formed on an inside surface of the solid electrolyte, a measuring electrode formed on an outside surface of the solid electrolyte and a heater. The heater is disposed inside the solid electrolyte so that a tip end thereof contacts the inside surface of the solid electrolyte. The gas sensor outputs the limiting current value depending on an oxygen concentration in exhaust gases by applying a predetermined voltage between the reference electrode and the measuring electrode. The measuring electrode, which a length thereof in a direction is 0.5 mm to 3.0 mm, is housed in a range 0.5 mm to 7.5 mm from a tip end of the solid electrolyte in the direction.

Abstract: There is provided a display control apparatus including an external memory accommodating unit for accommodating a removable external memory; a database recognizing unit for recognizing a database stored in the external memory, the database being recorded with an image stored in the external memory and information related to the image in correspondence to each other; a display method setting unit for setting either display method of a stored first display method or a second display method of displaying the image stored in the external memory without using the database based on a recognition result of the database recognizing unit; and a display controlling unit for displaying the image stored in the external memory by the display method based on the set display method.

Abstract: There is provided a display control apparatus including an external memory accommodating unit for accommodating a removable external memory; a database recognizing unit for recognizing a database stored in the external memory, the database being recorded with an image stored in the external memory and information related to the image in correspondence to each other; a display method setting unit for setting either display method of a stored first display method or a second display method of displaying the image stored in the external memory without using the database based on a recognition result of the database recognizing unit; and a display controlling unit for displaying the image stored in the external memory by the display method based on the set display method.

Abstract: An oxygen sensor element includes a solid electrolyte body having oxygen ion conductivity, a measuring electrode having catalytic action disposed on one surface of the solid electrolyte body, a reference electrode having a catalytic action disposed on another surface of the solid electrolyte body, and a heater for heating the measuring electrode. When the measuring electrode is heated by the heater, when measuring an oxygen concentration in a measured gas, a ratio (%) of an area of a low-temperature region where a surface temperature is less than 450 degrees C. relative to an area of a contact portion exposed to the measured gas G is 15% or less.