本文へスキップ

パステムは、桐の業務システム開発を支援しています

ICT用語同義語辞典COMPANY


【 「ジョン・バッカス」又はそれに関連する用語の意味 】
出典: BNF 『通信用語の基礎知識』 更新年月日 2008/04/18,URL: https://www.wdic.org/

 プログラミング言語などを形式的に定義するときに使うメタ言語(言語を記述する言語)のひとつ。ALGOL(ALGOL 60)の文法を定義(記述)するために作られた。

[特徴]
 殆どのプログラミング言語は、BNFで記述されている。
 さらに、BNFで記述された言語仕様書を元に、その言語の構文解析プログラム(パーサ)を自動的に作成するソフトも存在する(yacc、GNU Bisonなど)。
出典: バッカス・ナウア記法 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2019年5月29日 (水) 04:58 UTC、URL: https://ja.wikipedia.org/

 バッカス・ナウア記法(英: Backus-Naur form)とは、文脈自由文法を定義するのに用いられるメタ言語のことで、一般にBNFやBN記法と略される。現在はこのBNFを拡張したEBNF (Extended BNF) が一般的に使われている。EBNFでは正規表現を用いてより簡単に記述でき、プロトコル規定言語であるASN.1や、XMLの構文定義にも利用されている。
 ジョン・バッカスとピーター・ナウアがALGOL 60 の文法定義のために考案。当初は文脈自由文法の本来の定義に則り or(|)以外の定義はなく、繰り返しは再帰を利用して表現されている。*、?等を含む正規表現はBNFを拡張したEBNFによって導入された。パーサジェネレータを使用して構文解析器を生成する際に、構文を定義するためにも使う。 ・・・

[歴史]
 ジョン・バッカスは ALGOLの文法を表現するためにこの記法を考案した。1959年、パリで世界初の国際コンピュータ大会議が開催された際、バッカスは論文を発表した。これは後にALGOL 58と呼ばれる IAL の形式記述であった。彼が発表した形式言語は、Emil Post の生成システムに基づいたものであった。形式文法は数学における研究課題のひとつであり、例えばノーム・チョムスキーは自然言語の文法への適用を研究していた。
 ピーター・ナウアは、バッカスの記法を単純化し、使用する文字セットを最小化した。この貢献から、ドナルド・クヌースの提案により、Nはナウアにちなむものとされるようになった(この提案は、実際のところその名に反して、この記法が表すものが必ずしも、形式言語理論の用語でいう標準形(正規形とも。normal form)とは限られないためでもある。なお、ナウア本人は、プログラミングに数学的な形式主義を過度に取り入れることを近年は嫌悪している関係でこれを好んでおらず、Backus Normal Formとするほうを好むとしている)。
 バッカス・ナウア記法、あるいは BNF 文法は、パーニニの文法規則によく似ている。このため、パーニニ・バッカス記法(英: Panini-Backus form)と呼ばれることもある。 ・・・
出典: FORTRAN 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2021年4月25日 (日) 18:38 UTC、URL: https://ja.wikipedia.org/

 FORTRAN(フォートラン)は、1954年にIBMのジョン・バッカスによって考案された、コンピュータにおいて広く使われた世界最初の高水準言語である。

[概要]
 1956年に最初のマニュアルが、1957年にIBM 704用の最初のコンパイラがリリースされた。名前「FORTRAN」は「formula translation」に由来し、FORTRAN 77やFortran 90などの末尾の数字は規格が制定された年を示している。
 FORTRANは科学技術計算に向いた手続き型プログラミング言語であり、その長い歴史の間に開発された非常に多くの数学関数やサブルーチンを数値解析ソフトウェアの形で持っている。また、並列計算の並列性を明示的に書くことができ最適化が行いやすく、そのため他の言語より高速である等の理由から、数値予報および気候モデル、構造力学における有限要素法、計算流体力学、計算物理学、計算機化学、計量経済学、動物と植物の品種改良などの大規模な計算を行う分野において、スーパーコンピュータで使われている。 ・・・


【 他のICT用語辞典へ(外部リンク)】

BNF (通信用語の基礎知識)
バッカス・ナウア記法 (Wikipedia)
BN記法 (コトバンク)
FORTRAN (Wikipedia)

【 ジョン・バッカス の同義語と関連語 】
< 1 >
同義語・類義語 関連語・その他
BN記法 John Backus
Backus Naur Form ジョン・バッカス
Backus-Naur Form Peter Naur
Backus-Naur form ピーター・ナウア
BNF メタ言語
bǽkəs nɑúru fɔ́:rm 言語記述言語
バケァゥス ナウアゥー フォーァム
バケァゥス・ナウアゥー・フォーァム
バッカス ノア フォーァム
バッカス・ノア・フォーァム
バッカス ナウア フォーム
バッカス・ナウア・フォーム
バッカス・ナウア記法
バッカスナウア記法
バッカス記法
ビー エヌ エフ

Backus Normal Form
Backus-Normal Form

Panini-Backus form
パーニニ・バッカス記法

EBNF
Extended BNF
拡張BNF
拡張ビー エヌ エフ
拡張BN記法

























更新日:2022年 4月23日


【 ジョン・バッカス の同義語と関連語 】
< 2 >
同義語・類義語 関連語・その他
FORTRAN ジョン・バッカス
fɔ́:rtræn 科学技術計算
フォーァトゥラェン 科学技術計算用プログラミング言語
フォートラン
FORmula TRANslater formula
FORmula TRANslator fɔ́rmjələ
formula translater フォーミュラゥー
formula translator フォーミュラー
fɔ́rmjələ trænzléitər [名詞]
フォーミュラゥー トゥラェンズレゥイダゥ
フォーミュラゥー・トゥラェンズレゥイダゥ 公式
フォーミュラー・トランスレーター 定式
formula translation
fɔ́rmjələ trænsléiʃən Translation
フォーミュラゥー・トゥラェンスレゥイシュン trænsléiʃən
フォーミュラー・トランスレーション トゥラェンスレゥイシュン
FORTRAN II トランスレーション
FORTRAN III [名詞]
FORTRAN IV 変換
FORTRAN 66 翻訳
FORTRAN 77 通訳
Fortran 90 置き換え
Fortran 95
Fortran 2003
Fortran 2008
Fortran 2018





























更新日:2023年 1月 6日