Kabushiki Kaisha Toshiba

Masahiro Sakai

Takeo Imai

Shuichi Obayashi

Tetsu Shijo

Akiko Yamada

Satoshi Hiroshima

Tetsushi Okamoto

Myungsook Ko

Eiichi Sunagawa

Tetsuya Gotou

Takahiro Nishizawa

According to one embodiment, an information processing apparatus includes a preference information obtainer that obtains preference information indicating preferences of a target user to which recommendation is to be made, the preferences ranging over a plurality of genres. The information processing apparatus includes a recommendation item determiner that determines, using the preference information of the target user and recommendation candidate information about a plurality of recommendation candidates ranging over a plurality of genres, a recommendation item to be recommended to the target user from the plurality of recommendation candidates, the recommendation candidate information being stored in an accessible storage apparatus.

Information processing apparatus, information processing system, information processing method, and recording medium

According to an embodiment, there is an inductor, including: a magnetic core; a winding formed around the magnetic core; a first resin provided between turns of the winding; and a second resin covering the winding and the first resin, wherein the second resin has higher filler content than the first resin.

Inductor and method of manufacturing the same

There is provided a precondition generating apparatus in which a storage stores a set 'S' of logical expressions; a creating unit creates a first logical expression being a logical product of the 'S', logical expressions of a program and a negation of a logical expression indicating a postcondition; a solver finds a solution that makes the first logical expression true and specifies a set of clauses that cannot be simultaneously true in the first logical expression if not found; wherein the creating unit sets relaxing variables for the logical expressions belonging to the set &#x201c;S&#x201d; in the set of clauses wherein the logical expressions indicates a precondition of the program, generates a second logical expression by alleviating the clauses of logical expressions corresponding to the relaxing variables in the first logical expression, and applies same process as in the first logical expression to the second logical expression.

Precondition generating apparatus

A device includes: a storage storing second logical expressions; an storage storing an essential condition which indicates a set of one or more second logical expressions selected such that a proposition is not satisfied that the post-condition is satisfied immediately after a program is executed when a logical product of other second logical expressions obtained by excluding the set indicated by the essential condition from the storage is satisfied; a generator generating a candidate condition represented by a logical product of one or more second logical expressions to include a common second logical expression with the set indicated by the essential condition; a judging unit judging whether satisfied is a proposition that the post-condition is satisfied immediately after the program is executed when the candidate condition is satisfied, and an output unit configured to output the candidate condition determined to satisfy the proposition as representing a pre-condition of the program.

Pre-condition generation device, post-condition generation device, and method for generating these conditions

Growing community of inventors

Kamakura, Japan

Masahiro Sakai