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

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

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

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

〘名詞〙年の暮れに、その年の仕事を終えること。また、その日。《季語・冬》[初出の実例]「けふは大晦日(つごもり)一年中の仕事納(オサ)め」(出典：浄瑠璃・新版歌祭文（お染久松）（1780）油...