Riso Kagaku Corporation

International Business Machines Corporation

Fuji Jukogyo Kabushiki Kaisha

Konica-Minolta Holdings, Inc.

Konica Minolta Ij Technologies, Inc.

Konica Corporation

Nippon Petrochemicals Company, Limited

Olympus Corporation

Konishiroku Photo Industry Co., Ltd.

Nec Corporation

Olympus Optical Company, Ltd.

Pioneer Electronic Corporation

Agency of Industrial Science and Technology

Kyoraku Co., Ltd.

Japan Polyolefins Co., Ltd.

Hideo Watanabe

Tetsuya Nasukawa

Masaaki Ikeda

Koji Morikawa

Sadanao Okuda

Masahiko Sato

Hiroyuki Ikeda

Takaaki Hattori

Tatsuyuki Kamiya

Naoki Miwa

Hisao Sakuma

Yuka Umeshima

Yoshihiro Hatakeyama

Takeshi Ito

Hiroyuki Nomori

Katsuaki Komatsu

Yuta Tsuboi

Hiroshi Kanayama

Koichi Takeda

Tatsuo Ohta

Shinichi Kawaguchi

Atsushi Takahashi

Takaaki Tateishi

Jun Yamada

Shin Saito

Issei Yoshida

Takehiko Sumi

Hironori Takeuchi

Osamu Yamamoto

Futoshi Iwama

Kiyoshi Ogawa

Yuhei Kosugi

Akihiro Kitahara

Satoshi Murouchi

Shinichi Nishi

Yoichi Hatsutori

Yoshio Minowa

Osamu Murata

Susumu Oshio

Masakazu Kawano

Hiroshi Hanzawa

Hiroshi Kobayashi

Tetsuo Okuno

Kunio Suzuki

Yoshimichi Kiyozumi

Shigemitsu Shin

Haruo Takaya

Hiroshi Menjo

Hiroyuki Sunagawa

Kichinari Kawamura

Junnosuke Katsuyama

Hiroaki Izumi

Akiko Murakami

Tetsuo Shimizu

Akira Inomata

Hideki Kusamitsu

Wataru Nagata

Tetsuo Nagase

Risa Nishiyama

Yasuo Takami

Yasuhiko Kohtoku

Yuzi Shimazaki

Mayumi Okasato

Mayumi Inaba

Noboru Inamina

Taxay Sato

Shin-ichi Omagari

Hiroyoshi Yoneta

Shiho Ogino

Fumio Taoka

Norimichi Tanno

Kenichiro Bando

A computer-implemented method and computing device are provided for generating a formal specification of a function. The method includes extracting a set of words from requirements of the function. The method further includes translating the set of words to a set of specification fragments. The method also includes converting the set of the specification fragments to a set of production rules. The method additionally includes constructing multiple prospective specifications from the set of production rules taking into account a syntax of the formal specification. The method further includes validating each of the multiple prospective specifications using input-output examples. The method also includes generating the formal specification of the function from validated ones of the multiple prospective specifications.

Formal specification generation using examples

A three-dimensional shape measuring apparatus includes a light source, an optical sensor, and an imaging unit that images a sensor signal. The three-dimensional shape measuring apparatus includes: a storing unit that stores control information indicating a state of the three-dimensional shape measuring apparatus at a point in time of imaging, the control information being obtained in synchronization with the imaging of the sensor signal performed by the imaging unit; and an output control unit that controls a transfer timing of the control information stored in the storing unit in accordance with a transfer timing of image data obtained by the imaging unit so as to output the control information to an image transfer path in association with the image data.

Three-dimensional shape measuring apparatus

An inkjet head has a head chip. The head chip has driving walls of piezoelectric material, which deform by applying voltage, to jet ink. Channels are arranged alternatively, alongside the driving walls and contain ink. Each channel has an outlet and an inlet port at a front and rear surface of the head chip. Driving electrodes, formed on surfaces of the driving walls, apply voltage to the driving walls. Connection electrodes, formed on the rear surface of the head chip, electrically connect to the driving electrodes. A wiring substrate, having wiring electrodes apply voltage to the driving electrode through the connection electrode. The wiring substrate is bonded to the rear surface of the head chip to protrude from the head chip in a direction perpendicular to the direction of the channels so that all the channels are exposed at the rear surface of the head chip.

Inkjet head and method of manufacturing inkjet head

Provided are two types of translation engines. One of the translation engines translates a text written in a source language X into an intermediate language C, and the other translates the intermediate language C into a target language Y. The X-C translation engine translates an original text written in the source language X into a text in a predetermined intermediate language C as well as acquires and adds annotations obtained by this translation to the translated text written in the intermediate language C. The C-Y translation engine references annotations, which are obtained by the X-C translation engine and added to the text in the intermediate language C, and translates the text in the intermediate language into a text in the target language Y sentence.

Machine translation device, method of processing data, and program

A technology projection supporting apparatus includes a describing section extracting unit and steps for extracting a problem describing section and an effect describing section from each technical document, a technical phrase extraction unit and steps to extract a technical phrase, which indicates a matter to be achieved by a technology, from each of the problem describing section and the effect describing section, an impact determination unit and steps for determining a business impact to be made by the matter indicated by the extracted technical phrase, a naming unit and steps for naming the extracted technical phrase; and a technology map generation unit for generating a technology map. The generated technology map has axes indicating time length to be required to implement technology and business impact.

Future technology projection supporting apparatus, method, program and method for providing a future technology projection supporting service

An inkjet head with a harmonica-type head tip is configured in a way that wirings electrically connected to drive electrodes within channels are led rearward from a rear surface of the head tip. A groove is provided along an array direction of the channels in areas on the rear surface of the head tip in which the channels are not formed. A lead-out electrode, which is electrically connected to drive electrodes, is formed from the rear surface of the head tip to the interior of the groove. One end of a wiring member, which has connecting wirings upon an insulating material corresponding to the lead-out electrodes, is inserted into the groove. The drive electrode is electrically connected to the connecting wiring via the lead-out electrode as a result of the electrical connection of the connecting wiring within the groove to the lead-out electrode.

Inkjet head

An inkjet head including: a head chip having; driving walls composed of piezoelectric element, wherein shear deformation is caused by applying voltage so as to jet ink, ink containing channels arranged alongside the driving walls alternatively, outlet and inlet ports respectively provided on a front and rear surface of the head chip for each channel, driving electrodes formed on surfaces of the driving walls to apply voltage to the driving walls, and connection electrodes formed on the rear surface of the head chip to connect the driving electrodes electrically; a wiring substrate, wherein wiring electrodes are formed to apply voltage to the driving electrode through the connection electrode, bonded on the rear surface of the head chip to protrude from the head chip in a direction perpendicular to a direction of a channel array exposing all the channels at the rear surface of the head chip.

Method of manufacturing inkjet head

A flow path regulating member for regulating an ink flow path leading into the channels is formed on the rear side of the head chip by exposure and development through lamination of the photo masks having an opening of a predetermined pattern, after a photosensitive resin film has been bonded on the rear side of the head chip by heat and pressure without using an adhesive; this head chip being characterized in that the channels, and drive walls made up of piezoelectric elements are arranged alternately, the apertures of the channels are arranged on the front side and rear side, respectively, and drive electrodes are formed in channels.

Injection head manufacturing method and injection head

A resin composition for blow molding is provided, made by formulating 0 to 30 weight parts of an inorganic filler based on 100 weight parts of a resin composition having of: 20 to 95% by weight of polypropylene resin having a melting point evaluated by a differential scanning calorimeter (DSC) of 160&#xb0; C. or higher, the polypropylene resin being formulated of a propylene-ethylene block copolymer having an ethylene content of 3 to 15% by weight; and 5 to 80% by weight of polyethylene resin having a melting point evaluated by a differential scanning calorimeter (DSC) of 130&#xb0; C. or higher, and a tensile break strength is 250 Kg/cmor more at ambient temperature, and a tensile break elongation is 500% or more.

Propylene resin composition, blow molded panel comprised of the composition, and automobile deck board comprised of the blow molded panel

A technique for determining a match between a character string including an evaluation and product information stored in a storage device and including a feature description of a product. The character string includes a name of an evaluation object to be evaluated and an evaluation expression representing the evaluation of the evaluation object. The matching method includes a first determining step of determining from the evaluation object and the evaluation expression whether the evaluation expression represents a positive evaluation of the evaluation object or a negative evaluation of the evaluation object; and a second determining step of determining, when the evaluation expression represents a positive evaluation of the evaluation object, if the evaluation expression is included in a feature description of a product, the product to be a matched product, and if the evaluation expression is not included in a feature description of a product, the product to be a mismatched product.

Method, apparatus, and program product for processing product evaluations

A flow path regulating memberis formed on the rear surface of the head chipA, wherein the channelsand, and drive wallsmade up of piezoelectric elements are arranged alternately, the apertures of the channelsandare arranged on the front side and rear side, and drive electrodesare formed in channelsand, by the step of providing a lamination film according to the process wherein a mask layer without having been etched at the time of dry etching of an organic film is patterned on the surface of the organic film so as to conform to the channelfor regulating an ink flow path and performing dry etching from the side of the mask layer and removing the organic film at other than the site coated with the mask layer.

Inkjet head manufacturing method and inkjet head

A method of producing substratehaving feedthrough electrodes for an inkjet head, including: a step of forming grooves in the substratein the same pitch as that of the inkjet head; a step of setting conductive memberin the grooves; a step of adhering covering substrateonto substrate; a step of cutting adhered substrateand covering substratein a direction perpendicular to that of the grooves in a predetermined width.

Method of manufacturing substrates with feedthrough electrodes for inkjet heads and method of manufacturing inkjet heads

An ink jet head includes a head chip having driving walls made up of piezoelectric device, ink channels that eject ink, air channels that do not eject ink, driving electrodes formed inside of the of the channels, at least one common electrode that conducts with the driving electrodes of the air channels, and connection electrodes that conduct with the driving electrodes of the ink channels separately, wherein the ink channels and the air channels are alternatingly arranged in parallel and form channel rows arranged in parallels, and a nozzle plate joined to a front surface of the head chip and has a plurality of nozzles, wherein individual connection electrodes of any adjacent two channel rows formed at a side of an edge of the head chip are lead out and aligned at the edge of the head chip.

Ink jet head

In a harmonica type head chip having a plurality of rows of channels (row A and row B), connection electrodes for row A and the connection electrodes for row B formed on the back surface of the head chip are connected to a multilayer member having an insulating layer on one surface of which are formed the lead wirings for row A and on the other surface of which are formed the lead wirings for row B, and the lead wirings for row B are made to protrude outwards more than the lead wirings for row A and drive interconnections are electrically connected to the lead wirings for row A and the lead wirings for row B.

Growing community of inventors

Tokyo, Japan

Hideo Watanabe