翻訳と辞書 Words near each other ・ シーケンシャル・ファンクション・チャート ・ シーケンシング ・ シーケンス ・ シーケンスアラインメント ・ シーケンスソフト ・ シーケンスデータベース ・ シーケンス分析 ・ シーケンス制御 ・ シーケンス図 ・ シーケンス解析 ・ シーケント ・ シーケント計算 ・ シーケーディ ・ シーケー東北 ・ シーケー東北株式会社 ・ シーゲイト ・ シーゲイト・テクノロジー ・ シーゲル・クライン ・ シーゲート ・ シーゲート・テクノロジー Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク シーケント ： ミニ英和和英辞書 シーケント[ちょうおん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] 　(n) long vowel mark (usually only used in katakana) シーケント （ リダイレクト：シークエント ） ： ウィキペディア日本語版 シークエント[ちょうおん] シークエント（英: Sequent）あるいは推件式（すいけんしき）とは、演繹による証明過程を示すためによく使われる形式表現である。 == 定義 == シークエントは次の形式を持つ。 ここで、Γ と Σ は論理式の列である（その個数と順序が重要である）。記号 $\backslash vdash$ は、ターンスタイル（turnstile、回転扉）あるいはティー (tee) と呼ばれ、意味的には「生成する」あるいは「証明する」と読まれる。これは言語内の記号ではなく、証明を論じる際のメタ言語内の記号である。シークエントにおいて、Γ は前件 (antecedent)、Σ は後件 (succedent) と呼ばれる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「シークエント」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Sequent 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.