矛盾 の意味・用法を知る

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

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

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

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

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

• 公開日：2018/02/08
• 出典：車両周辺情報検証装置及び方法
• 出願人：日産自動車株式会社

また，反論対象意見に 矛盾 する反論候補データを検索した後，議題と反論候補データの前提条件を抽出し，その関連が低いことを示すデータが存在しなければ，当該反論候補データを出力することによって，自動的に適切な反論意見を生成することを可能とする。

• 公開日：2017/04/13
• 出典：反論生成方法，反論生成システム
• 出願人：ルネサスエレクトロニクス株式会社

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

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

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

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

。信号較正パラメータ１２２；１４８が、上記検出された信号 矛盾 １００；１４４を考慮して決定される。

• 公開日：2016/01/21
• 出典：生理的情報を抽出するデバイス及び方法
• 出願人：シグニファイホールディングビーヴィ

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

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

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

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

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

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