Kabushiki Kaisha Toshiba

Hitachi, Ltd.

Hitachi Construction Machinery Co., Ltd.

Yuuichi Kurosawa

Hiroshi Sakamoto

Takaaki Ishii

Hiroyuki Azuma

Shigeki Tokita

Tadahiro Yamaguchi

Keiichirou Nakamura

Shunya Kokubo

Miwako Doi

Toshiomi Moriki

Hideki Hirakawa

Mika Fukui

Akio Okazaki

Hiroyuki Tsuboi

Tsukasa Matoba

Yasukazu Okamoto

Hiroshi Sakai

Chiaki Hirai

Hisaya Ishibashi

Miho Kobayashi

Kaoru Kato

Hiroki Satoh

Takahisa Kaihotsu

Futoshi Koike

Koichi Nishide

Hideo Numagami

Naohiko Okamoto

An application executed at a user terminal with a touch screen displays, on the touch screen, a UI in which a user-side UI for accepting a touch operation by a user and a store-side UI for accepting a touch operation by a staff member of a store are placed, as a settlement UI for settlement of a currency amount of a digital local currency. The application judges whether time during which the touch operation on the user-side UI and the touch operation on the store-side UI are simultaneously continued has reached a specified period of time or not. If the judgment result is true, the application displays a settlement completion notice on the touch screen.

Method and system for supporting promotion of use of digital local currency

Construction machine information display with graphical user interface

Display screen with graphical user interface for a construction machine

Display screen or portion thereof with graphical user interface

A statement is embedded in a description of a circuit for design in hardware description language stored in a function description storage section, the above statement outputting messages that test items have been tested according to a procedure stored in a package storage section. A function simulation executing section executes simulations to store the above messages in a message storage section. A report output section determines every test whether all the test items have been tested or not, based on messages stored in a message storage section, and data denoting a correspondence relationship between test vector names stored in a test data storage section and test items which are tested according to the above messages and outputs report of the determination results.

Function test support system and function test support method and hardware description model

A logic simulation apparatus for executing simulation of the designed logic circuit includes first storing means for storing only constant information whose contents do not change during the simulation, second storing means for storing information except information stored in the first storing means, generating means for generating predetermined information in a predetermined format into the first and second storing means on the basis of circuit information of the logic circuit, and simulation executing means for executing simulation of function of the logic circuit as a whole using the information.

Logic simulation apparatus for executing simulation of a circuit

A drawing information presentation apparatus has a memory for storing data representing a plurality of drawings, including text labels, and a concept dictionary memory for storing synonyms and connection relation for terms used in the text labels. A correspondence analysis section analyzes correspondence relation of elements of two drawings by referring to data of the concept dictionary memory. Then, a display section displays elements of a first drawing in a manner which demonstrates those elements of the first drawing which correspond to elements of the second drawing, from those elements of the first drawing which do not so correspond, in accordance with the analysis performed by the correspondence analysis section. The apparatus also comprises a drawing description analysis section for extracting drawing titles from document information, and for analyzing the correspondence relationship of the drawing titles between two drawings, by referring to date of the concept dictionary memory. In this case, the correspondence analysis section analyzes the correspondence relationships of elements between two drawings, whose titles are analyzed to correspond to each other by the drawing description analysis section.

Database retrieval system for effectively displaying differences between

Growing community of inventors

Tokyo, Japan

Yuuichi Kurosawa