プログラム理論（読み）プログラムりろん（英語表記）program theory

ブリタニカ国際大百科事典小項目事典「プログラム理論」の意味・わかりやすい解説

コンピュータのプログラムのもつ性質，特にその流れの構造に関する理論をいう。プログラムの同値性，停止性，正当性，複雑さの尺度，簡単化，並列・直列性，構造などに関して論じるもので，種々の性質が明らかになってきている。

出典　ブリタニカ国際大百科事典小項目事典ブリタニカ国際大百科事典小項目事典について　情報

各省の長である大臣，および内閣官房長官，特命大臣を助け，特定の政策や企画に参画し，政務を処理する国家公務員法上の特別職。政務官ともいう。2001年1月の中央省庁再編により政務次官が廃止されたのに伴い，...