WO2008123021A2 - 論理式生成装置、及び論理式生成方法 - Google Patents
論理式生成装置、及び論理式生成方法 Download PDFInfo
- Publication number
- WO2008123021A2 WO2008123021A2 PCT/JP2008/052040 JP2008052040W WO2008123021A2 WO 2008123021 A2 WO2008123021 A2 WO 2008123021A2 JP 2008052040 W JP2008052040 W JP 2008052040W WO 2008123021 A2 WO2008123021 A2 WO 2008123021A2
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- logical expression
- expression generating
- generating device
- generating method
- logical
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Measuring Or Testing Involving Enzymes Or Micro-Organisms (AREA)
- Information Transfer Systems (AREA)
- Stored Programmes (AREA)
Abstract
pct-art17.2a
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009508946A JPWO2008123021A1 (ja) | 2007-03-06 | 2008-02-07 | 論理式生成装置、及び論理式生成方法 |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007055632 | 2007-03-06 | ||
JP2007-055632 | 2007-03-06 |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2008123021A2 true WO2008123021A2 (ja) | 2008-10-16 |
Family
ID=39831493
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/JP2008/052040 WO2008123021A2 (ja) | 2007-03-06 | 2008-02-07 | 論理式生成装置、及び論理式生成方法 |
Country Status (2)
Country | Link |
---|---|
JP (1) | JPWO2008123021A1 (ja) |
WO (1) | WO2008123021A2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010152528A (ja) * | 2008-12-24 | 2010-07-08 | Nec Corp | 時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム |
WO2022074825A1 (ja) * | 2020-10-09 | 2022-04-14 | 日本電気株式会社 | 動作指令生成装置、動作指令生成方法及び記憶媒体 |
WO2022074824A1 (ja) * | 2020-10-09 | 2022-04-14 | 日本電気株式会社 | 時相論理式生成装置、時相論理式生成方法及び記憶媒体 |
-
2008
- 2008-02-07 WO PCT/JP2008/052040 patent/WO2008123021A2/ja active Application Filing
- 2008-02-07 JP JP2009508946A patent/JPWO2008123021A1/ja not_active Withdrawn
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010152528A (ja) * | 2008-12-24 | 2010-07-08 | Nec Corp | 時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム |
WO2022074825A1 (ja) * | 2020-10-09 | 2022-04-14 | 日本電気株式会社 | 動作指令生成装置、動作指令生成方法及び記憶媒体 |
WO2022074824A1 (ja) * | 2020-10-09 | 2022-04-14 | 日本電気株式会社 | 時相論理式生成装置、時相論理式生成方法及び記憶媒体 |
JP7435815B2 (ja) | 2020-10-09 | 2024-02-21 | 日本電気株式会社 | 動作指令生成装置、動作指令生成方法及びプログラム |
JP7435814B2 (ja) | 2020-10-09 | 2024-02-21 | 日本電気株式会社 | 時相論理式生成装置、時相論理式生成方法及びプログラム |
Also Published As
Publication number | Publication date |
---|---|
JPWO2008123021A1 (ja) | 2010-07-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BRPI0915433A2 (pt) | método, e, dispositivo. | |
CY2016005I2 (el) | Αλκαλικη φωσφαταση στοχευμενη στα οστα, κιτ και μεθοδοι χρησης αυτων | |
NL2002105A1 (nl) | Improved Navigation Device and Method. | |
DE602008003068D1 (de) | Vorrichtungsanschluss, Anschlussverfahren und Vorrichtung dafür | |
BRPI0811137A2 (pt) | Método, e, dispositivo de usuário | |
BRPI0814467A2 (pt) | Método, e, biocombustível | |
BRPI0913752A2 (pt) | método, dispositivo, e, estrutura | |
NO20073935L (no) | Tetningsarrangement, samt tilhorende fremgangsmate | |
BRPI0814466A2 (pt) | Método. | |
BRPI0807225A2 (pt) | Dispositivo e método endocirúrgico | |
BRPI0818772A2 (pt) | Dispositivo, método, e, meio legível por computador. | |
BRPI0811561A2 (pt) | Dispositivo de iluminação e método de iluminação | |
BRPI0816907A2 (pt) | Método e dispositivo | |
BRPI0913227A2 (pt) | método, e objeto | |
BRPI0819980A2 (pt) | Conjunto e método de sutura | |
WO2009017231A2 (ja) | パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム | |
BRPI0813525A2 (pt) | Dispositivo de exibição, e, método de acionamento de um dispositivo de exibição. | |
BRPI0913112A2 (pt) | fluxímetro, e, método. | |
BRPI0820599A2 (pt) | dispositivo de perfuração e fixação. | |
BRPI0917637A2 (pt) | método, e, dispositivo de armazenamento de hardware | |
WO2009025271A2 (ja) | ロボットの制御装置および制御方法 | |
BRPI0916991A2 (pt) | método, e dispositivo eletrônico | |
BRPI0715508A2 (pt) | Dispositivos e métodos de plantio | |
BRPI0822898A2 (pt) | Dispositivo de interface de usuário, método para iluminar o dispositivo de interface de usuário e dispositivo de interface | |
NL1036321A1 (nl) | Device control method and apparatus. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 08710919 Country of ref document: EP Kind code of ref document: A2 |
|
DPE1 | Request for preliminary examination filed after expiration of 19th month from priority date (pct application filed from 20040101) | ||
ENP | Entry into the national phase in: |
Ref document number: 2009508946 Country of ref document: JP Kind code of ref document: A |
|
NENP | Non-entry into the national phase in: |
Ref country code: DE |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 08710919 Country of ref document: EP Kind code of ref document: A2 |