Polish Notationとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 前置表記法; ポーランド記法
「Polish Notation」の部分一致の例文検索結果
該当件数 : 2件
a notation for programming languages called inverted Polish notation発音を聞く 例文帳に追加
逆ポーランド記法という,プログラム言語の表記法 - EDR日英対訳辞書
This option indicatesthat Reverse Polish Notation should be used.発音を聞く 例文帳に追加
\\-rpnこのオプションを指定すると逆ポーランド記法が使われる。 - XFree86
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
Wiktionary英語版での「Polish Notation」の意味 |
Polish notation
出典:『Wiktionary』 (2017/03/31 17:46 UTC 版)
語源
After the nationality of the logician Jan Łukasiewicz
名詞
- (arithmetic, logic) A notation for arithmetic (かつ logical) formulae in which operations (respectively, quantifiers かつ operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.
-
2009, Brandon C. Look, “Symbolic Logic II, Lecture 6”, in www.uky.edu/~look[1], retrieved 2012-11-22:
- In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.
If you actually look at a text in this tradition, you’ll find something slightly different. “C” stands for “consequence”, i.e., implication (→) and “N” for negation (∼).
So,consider the following from Tarski and Łukasiewicz’s Investigations into the Sentential Calculus. The claim there is that there are three axioms:
‘CCpqCCqrCpr’
‘CCNppp’
‘CpCNpq’
- In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.
-
同意語
ウィキペディア英語版での「Polish Notation」の意味 |
Polish notation
出典:『Wikipedia』 (2011/06/07 05:19 UTC 版)
|
|
Polish Notationのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
All Rights Reserved, Copyright © Japan Science and Technology Agency | |
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License |
|
Copyright © 2024 CJKI. All Rights Reserved | |
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのPolish notation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのPolish notation (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「Polish Notation」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |