プログラム理論(プログラムりろん)とは？意味や使い方

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

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

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

今日のキーワード

外国人や外国の思想・文物・生活様式などを嫌ってしりぞけようとする考え方や立場。[類語]排他的・閉鎖的・人種主義・レイシズム・自己中・排斥・不寛容・村八分・擯斥ひんせき・疎外・爪弾き・指弾・排撃・仲間外...