矛盾 の意味・用法を知る

新しい 矛盾 事態ペアを作成できる。

• 公開日：2017/03/16
• 出典：矛盾作成装置、方法、及びプログラム
• 出願人：東日本電信電話株式会社

ＮＰの問題を解決するために少なくとも１つのコンピュータプロセッサによって実行される方法であって、 矛盾 を、反表明された値述語に応答する、含意の優勢な経路から成る根茎状ネットワークによって定義された近接空間を通って移動させる段階であって、前記反表明は他の表明を否定する値述語の表明であり、否定された表明の前記優勢な経路を残っている表明の前記優勢な経路から除去されるようにし、前記残っている表明は前記反表明を含んで、前記反表明の前記優勢な経路内に残るいずれの制約内にも矛盾を作成しない反表明された値述語を生成する、矛盾を移動させる段階と、含意の前記優勢な経路および矛盾の移動の前記優勢な経路を表す第１のデー...

• 登録日：2019/07/05
• 出典：ハイパー多項式コストなしでＮＰの問題を解決するための方法及びコンピューティング装置
• 出願人：ジリスピー，クレイトン

本発明は、上記問題に鑑みて成されたものであり、その目的は、地図上に障害物を配置することで実際の運転シーンに近づけ、地図上に障害物を配置した際に生じうる 矛盾 を検知し、精度の高い自動運転を実現できる車両周辺情報検証装置及び方法を提供する

• 登録日：2018/11/09
• 出典：車両周辺情報検証装置及び方法
• 出願人：日産自動車株式会社

請求項３に記載の反論生成方法において、前記プロセッサが、単語の類義語および反義語関係を用いて、前記第６ステップで生成した前記反論文と、前記反論対象意見との間に 矛盾 が存在するかを判定する第１１ステップをさらに有し、前記第７ステップでは、前記矛盾が存在すると判定された前記反論文から前記第３前提条件を抽出することを特徴とする反論生成方法。

• 登録日：2018/07/27
• 出典：反論生成方法，反論生成システム
• 出願人：ルネサスエレクトロニクス株式会社

クラウドソーシングを用いて推移 矛盾 ペアを効率的に獲得できる。

• 公開日：2016/12/22
• 出典：推移矛盾収集装置、方法、及びプログラム
• 出願人：東日本電信電話株式会社

...するセンサ情報取得手段と、無線通信により交通情報を受信する交通情報受信手段と、前記センサ情報および前記交通情報を前記サーバ装置へ送信する送信手段と、を備え、前記サーバ装置は、前記複数の車両の少なくともいずれかから前記センサ情報および前記交通情報を受信する受信手段と、前記センサ情報と前記交通情報の間に 矛盾 があるか否かを検証する検証手段と、前記センサ情報と前記交通情報の間に矛盾がある場合に、前記複数の車両の少なくともいずれかに通知する通知手段と、を備える。

• 公開日：2017/02/09
• 出典：攻撃検知システムおよび攻撃検知方法
• 出願人：トヨタ自動車株式会社

...信号要素を少なくとも部分的に含み、前記少なくとも１つの補助信号要素は、異なるスペクトル部分を表す、コンピュータとを有し、前記コンピュータが、少なくとも１つのプロセッサを含み、前記少なくとも１つのプロセッサは、前記少なくとも１つの標示信号要素及び前記少なくとも１つの補助信号要素の間の時間遅延を表す信号 矛盾 を検出するようプログラムされる信号コンパレータであって、前記信号矛盾が、前記対象の生理的状態に関連付けられる、信号コンパレータと、前記検出された信号矛盾に基づき信号較正パラメータを決定するようプログラムされる較正プロセッサと、前記少なくとも１つの標示信号要素及び前記較正パラメータに基づき、前記少...

• 登録日：2018/01/12
• 出典：生理的情報を抽出するデバイス及び方法
• 出願人：フィリップス・エレクトロニクス・ネムローゼ・フェンノートシャップ

テキストで表現された２つの要求に対し、予め定めた 矛盾 ルールに基づいて一方のテキストを変換した要求ともう一方の変換していない要求との類似度とに基づいて、２つの要求間の関連性を検出する関連性検出部と、前記関連性検出部の検出結果と、前記関連性検出部で計算した類似度と、元の変換前の要求間の類似度とに基づいて、２つの要求が矛盾か否かを検出する矛盾検出部と、を備えることを特徴とする要求間矛盾判定システム。

• 登録日：2017/12/22
• 出典：要求間矛盾判定システム、要求間矛盾判定方法、および、要求間矛盾判定プログラム
• 出願人：日本電気株式会社

前記変換手段は、前記検出手段で検出された線数及び角度と別の版の線数及び角度との 矛盾 の有無を判定し、前記保存手段は、前記変換手段が矛盾がないと判定した場合に前記検出手段による検出結果を保存することを特徴とする請求項１に記載の画像処理装置。

• 公開日：2015/09/07
• 出典：画像処理装置および画像処理プログラム
• 出願人：富士ゼロックス株式会社

ソフトウェア仕様の開発におけるルールの整合性を検証するルール整合性検証装置であって、前記ルールが成立するための条件の論理式を格納するＩＦ節と前記条件が成立した場合の結果の論理式を格納するＴＨＥＮ節とを含むルールを含むルールセットを受け付けるルール入力部と、前記ルールセットに含まれる前記ルールが互いに 矛盾 しないかを判定するルール整合性検証部と、前記ルールセットに含まれる前記ルールが互いに矛盾しないかを判定した結果を出力する矛盾出力部と、を備え、前記ルール入力部は、前記ルールのＴＨＥＮ節の論理式の構造に基づき、前記ルールを分類し、分類結果を表すルールラベルを前記ルールに付与し、前記ルール整合性検証...

• 登録日：2017/12/08
• 出典：ルール整合性検証装置およびルール整合性検証方法
• 出願人：ルネサスエレクトロニクス株式会社