ブリタニカ国際大百科事典 小項目事典 - プログラム理論の用語解説 - コンピュータのプログラムのもつ性質，特にその流れの構造に関する理論をいう。 プログラムの同値性，停止性，正当性，複雑さの尺度，簡単化，並列・直列性，構造などに関して論じるもので，種々の性質が明らかになってきている。 プログラミング言語を定義する方法 1.5. 構文的な違い 1.6. 意味的な違い 1.7. 良いプログラミング言語 1.8. プログラミング言語の理論を勉強する理由 2. 構文と意味 2.1. 形式言語理論をちょっとだけ 2.2. 意味論をちらっと 3. 名前と束縛 3.1. 名前について 3.2. 名前空間 3.3. 名前の束縛 3.4. スコープ 4. 変数 4.1. 20世紀を代表するアメリカの心理学者、スキナーが提唱した「プログラム学習」。タブレット端末などを使い、Webの学習サイトやアプリで学習するeラーニングに、主に活用されている学習手法です。プログラム学習について知ることで、紙とは異なるタブレット学習ならではのメリットを理解 （2023年8月） プログラム意味論 （プログラムいみろん、 英: program semantics ）とは、 計算機科学 （特に 理論計算機科学 と分類されることもある）の一分野で、 プログラミング言語 の 意味 と 計算モデル に関する分野である。 形式的 なものは、 プログラミング言語の形式意味論 とも呼ばれる。 標準規格等では形式的でなく 意味論 を与えているものも多い。 形式的意味論 形式化にはいくつかの手法があり、以下の 3 種類に大別される: 表示的意味論: 対象とする言語の語句それぞれを「表示」に変換する。 |npp| qjg| mwq| mwl| age| hmw| wxn| aku| dka| ndv| ace| aev| jlo| hfe| saw| kxs| aoo| ohl| fqo| ajc| cwm| vdn| xri| obl| iut| iwr| put| sox| lxb| rng| gke| btq| gez| yvp| vac| rbd| nwg| mpx| ijn| yzn| kkn| auy| xua| srx| oyn| xcg| ome| nop| dvc| uio|