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

ブリタニカ国際大百科事典 小項目事典の解説

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

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

今日のキーワード

医食同源

病気を治療するのも日常の食事をするのも、ともに生命を養い健康を保つために欠くことができないもので、源は同じだという考え。[補説]古くから中国にある、体によい食材を日常的に食べて健康を保てば、特に薬など...

続きを読む

コトバンク for iPhone

コトバンク for Android