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

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

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

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

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

今日のキーワード

凍返る

春になって暖かくなりかけた頃、急に寒さが戻って、地面などがまた凍りつく。《 季語・春 》[初出の実例]「七瀬御秡 同晦日也。〈略〉雪汁いてかへる」(出典：俳諧・誹諧初学抄（1641）初春)...

凍返るの用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay