第１章プログラミング言語１．１１．２１．３１．４プログラミング言語とは言語処理の諸観点処理プロセスコンパイラの移植１．１プログラミング言語（１）プログラミング言語とは人間の言葉や、特定分野で使われる表現（数式を含む）に近い形で表現された記述を、コンピュータで実行するために設定された形式的な記述方法（２）プログラミング言語が生まれた背景 ■当初 2進数や16進数などによるプログラム表現ハンドアセンブルが面倒⇒ニーモニックコードによる表現アセンブラの誕生ハードウェア命令体系によりアセンブラが異なる人間の言葉に近い表現機械依存度を少なく FORTRAN Ⅱの誕生（３）FORTRAN Ⅱ直後の言語発展 ■ニーズや対象分野による楽観的・経験的な機能拡充機能拡充 FORTRAN Ⅳ TSSによる簡易なプログラミング BASIC 適用分野の拡大事務処理：COBOL 記号処理：LISP パターン処理：SNOBOL OR：ADSL, Simula 67 各種問題向き：POL POL: Problem Oriented Language) （４）楽観的・経験的な機能拡充の反省 ■適用分野の統合、数学的に整理された言語設計科学技術計算事務処理 FORTRAN COBOL 数学的に整理適用分野の統合 PL/I Algol データ抽象化 Algol 60 軍需／組込み計算機 ADA システム記述 Small Talk ソフトウェア工学の進展 C データ抽象化の考え方の充実 Pascal, Modula Ⅱ （５）さまざまな計算モデルの提案 ■機械語プログラムをそのまま実行する計算機がある。 ■高級言語プログラムには、そのまま実行する計算機はない。（高級言語計算機のアプローチでの試作品はある）仮想的に実行できる計算機の数学的モデル計算モデル（computation model）さまざまな計算モデルの事例 ■Pascalにおけるデータ抽象化の概念→C# ■Smalltalkにおけるオブジェクト指向→VB, C++, Java ■Prologにおける論理型（書換え規則がプログラムとなる） ■Lispにおける記号処理と評価機構 ■APLにおける関数型→C その他の関数型言語 ■SNOBOLによるパターンマッチング ■データフローマシンにおける計算機構（ハード）計算モデルによる言語の分類 ■手続き型言語（データ抽象化を含む） FORTRAN, COBOL, PL/1, ALGOL, Pascal, Modula, ADA, C ■関数型言語 Lisp，APL （Cをここに分類する人もいる） ■論理型言語 Prolog ■オブジェクト指向型言語 Smalltalk, C++, Java, C#, VB ■パターンマッチング指向型言語 SNOBOL （６）昨今の傾向 新しい計算モデルや新しい言語概念の提案は少ない。 過去に提案された言語概念を旧来の言語に取込む傾向が多い。 インターネット普及とともにWeb関連の言語が普及してきている（Java Script, VB Script, Pearl, …） 旧来言語による開発を容易にするための開発環境の整備という観点からの充実が多い（例：Visual Studioなど）。 概念の抽象化という観点よりもプログラミング環境や実行環境がどうであるかの方に関心が高い。（言語概念への興味が薄い）