コトバンクはYahoo!辞書と技術提携しています。

EBNF イービーエヌエフEBNF

EBNFの関連キーワードバッカス(John Backus)拡張BN記法バッカスナウア記法BNFBN記法BN記法バッカス・ナウア記法BNFチューリング賞バッカス記法

今日のキーワード

悪魔の証明

証明が非常に困難なものごとを表す比喩表現。古代ローマ法において所有権の帰属証明が極めて困難であったことから、この言葉が初めて用いられたとされている。現代においては、権利関係や消極的事実の証明に関する法...

続きを読む

コトバンク for iPhone

コトバンク for Android