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

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

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

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

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

今日のキーワード

サルノコシカケ

サルノコシカケ科やその近縁のキノコの総称。日本では4科約40属300種が知られ,ブナ林に日本特産種が多い。樹木の幹につき,半円形,木質で厚く堅く,上面には同心円紋があるものが多い。下面には無数の穴があ...

サルノコシカケの用語解説を読む

コトバンク for iPhone

コトバンク for Android