ブラウザよりも高速アクセス！
65 関係: ActionScript、Ada、ALGOL、変数 (プログラミング)、変数 (数学)、宣言型プログラミング、メンバー、メッセージ (コンピュータ)、メソッド (計算機科学)、モジュール、ライブラリ、レジスタ (コンピュータ)、プログラミングパラダイム、プログラミング言語、データ構造、制御構造、命令型プログラミング、オブジェクト (プログラミング)、オブジェクト指向プログラミング、コンピュータ、スパゲティプログラム、スコープ、サブルーチン、再帰、問い合わせ言語、BASIC、C Sharp、C++、C言語、COBOL、ColdFusion、D言語、DMDScript、ECMAScript、非構造化プログラミング、非手続き型言語、論理プログラミング、関係データベース、関数 (数学)、関数型言語、Forth、FORTRAN、Java、JavaScript、JScript、LOGO、Maple、Mathematica、MATLAB、Microsoft Visual Basic、...、Modula-2、MUMPS、Oberon、Oberon-2、Object Pascal、Occam、Pascal、Perl、PHP (プログラミング言語)、Pike、PL/I、Python、Smalltalk、VBScript、構造化プログラミング。 インデックスを展開 (15 もっと) »
ActionScript
ActionScript（アクションスクリプト）とは、アドビシステムズ社の製品である Flash に使用されるプログラミング言語である。ECMAScript を拡張した物である。これを用いることにより、動画や音声のプレイヤーの作成など、コンテンツに複雑な処理や双方向性を持たせ Flash 作品を作ることが可能である。.
新しい！!: 手続き型プログラミングとActionScript · 続きを見る »
Ada
Ada（エイダ）は、強力な言語機能を豊富に持ち、高度な型の体系をもつ、プログラミング言語の一つである。構文はAlgol系である。 史上初のプログラマとされるエイダ・ラブレスの名前にちなんでAdaと命名されているため、ADAと表記するのは誤り。 フリーのコンパイラとしては、GNATなどがある。.
新しい！!: 手続き型プログラミングとAda · 続きを見る »
ALGOL
ALGOL（アルゴル）は、命令型プログラミング言語ファミリーの1つファミリー名は大文字/小文字をまじえて表記される場合 と、全て大文字で表記される場合 (ALGOL 68) がある。本項目では ALGOL で統一する。。名前「ALGOL」は「アルゴリズム言語」を意味する英語「algorithmic language」に由来する。1950年代中ごろに開発され、多くの言語に影響を及ぼし、ACMや教科書や学術論文などでアルゴリズム記述のデファクトスタンダードとして30年以上使われた。現代の多くの言語が「ALGOL系」あるいは「ALGOL風」(algol-like) とされているという意味で、ほぼ同世代の高水準言語である FORTRAN、LISP、COBOL に比べて最も成功したと言うこともできる。FORTRANで明らかとなった問題を防ぐよう設計され、BCPL、B、Pascal、Simula、Cといった様々なプログラミング言語に影響を与えた。ALGOLはLisp以外としては「begin と end で囲む」という構文によるブロック構造を導入し、制御構造を自在に入れ子（ネスト）にできる初の広まった言語となったFORTRANにはそのような構造は無い。COBOLではピリオドで全ての入れ子が終端するという仕様だったため（現在はend-ifなどを使う）、入れ子で書ける論理に制限があり、酷いバグの原因にもなりやすかった。。また構文の形式的定義を真剣に検討した最初のプログラミング言語でもあり、"Algol 60 Report" で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として（プログラミング言語だけに限られず）定番の記法となっている。.
新しい！!: 手続き型プログラミングとALGOL · 続きを見る »
変数 (プログラミング)
プログラミングにおいて、変数（へんすう、variable）とは、プログラムのソースコードにおいて、扱われるデータを一定期間記憶し必要なときに利用できるようにするために、データに固有の名前を与えたものである。 一人一人の人間が異なる名前によって区別されるように、一つ一つの変数も名前によって区別される。これにより、複数のデータを容易に識別することができる。変数名は一般に（字句的には）識別子である、ないし、変数の識別子のことを変数名という。一般に、変数が表しているデータをその変数の値（あたい）という。.
新しい！!: 手続き型プログラミングと変数 (プログラミング) · 続きを見る »
変数 (数学)
数学、特に解析学において変数（へんすう、variable）とは、未知あるいは不定の数・対象を表す文字記号のことである。代数学の文脈では不定元（ふていげん、indeterminate）の意味で変数と言うことがしばしばある。方程式において、特別な値をとることがあらかじめ期待されている場合、（みちすう）とも呼ばれる。また、記号論理学などでは（変数の表す対象が「数」に限らないという意味合いを込めて）変項（へんこう）とも言う。.
新しい！!: 手続き型プログラミングと変数 (数学) · 続きを見る »
宣言型プログラミング
宣言型プログラミング（Declarative programming）は、プログラミングパラダイムの名称だが、主として2種類の意味がある。第1の意味は、処理方法ではなく対象の性質などを宣言することでプログラミングするパラダイムを意味する。第2の意味は、純粋関数型プログラミング、論理プログラミング、制約プログラミングの総称である。後者は（多寡はあれ）前者の性質を持つ。.
新しい！!: 手続き型プログラミングと宣言型プログラミング · 続きを見る »
メンバー
メンバー、メンバ （英語:member）.
新しい！!: 手続き型プログラミングとメンバー · 続きを見る »
メッセージ (コンピュータ)
メッセージ（message）とは、言付け、伝言、伝送文などの意味がある。 計算機科学におけるメッセージパッシングとは並列コンピューティング、オブジェクト指向、プロセス間通信で使われる通信方式である。プロセスもしくはオブジェクトといったモデルではメッセージ(ゼロ以上のバイト、複雑なデータ構造、プログラムコードも)を送ったり受けたりできる。メッセージを待つことによって同期 (計算機科学)することも出来る。メッセージパッシングに基づく主なモデルとしてアクターモデルやプロセス代数がある。 Microsoft Windows などのオペレーティングシステムにおいて、メッセージとは、オペレーティングシステム上で動くアプリケーションで、オペレーティングシステムが管理しているデバイスからの入力をアプリケーションまで伝えることまたはその内容のことである。 オペレーティングシステムはメッセージをメッセージキューに保管し、アプリケーションはメッセージキューに保管されていたメッセージを受け取り、それを元に処理を行う。例えば「(10, 20) 左クリック」という情報をオペレーティングシステムが感知したらオペレーティングシステムはその情報をメッセージキューに保管する。アプリケーションはそのメッセージを受け取って対応した処理を行う。 アプリケーションは常にオペレーティングシステムからのメッセージを待機するようなプログラムになっており、この一連のプログラムの機構をメッセージループという。.
新しい！!: 手続き型プログラミングとメッセージ (コンピュータ) · 続きを見る »
メソッド (計算機科学)
メソッド あるいは メンバー関数 (-かんすう) とはオブジェクト指向プログラミング言語において、あるクラスないしオブジェクトに所属するサブルーチンを指す。.
新しい！!: 手続き型プログラミングとメソッド (計算機科学) · 続きを見る »
モジュール
モジュール（module）とは、工学などにおける設計上の概念で、システムを構成する要素となるもの。いくつかの部品的機能を集め、まとまりのある機能を持った部品のこと。モジュールに従っているものをモジュラー (modular)という。 入出力を絞り込み、標準化することで、システム開発を「すり合わせ」から「モジュールの組合わせ」にすることができる。.
新しい！!: 手続き型プログラミングとモジュール · 続きを見る »
ライブラリ
ライブラリ（）は、汎用性の高い複数のプログラムを再利用可能な形でひとまとまりにしたものである。ライブラリと呼ぶ時は、それ単体ではプログラムとして作動させることはできない実行ファイルではない場合がある。ライブラリは他のプログラムに何らかの機能を提供するコードの集まりと言うことができる。ソースコードの場合と、オブジェクトコード、あるいは専用の形式を用いる場合とがある。たとえば、UNIXのライブラリはオブジェクトコードをarと呼ばれるアーカイバでひとまとめにして利用する。図書館（）と同様にプログラム（算譜）の書庫であるので、索引方法が重要である。 また、ソフトウェア以外の再利用可能なものの集合について使われることもある。.
新しい！!: 手続き型プログラミングとライブラリ · 続きを見る »
レジスタ (コンピュータ)
レジスタ（register）はコンピュータのプロセッサなどが内蔵する記憶回路で、制御装置や演算装置や実行ユニットに直結した、操作に要する速度が最速の、比較的少量のものを指す。.
新しい！!: 手続き型プログラミングとレジスタ (コンピュータ) · 続きを見る »
プログラミングパラダイム
プログラミングパラダイム (programming paradigm)とは、プログラミングにおけるパラダイムである。.
新しい！!: 手続き型プログラミングとプログラミングパラダイム · 続きを見る »
プログラミング言語
プログラミング言語（プログラミングげんご、programming language）とは、コンピュータプログラムを記述するための形式言語である。なお、コンピュータ以外にもプログラマブルなものがあることを考慮するならば、この記事で扱っている内容については、「コンピュータプログラミング言語」（computer programming language）に限定されている。.
新しい！!: 手続き型プログラミングとプログラミング言語 · 続きを見る »
データ構造
データ構造（データこうぞう、data structure）は、計算機科学において、データの集まりをコンピュータの中で効果的に扱うため、一定の形式に系統立てて格納するときの形式のことである。 ソフトウェア開発において、データ構造についてどのような設計を行うかは、プログラム（アルゴリズム）の効率に大きく影響する。そのため、さまざまなデータ構造が考え出されている。 多くのプログラムの設計において、データ構造の選択は主要な問題である。これは大規模システムの構築において、実装の困難さや質、最終的なパフォーマンスはベストのデータ構造を選択したかどうかに大きく依存してきたという経験の結果である。多くの場合、データ構造が決まれば、利用するアルゴリズムは比較的自明に決まる。しかし場合によっては、順番が逆になる。つまり、与えられた仕事をこなす最適なアルゴリズムを使うために、そのアルゴリズムが前提としている特定のデータ構造が選択される。いずれにしても適切なデータ構造の選択は極めて重要である。 この洞察は、多くの定式化された設計手法やプログラミング言語において、データ構造がアルゴリズムよりもキーとなる構成要素となっていることに現れている。大半の言語は異なるアプリケーションにおいてデータ構造を安全に再利用できるよう、実装の詳細をインターフェイスの背後に隠蔽するような、モジュール化のしくみを備えている。C++やJavaといったオブジェクト指向プログラミング言語はクラスをこの目的に用いている。 データ構造は専門的なプログラミングにとって非常に重要なので、C++におけるSTLや、Java API、および.NET Frameworkのようなプログラミング言語の標準ライブラリや環境において多くのデータ構造がサポートされている。 データ構造が実装を表すのかインターフェースを表すのかについてはいくらか議論がある。どのように見えるかは相対的な問題なのかもしれない。データ構造は2つの関数の間にあるインターフェイスとして見ることもできるし、データ型に基づいて構成されたストレージにアクセスする方法を実装したものとして見ることもできる。.
新しい！!: 手続き型プログラミングとデータ構造 · 続きを見る »
制御構造
制御構造（せいぎょこうぞう）は、コンピュータ・プログラミング言語、特に手続き型プログラミングや命令型プログラミングにおいて、ループや飛び越しなどといった、手続き（プロシージャ）中の実行順を順次実行から変化させたり、サブルーチン呼出しやその戻り、などといった制御を行う「文 (プログラミング) 」などの構造（言語の構成要素）である。 制御構造の種類は言語によって様々だが、典型的には以下のようなものがある（用語「ブロック」については、ブロック (プログラミング) の記事を参照）。.
新しい！!: 手続き型プログラミングと制御構造 · 続きを見る »
命令型プログラミング
命令型プログラミング（めいれいがたプログラミング、Imperative Programming）とは、計算機科学において宣言型プログラミングの対となる概念であり、計算をプログラム状態を変化させる文の列で記述するプログラミングパラダイムの一種。自然言語の命令法がなすべき行動への指令を表現するのとよく似た方法で、命令型プログラムはコンピュータが実行すべき命令列で構成される。命令型プログラミングに従ったプログラミング言語を命令型（プログラミング）言語と呼ぶ。一般に命令型プログラミングは、手続き型プログラミングと同義として扱われる。 命令型プログラミングは、宣言型プログラミング（関数型や論理型言語など）と対照的である。Haskellなどの関数型プログラミング言語では、プログラムは文の並びではないし、命令型言語が持つような広域状態を持たない。Prologのような論理プログラミング言語では、命令型言語のように計算の「方法」をプログラムとして記述するのではなく、計算すべき「事物」を定義する。.
新しい！!: 手続き型プログラミングと命令型プログラミング · 続きを見る »
オブジェクト (プログラミング)
ブジェクト（object）はオブジェクト指向プログラミングにおいて、プログラム上の手続きの対象を抽象化する概念である。.
新しい！!: 手続き型プログラミングとオブジェクト (プログラミング) · 続きを見る »
オブジェクト指向プログラミング
ブジェクト指向プログラミング（オブジェクトしこうプログラミング、）は、コンピュータ・プログラミングのパラダイムのひとつで、オブジェクト指向の概念や手法を取り入れたものである。プログラムを、データとその振舞が結び付けられたオブジェクトの集まりとして構成する、などといった特徴がある。このパラダイムを指向しているプログラミング言語がオブジェクト指向プログラミング言語である。.
新しい！!: 手続き型プログラミングとオブジェクト指向プログラミング · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: 手続き型プログラミングとコンピュータ · 続きを見る »
スパゲティプログラム
パゲティプログラムまたはスパゲティコードとは、プログラムのソースコードがそれを制作したプログラマ以外にとって解読困難である事を表す俗語。名称の由来は、皿に盛られたスパゲッティのようにロジックが絡み合っていることから。.
新しい！!: 手続き型プログラミングとスパゲティプログラム · 続きを見る »
スコープ
プログラミングでのスコープ（scope, 可視範囲）とは、ある変数名や関数名といった名前を参照できる範囲のこと。ある範囲の外に置いた変数等は、通常、その名前だけでは参照できない。このときこれらの変数はスコープ外である、「見えない」といわれる。 プログラミングでは、予期しない誤作動を避けるためにも、それぞれの作業段階で必要のない名前はできるだけ参照されないようにすることが望ましい(特に、大域変数は便利な場合もあるが、危険でもある)。たとえば、CERT C コーディングスタンダードには、「変数と関数の有効範囲を最小限にする」（DCL19-C.）というレコメンデーションがある。.
新しい！!: 手続き型プログラミングとスコープ · 続きを見る »
サブルーチン
ブルーチン（subroutine）は、コンピュータプログラミングにおいて、プログラム中で意味や内容がまとまっている作業をひとつの手続きとしたものである。繰り返し利用されるルーチン作業をモジュールとしてまとめたもので、呼び出す側の「主」となるもの（メインルーチン）と対比して「サブルーチン」と呼ばれる。サブプログラム (subprogram) と呼ばれることもある。また、「サブ」をつけずに「ルーチン」と呼ぶこともある。 プログラムのソース中で、繰り返し現れる作業をサブルーチン化することで、可読性や保守性を高く保つことができる。繰り返し現れる作業でなくても、意味的なまとまりを示すためにサブルーチン化することもある。また、キャッシュのような階層的メモリの設計を持つコンピュータ（現在のパソコンやワークステーションなどほぼすべて）では、よく使われるサブルーチンがキャッシュに格納されることで高速な動作を期待できる。.
新しい！!: 手続き型プログラミングとサブルーチン · 続きを見る »
再帰
再帰（さいき）は、あるものについて記述する際に、記述しているものそれ自身への参照が、その記述中にあらわれることをいう。定義において、再帰があらわれているものを再帰的定義という。 主に英語のrecursionとその派生語の訳にあてられる。他にrecurrenceの訳（回帰#物理学及び再帰性を参照のこと）や、reflexiveの訳として「再帰」が使われることがある。数学的帰納法との原理的な共通性から、recursionの訳として数学では「帰納」を使うことがある。.
新しい！!: 手続き型プログラミングと再帰 · 続きを見る »
問い合わせ言語
問い合わせ言語（といあわせげんご、query language:略記QL）とは、コンピュータのデータに対して問い合わせをするためのコンピュータ言語である。 データの構造（データモデル）によってさまざまである。たとえば、関係データベースに対する問い合わせ言語は、関係代数の集合演算、比較、ソートといった機能を持つものが多い。 なお、コンピュータのデータベースを扱うためのコンピュータ言語をデータベース言語という。 問い合わせ言語とデータベース言語は、概念的に重なる部分もあるが、同義ではない。.
新しい！!: 手続き型プログラミングと問い合わせ言語 · 続きを見る »
BASIC
BASIC（ベーシック）は手続き型プログラミング言語のひとつ。 名前は「beginner's all-purpose symbolic instruction code」（「初心者向け汎用記号命令コード」を意味する）のバクロニムである。.
新しい！!: 手続き型プログラミングとBASIC · 続きを見る »
C Sharp
C#（シーシャープ）は、アンダース・ヘルスバーグが設計（デザイン）したプログラミング言語であり、構文（syntax）は（名前にもある通り）C言語や、C言語風に構文が設計されたC++やJavaなどの影響があるが、構文以外についてはヘルスバーグが以前の所属であるBorlandで設計したDelphiからの影響がある。 Microsoftによる謳い文句としては、マルチパラダイムプログラミング言語、強い型付け、命令型、宣言型、手続き型、関数型、ジェネリック、オブジェクト指向の要素を持つ、などといった点が強調されている。 CLIといった周辺も含め、Microsoftのフレームワーク「.NET Framework」の一部である他、VJ++で「非互換なJava」をJavaに持ち込もうとしたような以前のMicrosoftとは異なり、その多くの仕様を積極的に公開し標準化機構に託して自由な利用を許す（ECMA-334、ISO/IEC 23270:2003、JIS X 3015）など、同社の姿勢の変化があらわれている一面でもある（実際に「Mono」という、フリーソフトウェアの定義に合致したライセンスの、コミュニティによる実装がある）。.
新しい！!: 手続き型プログラミングとC Sharp · 続きを見る »
C++
C++（シープラスプラス）は、汎用プログラミング言語の一つである。日本語では略してシープラプラ、シープラなどとも呼ばれる。.
新しい！!: 手続き型プログラミングとC++ · 続きを見る »
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
新しい！!: 手続き型プログラミングとC言語 · 続きを見る »
COBOL
COBOL（コボル）は、1959年に事務処理用に開発されたプログラミング言語である。名前は「Common Business Oriented Language」（共通事務処理用言語）に由来する。.
新しい！!: 手続き型プログラミングとCOBOL · 続きを見る »
ColdFusion
ColdFusion は、ソフトウェア全般（特に動的ウェブサイト）の開発に使われるアプリケーションフレームワークであり、アプリケーションサーバである。Webサイト開発フレームワークという意味では、マイクロソフトのASP.NETやJava Platform, Enterprise Editionなどの製品と同等である。.
新しい！!: 手続き型プログラミングとColdFusion · 続きを見る »
D言語
D言語（ディーげんご、D programming language）は、プログラミング言語のひとつ。C言語をベースとしABI互換を保ちつつも、テンプレートによるジェネリックプログラミングやオブジェクト指向プログラミング、関数型プログラミングなどをサポートするマルチパラダイムプログラミング言語である。.
新しい！!: 手続き型プログラミングとD言語 · 続きを見る »
DMDScript
DMDScriptは、Digital Mars社によるECMAScriptの実装である。マイクロソフトのJScriptとの互換性も保証されていて、Webブラウザ内で置換可能である。公式サイトによると、JavaScriptやJScriptなどといった他のECMAScriptの実装よりも高速であるとされる。 DMDScriptの処理系は2種類あり、一つはDigital Marsの D言語 で、もう一つはC++で書かれている。 ライセンスも二種類ある。オープンソースのGNU GPLライセンスではソースコードが利用可能。オープンソースでない製品向けには商用ライセンスがある。.
新しい！!: 手続き型プログラミングとDMDScript · 続きを見る »
ECMAScript
ECMAScript（エクマスクリプト）は、JavaScriptの標準であり、Ecma Internationalのもとで標準化手続きなどが行われている。 Ecma Internationalのほか、ISO/IEC JTC 1からもISO/IEC 16262として標準化されている。日本もJIS X 3060としてJIS化している。.
新しい！!: 手続き型プログラミングとECMAScript · 続きを見る »
非構造化プログラミング
非構造化プログラミング（ひこうぞうかぷろぐらみんぐ）とは、いわゆる「構造化プログラミング」に対するレトロニムのようなものであり、「構造化された制御構造」ではないラベルと分岐命令を直接使うようなプログラミングパラダイムである。 非構造化プログラムは可読性が低くデバッグすることが難しい。そのため、何らかの構造をサポートするプログラミング言語では使われない手法である。しかし、条件文とgoto文の組合せによって任意のプログラム構造が実装可能であり、理論上はプログラミング言語にそれ以外の制御構造は必要ない。非構造化プログラミングはまだMS-DOSのバッチファイルのようなスクリプト言語やBASICやFORTRAN 66のような古いプログラミング言語で使われている。goto文（ジャンプ）は呼び出し手続きより僅かに性能が高いとはいうものの、現在のCPUアーキテクチャでは無視して良い程度になった。実際、不適切なそのような文の使用はコードを混乱させたりコンパイラ最適化を阻害してしまい、有害である場合がある。なお、一方で例えば proper tail call と呼ばれている末尾呼出しをジャンプ（goto）に変換する最適化は (1)明確かつ理論的な裏付けのあるプログラム変換になっている最適化であり、(2)「意味的に明確な、再帰で書かれたプログラム」を、スタックの無制限な伸長のような実行時の問題なく評価できるものである、など、重要なものでもあり、「僅かに性能が高いとはいうものの、現在のCPUアーキテクチャでは無視して良い程度」といったようなgotoに対する捉え方は、実は誤りである。 アセンブリ言語はほとんどが非構造化言語である。なぜなら基本的な機械語には構造が決して無いからである。それが持つ唯一の構造は、基本的な（スタックベースのマシンによくある）「サブルーチンジャンプ; Jump to Subroutine」命令や、関数の始めと終わりを示すなどのコンパイラなどが必要とする記述だけである。.
新しい！!: 手続き型プログラミングと非構造化プログラミング · 続きを見る »
非手続き型言語
非手続き型言語（ひてつづきがたげんご、non-procedual language）とは、コンピュータのプログラミング言語の分類のひとつであり、手続き型言語の対義語にあたる。手続き型言語に対するアンチテーゼとして非手続き型という分類が生まれた。宣言型言語 (Declarative language)と同義に扱われることが多い。 高級言語の一種であり、手続き型言語が問題の解法 ("how")を記述しようとするのに対し、非手続き型言語はむしろ問題そのもの ("what")を記述することに力点を置く。 例としては.
新しい！!: 手続き型プログラミングと非手続き型言語 · 続きを見る »
論理プログラミング
論理プログラミング（Logic Programming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシーのadvice takerの提案にまでさかのぼることができる。 より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。 論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。 Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語（Shapiro に調査結果がある）がある。.
新しい！!: 手続き型プログラミングと論理プログラミング · 続きを見る »
関係データベース
関係データベース（かんけいデータベース、リレーショナルデータベース、英: relational database）は関係モデル（リレーショナルデータモデル、後述）にもとづいて設計、開発されるデータベースである。関係データベースを管理するデータベース管理システム (DBMS) を関係データベース管理システム (RDBMS) と呼ぶ。 Oracle Database、Microsoft SQL Server、MySQL、PostgreSQL、DB2、FileMaker、H2 Database などがRDBMSである関係データベースに含まれないデータベースは、NoSQL などを参照。 。.
新しい！!: 手続き型プログラミングと関係データベース · 続きを見る »
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 手続き型プログラミングと関数 (数学) · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: 手続き型プログラミングと関数型言語 · 続きを見る »
Forth
Forth（フォース）は、スタック指向のプログラミング言語およびそのプログラミング環境である。Forth はしばしば、かつての習慣に従ってすべて大文字で綴られることもあるが、頭字語ではない。.
新しい！!: 手続き型プログラミングとForth · 続きを見る »
FORTRAN
FORTRAN（フォートラン）は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.
新しい！!: 手続き型プログラミングとFORTRAN · 続きを見る »
Java
Java（ジャバ）は、狭義ではプログラミング言語Javaを指す。広義では言語仕様以外にも、仕様が与えられているJavaクラスライブラリやJava仮想マシン、さらにはJDKやJREなどの公式のものをはじめとする、場合によってはサードパーティのものなどを含め曖昧にJavaプラットフォームと総称されるようなものなどのエコシステムなどを指すこともある。構文についてはJavaの文法の記事を参照。.
新しい！!: 手続き型プログラミングとJava · 続きを見る »
JavaScript
JavaScript（ジャバスクリプト）とは、プログラミング言語のひとつである。Javaと名前が似ているが、全く異なるプログラミング言語である（後述の#歴史を参照）。 JavaScriptはプロトタイプベースのオブジェクト指向スクリプト言語であるが、クラスなどのクラスベースに見られる機能も取り込んでいる。 ウェブブラウザ上で動作し動的なウェブサイト構築やリッチインターネットアプリケーションの開発に用いられる。また、2010年以降はnode.jsなどのサーバサイドJavaScript実行環境や各種ライブラリの充実により、MEANに代表されるように、Web開発の全ての領域で活用されるようになってきている。.
新しい！!: 手続き型プログラミングとJavaScript · 続きを見る »
JScript
JScript（ジェイ・スクリプト）は、マイクロソフト製のスクリプト言語であり、Microsoft Windows 上で動作する。 JavaScriptと類似しており、Internet Explorerを使用したクライアントサイドスクリプティング処理、および Internet Information Services (IIS) などを使用したサーバサイドスクリプティング処理を記述することができる。 また、Windows Script Host (WSH) を利用することで、Windows上でのバッチ処理を記述することができる。 拡張子は、通常.js を使用する。.
新しい！!: 手続き型プログラミングとJScript · 続きを見る »
LOGO
LOGO（ロゴ）は、教育向けとして設計されたマルチパラダイムのコンピュータプログラミング言語である。しばしば簡易言語だと誤解されていることもあるが、再帰なども扱える言語としての機能、リストなどのデータ構造や、I/O・ファイルなどの一般的な機能を持ったライブラリなど、簡易言語ではなく、十分な能力を持ったプログラミング言語である。特徴的な機能としては「タートルグラフィック」がある。 1967年、教育（特に構成主義教育）のために、、Wally Feurzeig、シーモア・パパート、シンシア・ソロモンによって開発された。名称はギリシャ語の logos （言葉）に由来する。（現代ではいささか想像しにくくなったことであるが）当時代表的な既存言語であったFORTRANや、その影響を受けた言語がもっぱら数値計算を指向したものであったのに対し、「言葉」で操作する言語であるといったようなことを強調したものである。多くの計算機科学の概念を教えるのに使うことができ、例えばカリフォルニア大学バークレー校の講師は3巻の著書 Computer Science Logo Style にまとめている。 コンピュータの使用を通じた児童の思考能力の訓練を目的としており、主に8歳から12歳の児童にも扱い易いよう配慮された豊富なグラフィック関連のコマンドが特徴である。主な使用者は学生、教師が想定された。.
新しい！!: 手続き型プログラミングとLOGO · 続きを見る »
Maple
Maple（メイプル）とは、数式処理、数値計算、グラフ作成などを行うソフトウェアのひとつである。Mapleは、1980年代前半にカナダのウォータールー大学で開発され（株式会社としてはWaterloo Maple名義。以下Maplesoft）、日本ではサイバネットシステムが販売、翻訳を行っていたが、2009年9月に、Maplesoftをサイバネットシステムが買収した。Mapleを使うと、紙と鉛筆で行う数学の計算や作図をコンピュータで行うことができる。 また、販売方法としては、アカデミックバージョンを出し、学生や、教員、研究者向けに廉価で(1ライセンス2～3万円程度)ほとんどスペックの落ちない製品を販売している。また、小学校、中学校、高校などの初等教育の現場における数学、理科の授業から、大学や企業のR&D部門などの研究機関に至るまで幅広いユーザ層が開拓されつつある。.
新しい！!: 手続き型プログラミングとMaple · 続きを見る »
Mathematica
Mathematica（マセマティカ）は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチの、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematicaは項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。.
新しい！!: 手続き型プログラミングとMathematica · 続きを見る »
MATLAB
MATLAB（マトラボ）は、アメリカ合衆国のMathWorks社が開発している数値解析ソフトウェアであり、その中で使うプログラミング言語の名称でもある。MATLABは、行列計算、関数とデータの可視化、アルゴリズム開発、グラフィカルインターフェイスや、他言語(C/C++/Java/Python)とのインターフェイスの機能を有している。MATLABは、主に、数値計算を扱う事ができるが、追加のオプションを使うことで、数式処理の能力を得ることができる。2004年で、MATLABは産業界、教育界において100万人ユーザーを達成しており、工学、理学、経済学など幅広い業種で利用されている。.
新しい！!: 手続き型プログラミングとMATLAB · 続きを見る »
Microsoft Visual Basic
Microsoft Visual Basic （マイクロソフト ヴィジュアル ベーシック）はマイクロソフトが1990年代に開発していたプログラミング言語およびその処理系。通常はVisual BasicまたはVBと呼ぶ。Visual Studioに組み込まれ、さまざまな種類のアプリケーション開発に用いられる。後継となるMicrosoft Visual Basic.NETに関してはそちらの項目を参照。1970年代〜1980年代に開発されていた前身のMicrosoft BASICについてはそちらの項目を参照。.
新しい！!: 手続き型プログラミングとMicrosoft Visual Basic · 続きを見る »
Modula-2
Modula-2（モジュラ・ツー）は、コンピュータのプログラミング言語の一種で、1978年頃にチューリッヒ工科大学のニクラウス・ヴィルトにより、先立って構想されたプログラミング言語「Modula」の後継として創案されたものである。汎用手続き型言語で、構文の多くは同様にヴィルトの手掛けたPascal言語に基いたものとなっている。名前「Modula-2」は「モジュールの」を意味する英語「modular」に由来する。.
新しい！!: 手続き型プログラミングとModula-2 · 続きを見る »
MUMPS
MUMPSとは、1960年代末にアメリカのマサチューセッツ総合病院で医療情報処理用のアプリケーションを開発し実行するために開発された、プログラミング言語とその環境である。 MUMPSという名前は、「Massachusetts general hospital Utility Multi-Programming System」 の頭字語である。 病院が自分達の業務を実装するために、高価なメインフレームではなく、ミニコンなどの比較的安価なコンピュータ上で軽快に動作するように開発した。オリジナルのソースコードこそ公開されてはいないが、仕様は全て公開して自由に利用できるようにしたため、一時期は複数のソフトウェアベンダーがMUMPS処理系の開発・販売をしていた。 MUMPSの処理系は、ハードウェアが直接実行可能な機械語コードを生成するのではなく、コンパイラは仮想機械の中間言語コードを生成し、それをインタプリタ（仮想機械）で実行する。また、ベースのプラットフォームの違いを仮想機械のレイヤで抽象化し、プログラマには違いを意識させず、アプリケーションのポータビリティを保つ。 また、実行環境に専用のDBMSを内包し、かつ、その機能・性能がデータベース専用のソフトウェアに迫る・または凌駕するほど強力であるため、アメリカの医療界を通じて日本のみならず全世界の医療界でも広域に普及した。ただし、システム利用者・運用管理担当はパッケージソフトウェアに組み込まれたMUMPSを利用している場合が多いため、MUMPSの名前が一般に広まっていない一因でもある。.
新しい！!: 手続き型プログラミングとMUMPS · 続きを見る »
Oberon
Oberon（オベロン）は、チューリッヒ工科大学のニクラウス・ヴィルト率いるチームが設計開発したオペレーティングシステムとプログラミング言語の名称。天王星の衛星オベロンに由来する。.
新しい！!: 手続き型プログラミングとOberon · 続きを見る »
Oberon-2
Oberon-2 とは、プログラミング言語 Oberon を拡張し、オブジェクト指向的なコンセプトを取り入れた言語である。 1991年、チューリッヒ工科大学のニクラウス・ヴィルトと （現システムソフトウェア研究所）が開発した。Oberon-2 は Oberon の上位互換である。Oberon-2 は Object Oberon（Oberon にオブジェクト指向のコンセプトを導入した最初の試み）の再設計でもあった。 Oberon-2 は Oberon から限定されたリフレクションとインタフェースなどを持たない単一継承（型拡張）を受け継いでいるが、効果的な仮想メソッド（型束縛プロシージャ）を追加している。メソッド呼び出しは、C++のような仮想メソッドテーブルを使って実行時に確定する。 Smalltalk などの完全なオブジェクト指向言語に比べると、Oberon-2 の基本データ型はオブジェクトになっておらず、クラスもオブジェクトではなく、多くの操作がメソッドではないし、メッセージパッシングの概念もなく、ポリモーフィズムも限定的である（SmalltalkやRubyのようなダックタイピングがなく、Javaのようなインタフェースも定義できない）。オブジェクト/クラスレベルでのカプセル化もサポートしていないが、モジュールをその目的で使用することができる。 Oberon-2 のリフレクションはを使わず、実行ファイル内に含まれる型記述子を単に読み、それが型やプロシージャを定義しているモジュールに渡される。その構造体の形式が言語レベルで渡されるなら（例えば Oberon System 3 がそうである）、ライブラリレベルでのリフレクションの実装が可能である。従って、言語コードを全く変えずにライブラリレベルでほとんど全てを実行することも可能である。実際、Oberon System 3 は言語レベルとライブラリレベルのリフレクションを多用している。.
新しい！!: 手続き型プログラミングとOberon-2 · 続きを見る »
Object Pascal
Object Pascal（オブジェクト パスカル）は、コンピュータのプログラミング言語のひとつ。広義には、その名前の通りPascal言語にオブジェクト指向の概念を導入したものであり、狭義には、ボーランドの統合開発環境 (IDE) であるDelphi（ただしボーランドの開発ツール部門CodeGearは2008年にエンバカデロ・テクノロジーズに合併されている）や、Free Pascalで使用されるような個別の言語仕様を指している。.
新しい！!: 手続き型プログラミングとObject Pascal · 続きを見る »
Occam
Occamは、並行プログラミング言語である。CSPに基づいており、多くの機能はCSPから由来している。Occamという名称はオッカムのウィリアムの「オッカムの剃刀」から来ている。OccamはCSPの実用的な実装と言うこともできる。 並行向け以外の部分は手続き的（ないし命令的）である。INMOS社が同社のトランスピュータのために開発したが、他のプラットフォームへの移植もされている。現在使われているものでは、XMOS（:en:XMOS）のXC（:en:XC (programming language)）がOccamの影響を受けた言語である。.
新しい！!: 手続き型プログラミングとOccam · 続きを見る »
Pascal
Pascal（パスカル）は、ニクラウス・ヴィルトの設計（デザイン）によるコンピュータ・プログラミング言語である。ALGOL（直接的にはその一派生である、ヴィルトが関与したALGOL W）などの影響があるが、個人の設計であることに由来する簡素だがよく整った言語仕様（構文と意味）を持つ。用途の中に教育を意識しており、構造化された制御構造など、その当時「良きプログラミングの慣習」と考えられていたことの影響もある。一方で批判者からは、あくまでも教育用に過ぎない言語だ、といったような評もあることにはあったが、PascalコンパイラをPascalで書ける（いわゆる言語処理系のブートストラップ）ことをはじめ、Pascalで書かれた#実用プログラム例は多くある。名前は、哲学者・数学者・科学者で、機械式計算機を製作するなど技術者でもあったブレーズ・パスカルにあやかったものである。.
新しい！!: 手続き型プログラミングとPascal · 続きを見る »
Perl
Perl（パール）とは、ラリー・ウォールによって開発されたプログラミング言語である。実用性と多様性を重視しており、C言語やsed、awk、シェルスクリプトなど他のプログラミング言語の優れた機能を取り入れている。ウェブ・アプリケーション、システム管理、テキスト処理などのプログラムを書くのに広く用いられている。 言語処理系としてのperlはフリーソフトウェアである。Artistic LicenseおよびGPLのもとで配布されており、誰でもどちらかのライセンスを選択して利用することができる。UNIXやWindowsなど多くのプラットフォーム上で動作する。.
新しい！!: 手続き型プログラミングとPerl · 続きを見る »
PHP (プログラミング言語)
PHP（ピー・エイチ・ピー）は "The PHP Group" によってコミュニティベースで開発されているオープンソースの汎用プログラミング言語およびその公式の処理系であり、特にサーバーサイドで動的なウェブページ作成するための機能を多く備えていることを特徴とする。 名称の PHP は再帰的頭字語として、 "PHP: Hypertext Preprocessor" を意味するとされており、「PHPはHTMLのプリプロセッサである」とPHP自身を再帰的に説明している。.
新しい！!: 手続き型プログラミングとPHP (プログラミング言語) · 続きを見る »
Pike
Pike は、インタプリタ型の汎用高級クロスプラットフォーム動的プログラミング言語であり、C言語に良く似た文法を持つ。他の動的言語とは異なり、Pike は静的型付けも動的型付けも可能で、明示的な型定義を必要とする。柔軟な型システムであり、動的型付き言語として素早い開発と柔軟なコードが可能である一方、静的型付き言語としての利点も併せ持っている。Pike にはガベージコレクション機能、豊富なデータ型、第一級無名関数、各種プログラミングパラダイム（オブジェクト指向、関数型および命令型プログラミング）のサポートといった特徴がある。Pike はフリーソフトウェアであり、GPL、LGPL、MPL でライセンスされている。.
新しい！!: 手続き型プログラミングとPike · 続きを見る »
PL/I
PL/I（ピーエルワン）は、汎用プログラミング言語の一つ。名前は英語の「programming language one」に由来する。 PL/Iは科学技術用、工業用、商業用などにデザインされた命令型プログラミング言語である。1964年に生まれ、教育機関、商用、工業で使用されてきた。2015年現在も使われている。 PL/Iの主要な用途はデータ処理で、再帰および構造化プログラミングに対応する。言語の構文は英語に似ており、検証や操作が可能な幅広い機能のセットを持ち、複合的なデータ型を記述することに適している。.
新しい！!: 手続き型プログラミングとPL/I · 続きを見る »
Python
Python（パイソン）は、汎用のプログラミング言語である。コードがシンプルで扱いやすく設計されており、C言語などに比べて、さまざまなプログラムを分かりやすく、少ないコード行数で書けるといった特徴がある。.
新しい！!: 手続き型プログラミングとPython · 続きを見る »
Smalltalk
Smalltalk（スモールトーク）は、Simula のオブジェクト（およびクラス）、LISPの徹底した動的性、LOGO のタートル操作や描画機能に、アラン・ケイの「メッセージング」というアイデアを組み合わせて作られたクラスベースの純粋オブジェクト指向プログラミング言語、および、それによって記述構築された統合化プログラミング環境の呼称。 Smalltalk で一語であり、「Small Talk」「SmallTalk」などは誤りである。 大規模な開発実績としてはCargill Lynx Projectがあり、国産製品の開発実績としてはMCFrameがある。.
新しい！!: 手続き型プログラミングとSmalltalk · 続きを見る »
VBScript
VBScript（ブイ・ビー・スクリプト）、Microsoft Visual Basic Scripting Edition は、Visual Basic 風の、マイクロソフトによるスクリプト言語である。Microsoft Windows 上や Internet Information Server（IIS）上で動作する。.
新しい！!: 手続き型プログラミングとVBScript · 続きを見る »
構造化プログラミング
構造化プログラミング（こうぞうかプログラミング、structured programming）は、1960年代後半にエドガー・ダイクストラらによって提唱された、構造化されたプログラムの構成要素（制御構造）の利用や、 p.49)-->段階的詳細化などを特徴とするプログラミング手法である。.
新しい！!: 手続き型プログラミングと構造化プログラミング · 続きを見る »
