专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP2010238062A Database of program 审中-公开
标题翻译：计划数据库
公开(公告)号：JP2010238062A
公开(公告)日：2010-10-21
申请号：JP2009086641
申请日：2009-03-31
申请人： Kenji Miyamoto , 健司宮本
发明人： MIYAMOTO KENJI
IPC分类号： G06F9/44
摘要： PROBLEM TO BE SOLVED: To modify stored program data which is incompatible with the specifications into an adapted program to be output, and enhance the program through the use thereof.
SOLUTION: The database includes: a Hoare logic rule storage means storing in advance a rule of Hoare logic according to a language element of a program; a specification decomposition means decomposing the specification into specifications of partial programs according to each rule of Hoare logic when an adapted program code is not stored; a specification structure storage means storing the rule used for the decomposition and an accompanying parameter in the form of stacks; a program composition means using the specification (a partial specification) obtained by the decomposition as a new retrieval key in retrieval, sequentially assembling obtained codes such that the undecomposed specification is satisfied, and preparing and outputting a composite code adapted to the initial retrieval key; and a program registration means adding the composite code to the stored data.
COPYRIGHT: (C)2011,JPO&INPIT
摘要翻译：要解决的问题：将与规范不兼容的存储的程序数据修改为要输出的适配程序，并通过使用程序来增强程序。解决方案：数据库包括：Hoare逻辑规则存储装置，用于根据节目的语言元素预先存储Hoare逻辑的规则; 规范分解装置，当不存储适应的程序代码时，根据Hoare逻辑的每个规则将规范分解为部分程序的规范; 存储用于分解的规则的参数结构存储装置和堆栈形式的伴随参数; 程序组合意味着使用通过分解获得的规范（部分规范）作为检索中的新检索关键字，顺序地组合获得的代码，使得未分解的规范被满足，并且准备并输出适合于初始检索密钥的复合代码; 并且程序注册意味着将复合代码添加到所存储的数据。版权所有（C）2011，JPO＆INPIT

2. 发明专利

JP2006268209A Remote instruction input device by physical motion of user 审中-公开
标题翻译：用户物理运动的远程指令输入设备
公开(公告)号：JP2006268209A
公开(公告)日：2006-10-05
申请号：JP2005082957
申请日：2005-03-23
申请人： Kenji Miyamoto , Tomokazu Suzuki , Akinori Yoshino , 晶紀吉野 , 健司宮本 , 朋和鈴木
发明人： YOSHINO AKINORI , MIYAMOTO KENJI , SUZUKI TOMOKAZU
IPC分类号： G06F3/01 , G06F3/033 , G06T1/00 , G06T7/20
摘要： PROBLEM TO BE SOLVED: To provide a remote instruction input device by physical motion of a user which enables a user who operates the device for the first time to intuitively input in easily understandable manner just like equipment in a real world. SOLUTION: The geometric quantity of an image 2 of the hand of a user by which an object operation is characterized is measured, and the user is notified of the type of the measured geometric quantity by displaying the control part of equipment in a real word such as a sound volume knob 11, and the measured value is converted into an input value for controlling the operation object equipment such as a television which outputs a television video 14, and the user is notified of the input value by displaying a sound volume bar 16 or the like. Thus, it is possible to attain an intuitive and physical input just like equipment in a real world. COPYRIGHT: (C)2007,JPO&INPIT
摘要翻译：要解决的问题：通过用户的物理运动来提供远程指令输入设备，使得能够以与现实世界中的设备一样容易理解的方式第一次操作设备的用户直观地输入。测量对象操作的特征的用户的手的图像2的几何量，并且通过将设备的控制部分显示在一个对象中来向用户通知所测量的几何量的类型诸如音量旋钮11的实际字，并且将测量值转换为用于控制诸如输出电视视频14的电视之类的操作对象设备的输入值，并且通过显示声音向用户通知输入值音量杆16等。因此，可以像现实世界中的设备一样获得直观和物理的输入。版权所有（C）2007，JPO＆INPIT

3. 发明专利

JP2006031523A Infinite tree search method, device, processing program and recording medium recording the program 有权
标题翻译：无限树搜索方法，设备，处理程序和记录介质记录程序
公开(公告)号：JP2006031523A
公开(公告)日：2006-02-02
申请号：JP2004211395
申请日：2004-07-20
申请人： Kenji Miyamoto , Nippon Telegr & Teleph Corp , 健司宮本 , 日本電信電話株式会社
发明人： SEKIKAWA HIROSHI , SHIRAYANAGI KIYOSHI , MIYAMOTO KENJI
IPC分类号： G06N5/04 , G06F17/30
摘要： PROBLEM TO BE SOLVED: To provide an infinite tree search method, device and processing program, suppressing expansion of a search space to perform efficient search in the search for an infinite tree, and to provide a recording medium recording the program. SOLUTION: This infinite tree search device adopts a characteristic configuration means having: a closure processing part 21 sequentially applying an inference rule group from each node to a partial tree of a search tree with each the node belonging to a set V of the nodes as a root, and searching the all the nodes allowing arrival through a non-expansion branch of the partial tree to search for a solution of an inference problem; and an expansion processing part 22 selectively expanding a prescribed number of expansion branches of the search tree by applying an applicable and unapplied inference rule to an already searched node of the search tree when the solution is not found in the closure processing part 21, setting a set of the nodes added to the node by the expansion as a new set V of the nodes, and notifying the closure processing part 21 about the set V of the nodes. COPYRIGHT: (C)2006,JPO&NCIPI
摘要翻译：要解决的问题：提供无限树检索方法，设备和处理程序，抑制搜索空间的扩展以在搜索无限树中执行有效搜索，并提供记录该程序的记录介质。解决方案：该无限树搜索装置采用特征配置装置，该特征配置装置具有：闭合处理部分21，将每个节点的推理规则组顺序地应用于搜索树的部分树，其中每个节点属于节点作为根，并且搜索所有节点，允许通过部分树的非扩展分支到达以搜索推理问题的解; 以及扩展处理部分22，当在关闭处理部分21中没有找到解决方案时，通过对搜索树的已经搜索的节点应用适用的和未应用的推断规则来选择性地扩展搜索树的规定数量的扩展分支，通过作为节点的新集合V的扩展将节点添加到节点的集合，并且通知关闭处理部分21关于节点的集合V. 版权所有（C）2006，JPO＆NCIPI

4. 发明专利

JP2004243744A Pole material manufacturing device 审中-公开
公开(公告)号：JP2004243744A
公开(公告)日：2004-09-02
申请号：JP2003038819
申请日：2003-02-17
申请人： Kenji Miyamoto , 健次宮本
发明人： MIYAMOTO KENJI
IPC分类号： B29C49/38 , B29C49/04 , B29C49/24 , B29L9/00 , B29L23/00
摘要： PROBLEM TO BE SOLVED: To provide a pole material manufacturing device which is capable of molding a pole material such as a simulated bamboo material with high precision using comparatively low-cost facilities. SOLUTION: This device is constituted of extruders 10 and 20 for extruding a synthetic resin into the form of a hollow; molding tools 30U and 30L which are pressed against the outer surface of a synthetic resin molded product 4 extruded by the extruders 10 and 20; a molding tool transfer device 40 for transferring the molding tools 30U and 30L in a take-up direction X of the molded product 4 in the state that the molding tools 30U and 30L are pressed against the outer surface of the molded product 4; and a pressure gas blowing device 50 for blowing the pressure gas into the hollow part of the molded product 4 and pressing the molded product 4 against the molding tools 30U and 30L while transferring the molding tools 30U and 30L in the take-up direction X by means of the molding tool transfer device 40. In addition, the molding tool transfer device 40 transfers the molding tools 30U and 30L which are pliable and formed like a loop in the take-up direction X and after that, is moved in a circulating fashion so as to reversely return to its home position. COPYRIGHT: (C)2004,JPO&NCIPI

5. 发明专利

JP2006085206A Program base 审中-公开
标题翻译：程序库
公开(公告)号：JP2006085206A
公开(公告)日：2006-03-30
申请号：JP2004265263
申请日：2004-09-13
申请人： Kenji Miyamoto , 健司宮本
发明人： MIYAMOTO KENJI
IPC分类号： G06F9/44
摘要： PROBLEM TO BE SOLVED: To provide an accumulation and using method of programs such that a program code which satisfies a request specification with guarantee and is usable as it is without correction/translation can be easily retrieved from a semantic specification itself.
SOLUTION: To enable retrieval of a desired program code from a semantic specification, formal semantic specifications of programs and formal certifications capable of inspecting whether the programs satisfy specifications for assuring the validation of programs (specification satisfying property) are simultaneously accumulated in the programs. When a desired program is retrieved from specifications, accumulated media are scanned to output a program paired with a specification matched to the request specification. To enhance the usability, a mechanism for accumulating programs as abstract codes and translating them to each language when using is provided.
COPYRIGHT: (C)2006,JPO&NCIPI
摘要翻译：要解决的问题：提供一种程序的累积和使用方法，使得可以容易地从语义规范本身检索满足具有保证的请求规范并且可以被使用而没有校正/转换的程序代码。解决方案：为了从语义规范中检索所需的程序代码，能够检查程序是否满足程序验证规范（规范满足特性）的程序和正式认证的形式语义规范同时累积在程式。当从规格中检索到期望的程序时，扫描累积的介质以输出与与请求规范匹配的规范配对的程序。为了提高可用性，提供了一种用于将程序作为抽象代码累积并在使用时将其转换为每种语言的机制。版权所有（C）2006，JPO＆NCIPI

6. 发明专利

JP2008176696A Cg character animation creation device 审中-公开
标题翻译： CG特征动画制作装置
公开(公告)号：JP2008176696A
公开(公告)日：2008-07-31
申请号：JP2007011332
申请日：2007-01-22
申请人： Kenji Miyamoto , Misae Saito , 健司宮本 , 美沙恵齋藤
发明人： SAITO MISAE , MIYAMOTO KENJI
IPC分类号： G06T13/40
摘要： PROBLEM TO BE SOLVED: To intuitively and interactively operate a 3DCG character having a juncture structure of a joint largely different from the human body by a physical motion.
SOLUTION: A video rendered by use of a controllable characteristic amount extracted from a measurement value of a shape of the body of every moment as one or more pieces of attitude information (a bend of the joint or a size of a portion) of the 3DCG character is displayed in real time.
COPYRIGHT: (C)2008,JPO&INPIT
摘要翻译：要解决的问题：通过物理运动，直觉和交互地操作具有与人体大不相同的关节的结合结构的3DCG角色。解决方案：通过使用从每一时刻的身体形状的测量值提取的可控特征量呈现的视频作为一个或多个姿态信息（接头的弯曲或部分的大小）的3DCG字符被实时显示。版权所有（C）2008，JPO＆INPIT

7. 发明专利

JP2007258905A Relative position drive message system 审中-公开
标题翻译：相对位置驱动信息系统
公开(公告)号：JP2007258905A
公开(公告)日：2007-10-04
申请号：JP2006078777
申请日：2006-03-22
申请人： Kenji Miyamoto , 健司宮本
发明人： MIYAMOTO KENJI
IPC分类号： H04B7/26 , H04M11/00 , H04W4/02 , H04W4/12
摘要： PROBLEM TO BE SOLVED: To automatically transmit a message to a counterpart satisfying conditions after designating relative-position conditions of a plurality of mobile bodies.
SOLUTION: A relative positional relation is acquired so as to determine sufficiency of the preset conditions by consolidating positional information measured for each mobile body while transmitting it to a condition determination device. An operation such as message transmission made to correspond to the corresponding conditions beforehand is started when the conditions are satisfied. It is composed so as to take measures to be executed by a user with communication from the mobile body to a server in condition setting and making correspondence to the conditions, operations or message contents. Particularly, it enables the user to execute condition registration and message transmission reservation from a conventional mail tool by encoding the relative positional information into a mail address.
COPYRIGHT: (C)2008,JPO&INPIT
摘要翻译：要解决的问题：在指定多个移动体的相对位置条件之后，自动向满足条件的对方发送消息。解决方案：获取相对位置关系，以便通过将针对每个移动体测量的位置信息合并，同时将其发送到条件确定装置来确定预设条件的充分性。当满足条件时，开始诸如预先对应的条件进行的消息传输的操作。其组成是为了在条件设定中使用户从移动体到服务器进行通信的措施，并对条件，操作或消息内容进行对应。特别地，它使得用户能够通过将相对位置信息编码成邮件地址来从常规邮件工具执行条件注册和消息传输预留。版权所有（C）2008，JPO＆INPIT

8. 发明专利

JP2005301479A Instruction input device based on projected action of presenter 审中-公开
标题翻译：基于投影机的投影行为的指令输入设备
公开(公告)号：JP2005301479A
公开(公告)日：2005-10-27
申请号：JP2004113914
申请日：2004-04-08
申请人： Hiroshi Mitsumata , Kenji Miyamoto , Akinori Yoshino , 浩史三股 , 晶紀吉野 , 健司宮本
发明人： YOSHINO AKINORI , MIYAMOTO KENJI , MITSUMATA HIROSHI
IPC分类号： G06F3/033
摘要： PROBLEM TO BE SOLVED: To realistically represent interactive information by sufficiently using body expression of a presenter when the presenter desires to show his/her operation to another person in an instruction input method using graphics. SOLUTION: A synthetic image is created by cutting out a presenter image 34, which is formed by removing a background of an image photographed by a video camera 16, and combining it with a presented image formed by a personal computer 14. An instruction signal is created by recognizing an operation of the presenter, and interaction with an object inside the synthetic image is carried out according to the instruction signal. COPYRIGHT: (C)2006,JPO&NCIPI
摘要翻译：要解决的问题：当演示者希望在使用图形的指令输入方法中向另一个人显示他/她的操作时，通过充分地使用演示者的身体表达来实际地表示交互式信息。解决方案：通过切出通过去除由摄像机16拍摄的图像的背景并将其与由个人计算机14形成的呈现图像组合而形成的呈现图像34而创建合成图像。通过识别演示者的操作来创建指令信号，并且根据指令信号执行与合成图像内的对象的交互。版权所有（C）2006，JPO＆NCIPI

9. 发明专利

JP2004246703A Customer sales management method using receipt with lot, customer sales management computer system, receipt issue device, and lot management device 审中-公开
公开(公告)号：JP2004246703A
公开(公告)日：2004-09-02
申请号：JP2003037025
申请日：2003-02-14
申请人：宗弘 ▲高▼原 , Katsuhiko Kamata , Kenji Miyamoto , Yukio Nagano , Munehiro Takahara , 賢二宮本 , 克彦鎌田 , 幸雄長野
发明人： KAMATA KATSUHIKO , TAKAHARA MUNEHIRO , NAGANO YUKIO , MIYAMOTO KENJI
IPC分类号： G07C15/00 , G06Q10/00 , G06Q30/02 , G06Q30/06 , G06Q50/00 , G06Q50/10 , G06Q50/34 , G07G1/06 , G07G1/12 , G06F17/60
摘要： PROBLEM TO BE SOLVED: To provide a method for providing "lot" as service to a registered customer in the case of requesting a purchaser to register receipt information and obtaining sales data in each customer. SOLUTION: The method for managing customer sales by utilizing a receipt P with a lot to which a lot code inherent in the receipt R is imparted includes a step for allowing a management computer 3 to receive the lot code imparted to the issued receipt R and the information of a customer who is an owner of the receipt R, a step for allowing the management computer 3 to determine a won lot code from lot codes and a step for allowing the management computer 3 or an issuer computer 2 to perform correspondence between sales data D1 stored in the issuer computer 2 and customer information D3 corresponding to the sales data D1 through a lot code D4 inputted to the management computer 3. COPYRIGHT: (C)2004,JPO&NCIPI

10. 发明专利

JP2012014550A Interface method and device 审中-公开
标题翻译：接口方法和设备
公开(公告)号：JP2012014550A
公开(公告)日：2012-01-19
申请号：JP2010151751
申请日：2010-07-02
申请人： Kenji Miyamoto , 健司宮本
发明人： YOSHINO AKINORI , MIYAMOTO KENJI
IPC分类号： G06F3/033 , G06F3/01 , G06F3/038 , G06F3/048 , G06T7/20
摘要： PROBLEM TO BE SOLVED: To provide an interface method for generating a command by an interaction in a virtual space using classification of inclusion relation of the centroid of a graphic object.SOLUTION: Belonging information indicating which area of a user and an object the centroid of the overlapping of an area obtained by cutting out only the user from a video taken by a video camera and the object on the video belongs to, and an event such as generation or disappearance are obtained. An interface method and a device for distinguishing plural commands for one object with the above information and event are provided.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式