アルゴル60

ALGOL 60 （ Algorithmic Language 1960の略）は、 ALGOLファミリーのコンピュータプログラミング言語の一つです。ALGOL 60 は、コードブロックと、それらを区切るためのandペアを導入したALGOL 58 の後継であり、構造化プログラミングの台頭における重要な進歩となりました。ALGOL 60 は、関数定義（再帰的に呼び出すことができる）を実装した最初の言語の一つでした。ALGOL 60 の関数定義は、レキシカルスコープで互いにネストすることができました（ALGOL 60 で導入された機能）。ALGOL 60 は、 CPL、PL/I、Simula、BCPL、B、Pascal、Cなど、他の多くの言語を生み出しました。当時のほぼすべてのコンピュータには、 ALGOL 60 の概念に基づいたシステムプログラミング言語が搭載されていました。beginend

ニクラウス・ヴィルトは、パスカルの開発に移る前に、ALGOL 60 をベースに独自のALGOL Wを開発しました。ALGOL-W は次世代の ALGOL となることを意図していましたが、ALGOL 68委員会は、ALGOL 60 を簡略化するのではなく、より複雑で高度な設計を採用することにしました。公式の ALGOL バージョンは、最初に公開された年にちなんで命名されています。ALGOL 68 は ALGOL 60 とは大きく異なり、その違いが批判されたこともあり、一般的に「ALGOL」は ALGOL 60 の方言を指します。

標準化

ALGOL 60はCOBOLとともに、標準化を目指した最初の言語だった。

ISO 1538:1984プログラミング言語 – ALGOL 60 (安定化版)
ISO/TR 1672:1977 ALGOL基本シンボルのハードウェア表現...（現在は廃止）

歴史

ALGOL 60は主に米国とヨーロッパの研究コンピュータ科学者によって使用されました。その記述に標準的な入出力機能が欠けていたこと、そして大手コンピュータベンダーがこの言語に関心を示さなかったことが、商用アプリケーションでの利用を阻害しました。しかしながら、ALGOL 60はアルゴリズム公開の標準となり、その後の言語開発に大きな影響を与えました。

ジョン・バッカスは、プログラミング言語を記述するためのバッカス正規形法をALGOL 58向けに開発した。これはピーター・ナウアーによってALGOL 60向けに改訂・拡張され、ドナルド・クヌースの提案によりバッカス・ナウアー形式と改名された。^{[ 1 ]}

ピーター・ナウアー：「ALGOL Bulletin の編集者として、私は言語に関する国際的な議論に巻き込まれ、1959 年 11 月にヨーロッパ言語設計グループのメンバーに選ばれました。この立場で、私は 1960 年 1 月にパリで開催された ALGOL 60 会議の結果として作成された ALGOL 60 レポートの編集者でした。」^{[ 2 ]}

パリで開催された会議（1月11日から16日まで）には、以下の人々が出席しました。

アラン・パーリスは会議の様子を鮮やかに描写している。「会議は疲れ果てるほど長く、果てしなく続き、そして同時に刺激的だった。自分の良いアイデアが他人の悪いアイデアと一緒に却下されると、腹立たしくなった。それでも、会議期間中、皆が熱心に取り組んだ。13人の相性は抜群だった。」

当初、この言語には再帰は含まれていませんでした。委員会の一部メンバーの意向に反して、土壇場で仕様に挿入されました。^{[ 3 ]}

元の報告書の著者数名が1962年4月に会合を開き、発生した問題を解決した。彼らの作業の結果、「アルゴリズム言語ALGOL 60の改訂報告書」が出版された。^{[ 4 ]}

IFIP技術委員会2のワーキンググループ2.1により、さらなる明確化と入出力手順の追加が行われた。これらの取り組みは、1975年に「アルゴリズム言語ALGOL 60の修正レポート」として発表された。^{[ 5 ]}

ALGOL 60 は、その後の多くの言語に影響を与えました。トニー・ホーアは次のように述べています。「これは時代をはるかに先取りした言語であり、前身の言語よりも優れているだけでなく、後継の言語のほとんどすべてをも凌駕しています。」^{[ 6 ]}^{[ 7 ]}

ALGOL 60の実装タイムライン

現在までに、ALGOL 60 の拡張、派生、派生言語、およびサブ言語が少なくとも 70 種類存在します。^{[ 8 ]}

バロウズ方言には、ESPOLやNEWPといった特殊なシステムプログラミング方言が含まれていた。

不動産

公式に定義されたALGOL 60には入出力機能がなく、実装ごとに独自の入出力機能が定義されていたため、互換性はほとんどありませんでした。一方、ALGOL 68は、豊富なトランスプット（ALGOL 68では入出力を指す）機能ライブラリを提供していました。

ALGOL 60 では、パラメータの受け渡しに2 つの評価戦略が提供されました。一般的な値渡しと名前渡しです。プロシージャ宣言では、各仮パラメータに対して、どちらを使用するかを指定しました。値渡しの場合は値を指定し、名前渡しの場合は省略しました。名前渡しでは、式で使用されるたびにすべてのパラメータが再計算されるため、参照渡しとは対照的に特定の効果があります。たとえば、パラメータを値または参照として指定しないと、実際に渡されるパラメータが整数変数と、その整数変数でインデックス付けされた配列である場合、2 つのパラメータの値を交換するプロシージャを開発することはできません。^[²¹^] swap(i, A[i]) へのポインタを関数に渡すことを考えてみてください。swap が参照されるたびに再評価されます。例えば、i := 1、A[i] := 2 とすると、swap が参照されるたびに、値の別の組み合わせ ([1,2]、[2,1]、[1,2] など) が返されます。実引数としてランダム関数を渡した場合も、同様の状況が発生します。

名前呼び出しは、それを実装するために使用される興味深い「サンク」によって、多くのコンパイラ設計者に知られています。ドナルド・クヌースは、「再帰と非ローカル参照」を正しく実装しているコンパイラを区別するために、「大人か子供か」テストを考案しました。このテストには、名前呼び出しの例が含まれています。

言語レベル

ALGOL 60 レポートでは、参照言語、公開言語、およびいくつかのハードウェア表現という 3 つの異なるレベルの言語が認識されています。参照言語と公開言語には予約語はありませんが、レポートでは標準関数用にいくつかの識別子を予約することを推奨しています^{[ 22 ]}。参照言語には、ALGOL 60 の時代に一般的だった 6 ビット文字セットでは使用できない小文字やその他の文字が含まれています。^{[ a ]}

レポートではハードウェア表現について簡単に説明しています。実装によって、下線付きの独立した基本シンボルのハードウェア表現が異なります。^{[ 23 ]}

予約語
研磨

また、区切り文字のハードウェア表現方法も異なっている。

ALGOL 60 予約語および制限付き識別子

修正レポートには、太字で表記された24個の基本記号があります。これらの単語は参照言語や出版言語では予約語ではありませんが、一部のハードウェア実装では予約語となっている場合があります。修正レポートには、そのような単語が24個あります。

ARRAY
BEGIN
BOOLEAN
COMMENT
DO
ELSE
END
FALSE
FOR
GOTO
IF
INTEGER
LABEL
OWN
PROCEDURE
REAL
STEP
STRING
SWITCH
THEN
TRUE
UNTIL
VALUE
WHILE

標準的なBurroughs Large Systemsサブ言語には、そのような予約語が35個あります。

ALPHA
ARRAY
BEGIN
BOOLEAN
COMMENT
CONTINUE
DIRECT
DO
DOUBLE
ELSE
END
EVENT
FALSE
FILE
FOR
FORMAT
GO
IF
INTEGER
LABEL
LIST
LONG
OWN
POINTER
PROCEDURE
REAL
STEP
SWITCH
TASK
THEN
TRUE
UNTIL
VALUE
WHILE
ZIP

標準のBurroughs Large Systemsサブ言語には、このような制限付き識別子が71個あります。

ACCEPT
AND
ATTACH
BY
CALL
CASE
CAUSE
CLOSE
DEALLOCATE
DEFINE
DETACH
DISABLE
DISPLAY
DIV
DUMP
ENABLE
EQL
EQV
EXCHANGE
EXTERNAL
FILL
FORWARD
GEQ
GTR
IMP
IN
INTERRUPT
IS
LB
LEQ
LIBERATE
LINE
LOCK
LSS
MERGE
MOD
MONITOR
MUX
NEQ
NO
NOT
ON
OPEN
OR
OUT
PICTURE
PROCESS
PROCURE
PROGRAMDUMP
RB
READ
RELEASE
REPLACE
RESET
RESIZE
REWIND
RUN
SCAN
SEEK
SET
SKIP
SORT
SPACE
SWAP
THRU
TIMES
TO
WAIT
WHEN
WITH
WRITE

また、すべての固有関数の名前も記載されています。

標準オペレーター

例と移植性に関する問題

コードサンプルの比較

アルゴル60

手続きAbsmax(a) サイズ:(n, m) 結果:(y) 添え字:(i, k); 値n, m;配列a;整数n, m, i, k;実数y; コメントn × m サイズの行列 a の絶対最大要素。 は y にコピーされ、この要素の添え字は i と k にコピーされます。 整数p、qの開始; y := 0; i := k := 1; for p := 1 step 1 until n do for q := 1 step 1 until m do if abs(a[p, q]) > y then begin y := abs(a[p, q]); i := p; k := q end end Absmax;

実装によって、太字で示されたテキストの書き方が異なります。例えば、一部の実装では、上記の「integer」の代わりに、引用符付きの「INTEGER」という単語を使用し、これを特別なALGOL記号として指定する必要があります。

以下のバージョンでは、IBM 7090 用のALCOR コンパイラ^{[ 24 ]}でサポートされているハードウェア表現を使用しています。ALGOL シンボルはストロップされています。さらに、..コロン文字を表す.=ために、代入には、(/ and )/括弧の代わりに、.,セミコロンにはを使用します。小文字はサポートされていないため、大文字が使用されます。

'PROCEDURE' ABSMAX(A) SIZE..(N, M) RESULT..(Y) SUBSCRIPTS..(I, K)., 'VALUE' N、M.、'ARRAY' A.、'INTEGER' N、M、I、K.、'REAL' Y.、 「コメント」N×Mサイズの行列Aの絶対最大の要素、 Y にコピーされ、この要素の I および K へのサブスクライブもコピーされます。 '始める' 「整数」P、Q、 Y .= 0; I .= K .= 1., 'FOR' P .= 1 'STEP' 1 'UNTIL' N 'DO' 'FOR' Q .= 1 'STEP' 1 'UNTIL' M 'DO' 'IF' ABS(A(/P, Q/)) 'GREATER' Y 'THEN' 'BEGIN' Y .= ABS(A(/P, Q/))., I .= P; K .= Q '終わり' 「END」ABSMAX.、

Elliott 803 ALGOLを使用してテーブルを作成する方法の例を以下に示します。 ^{[ 25 ]}

浮動点アルゴル試験 開始 実数 A、B、C、D' READ D' FOR A:= 0.0 STEP D UNTIL 6.3 DO 始める プリントパンチ(3)、££L??' B := SIN(A)' C := COS(A)' パンチ(3)、同一行、整列(1,6)、A、B、C' 終わり' 終わり'

アルゴル60ファミリー

ALGOL 60 には I/O 機能がなかったため、 ALGOL には移植可能なハローワールドプログラムはありません。以下のプログラムは、Unisys A-Series メインフレーム用の ALGOL 実装でコンパイルおよび実行することができ（現在も可能です）、ミシガン大学ディアボーン校コンピュータおよび情報科学科の Hello world! ALGOL サンプルプログラムページ^[²⁷^]にあるThe Language Guide ^{[ 26 ]から取得したコードを単純に簡略化したものです。}

始める ファイル F(種類=リモート); EBCDIC配列E[0:11]; Eを「HELLO WORLD!」に置き換えてください。 WRITE(F, *, E); 終わり。

ここで、* などは FORTRAN で使用されるフォーマット指定を表します。例: ^{[ 28 ]}

インライン形式を使用したよりシンプルなプログラム：

BEGIN FILE F ( KIND = REMOTE ); WRITE ( F , < "HELLO WORLD!" > ); END .

Displayステートメントを使用した、さらにシンプルなプログラム：

BEGIN DISPLAY ( "HELLO WORLD!" ) END .

Elliott Algol I/O を使用した別の例は次のとおりです。Elliott Algol では、「開始文字列引用符」と「終了文字列引用符」に異なる文字が使用され、ここでは'と'で表されます。

プログラムHiFolks ; begin print ' Hello world ' end ;

こちらはElliott 803 Algol (A104) 用のバージョンです。標準のElliott 803は5穴の紙テープを使用していたため、大文字のみでした。コードには引用符文字がなかったので、£ (ポンド記号) が引用符の開始に、? (疑問符) が引用符の終了に使用されました。特殊なシーケンスは二重引用符で囲まれました (例: £., L?? はテレプリンターで改行されました)。

 ハイフォークスの 始める 「ハローワールド」を印刷しますか？ 終わり'

ICT 1900 シリーズのAlgol I/O バージョンでは、紙テープまたはパンチカードからの入力が可能でした。紙テープの「フル」モードでは小文字も使用できました。出力はラインプリンタに行われました。「(」、「)」、「%」の使用に注意してください。^{[ 29 ]}

 「プログラム」（こんにちは） '始める' 「コメント」の開始引用符は「(」、終了引用符は「)」、印刷可能なスペースは スペースは無視されるため、% と表記してください。 テキストを書き込む('('HELLO%WORLD')'); '終わり' '仕上げる'

この例では、outstring修正レポートで定義されている手順を使用します。

始める コメント：修正レポートからの入出力を使用します。GNU MARTコンパイラでコンパイルおよび実行されます。 outstring (1, "hello world!\n") 終わり

リープ

LEAPは、ALGOL 60プログラミング言語の拡張機能であり、トリプルの連想メモリを提供します。トリプル内の3つの項目は、オブジェクトの属性が特定の値を持つという関連付けを示します。LEAPは、1967年にジェローム・フェルドマン（カリフォルニア大学バークレー校）とポール・ロブナー（MITリンカーン研究所）によって開発されました。LEAPはSAILにも実装されています。

注記

↑
数十年後に登場したUnicodeは、
- U+003A :コロン
- U+003B ;セミコロン
- U+005B [左角括弧
- U+005D ]右角括弧
- U+00AC ¬サインなし
- U+00D7 ×乗算記号
- U+00F7 ÷除算記号
- U+2191 ↑上向き矢印
- U+2227 ∧論理AND
- U+2228 ∨論理OR
- U+2260 ≠等しくない
- U+2261 ≡同一
- U+2264 ≤以下
- U+2265 ≥以上
- U+2283 ⊃上位集合
小文字に加えて。

参考文献

↑ Knuth, Donald E. (1964 年 12 月). "Backus 正規形 vs Backus Naur 形式" . Communications of the ACM . 7 (12): 735– 6. doi : 10.1145/355588.365140 . S2CID 47537431 .
↑ ACM賞受賞理由 / ピーター・ナウアー、2005年
↑ van Emden, Maarten (2014). "再帰がプログラミングに取り入れられた経緯：陰謀、裏切り、そして高度なプログラミング言語の意味論の物語" . A Programmer's Place .
↑バッカス、JW;フロリダ州バウアー。グリーン、J.カッツ、Ｃ．マッカーシー、J.ペルリス、AJ。ルティシャウザー、H.サメルソン、K.ボーコワ、B.ウェグスタイン、JH;ヴァン・ワインガルデン、A.ウッジャー、M. (1963)。「アルゴリズム言語 ALGOL 60 に関する改訂報告書」。ACM の通信。6 : 1–17 .土井: 10.1145/366193.366201。
↑ 「アルゴリズム言語ALGOL 60に関する修正レポート」（PDF）。
↑ Hoare, CAR (1973 年 12 月). 「プログラミング言語設計に関するヒント」(PDF) . p. 27. （この発言は、最初のALGOL 60コンパイラの実装にも携わったエドガー・W・ダイクストラ氏の発言として誤って伝えられることがある。）
↑ Abelson, Hal ; Dybvig, RK ; et al. Rees, Jonathan; Clinger, William (編)。「アルゴリズム言語スキームに関する改訂版(3)レポート（ALGOL 60 の記念に捧げる）」。2009-10-20に取得。
↑コンピュータ言語百科事典（2011年9月27日時点、Wayback Machineにアーカイブ済み）
↑ Daylight, EG (2011). "Dijkstra's Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s – early 1960s" . The Computer Journal . 54 (11): 1756– 1772. doi : 10.1093/comjnl/bxr002 .
↑ Kruseman Aretz, FEJ (2003年6月30日). "Electrologica X1 用 Dijkstra-Zonneveld ALGOL 60 コンパイラ" (PDF) .ソフトウェアエンジニアリング. コンピュータサイエンスの歴史. アムステルダム: Centrum Wiskunde & Informatica. ISSN 1386-3711 . 2004年1月17日にオリジナル(PDF)からアーカイブ済み。
↑アイアンズ、エドガー・T.、「ALGOL 60 用の構文指向コンパイラ」、Communications of the ACM、第 4 巻、51 ページ (1961 年 1 月)
↑クルツ 1978。
↑ Gries, D.; Paul, M.; Wiehle, H. R (1965). "ALCOR Illinois 7090 で使用されているいくつかの技術" . Communications of the ACM . 8 (8): 496– 500. doi : 10.1145/365474.365511 . S2CID 18365024 .
↑ Bayer, R.; Gries, D.; Paul, M.; Wiehle, HR (1967). "The ALCOR Illinois 7090/7094 post mortem dump" . Communications of the ACM . 10 (12): 804– 808. doi : 10.1145/363848.363866 . S2CID 3783605 .
↑ Rechenautomaten mit Trommelspeicher、Förderverein der Technischen Sammlung ドレスデン
↑ Mounier-Kuhn, Pierre (2014). "フランスにおけるAlgol: ユニバーサルプロジェクトから組み込み文化へ" . IEEE Annals of the History of Computing . 36 (4): 6– 25. Bibcode : 2014IAHC...36d...6M . doi : 10.1109/MAHC.2014.50 . ISSN 1058-6180 .
↑クルツ 1978、p. 517。
↑ジャン＝クロード、ブサール（1964 年 6 月）。Etude et réalisation d'un compilateur Algol60 sur Calculur éléctronique du type IBM 7090/94 et 7040/44 [電子計算機 IBM 7090/94 および 7040/44 上のコンパイラー Algol60 の設計と実装] (PhD) (フランス語)。ジョゼフフーリエ大学 - グルノーブル I.
↑クロード・ペア (1965 年 4 月 27 日)。ALGOL のコンパイルに関する説明。欧州地域 1620 ユーザーグループ。 IBM。
↑クルーゼマン・アレツ、FEJ (1973)。Algol 60 の Algol 60 コンパイラ。数学センター地区。アムステルダム: 数学センター。
↑ Aho, Alfred V. ; Sethi, Ravi ; Ullman, Jeffrey D. (1986). Compilers: Principles, Techniques, and Tools (1st ed.). Addison-Wesley. ISBN 978-0-201-10194-2。第7.5節、およびその中の参照箇所
↑ Naur et al. 1963、3.2.4 . 標準関数
↑ Naur et al. 1963、2.1 . 文字: (1) 参照言語全体を通して、独立した基本記号を定義するために下線 [ここでは下線付き; NL] が使用されていることに特に注意すべきである (2.2.2 節および 2.3 節を参照)。これらは、それらを構成する個々の文字とは何の関係もないものと理解される。本報告書では、下線は他の目的では使用されない。
↑「ALCØR-ILLINØIS-7090 ALGØL-60 翻訳機のユーザーマニュアル」
↑「803 ALGOL」、 Elliott 803 ALGOLのマニュアル
↑ 「ALGOLプログラミング言語」。www.engin.umd.umich.edu。2010年2月10日のオリジナルからアーカイブ済み。 2022年1月11日取得。
↑ 「Hello world! サンプルプログラム」。www.engin.umd.umich.edu 。 2010年2月4日のオリジナルからアーカイブ済み。2022年1月11日取得。
↑ Fortran#"Hello, World!"の例
↑ 「ICL 1900 シリーズ: Algol 言語」。ICL 技術出版物 3340。1965 年。

参考文献

ジョン・W・バッカス;バウアー、フリードリヒ L. ;グリーン、J.カッツ、Ｃ．J. マッカーシー; P.ナウル; AJ・パーリス; H. ルーティシャウザー; K.サミュエルソン。B. ヴォーコワ; J・H・ウェグシュタイン; A. ファン・ワインガルデン; M. ウッジャー(1963 年 1 月)。ピーター・ナウル(編)。「アルゴリズム言語 Algol 60 に関する改訂レポート」。ACM の通信。6 (1)。 Association for Computing Machinery: 1–17 . doi : 10.1145/366193.366201。S2CID 7853511。
カーツ、トーマス・E. (1978). 「BASIC」.プログラミング言語の歴史. pp. 515–537 . doi : 10.1145/800025.1198404 . ISBN 0127450408。

さらに読む

Dijkstra, Edsger W. (1961). "ALGOL 60 翻訳: X1 用 ALGOL 60 翻訳器および ALGOL 60 用翻訳器の作成(PDF) (技術報告書). アムステルダム: 数学センター. 35.
ランデル、ブライアン；ラッセル、ローフォード・ジョン（1964）。ALGOL 60実装：コンピュータ上でのALGOL 60プログラムの翻訳と使用。アカデミック・プレス。OCLC 526731。 Whetstoneコンパイラの設計。コンパイラの実装に関する初期の公開記述の一つ。関連論文：Whetstone Algol Revisited、およびBrian RandellによるThe Whetstone KDF9 ALGOL Translatorを参照。
グース、ゲルハルト[ドイツ語] (2017-08-07)。Geschichte der deutschsprachigen Informatik - Programmiersprachen und Übersetzerbau [ドイツ語圏における情報学の歴史 - プログラミング言語とコンパイラー設計] (PDF) (ドイツ語)。カールスルーエ、ドイツ: Fakultät für Informatik、カールスルーエ工科大学(KIT)。2022-05-19 にオリジナルからアーカイブ(PDF)されました。2022 年 11 月 14 日に取得。（11ページ）

外部リンク

ピーター・ナウアー他によるアルゴリズム言語ALGOL 60の改訂報告書。ALGOLの定義
ALGOL 60 のBNF構文の概要
「皇帝の古い服」 ―ホアが1980年にACMチューリング賞を受賞した際のスピーチ。ALGOLの歴史と彼自身の関わりについて語っている。
FP6000 用の ALGOL 60 の実装(2020 年 7 月 25 日にWayback Machineにアーカイブ)実装上のいくつかの問題についての議論。
Naur, Peter (1978年8月) 「ALGOL 60開発最終段階のヨーロッパ側」 ACM SIGPLAN Notices 13 ( 8): 15–44 . doi : 10.1145/960118.808370 . S2CID 15552479 .
エジンバラ大学は、当初AtlasからKDF-9にブートストラップされたAtlas Autocodeコンパイラをベースに、Algol60（後にAlgol60Mに更新）用のコンパイラを作成しました。エジンバラのコンパイラは、ICL1900、ICL4/75（IBM360のクローン）、およびICL2900用のコードを生成しました。ここに、Algol60のBNF（2020年5月15日にWayback Machineにアーカイブ済み）、ICL2900コンパイラのソース（2020年5月15日にWayback Machineにアーカイブ済み）、ライブラリのドキュメント（2020年5月15日にWayback Machineにアーカイブ済み）、およびBrian Wichmannのテストを含むかなりのテストスイート（2020年5月15日にWayback Machineにアーカイブ済み）があります。Wayback Machineに 2020-05-15 にアーカイブされています。また、かなり表面的なAlgol60 から Atlas Autocode へのソースレベルのトランスレータもあります。Wayback Machineに 2020-05-15 にアーカイブされています。
エリック・S・レイモンドのレトロコンピューティング博物館には、C言語で書かれたNASE ALGOL 60インタープリタへのリンクなどがある。
NASE通訳者
B5000とその関係者たちの物語：ALGOL専用コンピュータ、
ボッテンブルッフ、ヘルマン (1961). ALGOL 60 の構造と使用(レポート). doi : 10.2172/4020495 . OSTI 4020495 .
NUMAL ALGOL 60 の数値手続きのライブラリ。The Stichting Centrum Wiskunde & Informatica ( Stichting Mathematisch Centrum の法的後継者) の法的所有者によって開発されました。
ALGOL 60関連リソース：翻訳ツール、ドキュメント、プログラム
ラケットにALGOL 60が含まれています

[23] 数十年後に登場したUnicodeは、
U+003A :コロン
U+003B ;セミコロン
U+005B [左角括弧
U+005D ]右角括弧
U+00AC ¬サインなし
U+00D7 ×乗算記号
U+00F7 ÷除算記号
U+2191 ↑上向き矢印
U+2227 ∧論理AND
U+2228 ∨論理OR
U+2260 ≠等しくない
U+2261 ≡同一
U+2264 ≤以下
U+2265 ≥以上
U+2283 ⊃上位集合
小文字に加えて。

[mwA0U] U+003A :コロン

[mwA00] U+003B ;セミコロン

[mwA1U] U+005B [左角括弧

[mwA10] U+005D ]右角括弧

[mwA2U] U+00AC ¬サインなし

[mwA20] U+00D7 ×乗算記号

[mwA3U] U+00F7 ÷除算記号

[mwA30] U+2191 ↑上向き矢印

[mwA4U] U+2227 ∧論理AND

[mwA40] U+2228 ∨論理OR

[mwA5U] U+2260 ≠等しくない

[mwA50] U+2261 ≡同一

[mwA6U] U+2264 ≤以下

[mwA60] U+2265 ≥以上

[mwA7U] U+2283 ⊃上位集合

[1] Knuth, Donald E. (1964 年 12 月). "Backus 正規形 vs Backus Naur 形式" . Communications of the ACM . 7 (12): 735– 6. doi : 10.1145/355588.365140 . S2CID 47537431 .

[naur_acm-2] ACM賞受賞理由 / ピーター・ナウアー、2005年

[3] van Emden, Maarten (2014). "再帰がプログラミングに取り入れられた経緯：陰謀、裏切り、そして高度なプログラミング言語の意味論の物語" . A Programmer's Place .

[4] バッカス、JW;フロリダ州バウアー。グリーン、J.カッツ、Ｃ．マッカーシー、J.ペルリス、AJ。ルティシャウザー、H.サメルソン、K.ボーコワ、B.ウェグスタイン、JH;ヴァン・ワインガルデン、A.ウッジャー、M. (1963)。「アルゴリズム言語 ALGOL 60 に関する改訂報告書」。ACM の通信。6 : 1–17 .土井: 10.1145/366193.366201。

[5] 「アルゴリズム言語ALGOL 60に関する修正レポート」（PDF）。

[6] Hoare, CAR (1973 年 12 月). 「プログラミング言語設計に関するヒント」(PDF) . p. 27. （この発言は、最初のALGOL 60コンパイラの実装にも携わったエドガー・W・ダイクストラ氏の発言として誤って伝えられることがある。）

[r3rs-7] Abelson, Hal ; Dybvig, RK ; et al. Rees, Jonathan; Clinger, William (編)。「アルゴリズム言語スキームに関する改訂版(3)レポート（ALGOL 60 の記念に捧げる）」。2009-10-20に取得。

[8] コンピュータ言語百科事典（2011年9月27日時点、Wayback Machineにアーカイブ済み）

[9] Daylight, EG (2011). "Dijkstra's Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s – early 1960s" . The Computer Journal . 54 (11): 1756– 1772. doi : 10.1093/comjnl/bxr002 .

[10] Kruseman Aretz, FEJ (2003年6月30日). "Electrologica X1 用 Dijkstra-Zonneveld ALGOL 60 コンパイラ" (PDF) .ソフトウェアエンジニアリング. コンピュータサイエンスの歴史. アムステルダム: Centrum Wiskunde & Informatica. ISSN 1386-3711 . 2004年1月17日にオリジナル(PDF)からアーカイブ済み。

[11] アイアンズ、エドガー・T.、「ALGOL 60 用の構文指向コンパイラ」、Communications of the ACM、第 4 巻、51 ページ (1961 年 1 月)

[FOOTNOTEKurtz1978-12] クルツ 1978。

[13] Gries, D.; Paul, M.; Wiehle, H. R (1965). "ALCOR Illinois 7090 で使用されているいくつかの技術" . Communications of the ACM . 8 (8): 496– 500. doi : 10.1145/365474.365511 . S2CID 18365024 .

[14] Bayer, R.; Gries, D.; Paul, M.; Wiehle, HR (1967). "The ALCOR Illinois 7090/7094 post mortem dump" . Communications of the ACM . 10 (12): 804– 808. doi : 10.1145/363848.363866 . S2CID 3783605 .

[15] Rechenautomaten mit Trommelspeicher、Förderverein der Technischen Sammlung ドレスデン

[16] Mounier-Kuhn, Pierre (2014). "フランスにおけるAlgol: ユニバーサルプロジェクトから組み込み文化へ" . IEEE Annals of the History of Computing . 36 (4): 6– 25. Bibcode : 2014IAHC...36d...6M . doi : 10.1109/MAHC.2014.50 . ISSN 1058-6180 .

[FOOTNOTEKurtz1978517-17] クルツ 1978、p. 517。

[18] ジャン＝クロード、ブサール（1964 年 6 月）。Etude et réalisation d'un compilateur Algol60 sur Calculur éléctronique du type IBM 7090/94 et 7040/44 [電子計算機 IBM 7090/94 および 7040/44 上のコンパイラー Algol60 の設計と実装] (PhD) (フランス語)。ジョゼフフーリエ大学 - グルノーブル I.

[19] クロード・ペア (1965 年 4 月 27 日)。ALGOL のコンパイルに関する説明。欧州地域 1620 ユーザーグループ。 IBM。

[20] クルーゼマン・アレツ、FEJ (1973)。Algol 60 の Algol 60 コンパイラ。数学センター地区。アムステルダム: 数学センター。

[21] Aho, Alfred V. ; Sethi, Ravi ; Ullman, Jeffrey D. (1986). Compilers: Principles, Techniques, and Tools (1st ed.). Addison-Wesley. ISBN 978-0-201-10194-2。第7.5節、およびその中の参照箇所

[22] Naur et al. 1963、3.2.4 . 標準関数

[24] Naur et al. 1963、2.1 . 文字: (1) 参照言語全体を通して、独立した基本記号を定義するために下線 [ここでは下線付き; NL] が使用されていることに特に注意すべきである (2.2.2 節および 2.3 節を参照)。これらは、それらを構成する個々の文字とは何の関係もないものと理解される。本報告書では、下線は他の目的では使用されない。

[25] 「ALCØR-ILLINØIS-7090 ALGØL-60 翻訳機のユーザーマニュアル」

[26] 「803 ALGOL」、 Elliott 803 ALGOLのマニュアル

[27] 「ALGOLプログラミング言語」。www.engin.umd.umich.edu。2010年2月10日のオリジナルからアーカイブ済み。 2022年1月11日取得。

[28] 「Hello world! サンプルプログラム」。www.engin.umd.umich.edu 。 2010年2月4日のオリジナルからアーカイブ済み。2022年1月11日取得。

[29] Fortran#"Hello, World!"の例

[30] 「ICL 1900 シリーズ: Algol 言語」。ICL 技術出版物 3340。1965 年。

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[

[ 22 ]

[ a ]

[ 23 ]

[ 24 ]

[ 25 ]

[

[ 26 ]から取得したコードを単純に簡略化したものです。

[ 28 ]

[ 29 ]

標準化

歴史

ALGOL 60の実装タイムライン

不動産

言語レベル

ALGOL 60 予約語および制限付き識別子

標準オペレーター

例と移植性に関する問題

コードサンプルの比較

アルゴル60

アルゴル60ファミリー

リープ

関連項目

注記

参考文献

参考文献

さらに読む

外部リンク