プログラム

プログラム意味論

プログラム意味論(Program Semantics)とは、理論計算機科学の一分野で、プログラミング言語の意味と計算モデルに関する厳密な数学的研究領域である。プログラミング言語の形式意味論とも呼ばれる。
ある言語の形式意味論は、その言語で表現可能な処理（計算）を表す数学的モデルによって与えられる。
プログラム意味論にはいくつかの手法があり、以下の 3 種類に大別される:
表示的意味論: 対象とする言語の語句それぞれを「表示」に変換、すなわち別の言語の語句に翻訳する。表示的意味論はコンパイラ コンパイルと対応すると考えることもできるが、通常翻訳先の言語は他のコンピュータ言語ではなく数学的形式言語であることが多い。例えば、関数型言語の表示的意味論では、領域理論の言語に翻訳する。

『フリー百科事典ウィキペディア日本語版』 2008/12/12/01/08、URL: http://ja.wikipedia.org/

プログラム合成

プログラム合成（Program Synthesis)とは、高レベルの仕様から実行可能なコンピュータプログラム (コンピュータ) プログラムを自動的に生成する技術。コンパイラ コンパイルと比較したとき、プログラム合成の入力となる仕様はアルゴリズム的でない。自動プログラミングとも呼ばれるが、一般に自動プログラミングと言った場合、より実用指向のプログラミングパラダイムを意味する。
プログラム合成の考え方は1960年代に生み出されたもので、人工知能(AI)を応用して「自動プログラマ」を構築するため、数学とプログラミング理論の間の関係を深く研究するところから始まった。AIへの熱狂の低下とともに数学的アプローチは間もなく失敗した。一部の研究者は現在も形式的アプローチを研究しているが、それよりも適用領域を限定した純粋な演繹的手法と強力なヒューリスティックスを組み合わせたアプローチが成功を収めた。

『フリー百科事典ウィキペディア日本語版』 2007/12/12/23/07、URL: http://ja.wikipedia.org/

プログラム導出

プログラム導出とは、計算機科学において数学的手段を用いて仕様からプログラム (コンピュータ) プログラムを導き出すことである。
プログラムを「導出」するとは、通常そのままでは実行不可能な形式的仕様を記述し、数学的に正しい規則を適用して実行可能なプログラムに変換することを意味する。このような手法で得られたプログラムは（最初の仕様にバグがない限り）構造的に正しいことが証明されている。
形式的検証の場合、最初にプログラムを書き、それが与えられた仕様に照らして正しいことの証明を与える。この際の問題は以下の通りである。
結果として出てくる証明は長くて複雑になる。
そのプログラムがどのように開発されたかを示せない。まるで「帽子から出てきたうさぎ」のように見える。

『フリー百科事典ウィキペディア日本語版』 2007/02/02/14/07、URL: http://ja.wikipedia.org/

プログラムマネージャー

『プログラムマネージャ』より : プログラムマネージャはMicrosoft Windows 3.x Windows 3.x及びMicrosoft Windows NT Windows NT 3.xに搭載されているシェルである。プログラムマネージャの中にプログラムグループと呼ばれるフォルダのような入れ物の中にアイコンを使ったプログラムのショートカットなどを作成、表示することによって成り立っている。実行ファイル名はProgman.exe。
Windowsの終了、再起動もここから行うようになっている。また、Microsoft Windows 95 Windows 95、Microsoft Windows NT Windows NT 4.0以降に搭載されているWindows Explorerとは違い、シェルとファイル管理ソフト（ファイルマネージャ）は完全に分離されている。
Windows 95、Windows NT 4.0からはWindows Explorerと呼ばれるシェルが使われるようになったが、プログラムマネージャそのものは残っており、レジストリを書き換えることによってWindows Explorerの代わりに利用することができる。大抵の環境ではディレクトリ ルートディレクトリにあるWindowsフォルダ、もしくはWindowsフォルダの中のSystemフォルダにプログラムマネージャは格納されている。（ex C:\WINDOWS\SYSTEM32\PROGMAN.exe)　ただし、シェルとして利用している場合、デスクトップにアイコンを配置できないなどの一部機能制限がある。

『フリー百科事典ウィキペディア日本語版』 2006/09/09/22/06、URL: http://ja.wikipedia.org/

プログラムマネージャ

プログラムマネージャはMicrosoft Windows 3.x Windows 3.x及びMicrosoft Windows NT Windows NT 3.xに搭載されているシェルである。プログラムマネージャの中にプログラムグループと呼ばれるフォルダのような入れ物の中にアイコンを使ったプログラムのショートカットなどを作成、表示することによって成り立っている。実行ファイル名はProgman.exe。
Windowsの終了、再起動もここから行うようになっている。また、Microsoft Windows 95 Windows 95、Microsoft Windows NT Windows NT 4.0以降に搭載されているWindows Explorerとは違い、シェルとファイル管理ソフト（ファイルマネージャ）は完全に分離されている。
Windows 95、Windows NT 4.0からはWindows Explorerと呼ばれるシェルが使われるようになったが、プログラムマネージャそのものは残っており、レジストリを書き換えることによってWindows Explorerの代わりに利用することができる。大抵の環境ではディレクトリ ルートディレクトリにあるWindowsフォルダ、もしくはWindowsフォルダの中のSystemフォルダにプログラムマネージャは格納されている。（ex C:\WINDOWS\SYSTEM32\PROGMAN.exe)　ただし、シェルとして利用している場合、デスクトップにアイコンを配置できないなどの一部機能制限がある。

『フリー百科事典ウィキペディア日本語版』 2006/09/09/22/06、URL: http://ja.wikipedia.org/

プログラム仮説

プログラム仮説（ぷろぐらむかせつ）とは、(1)反証不可能な命題あるいは反証可能であるけれどもとりあえず反証されないとみなされた命題であり、かつ、(2)ある理論体系の指導原理に位置付けられたものを言う。
例えば、「神は存在する」(有神論)、「神は存在しない」(無神論)、「未来は決定されている」(決定論)、「未来は決定されていない」(非決定論)、「全ては科学的に説明がつく」(科学主義)、「科学を超えた現象が存在する」(神秘主義)などの諸命題は、プログラム仮説の中でも有名なものであると解される。
人間がある仮説を検証しようとするとき、研究者は自身の思想信条によってある程度の先入観を抱いてそれに臨むのが普通である。特に、心霊実験などのオカルトにおいて、論者はあらかじめ肯定的な態度か否定的な態度のいずれかを取ることが多い。また、量子力学の解釈をめぐるアインシュタインとボーアらの論争のように、自然科学の分野でも、研究者が自身の自然観や科学観を前提として仮説を組み立てていくことがある。通常、人間はこの前提をなるべく変更しないように思考する習性がある。かかる前提を科学哲学のタームに昇華したものがプログラム仮説である。

『フリー百科事典ウィキペディア日本語版』 2006/09/09/21/06、URL: http://ja.wikipedia.org/

プログラム (曖昧さ回避)

プログラム（英語 英 Program, Programme, ギリシア語 希 prographein（公示する）から）
ある物事の進行状態についての順序・組み合わせ・筋などのこと。及び、それを書いたもの。例：金融再生プログラム。
: ⇒ 計画、予定、スキーム、スケジュール、デザイン、プラン、プロジェクト、プロットなども参照のこと。
# 国家の学習計画のこと。 ⇒ カリキュラムを参照のこと。
# 政党の綱領や選挙公約のこと。 ⇒ マニフェストを参照のこと。
各種の催し物や行事（イベント）の計画、予定、演目、番組などのこと。催し物そのものを指す場合もある。
# 演奏会、演劇、運動会などでは、それが書かれた小冊子のこともさす。出演者の紹介や解説などが書かれる場合もある。予定表、演目表、番組表。

『フリー百科事典ウィキペディア日本語版』 2006/08/08/16/06、URL: http://ja.wikipedia.org/

プログラム売買

プログラム売買（ - ばいばい）とは、一定のルールに従った取引を行うため、あらかじめ設定したプログラム (コンピュータ) コンピュータ・プログラムに基づいて行う売買のことである。
プログラム売買は、自動売買とも言われる。一定の売買ルールをプログラム化することで、市場価格の変化に応じて、機械的・自動的に売買判断を下すことができる。
プログラム売買の対象は、現物株式から株価指数先物、オプション等のデリバティブまで様々であるが、どのようなルールを構築するかにより、無数のバリエーションが存在する。
たとえば、理論価格と市場価格を比較するようなルールを構築しておくことで、裁定取引を最適なタイミングで行えるようになる。しかしながら、プログラム売買を用いることで、感情を排除した意思決定を行えるようになる反面、市場が急落すると「下げ幅を増幅させる」というリスクも存在する。

『フリー百科事典ウィキペディア日本語版』 2006/08/08/06/06、URL: http://ja.wikipedia.org/

プログラム細胞死

プログラム細胞死（プログラムさいぼうし、Programmed cell death、略称PCD）は多細胞生物における不要な細胞の計画的（予定・プログラムされた）自殺である。組織傷害で炎症を起こす壊死と異なり、PCDは生物の生命に（一般には）利益をもたらす調節されたプロセスである。PCDは植物、多細胞動物、一部の原生生物で正常な組織形成や病原体などによる異常への対処として働く。
プログラム細胞死は、細胞死を起こしたときの形態学上の違いから次の３つのタイプに分類されている：
タイプ1細胞死
:アポトーシスによるもの。クロマチンが凝縮して細胞核が断片化するという形態上の特徴を示す。動物におけるPCDの重要な一形式である。

『フリー百科事典ウィキペディア日本語版』 2006/08/08/04/06、URL: http://ja.wikipedia.org/

プログラム規定説

プログラム規定説（ぷろぐらむきていせつ）とは、憲法の人権規定のうちで、形式的には法文は人権を定めているが、実質的には国の努力目標や政策的方針を規定したにとどまり、直接個々の国民に対して具体的権利を賦与したものではないとする考え方。この考え方に立てば、法文に裁判規範性はない。生存権や教育権などで問題になる。
この説が問題となった訴訟としては、日本国憲法日本国憲法第25条 第25条と生活保護法について争った「朝日訴訟」、社会保障立法における併給禁止規定の合憲性を争った「堀木訴訟」などが典型である。最高裁判所の判例はプログラム規定説に立ったと見られているが、両訴訟とも裁量権の著しい逸脱など、一定の場合に第25条の裁判規範性を認めていることから、純然たるプログラム規定説ではないとも言われる。

『フリー百科事典ウィキペディア日本語版』 2006/07/07/18/06、URL: http://ja.wikipedia.org/