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

1. 发明专利

JP2012003733A Logical formula conversion program and sat solution program 审中-公开
标题翻译：逻辑公式转换计划和SAT解决方案
公开(公告)号：JP2012003733A
公开(公告)日：2012-01-05
申请号：JP2010148256
申请日：2010-06-12
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F17/10
摘要： PROBLEM TO BE SOLVED: To overcome a problem that there is no SAT solution with high versatility effectively using symmetry of formula of SAT in the case in which a satisfiability problem has different difficulty in accordance with the structure to which the formula is directed and to overcome a problem that there is no program for converting CNF into HornCNF.SOLUTION: SAT is simplified by utilizing symmetry of variables of CNF and symmetry of a literal, thereby converting the given formula into HornCNF. The SAT converted in accordance with the HornCNF is used to efficiently solve problems.
摘要翻译：要解决的问题：为了克服一个问题，即在符合公式所针对的结构的情况下，可满足性问题具有不同难度的情况下，SAT公式的对称性可以有效地使用高通用性的SAT解决方案并克服没有将CNF转换为HornCNF的程序的问题。解决方案：通过利用CNF变量的对称性和文字的对称性来简化SAT，从而将给定的公式转换为HornCNF。根据HornCNF转换的SAT用于有效解决问题。版权所有（C）2012，JPO＆INPIT

2. 发明专利

JP2003323337A Program for estimating isolated object and garbage collection program usign this program 审中-公开
标题翻译：用于估算隔离对象和收集方案的程序使用本程序
公开(公告)号：JP2003323337A
公开(公告)日：2003-11-14
申请号：JP2002164955
申请日：2002-04-30
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F12/00
摘要： PROBLEM TO BE SOLVED: To discriminate an object having a high isolated possibility for efficiently executing a garbage collection. SOLUTION: The object having a high isolated possibility is discriminated by summarily storing objects invalidated for reference, and has not been unaccessed after invalidation. A strong reference for forming a forest said in graph theory is made by adding information to the reference, and the object having the high isolated possibility is further efficiently discriminated. The garbage collection is efficiently executed by executing the garbage collection after investigating the discriminated object. COPYRIGHT: (C)2004,JPO
摘要翻译：要解决的问题：为了区分具有高隔离可能性的对象以有效地执行垃圾收集。解决方案：通过概括地存储无效参考的对象来区分具有高隔离可能性的对象，并且在无效之后尚未被处理。通过在参考文献中添加信息来形成图形理论中形成森林的强有力参考，并且进一步有效地区分具有高隔离可能性的对象。通过在对被识别对象进行调查之后执行垃圾收集，有效地执行垃圾收集。版权所有（C）2004，JPO

3. 发明专利

JP2003019099A Cleaning cloth 审中-公开
标题翻译：清洁布
公开(公告)号：JP2003019099A
公开(公告)日：2003-01-21
申请号：JP2001207582
申请日：2001-07-09
申请人： Koji Kobayashi , 弘司小林
发明人： KOBAYASHI KOJI
IPC分类号： A47L13/16 , D04H11/00 , D05C17/02
摘要： PROBLEM TO BE SOLVED: To inexpensively make a cleaning appliance by omitting a cushion material used by being inserted between a tool of the cleaning appliance and a cleaning cloth and in turn, using a pile cloth usable as the cleaning cloth as well and to provide the cleaning appliance which can be easily used.
SOLUTION: The cleaning cloth 23 is constituted by simultaneously inserting a plurality of needles to a base fabric 13, lining up preceding piles 11 parallel and implanting the piles to the base fabric, then inserting a plurality of the needles carrying succeeding pile yarn into the base fabric 13 toward the spaces between back stitch rows 21 and 21 of the preceding piles 11 and implanting the succeeding piles 12 to the rear side of the base fabric 13. The outer sides of side edges 15 and 16 of the belt-like array in which the back stitch rows line up are provided with belt-like pileless sections 14 and 24 which are not implanted with the piles. Hygroscopic fibers and hot meltable fibers are used in combination for the piles. The hygroscopic fibers and the hot meltable fibers are partially bonded by melting the hot meltable fibers to resinify the fibers.
COPYRIGHT: (C)2003,JPO
摘要翻译：要解决的问题：为了廉价地制造清洁用具，省略通过插入清洁用具的工具和清洁布之间使用的缓冲材料，然后使用可用作清洁布的绒布，并提供清洁用具，可以方便地使用。解决方案：清洁布23通过将多根针头同时插入基布13而将前面的桩11平行排列并将桩注入到基底织物中，然后将多个带有后续绒毛纱的针插入底座织物13朝向先前桩11的后缝合线21和21之间的间隙，并将后续桩12植入基底织物13的后侧。带状阵列的侧边缘15和16的外侧，其中后排针排配置有没有植入桩的带状无绒区段14和24。将吸湿性纤维和热熔性纤维组合用于桩。吸湿纤维和热熔纤维通过熔化热熔纤维而使纤维树脂化而部分粘合。

4. 发明专利

JP2012198865A Cnf-related data structure, cnf-related data structure program, and cnfsat calculation program 审中-公开
标题翻译：与CNF相关的数据结构，与CNF相关的数据结构计划和CNFSAT计算程序
公开(公告)号：JP2012198865A
公开(公告)日：2012-10-18
申请号：JP2011084897
申请日：2011-03-21
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F17/50
摘要： PROBLEM TO BE SOLVED: To provide means for clarifying the complexity of CNF calculation and effectively performing CNFSAT calculation.SOLUTION: A CNF structure is clarified by clarifying the relationship between CNFSAT clauses and calculation complexity is also clarified by making latent restriction overt. In addition, a program for allowing a computer to achieve the function of efficiently deriving the seepage clauses is provided.
摘要翻译：要解决的问题：提供清楚CNF计算复杂度和有效执行CNFSAT计算的方法。解决方案：通过明确CNFSAT条款之间的关系，明确CNF结构，计算复杂度也通过潜在限制明确来澄清。另外，提供了一种用于允许计算机实现有效地导出渗流条件的功能的程序。版权所有（C）2013，JPO＆INPIT

5. 发明专利

JP2012141940A Logical formula conversion program, sat solver program, and sat difficulty evaluation program 审中-公开
标题翻译：逻辑公式转换计划，SAT解决方案和SAT困难评估计划
公开(公告)号：JP2012141940A
公开(公告)日：2012-07-26
申请号：JP2011010257
申请日：2011-01-01
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F17/10
摘要： PROBLEM TO BE SOLVED: To solve the problem that a satisfiability problem varies a difficulty level by the structure of a target formula but a highly versatile SAT solver has not existed, which efficiently extracts the structure by normalizing a SAT formula, and also there has not been a program to efficiently convert a CNF into a Horn CNF.SOLUTION: A CNF is analyzed in accordance with the structure. The relation of terms having the common variable numbers of the CNF is normalized, and conversion is performed into a sequence pair, a Horn CNF, or an oriented graph. Besides, the SAT is efficiently solved by using the CNF converted into the sequence pair, the Horn CNF, or the oriented graph. The computation difficulty of a CNFSAT is also estimated based on relation between the terms having complementary parts being important points in the computation difficulty of the CNF.
摘要翻译：要解决的问题：为了解决可靠性问题通过目标公式的结构而改变难度级别的问题，但是不存在高度通用的SAT求解器的问题，其通过归一化SAT公式有效地提取结构，并且还没有一个程序有效地将CNF转换成Horn CNF。解决方案：根据结构对CNF进行分析。具有CNF的共同可变数目的项的关系被归一化，并且转换被执行到序列对，Horn CNF或定向图。此外，通过使用转换为序列对的CNF，Horn CNF或定向图来有效地解决SAT。 CNFSAT的计算难度也是根据具有互补部分的术语之间的关系来估计的，这些关系是CNF的计算难度中的重点。版权所有（C）2012，JPO＆INPIT

6. 发明专利

JP2006314740A Cutting board and drainer of cutting board 审中-公开
标题翻译：切割板和切割板的排水机
公开(公告)号：JP2006314740A
公开(公告)日：2006-11-24
申请号：JP2005168807
申请日：2005-05-12
申请人： Koji Kobayashi , 浩治小林
发明人： KOBAYASHI KOJI
IPC分类号： A47J47/00 , A47J47/20
摘要： PROBLEM TO BE SOLVED: To provide a cutting board, perfectly preventing washing water from overflowing to a top plate or dropping on the floor surface even if a large quantity of washing water flows toward the top plate, a front edge rail or a rear edge rail in washing the upper surface of the cutting board in the cutting board freely slidably constructed on the front edge rail and the rear edge rail on the upper part of a kitchen sink to be used, simple in structure, easily manufactured, not to slide in the lateral direction on the front and rear edge rails to be safe, and sanitary, and to provide a drainer to be easily stored, well-balanced and convenient in use to scrape off moisture staying on the cutting board and the top plate. SOLUTION: A plurality of washing water drop holes 2 are bored along the front edge side of the cutting board 19 formed of a substantially rectangular plate body to form support parts 3, 33, a corner face 3a is formed on the inner peripheral edge of the washing water drop hole 2 and the support part 33, a corner face side edge part 3c where the support parts 3, 33 confront is provided in the vicinity, a plurality of cutout parts 4 are provided on the rear edge side to form a projecting part 5, the corner fce 3b is formed on the inner peripheral edge of the cutout part 4, and the adjacent corner face side edge parts 3e are provided in the vicinity thereof. COPYRIGHT: (C)2007,JPO&INPIT
摘要翻译：要解决的问题：为了提供一种切割板，即使大量的洗涤水流向顶板，前边缘轨道或者前边缘轨道也能够完美地防止洗涤水溢出到顶板或落在地板表面上后边缘轨道，用于清洗切割板中的切割板的上表面，其可自由滑动地构造在厨房水槽的上部的前边缘轨道和后边缘轨道上，使用简单，结构简单，易于制造，而不是在前后边缘导轨上沿横向方向滑动是安全的，卫生的，并且提供一个容易储存的排水器，平衡和使用方便，以刮除砧板和顶板上的水分。解决方案：沿着由大致矩形的板体形成的切割板19的前边缘侧钻有多个洗涤水滴孔2，以形成支撑部分3,33，在内周上形成有角面3a 洗涤水滴孔2和支撑部33的边缘，在其附近设置有支撑部3,33的角面侧缘部3c，在后缘侧设置有多个切口部4，以形成突出部5，在切口部4的内周缘上形成角部fce 3b，在其附近设置相邻的角面侧缘部3e。版权所有（C）2007，JPO＆INPIT

7. 发明专利

JP2004362520A Window switching program 审中-公开
公开(公告)号：JP2004362520A
公开(公告)日：2004-12-24
申请号：JP2003192451
申请日：2003-06-01
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F3/14 , G06F3/00 , G06F3/048 , G09G5/00 , G09G5/14
摘要： PROBLEM TO BE SOLVED: To efficiently switch the overlapping order of windows in a computer having a multi-window function. SOLUTION: This window change program is provided with an input receiving means receiving input, an input condition recording means recording a condition whether the input agrees or not in advance, an input receiving window identifying means identifying a singular number or a plurality of windows receiving the input, a window condition recording means recording the condition whether the window agrees or not in advance, an order switching means switching the overlapping order of windows, and a switching execution means executing a window overlapping order changing means when the input received by the input receiving means agrees with the condition recorded on the input condition recording means and the window identified by the input receiving window identification means agrees with the condition recorded on the window condition recording means. COPYRIGHT: (C)2005,JPO&NCIPI

8. 发明专利

JP2011030450A Filter-tipped cigarette 有权
标题翻译：过滤嘴香烟
公开(公告)号：JP2011030450A
公开(公告)日：2011-02-17
申请号：JP2009177235
申请日：2009-07-30
申请人： Yasuhiro Inoue , Koji Kobayashi , 靖弘井上 , 康志小林
发明人： INOUE YASUHIRO , KOBAYASHI KOJI
IPC分类号： A24D1/04 , A24D3/04
摘要： PROBLEM TO BE SOLVED: To provide a filter-tipped cigarette having the nearly same appearance as the conventional one and capable of reducing the amount of shredded tobacco in a tobacco part to be discarded after finishing the smoking.
SOLUTION: The filter-tipped cigarette 1 is constituted by connecting a cylindrical tip paper 5 wrapping the filter 4a to the part at the base terminal side in a cylindrical wrapping paper 3 wrapping the shredded tobacco 2a. The tip edge 5a of the tip paper 5 is position at the base terminal side from the intermediate position M in the length direction of the cigarette 1. The tip 4z of the filter 4a is positioned at the tip side from the position of the tip edge 5a of the tip paper 5.
COPYRIGHT: (C)2011,JPO&INPIT
摘要翻译：要解决的问题：提供具有与常规方法几乎相同外观的过滤嘴香烟，并且能够在完成吸烟之后减少要丢弃的烟草部件中的烟丝的数量。解决方案：过滤嘴香烟1通过将包装过滤器4a的圆柱形接头纸5连接到包装粉碎烟草2a的圆筒形包装纸3中的基端部侧的部分而构成。尖端纸5的前端边缘5a位于距香烟1的长度方向上的中间位置M的基端侧。过滤器4a的尖端4z位于尖端边缘（C）2011，JPO＆INPIT

9. 发明专利

JP2010157197A Character string inputting program 审中-公开
标题翻译：字符串输入程序
公开(公告)号：JP2010157197A
公开(公告)日：2010-07-15
申请号：JP2009017308
申请日：2009-01-02
申请人： Koji Kobayashi , 弘二小林
发明人： KOBAYASHI KOJI
IPC分类号： G06F17/22
摘要： PROBLEM TO BE SOLVED: To make operation for selecting a candidate character string to be more efficient, without disturbing operation of conventional conversion inputting method and direct inputting method, resulting in improved efficiency of inputting itself of a character string, relating to a character string inputting program. SOLUTION: In a conversion inputting program, when one key is pressed while a conversion key such as a space key is pressed and held, the character string assigned to that key can be selected. Thus, a character string to be converted can be efficiently selected while avoiding overlapping with a conventional operation. COPYRIGHT: (C)2010,JPO&INPIT

10. 发明专利

JP2009064302A Automatic vending machine with full-face advertisement equipped with donation function 审中-公开
标题翻译：具有功能的全面广告机的自动售货机
公开(公告)号：JP2009064302A
公开(公告)日：2009-03-26
申请号：JP2007232493
申请日：2007-09-07
申请人： Koji Kobayashi , 鉱史小林
发明人： KOBAYASHI KOJI
IPC分类号： G07F9/02
摘要： PROBLEM TO BE SOLVED: To provide an automatic vending machine allowing donation under a joint signature with an installation desiring person from an installation time point, by carrying an advertisement of an enterprise having an intention of the donation on the whole face of the automatic vending machine main body although labors and times are required for going to a prescribed place or the like, in general, when having an intention of social contribution, and when donating. SOLUTION: This system displays the advertisement on the whole face, a front face or a side face of the automatic vending machine, and devotes one part of an advertisement fee thereof to the donation. The system displays also the purport of the automatic vending machine having a donation function, and a name of a donor or a corporation and is provided with a function linked to a related homepage. COPYRIGHT: (C)2009,JPO&INPIT
摘要翻译：要解决的问题：提供一种自动售货机，其允许在安装时间点内与安装需求人员共同签署捐赠，通过在整个面上携带具有捐赠意向的企业的广告自动售货机主体虽然需要进行规定的地方等的劳动和时间，但一般来说，当有社会贡献的意图和捐赠时。
解决方案：该系统在自动售货机的整个面，前脸或侧面上显示广告，并将其广告费的一部分用于捐赠。该系统还显示具有捐赠功能的自动售货机的名称，以及捐赠者或公司的名称，并且具有与相关主页相关联的功能。版权所有（C）2009，JPO＆INPIT

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式