意味 | 例文 |
EDR日中対訳辞書 |
全称命題
読み方ぜんしょうめいだい
中国語訳全称命题
中国語品詞名詞フレーズ
対訳の関係完全同義関係
日本語での説明 | 全称命題[ゼンショウメイダイ] 形式論理学における,全称命題という命題 |
英語での説明 | superaltern in formal logic, a proposition called universal proposition |
日中中日専門用語辞典 |
「ぜんしょうめいだい」を含む例文一覧
該当件数 : 42件
6. 前記記憶制御部は、さらに、第3のアプリケーションと第3の証明書とが対応づけられている第3の前記対応情報が前記メモリに記憶されており、かつ、前記第3のアプリケーションが実行される際に、前記ユーザによって第4の証明書が指定される特定の場合に、前記第3の対応情報を消去し、前記第3のアプリケーションと前記第4の証明書とが対応づけられていることを示す第4の前記対応情報を前記メモリに記憶させる、請求項1から5のいずれか一項に記載の情報処理装置。
6.根据权利要求 1至 3中的任何一个所述的信息处理装置,其中,在指示第三应用程序和第三证书相互对应的第三对应信息被存储在所述存储单元中并且在执行所述第三应用程序时用户指定第四证书的特定情况下,所述存储控制单元被构造为删除所述第三对应信息并且进一步将指示所述第三应用程序和所述第四证书相互对应的第四对应信息存储在所述存储单元中。 - 中国語 特許翻訳例文集
a.第一の実施形態では、エンティティのデジタル識別情報全体を認証するのに使われる軽量のα安全な証明書。
a.根据第一实施例,轻型α-安全证书,其用于认证实体的整体数字身份。 - 中国語 特許翻訳例文集
上記で説明されたように、動き補償ユニット35は、参照フレームストア34から第1および第2の参照フレームの全体、または第1および第2の参照ビデオブロックのみのいずれかを検索し得る。
如上文所描述,运动补偿单元 35可从参考帧存储装置 34中检索完整的第一参考帧及第二参考帧或仅检索第一参考视频块及第二参考视频块。 - 中国語 特許翻訳例文集
意味 | 例文 |
ぜんしょうめいだいのページへのリンク |