プログラミング･パラダイム

ウィキペディア

プログラミングパラダイム

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/09/29 13:14 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "プログラミングパラダイム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年12月)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Programming paradigm|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

プログラミングパラダイム（英: programming paradigm）とは、プログラミングにおける模範である。

概要

プログラミングパラダイムは、プログラマにプログラムの見方を与えるものと言える。例えばオブジェクト指向プログラミングでは、プログラムとはオブジェクトを作りそれを管理するもの。関数型言語では、状態を持たない関数の評価の連続。

プログラミング言語が違えば、対応できるパラダイムも違ってくる。SmalltalkやJavaは、手続き型やオブジェクト指向、Haskellは、関数プログラミング、というように、比較的少数のパラダイムに対応している。一方、多数のパラダイムに対応した言語（マルチパラダイムプログラミング言語）もある。

多くのプログラミングパラダイムには禁じ手がある。純粋な関数型プログラミングでは、副作用があってはならない。構造化プログラミングでは、gotoの無制限な利用が戒められる。特にこの理由により、古いスタイルに慣れた者からは、よく非現実的または過剰に厳密なものと見なされる。しかし、こうした特定のテクニックを避けることで、プログラミング言語の一般の法則に制約されず、プログラムの正確さ（または単にその動作の理解）についての法則を証明しやすくする。

マルチパラダイムプログラミング言語が登場してから、プログラミングパラダイムとプログラミング言語との関連は複雑になっている。たとえば、C++は手続き型プログラミング、ジェネリックプログラミング、オブジェクト指向プログラミングに対応するよう設計されているが、設計時には個々の部分毎にどのパラダイムを使うか選ぶ必要に迫られる。あるプログラムは全て手続き型プログラミングで作り、またあるプログラムは全てオブジェクト指向で作り、また別のプログラムは両方を混在して作るという具合である。

例

この節には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2017年1月）

比較されるものは横に並べてある。括弧内はそれを用いている例である。

• 構造化プログラミング - 非構造化プログラミング
• 命令型プログラミング - 宣言型プログラミング
• メッセージ送信プログラミング（アクターモデル）
• 手続き型プログラミング - 非手続き型言語
• イベント駆動型プログラミング
• シグナルプログラミング
• スタック指向プログラミング
• クラスベースプログラミング - プロトタイプベースプログラミング ※オブジェクト指向プログラミングの中での分類
• 並行論理プログラミング
• 制約プログラミング
• 論理プログラミング
• 解集合プログラミング（en: Answer Set Programming）
• 制約論理プログラミング
• 並行プログラミング
• 並行制約プログラミング
• 関数型プログラミング
• コンポーネント指向プログラミング (OLE)
• アスペクト指向プログラミング (AspectJ)
• 契約プログラミング
• リフレクティブプログラミング
• データフロープログラミング
• リアクティブプログラミング（英語版） (スプレッドシート)

関連項目

• 抽象化 (計算機科学)
• Expression problem

表 話 編 歴 コンピュータ・プログラミング言語
低水準言語	機械語 アセンブリ言語
高水準言語	1950年代 FORTRAN ALGOL RPG COBOL 1960年代 LISP CPL BASIC PL/I APL BCPL Simula LOGO B 1970年代 Forth Pascal C Prolog Smalltalk Scheme ML AWK Ada Modula-2 1980年代 C++ Objective-C Common Lisp Eiffel Erlang Esterel Lustre Perl Mathematica J 1990年代 Python Tcl Haskell Visual Basic Ruby Lua Delphi Java ECMAScript (JavaScript) PHP OCaml SuperCollider R 2000年代 C# VB.NET Scala Clojure D F# Go Nim 2010年代 Dart Ceylon Elixir Crystal Hack Swift Rust Raku Elm Julia Kotlin Zig
架空の言語	擬似言語 CASL CAP-X
年表 パラダイム 一覧

表 話 編 歴 コンピュータ・プログラミング言語の関連項目
言語水準	機械語 (1G) 低水準言語 (2G) 高水準言語 (3G) 第四世代言語 第五世代言語
言語処理系	アセンブラ インタプリタ コンパイラ トランスレータ
言語分類	マルチパラダイム言語 命令型言語 宣言型言語 非構造化言語 構造化言語 非手続き型言語 手続き型言語 オブジェクト指向言語 関数型言語 論理型言語 データフロー言語 ダイナミック言語 スクリプト言語 軽量プログラミング言語 ビジュアルプログラミング言語 難解プログラミング言語
その他	ドメイン固有言語 ジョブ制御言語 問い合わせ言語 マークアップ言語 形式言語
関連項目	コンピュータ言語 プログラミング言語一覧 プログラミング言語年表 プログラミングパラダイム

表 話 編 歴 コンピュータ科学
ハードウェア	プリント基板 周辺機器 Integrated Circuit (IC) Very Large Scale Integration (超大規模集積回路、VLSI) Systems on Chip (SoC) エネルギー消費 (グリーン・コンピューティング) EDA ハードウェアアクセラレーション
コンピュータシステムの構造	コンピュータ・アーキテクチャ 組み込みシステム リアルタイムシステム ディペンダビリティ
ネットワーク	ネットワーク・アーキテクチャ（英語版） 通信プロトコル ネットワーク・コンポーネント（英語版） ネットワーク・スケジューラ（英語版） ネットワーク性能評価（英語版） ネットワーク・サービス（英語版）
ソフトウェアの構造	インタプリタ ミドルウェア 仮想マシン オペレーティングシステム ソフトウェア品質
ソフトウェア記法（英語版） とツール	プログラミングパラダイム プログラミング言語 コンパイラ ドメイン固有言語 モデリング言語 ソフトウェアフレームワーク 統合開発環境 ソフトウェア構成管理 ソフトウェアライブラリ ソフトウェアリポジトリ
ソフトウェア開発	ソフトウェア開発プロセス 要求分析 ソフトウェア設計 ソフトウェア構築（英語版） ソフトウェアデプロイメント ソフトウェアメンテナンス プログラミングチーム（英語版） オープンソースモデル
計算理論	計算モデル 形式言語 オートマトン理論 計算可能性理論 計算複雑性理論 コンピュータ科学における論理学（英語版） 意味論
アルゴリズム	アルゴリズム（英語版） アルゴリズム解析 アルゴリズム効率（英語版） 乱択アルゴリズム 計算幾何学
コンピューティングの数学	離散数学 確率 統計学 数学ソフトウェア 情報理論 解析学 数値解析
情報システム	データベース管理システム 情報ストレージシステム 企業情報システム 社会情報システム（英語版） 地理情報システム 意思決定支援システム プロセス制御システム マルチメディア情報システム（英語版） データマイニング 電子図書館 コンピューティング・プラットフォーム デジタルマーケティング World Wide Web 情報検索
セキュリティ	暗号理論 形式手法 セキュリティ・サービス（英語版） 侵入検知システム ハードウェア・セキュリティ（英語版） ネットワーク・セキュリティ 情報セキュリティ アプリケーション・セキュリティ（英語版）
ヒューマンコンピュータ インタラクション	インタラクションデザイン ソーシャル・コンピューティング（英語版） ユビキタスコンピューティング 可視化 アクセシビリティ
並行性	並行コンピューティング 並列コンピューティング 分散コンピューティング マルチスレッディング マルチプロセッシング
人工知能	自然言語処理 知識表現と推論 コンピュータビジョン 自動計画とスケジューリング 検索手法 制御手法 人工知能の哲学（英語版） 分散人工知能（英語版）
機械学習	教師あり学習 教師なし学習 強化学習 マルチタスク学習（英語版） 交差検証
グラフィックス	アニメーション レンダリング 画像編集 GPU 複合現実 バーチャル・リアリティ 画像圧縮 ソリッドモデリング
応用コンピューティング	電子商取引 企業アプリケーション 計算数学（英語版） 計算物理学 計算化学 計算生物学 計算社会科学 計算工学（英語版） 健康情報学 デジタルアート 電子出版 サイバー戦争 電子投票 コンピュータゲーム ワードプロセッサー オペレーションズ・リサーチ 教育工学 文書管理システム
概要（英語版） カテゴリ ブック コモンズ

典拠管理データベース: 国立図書館	ドイツ

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集

ウィキペディア小見出し辞書

プログラミングパラダイム

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/07 09:26 UTC 版)

「ソフトウェア開発方法論」の記事における「プログラミングパラダイム」の解説

プログラミングパラダイムはコンピュータプログラミングの根本的なスタイルであり、対照的にソフトウェア開発方法論は特定のソフトウェア工学問題を解く際のスタイルである。個々のパラダイムは、（オブジェクト、関数、変数、制約などの）プログラムの要素と（代入、評価、処理フロー、データフローなどの）処理ステップを表現する概念と抽象化がそれぞれ固有のものとなっている。 プログラミング言語は何らかのプログラミングパラダイムをサポートすることができる。例えばC++や Object Pascal でのプログラムは、純粋に手続き的に書くこともできるし、純粋にオブジェクト指向的に書くこともでき、両方のパラダイムの要素を含むプログラムとして書くこともできる。オブジェクト指向プログラミングでは、プログラマはプログラムを相互作用するオブジェクトの集まりと考えることができ、関数型プログラミングでは状態を持たない関数評価の並びと考えることができる。多数のプロセッサを有するコンピュータやシステムでのプログラミングでは、プロセス指向プログラミング（英語版）を採用することで、データ構造を論理的に共有し並行動作するプロセス群と考えてプログラミングすることができる。 ソフトウェア工学に様々な「方法論」があるように、プログラミング言語はそれぞれ異なる「プログラミングパラダイム」を推奨している。単一のパラダイムをサポートするよう設計された言語（例えば、オブジェクト指向プログラミングをサポートするSmalltalk、関数型プログラミングをサポートするHaskellなど）もあれば、複数のパラダイムをサポートする言語（Object Pascal、C++、C#、Visual Basic、Common Lisp、Scheme、Python、Ruby、Ozなど）もある。 多くのプログラミングパラダイムには、それによって可能になることと引き換えに「禁止」されていることがある。例えば、純粋な関数型プログラミングでは副作用の利用が禁じられている。また、構造化プログラミングではGoto文の利用が禁じられている。