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

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

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

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

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

今日のキーワード

古古米

収穫年度を2年経過した米。《季 秋》[類語]米・玄米・白米・新米・古米・粳うるち・粳米・糯もち・糯米・黒米・胚芽米・精白米・内地米・外米・早場米・遅場米・新穀・米粒・飯粒・小米・屑米...

古古米の用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay