…また,人工知能のプログラムをはじめ,いくつかの応用領域では,逐次型手続きではなく,宣言型のプログラムを書いたほうが便利なこともある。関数型言語を用いたプログラムや論理型言語を用いたプログラムなどで,それぞれに対応したプログラミングパラダイムがある。 プログラミングがプログラムを作成する過程であることに対して,それを検査し誤りを修正する過程をテストおよびデバッグという。…
…プログラミング言語とは,プログラムを記述するための言語である。より厳密には,人間がコンピューターに情報を伝えること,および伝える内容を記録したり人間が検討することを目的として設計した人工言語をコンピューター言語と呼び,その中でもプログラムを記述することを目的とする言語をプログラミング言語と呼ぶ。プログラミング言語の構文は形式言語に基づいて定義されることが多い。またプログラミング言語を実際にコンピューターで実行できるようにするソフトウェアを言語処理系と呼ぶ。…
※「関数型言語」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...