Inventors list

Assignees list

Classification tree browser

Top 100 Inventors

Top 100 Assignees


Mukaiyama, Tokyo

Akira Mukaiyama, Tokyo JP

Patent application numberDescriptionPublished
20090249269PROPERTY CHECKING SYSTEM, PROPERTY CHECKING METHOD, AND COMPUTER-READABLE STORAGE MEDIUM - Checking efficiency of property checking is improved. The operation synthesis tool synthesizes an RTL circuit description from a behavioral level circuit description. In addition, the property generating unit generates a behavioral level property from the behavioral level circuit description. Subsequently, the property converting unit converts the generated behavioral level property into an RTL property. The model checking unit then checks the RTL circuit description by model checking technique using the RTL property.10-01-2009
20100088656PROPERTY CHECKING SYSTEM, PROPERTY CHECKING METHOD, AND COMPUTER-READABLE STORAGE MEDIUM - Checking efficiency of property checking is improved. The operation synthesis tool synthesizes an RTL circuit description from a behavioral level circuit description. In addition, the property generating unit generates a behavioral level property from the behavioral level circuit description. Subsequently, the property converting unit converts the generated behavioral level property into an RTL property. The model checking unit then checks the RTL circuit description by model checking technique using the RTL property.04-08-2010

Patent applications by Akira Mukaiyama, Tokyo JP

Ryo Mukaiyama, Tokyo JP

Patent application numberDescriptionPublished
20080215575Information Processing Apparatus, Information Processing Method, and Program - An information processing apparatus is disclosed which includes: a creation section configured to create, through learning, a search axis which serves as a reference for presenting contents and which is determined by feature quantities of the contents and either by a history of reproduction of the contents by a user or by evaluations of the contents by the user; and a display control section configured to control display of the presentation of the contents in reference to the search axis having been created.09-04-2008
20080243803Information Processing Apparatus and Method, and Program - Disclosed herein is an information processing apparatus that presents, to a user who performs a search among a plurality of contents distributed over a search space formed using N, N is an integer greater than one, types of search axes, assistant information for assisting the user with the search. The apparatus includes: specification means for specifying a first range; range presentation means for presenting a state of distribution of contents within the first range, and presenting the state of the distribution of the contents within a second range; and narrowing-down axis presentation means for selecting, and presenting the narrowing-down axis candidate or candidates to the user.10-02-2008
20090043758INFORMATION PROCESSING APPARATUS, INFORMATION PROCESSING METHOD, AND INFORMATION PROCESSING PROGRAM - In an information processing apparatus adapted to determine information, to be presented to a user, as to one or more contents, a calculation unit calculates the similarity between a first search axis, produced on the basis of information associated with the user, for use as a reference on the basis of which to present contents and a second search axis, produced on the basis of information associated with one of other users, for use as a reference on the basis of which to present contents, and a display control unit controls displaying of information associated with contents with reference to first and second search axes detected as being similar to each other.02-12-2009
20090327349Information processing apparatus, information processing method and information processing program - The present invention provides an information processing apparatus which can direct a user to a playlist different from a playlist being reproduced. There is provided the information processing apparatus including a content storage unit storing a plurality of contents therein, a playlist storage unit storing a plurality of playlists which is related to at least some of the plurality of contents, a reproducing unit sequentially reproducing a plurality of contents belonging to a first playlist in a plurality of playlists, a candidate content extracting unit extracting one or more candidate contents relating to a content being reproduced by the reproducing unit from the content storage unit, a playlist extracting unit extracting a second playlist to which the extracted candidate contents belong from the playlist storage unit, and a playlist switching unit switching a playlist to be reproduced by the reproducing unit from the first playlist into the second playlist.12-31-2009
20100057235Playback Apparatus, Playback Method and Program - A playback apparatus is provided that includes an operation plane, a detection unit to detect which of contact relationship including first contact relationship, second contact relationship with a higher degree of contact than the first contact relationship and third contact relationship with a higher degree of contact than the second contact relationship the operation plane and an operation object have, a creation unit to create a list screen of content data for selecting content data based on movement of the operation object with respect to the operation plane in the first contact relationship, a playback unit to play back content data, and a playback control unit to cause the playback unit to play back content data selected on the list screen when becoming the second contact relationship from the first contact relationship if contact relationship becomes the third contact relationship from the second contact relationship.03-04-2010

Patent applications by Ryo Mukaiyama, Tokyo JP

Shigeki Mukaiyama, Tokyo JP

Patent application numberDescriptionPublished
20080305794CALL SESSION CONTROL SERVER ASSIGNMENT METHOD AND CALL SESSION CONTROL SERVER ASSIGNMENT SYSTEM - The present invention provides a call session control server assignment method and system for equalizing loads of a plurality of call session control servers (S-CSCF servers). For this end, the HSS server 12-11-2008
20110078283SERVICE PROVIDING SYSTEM, FILTERING DEVICE, FILTERING METHOD AND METHOD OF CONFIRMING MESSAGE - A service providing system is connected to a user terminal via a network, acquires a request message described with an upper layer protocol exceeding three layers for requesting desired data and transmitted by the user terminal, and analyzes the content of a body portion of the message. In the case where unwanted information or unusual information is contained in request content, the unwanted information or the unusual information is eliminated by subjecting the request message to a predefined process.03-31-2011

Yoshitaka Mukaiyama, Tokyo JP

Patent application numberDescriptionPublished
20080245669PLATING APPARATUS AND METHOD - An apparatus forms a plated film in fine trenches and plugs for interconnects and in the openings of a resist formed in the surface of a substrate such as a semiconductor wafer, and forms bumps (protruding electrodes) on the surface of a semiconductor wafer. The apparatus includes a substrate holder capable of opening and closing for holding a substrate such that the front surface of the substrate is exposed while the backside and the edge thereof are hermetically sealed. A plating tank accommodates a plating liquid in which an anode is immersed. A diaphragm is provided in the plating tank and disposed between the anode and the substrate held by the substrate holder. Plating liquid circulating systems circulate the plating liquid to respective regions of the plating tank, separated by the diaphragm. A deaerating unit is disposed in at least one of the plating liquid circulating systems.10-09-2008