プログラム理論(読み)プログラムりろん(その他表記)program theory

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

プログラム理論
プログラムりろん
program theory

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

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

二十四節気の一つで,二至 (夏至,冬至) ,二分 (春分,秋分) として四季の中央におかれた中気。元来,春分は太陰太陽暦の2月中 (2月後半) のことで,太陽の黄経が0°に達した日 (太陽暦の3月 2...

春分の用語解説を読む