(Translated by https://www.hiragana.jp/)
ALGOL - Wikipedia コンテンツにスキップ

ALGOL

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア（Wikipedia）』
（ALGOL 60から転送てんそう）
曖昧さ回避 この項目こうもくでは、プログラミング言語げんごについて説明せつめいしています。ペルセウス座ざのβべーた星ほしについては「アルゴル」をご覧らんください。
ALGOL
ALGOL
ALGOLのロゴ
パラダイム 手続てつづき型がたプログラミング、構造こうぞう化かプログラミング、命令めいれい型がたプログラミング ウィキデータを編集
登場とうじょう時期じき 1958年ねん (66年ねん前まえ) (1958)
設計せっけい者しゃ バウアー（英語えいご版ばん）、 ルティシュハウザー、 サメルソン（英語えいご版ばん）、 バッカス、 パリス、 ナウア、 ファン・ワインハールデン（英語えいご版ばん）、 マッカーシー他た
型付かたつけ 強つよい静的せいてき型付かたつけ
方言ほうげん ALGOL 60、ALGOL 68
影響えいきょうを受うけた言語げんご FORTRAN ウィキデータを編集
影響えいきょうを与あたえた言語げんご Pascal、C言語げんご、PL/I、Simula、CPL、Ada、Mathematica
テンプレートを表示ひょうじ

プログラミング言語げんご

■カテゴリ / ■テンプレート

ALGOL（アルゴル）は、命令めいれい型がたプログラミング言語げんごファミリーの1つ[注ちゅう 1]。名前なまえ「ALGOL」は「アルゴリズム言語げんご」を意味いみする英語えいご「algorithmic language」に由来ゆらいする[1]。1950年代ねんだい中ちゅうごろに開発かいはつされ、多おおくの言語げんごに影響えいきょうを及およぼし、ACMや教科書きょうかしょや学術がくじゅつ論文ろんぶんなどでアルゴリズム記述きじゅつのデファクトスタンダードとして30年ねん以上いじょう使つかわれた[2]。現代げんだいの多おおくの言語げんごが「ALGOL系けい」あるいは「ALGOL風ふう」(algol-like) とされているという意味いみで[3]、ほぼ同どう世代せだいの高水準こうすいじゅん言語げんごである FORTRAN、LISP、COBOL に比くらべて最もっとも成功せいこうしたと言いうこともできる。FORTRANで明あきらかとなった問題もんだいを防ふせぐよう設計せっけいされ、BCPL、B、Pascal、Simula、Cといった様々さまざまなプログラミング言語げんごに影響えいきょうを与あたえた。ALGOLは「begin と end で囲かこむ」という構文こうぶんによるブロック構造こうぞうを導入どうにゅうし、制御せいぎょ構造こうぞうを自在じざいに入いれ子こ（ネスト）にできる初はつの広ひろまった言語げんごとなった。また構文こうぶんの形式けいしき的てき定義ていぎを真剣しんけんに検討けんとうした最初さいしょのプログラミング言語げんごでもあり、"Algol 60 Report"[4] で導入どうにゅうされたバッカス・ナウア記法きほうは、その後ごのコンピュータ言語げんご等とうの構文こうぶんの形式けいしき的てき定義ていぎを示しめす手法しゅほうとして（プログラミング言語げんごだけに限かぎられず）定番ていばんの記法きほうとなっている。

主おもなバージョン

[編集へんしゅう]

次つぎの3つの主要しゅような仕様しようが存在そんざいする。後うしろについている数かずは最初さいしょに発表はっぴょうされた年としを表あらわしている。

ALGOL 58（英語えいご版ばん）
当初とうしょ IAL (International Algebraic Language) という名称めいしょうで提案ていあんされた[5]。
ALGOL 60
1960年ねん中ちゅうごろに X1 ALGOL 60 として実装じっそうされたのが最初さいしょで、1963年ねんに改訂かいていされた[4][6]。
ALGOL 68（英語えいご版ばん）
1968年ねんに発表はっぴょうされ、1973年ねんに改訂かいていされた[7]。可変かへん配列はいれつ、スライス、並列へいれつ性せい、演算えんざん子こ識別しきべつ、その他たの拡張かくちょう可能かのうな機能きのうなどが新あらたに導入どうにゅうされている。

IAL (ALGOL 58) は後ごの様々さまざまなプログラミング言語げんご（いわゆるALGOL系けい言語げんご）に大おおきな影響えいきょうを及およぼし、一般いっぱんにそれらの先祖せんぞとみなされている。また、ALGOLの仕様しようで示しめされた中間ちゅうかんコードは ALGOL object code と呼よばれ、単純たんじゅんでコンパクトなスタックベースの命令めいれいセットアーキテクチャであり、計算けいさん機き科学かがくの分野ぶんやでコンパイラ構築こうちくの教育きょういくに使つかわれ、他たの高水準こうすいじゅん言語げんごの実装じっそうにも使つかわれた。

歴史れきし

[編集へんしゅう]

1950年代ねんだい後半こうはん、FORTRAN等ひとしの言語げんごが米国べいこくで作つくられていたのに対抗たいこうして、ヨーロッパの学術がくじゅつ研究けんきゅう者しゃが世界せかい共通きょうつうのプログラミング言語げんごとして開発かいはつした。ALGOLは1958年ねんにチューリッヒ工科こうか大学だいがくで行おこなわれた国際こくさい会議かいぎで提案ていあんされたものが起源きげんとされる。現代げんだいのプログラミング言語げんごと比くらべて著いちじるしく異ことなる点てんのひとつに、reference syntax、publication syntax、implementation syntax という3種類しゅるいの構文こうぶんがある、ということが挙あげられる。当時とうじは文字もじコードの標準ひょうじゅん化か以前いぜんであり、また数学すうがくの数式すうしきのように印刷いんさつしたいという要望ようぼうなどもあったため、そのようなことになっている（違ちがいは具象ぐしょうの違ちがいであり、抽象ちゅうしょう構文こうぶんは共通きょうつうである）。これにより、キーワード名めいや小数点しょうすうてんに使用しようする記号きごう（カンマかピリオドか）を選えらぶことなどもできた。

ALGOL 58 は主おもに欧米おうべいの計算けいさん機き科学かがく者しゃがアルゴリズムの研究けんきゅう開発かいはつに用もちいた。商用しょうようアプリケーションにはあまり採用さいようされていない。その原因げんいんは入出力にゅうしゅつりょく機能きのうが標準ひょうじゅん仕様しように含ふくまれていなかったためであり、またバロース以外いがいの大手おおてコンピュータメーカーがこの言語げんごに興味きょうみを示しめさなかったためである。

ジョン・バッカスは ALGOL 58 を主しゅたる対象たいしょうとしてプログラミング言語げんごの文法ぶんぽうを記述きじゅつするバッカス正規せいき記法きほう (Bakus normal form) を開発かいはつした。ピーター・ナウアはそれを ALGOL 60 向むけに拡張かくちょう・改訂かいてい。ドナルド・クヌースがバッカス・ナウア記法きほう (Bakus-Naur Form) と改称かいしょうすることを提案ていあんした[8]。

ピーター・ナウアは ALGOL Bulletin という学術がくじゅつ誌しの編集へんしゅう者しゃとしてこの言語げんごの国際こくさい的てき議論ぎろんに参加さんかし、1959年ねん11月にヨーロッパの言語げんご設計せっけいグループの一員いちいんに選えらばれた。そして "Algol 60 Report" の編集へんしゅう者しゃとなり、1960年ねん1月がつにパリで開催かいさいされた ALGOL 60 についての国際こくさい会議かいぎの結果けっかを発表はっぴょうした[9]。

このパリでの会議かいぎ（1960年ねん1月がつ1日にちから16日にちまで開催かいさい）には以下いかの人々ひとびとが参加さんかしている。

ヨーロッパからの参加さんか者しゃ
フリードリッヒ・L・バウアー（英語えいご版ばん）、ピーター・ナウア、ハインツ・ルティシュハウザー、クラウス・サメルソン（英語えいご版ばん）、Bernard Vauquois、アドリアン・ファン・ワインハールデン（英語えいご版ばん）、Michael Woodger
アメリカからの参加さんか者しゃ
ジョン・バッカス、Julien Green、Charles Katz、ジョン・マッカーシー、アラン・パリス、Joseph Henry Wegstein

アラン・パリスはこの会議かいぎについて、「会合かいごうは疲つかれさせるもので、果はてしなく、活発かっぱつだった。ある人ひとのよいアイデアが悪わるいアイデアと共ともに却下きゃっかされると、その人ひとは機嫌きげんを損そこねた。それにもかかわらず、期間きかん中ちゅうずっと勤勉きんべんさが持続じぞくした。13人にんの作用さようは素晴すばらしいものだった」と評ひょうしている。

ALGOL 60 はその後ごの多数たすうの言語げんごに影響えいきょうを与あたえた。アントニー・ホーアは ALGOL 60 を「時代じだいに先行せんこうしていて、それまでの言語げんごの改良かいりょうだっただけでなく、その後ごのほぼ全すべての後継こうけい者しゃの先駆せんく者しゃとなった言語げんご」と評ひょうしている[10]。SchemeというLisp方言ほうげんの設計せっけい者しゃは、その静的せいてきスコープは ALGOL からの影響えいきょうだと述のべている。またSchemeの仕様しようの名称めいしょう "Revised Report on the Algorithmic Language Scheme" もALGOLへのオマージュである[11]。

1968年ねんには、後継こうけいとして ALGOL 68 が開発かいはつされた。ALGOL 68 では、2段階だんかい文法ぶんぽうのワインハールデン記法きほうで文法ぶんぽうが記述きじゅつされた。ALGOL 60 の後継こうけい言語げんご制定せいていに至いたるまでの候補こうほとしてニクラウス・ヴィルトの ALGOL W、日本にっぽんで設計せっけいされた ALGOL N 等ひとしもあったが最終さいしゅう的てきに ALGOL 68 が後継こうけいとして制定せいていされた。しかし、あまりに複雑ふくざつかつ巨大きょだいな仕様しようのため ALGOL 68 コンパイラの実装じっそうは難むずかしく、またワインハールデン記法きほうが難解なんかいなこともあり実用じつよう的てきには、ほとんど普及ふきゅうしなかった。そのため単たんに ALGOL と言いった場合ばあいにはALGOL 68 ではなくて ALGOL 60 やその方言ほうげんを指さすのが一般いっぱん的てきである。

言語げんごの標準ひょうじゅん化かとしては、IFIP TC2/WG2.1 において ALGOL 60 が制定せいていされた。その後ご、遅々ちちとして標準ひょうじゅん化か作業さぎょうはすすまず、1984年ねんになって、ISOで ALGOL 60 相当そうとうの言語げんごが標準ひょうじゅん化かされたのみである。日本にっぽんでは、かつて ALGOL 60 の言語げんご規格きかくと入出力にゅうしゅつりょくライブラリ規格きかくをそれぞれJIS規格きかくで制定せいていしていたが (JIS C 6210-6219)、1983年ねん（昭和しょうわ58年ねん）9月1日にち付づけで廃止はいしされた。

ALGOLとプログラミング言語げんご研究けんきゅう

[編集へんしゅう]

ピーター・ランディン（英語えいご版ばん）が指摘してきしたように、ALGOLは命令めいれい型がたの副作用ふくさようと（名前なまえ渡わたしの）ラムダ計算けいさんを一体いったいに結合けつごうした初はつの言語げんごである。この言語げんごの最もっとも見事みごとな定式ていしき化かはおそらくジョン・C・レイノルズ（英語えいご版ばん）によるもので、その文法ぶんぽうおよび意味いみ論ろんの純粋じゅんすいさをよく表あらわしている。レイノルズの「理想りそう化かした」ALGOLも名前なまえ渡わたしの言語げんごのコンテキストにおける「ローカル」な副作用ふくさようの適切てきせつさについて説得せっとく力りょくのある方法ほうほう論ろん的てき主張しゅちょうを行おこなっており、MLのような値ね渡わたしの言語げんごが使用しようする「グローバル」な副作用ふくさようと対比たいひされる。ALGOLの概念的がいねんてき完全かんぜん性せいにより、PCF（英語えいご版ばん）やMLと共ともに意味いみ論ろん研究けんきゅうの主おもな対象たいしょうとされるようになった[12]。

実装じっそう例れい

[編集へんしゅう]

これまでに ALGOL 60 の強化きょうか版ばん、拡張かくちょう版ばん、派生はせい版ばん、サブ言語げんごなどが少すくなくとも70ほど存在そんざいした[13]。

ALGOL 60 の実装じっそうに関かんする問題もんだいは、Nicholas Enticknap と Pat Woodroffe の書かいた "The early days of Algol" で詳くわしく議論ぎろんされている。

ALGOL 60の実装じっそう例れい
名称めいしょう 年とし 作者さくしゃ 国くに 説明せつめい 対象たいしょうシステム
ZMMD-implementation 1958年ねん Bauer, Rutishauser, Samelson, Bottenbruch ドイツ ALGOL 58 の実装じっそう Z22
（後のちにツーゼのZ23[14]向むけに ALGOL 60 コンパイラを提供ていきょうしている）
X1 ALGOL 60 1960年ねん8月がつ[15] エドガー・ダイクストラ、 Jaap A. Zonneveld オランダ ALGOL 60 の世界せかい初はつの実装じっそう[16] Electrologica X1
Elliott ALGOL 1960年代ねんだい アントニー・ホーア イギリス Elliott 803 & Elliott 503
JOVIAL 1960年ねん Jules Schwarz アメリカ Ada以前いぜんの DOD HOL 各種かくしゅ
Burroughs Algol
（いくつか派生はせいがある）		 1961年ねん バロース（ホーアやダイクストラも参加さんか） アメリカ バロースのメインフレーム（およびユニシスの後継こうけいシリーズ）の基盤きばん バロースの大型おおがた機き
および中型ちゅうがた機き
Case ALGOL 1961年ねん ケース・ウェスタン・リザーブ大学だいがく[17] アメリカ Simulaは Case ALGOL のシミュレーション向むけ拡張かくちょうとして開発かいはつされた。 UNIVAC 1107
GOGOL 1961年ねん Bill McKeeman アメリカ ODINタイムシェアリングシステム向むけ PDP-1
RegneCentralen ALGOL 1961年ねん ピーター・ナウア、Jørn Jensen デンマーク ALGOL 60 の完全かんぜん実装じっそう DASK (Regnecentralen)
Dartmouth ALGOL 30 1962年ねん トーマス・ユージン・カーツ 他た アメリカ LGP-30
USS 90 Algol 1962年ねん L. Petrone イタリア
Algol Translator 1962年ねん G. van der Mey, W.L. van der Poel オランダ オランダ国営こくえい電話でんわ会社かいしゃ ZEBRA
Kidsgrove Algol 1963年ねん F. G. Duncan イギリス イングリッシュ・エレクトリック KDF9
VALGOL 1963年ねん Val Schorre アメリカ META II コンパイラジェネレータのテストとして開発かいはつ
Whetstone 1964年ねん Brian Randell, L J Russell イギリス イングリッシュ・エレクトリック KDF9
NU ALGOL 1965年ねん ノルウェー UNIVAC
ALGEK 1965年ねん ソビエト連邦れんぽう ALGOL 60 とCOBOLに基もとづいた経済けいざいタスク用よう Minsk-22
MALGOL 1966年ねん publ. A. Viil, M Kotli & M. Rakhendi エストニア・ソビエト社会しゃかい主義しゅぎ共和きょうわ国こく Minsk-22
ALGAMS 1967年ねん GAMS（中型ちゅうがた機きのための自動じどうプログラミング）グループとコメコン科学かがくアカデミーの共同きょうどう開発かいはつ コメコン Minsk-22、後のちに ES EVM、BESM
ALGOL/ZAM 1967年ねん ポーランド ZAM（ポーランド製せい）
Simula 67 1967年ねん オーレ＝ヨハン・ダール、クリステン・ニゴール ノルウェー ALGOL 60 にオブジェクト指向しこうを導入どうにゅう UNIVAC 1107
Chinese Algol 1972年ねん 中国ちゅうごく 漢字かんじを表示ひょうじ可能かのう
DG/L 1972年ねん データゼネラル アメリカ Eclipseファミリ
S-algol 1979年ねん Ron Morrison イギリス 直交ちょっこうデータ型がたを追加ついか。教育きょういく向むけ PDP-11（後のちに Java VM 上うえにも実装じっそう）

特徴とくちょう

[編集へんしゅう]

同どう時期じきの FORTRAN、COBOL と比くらべると、これらの言語げんごが特定とくていのハードウェア上じょうで特定とくていの目的もくてきを効率こうりつ良よくこなすための一種いっしゅのドメイン特とく化か型がた言語げんごから始はじまったのに対たいし、ALGOL はいったんハードウェアの特性とくせいは置おいておき、抽象ちゅうしょう的てきなアルゴリズムを手続てつづきとして記述きじゅつする事ことを目指めざしている。初期しょきの ALGOL 60 仕様しようでは入出力にゅうしゅつりょく手続てつづきすら標準ひょうじゅん化かされていなかった点てんから見みても、できる限かぎり言語げんごコアの抽象ちゅうしょう度どを上あげようとしていたことは想像そうぞうに難かたくない。FORTRAN、COBOL が直系ちょっけい子孫しそん以外いがいに余あまり枝分えだわかれをしていないのに対たいして、ALGOL 系けいが大おおきな多様たよう性せいを獲得かくとくしたのもこの抽象ちゅうしょう性せいによる所ところが大だいと言いえる。従したがって ALGOL の策定さくていをもって、ソフトウェアのモジュール化か、計算けいさん機きの汎用はんよう化かが始はじまった瞬間しゅんかんと捉とらえても差さし支つかえないであろう。

ALGOL 60 は、手続てつづき型がた言語げんごとして再帰さいき呼よび出だしが可能かのうな初はじめてのプログラミング言語げんごである。

公式こうしきの ALGOL 60 では入出力にゅうしゅつりょく機能きのうが定義ていぎされていなかったため、実際じっさいの処理しょり系けいではそれぞれに互換ごかん性せいのない方法ほうほうで実装じっそうされた。それに対たいして、ALGOL 68では transput[注ちゅう 2]のための豊富ほうふなライブラリが提供ていきょうされた。

ALGOL 60 では引数ひきすう渡わたしに2種類しゅるいの評価ひょうか戦略せんりゃくが定義ていぎされている。一般いっぱん的てきな値ね渡わたしと ALGOL に特徴とくちょう的てきな名前なまえ渡わたしである。名前なまえ渡わたしは実際じっさいのところ、手続てつづき型がた言語げんごでは扱あつかいがかなり難むずかしい。例たとえば、2つの引数ひきすうの値ねを入いれ替かえる手続てつづきを書かいたとき、ある整数せいすう変数へんすうとその整数せいすう変数へんすうを添そえ字じとする配列はいれつ要素ようそをその引数ひきすうとして渡わたすことができない[18]。すなわち swap(i, A[i]) という場合ばあいである（詳くわしくは引数ひきすう#名前なまえ渡わたしを参照さんしょう）。乱数らんすう関数かんすうを渡わたす場合ばあいにも問題もんだいが生しょうじる。

しかし、ALGOLの設計せっけい者しゃは名前なまえ渡わたしをデフォルトとした。また、言語げんご処理しょり系けい実装じっそう者しゃたちは名前なまえ渡わたしの実現じつげんにThunk(サンク)（英語えいご版ばん）という興味深きょうみぶかい技法ぎほうを編あみ出だした。現在げんざい、素朴そぼくな（ALGOLのような）名前なまえ渡わたしは完全かんぜんに廃すたれたが、サンクは遅延ちえん（非ひ正格せいかく）評価ひょうかを実装じっそうする一般いっぱん的てきな手法しゅほうとして知しられる。ドナルド・クヌースは処理しょり系けいが「再帰さいき呼よび出だしと非ひ局所きょくしょ的てき参照さんしょう」を正ただしく実装じっそうしているかを評価ひょうかするman or boy test（英語えいご版ばん）を考案こうあんした。このテストには名前なまえ呼よび出だしの例れいが含ふくまれている（クヌースらは他ほかにも、名前なまえ渡わたしの「悪用あくよう」とでも言いうべきJensen's Device（英語えいご版ばん）と後のちに呼よばれるようになるような技法ぎほうの一いち例れいを示しめした "ALGOL 60 Confidential"[19]など、仕様しようのコーナーケースを暴あばき、コンピュータ・プログラミング言語げんご設計せっけいの難むずかしさをあらわにした）。

ALGOL の影響えいきょうとして、後ごの言語げんごのうちの最もっとも多おおくに影響えいきょうがあるものは、BEGIN/END（C 言語げんごなどでは{ }）の入いれ子こによるブロック構造こうぞう化か、つまり次じのような典型てんけい的てきな形かたちの記法きほうであろう。 

 BEGIN
   X := 1 ;
   IF (X > 0) THEN
     BEGIN
       :
     END
 END

俗ぞくに「ALGOL 文法ぶんぽう」といった場合ばあいは、このブロック構造こうぞう化か記法きほうのことを指さしていることがある（C言語げんごのように他たの記号きごうを使つかうものも含ふくめて指さしていることもあれば、そうではなくてBEGIN/ENDのようにキーワードを使つかう、という意味いみで言いっていることもある）。後ごの静的せいてきスコープの言語げんごについても、ALGOLからの影響えいきょうと言いわれることがある。

例れいと移植いしょく性せい問題もんだい

[編集へんしゅう]

コード例れいの比較ひかく

[編集へんしゅう]

ALGOL 60

[編集へんしゅう]

次つぎのコードは ALGOL 60 で n × m の2次元じげん配列はいれつの中なかから絶対ぜったい値ちが最大さいだいの要素ようそを求もとめ、その絶対ぜったい値ちをyに、添そえ字じをiとkに格納かくのうする手続てつづきを記述きじゅつしたものである。なお、コード中ちゅうで強調きょうちょう表示ひょうじされている予約よやく語ごの記法きほうは処理しょり系けいに依存いぞんする。例たとえば "INTEGER" は "integer" と書かかれることもある（ストロッピング（英語えいご版ばん））。 

 PROCEDURE Absmax(a) Size:(n, m) Result:(y) Subscripts:(i, k) ;
     VALUE n, m ; ARRAY a ; INTEGER n, m, i, k ; REAL y ;
 COMMENT The absolute greatest element of the matrix a, of size n by m
     is transferred to y, and the subscripts of this element to i and k ;
 BEGIN
     INTEGER 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

次つぎの例れいは Elliott 803 ALGOL[20] で表ひょうを生成せいせいする方法ほうほうを示しめしたものである。 

 FLOATING POINT ALGOL TEST'
 BEGIN REAL A,B,C,D'
 
 READ D'
 
 FOR A:= 0.0 STEP D UNTIL 6.3 DO
 BEGIN
   PRINT PUNCH(3),££L??'
   B := SIN(A)'
   C := COS(A)'
   PRINT PUNCH(3),SAMELINE,ALIGNED(1,6),A,B,C'
 END'
 END'

PUNCH(3) は紙かみテープのさん孔こう装置そうちではなくテレタイプ端末たんまつのプリンターへ出力しゅつりょくを送おくるものである。SAMELINE は引数ひきすう間あいだで通常つうじょう行おこなわれる復帰ふっき改行かいぎょうを抑制よくせいする。ALIGNED(1,6) は出力しゅつりょくを小数点しょうすうてん以上いじょうを1文字もじ、小数点しょうすうてん以下いかを6文字もじとするようフォーマットする。

ALGOL 68

[編集へんしゅう]

次つぎのコード例れいは上うえ掲の ALGOL 60 のコード例れいの ALGOL 68 版はんである。

ALGOL 68 でも ALGOL 60 のストロッピング（英語えいご版ばん）を再さい利用りようしている。 

 PROC ABS max = ([,]real a, REF real y, REF int i, k)real:
 COMMENT The absolute greatest element of the matrix a, of size ⌈a by 2⌈a
 is transferred to y, and the subscripts of this element to i and k; COMMENT
 BEGIN
    real y := 0; i := ⌊a; k := 2⌊a;
    FOR p FROM ⌊a TO ⌈a DO
      FOR q FROM 2⌊a TO 2⌈a DO
        IF ABS a[p, q] > y THEN
            y := ABS a[p, q];
            i := p; k := q
        FI
      OD
    OD;
    y
 END # abs max #

なお、lower (⌊) と upper (⌈) は配列はいれつの境界きょうかいを示しめし、配列はいれつを走査そうさする際さいの添そえ字じの範囲はんい指定していに使つかえる。 

 floating point algol68 test:
 (
   real a,b,c,d;
   
   printf(($pg$,"Enter d:"));
   read(d);
   
   FOR step FROM 0 WHILE a:=step*d; a <= 2*pi DO
     printf($l$);
     b := sin(a);
     c := cos(a);
     printf(($z-d.6d$,a,b,c))
   OD
 )

printf はファイル stand out に出力しゅつりょくを送おくる。printf($p$); は改あらため頁ぺーじ、printf($l$); は改行かいぎょうである。printf(($z-d.6d$,a,b,c)) は小数点しょうすうてん以上いじょうを1桁けた、小数点しょうすうてん以下いかを6桁けたにフォーマットして出力しゅつりょくする。

Hello world の変遷へんせん

[編集へんしゅう]

ALGOLの各種かくしゅ実装じっそうにおける移植いしょく性せいの無なさは、Hello World プログラムで簡単かんたんに示しめすことができる。

ALGOL 58 (IAL)

[編集へんしゅう]

ALGOL 58 には入出力にゅうしゅつりょく機能きのうが存在そんざいしないので、例示れいじできない。

ALGOL 60 ファミリ

[編集へんしゅう]

ALGOL 60 にも入出力にゅうしゅつりょく機能きのうがないので、Hello World プログラムの移植いしょく性せいはない。以下いかに示しめすのはユニシスのメインフレームで今いまも使用しよう可能かのうなALGOLの実装じっそうに対応たいおうしたもので、ミシガン大学だいがくの The Language Guide にあるコード例れいを単純たんじゅん化かしたものである[21]。 

 BEGIN
   FILE F(KIND=REMOTE);
   EBCDIC ARRAY E[0:11];
   REPLACE E BY "HELLO WORLD!";
   WRITE(F, *, E);
 END.

インラインフォーマットを使つかったさらに単純たんじゅんなプログラムは次つぎのようになる。 

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

Display文ぶんを使つかうとさらに次つぎのように単純たんじゅん化かされる。 

 BEGIN DISPLAY("HELLO WORLD!") END.

もう1つの例れいとして Elliott Algol のコード例れいを示しめす。Elliott Algol は引用いんよう開始かいし符号ふごうと引用いんよう終了しゅうりょう符号ふごうとで異ことなる文字もじを使用しようする。 

 program HiFolks;
 begin
    print ‘Hello world’;
 end;

次つぎは Elliott 803 Algol (A104) の例れいである。Elliott 803 は標準ひょうじゅんでは5孔あなの紙かみテープを使用しようするので、大文字おおもじしか使つかえない。引用いんよう符ふとして使つかえる文字もじもないため、ポンド記号きごう (£) を引用いんよう開始かいし、疑問符ぎもんふ (?) を引用いんよう終了しゅうりょうに使用しようしている。特殊とくしゅシーケンスは二に重じゅう引用いんよう内ないに置おかれる（例たとえば、££L?? は改行かいぎょう指示しじである）。 

  HIFOLKS'
  BEGIN
     PRINT £HELLO WORLD£L??'
  END'

ICT 1900シリーズのALGOLでは、紙かみテープまたはパンチカードを入力にゅうりょくとして利用りよう可能かのうである。紙かみテープは小文字こもじも使用しよう可能かのうである。出力しゅつりょくはラインプリンターに対たいして行おこなう。 

  'BEGIN'
     'WRITE TEXT'("HELLO WORLD");
  'END'

ALGOL 68

[編集へんしゅう]

ALGOL 68 のコードは一般いっぱんに太字ふとじまたは下線かせんつきの小文字こもじで予約よやく語ごを表あらわす（ただし、以下いかの例れいはシンタックスハイライトのために大文字おおもじにしている）。 

 BEGIN
   printf(($gl$,"Hello, world!"))
 END

"Algol 68 Report" では、入出力にゅうしゅつりょくを "transput" と称しょうしている。

ALGOLの特殊とくしゅ文字もじの変遷へんせん

[編集へんしゅう]
この項目こうもくにはUnicode 6.0のその他たの技術ぎじゅつ用よう記号きごうブロック収録しゅうろく文字もじが含ふくまれています（詳細しょうさい）。

ALGOLは文字もじセットが急速きゅうそくに発展はってんし多様たよう化かしていた時代じだいに登場とうじょうした。また、ALGOLは大文字おおもじだけで記述きじゅつできるよう定義ていぎされていた。

1960年ねんの情報処理じょうほうしょり国際こくさい連合れんごう (IFIP) で発表はっぴょうされた ALGOL 60 では、当時とうじのほとんどのコンピュータではサポートされていない数学すうがく記号きごうがいくつか使つかわれていた。例たとえば、×, ÷, ≤, ≥, ≠, ¬, ∨, ∧, ⊂, ≡, ␣, ⏨[注ちゅう 3] などである。

1961年ねん9月がつ、初期しょきのASCII文字もじセットが登場とうじょうし、ALGOLのブーリアン演算えんざん子こ "\/" と "/\" をサポートするためにバックスラッシュ (\) が初期しょき段階だんかいで追加ついかされた[22]。

1962年ねん、ALCOR（英語えいご版ばん）は2つの珍めずらしい文字もじ、"᛭" (iron/runic cross) と "⏨" (Decimal Exponent Symbol) を浮動ふどう小数点しょうすうてん形式けいしきで使用しようするためにALGOLの文字もじセットに加くわえた[23][24][25]。

1964年ねん、ソビエト連邦れんぽうが策定さくていしたGOST規格きかく GOST 10859 で、ALGOL用ようの4ビット、5ビット、6ビット、7ビットの文字もじセットを定義ていぎした[26]。

1968年ねんの "Algol 68 Report" では既存きそんのALGOL用よう文字もじセットに加くわえて、IBM 2741 端はし末まつ（1965年ねんに登場とうじょうしたAPL対応たいおう端末たんまつ）で使用しよう可能かのうな →, ↓, ↑, □, ⌊, ⌈, ⎩, ⎧, ○, ⊥, ¢ という文字もじを加くわえた。このレポートはロシア語ご、ドイツ語ご、フランス語ふらんすご、ブルガリア語ごに翻訳ほんやくされ、それぞれの言語げんご向むけに文字もじセットが拡張かくちょうされた。例たとえばソビエト連邦れんぽうのBESM-4はキリル文字もじが使用しよう可能かのうだった。ALGOLの使用しようする全すべての文字もじはUnicode規格きかくの一部いちぶになっており、その大だい部分ぶぶんは主要しゅようなフォントが対応たいおうしている。

2009年ねん10月がつ、浮動ふどう小数点しょうすうてん形式けいしき記述きじゅつのための "⏨" (Decimal Exponent Symbol) が Unicode 5.2 に追加ついかされた[注ちゅう 3]。これはブランで使つかわれたALGOLソフトウェアとの後方こうほう互換ごかんを保たもつためである。

脚注きゃくちゅう

[編集へんしゅう]
[脚注きゃくちゅうの使つかい方かた]

注釈ちゅうしゃく

[編集へんしゅう]
  1. ^ ファミリー名めいは大文字おおもじ/小文字こもじをまじえて表記ひょうきされる場合ばあい (Algol 60) と、全すべて大文字おおもじで表記ひょうきされる場合ばあい (ALGOL 68) がある。本ほん項目こうもくでは ALGOL で統一とういつする。
  2. ^ ALGOL 68 の用語ようごで入出力にゅうしゅつりょくを意味いみする。
  3. ^ a b 対応たいおうフォントが少すくない。フリーフォントでは、DejaVu Sans、Quivira、Symbola、和田わだ研けん2004フォントの絵文字えもじ対応たいおう版ばん、にしき的てきフォントなど。JIS X 0208の表記ひょうきに置おき換かえるなら「10」のような外見がいけんとなる。

出典しゅってん

[編集へんしゅう]
  1. ^ P.HAYES 1978, p. 38.
  2. ^ Collected Algorithms of the ACM ACMによるアルゴリズム集しゅう
  3. ^ “Algol-like languages ,Introduction” (September 1996). 2012年ねん1月がつ17日にち閲覧えつらん。
  4. ^ a b Backus, J. W.; Bauer, F. L.; Green, J.; Katz, C.; McCarthy, J.; Perlis, A. J.; Rutishauser, H.; Samelson, K. et al. (May 1960). Naur, Peter. ed. Report on the Algorithmic Language ALGOL 60. Copenhagen. doi:10.1145/367236.367262. ISSN 0001-0782 
  5. ^ Perlis, A.J.; Samelson, K. (1958), “Preliminary report: international algebraic language”, Communications of the ACM 1 (12): 8-22, doi:10.1145/377924.594925 
  6. ^ “Revised Report on the Algorithmic Language Algol 60” (1963年ねん). 25 June 2007時じ点てんのオリジナルよりアーカイブ。2007年ねん6月がつ8日にち閲覧えつらん。
  7. ^ “Revised Report on the Algorithmic Language ALGOL 68” (1973年ねん). 2010年ねん8月がつ25日にち閲覧えつらん。
  8. ^ Knuth, Donald E. (1964). “Backus Normal Form vs Backus Naur Form”. Communications of the ACM 7 (12): 735–736. doi:10.1145/355588.365140. 
  9. ^ ACM Award Citation / Peter Naur, 2005
  10. ^ "Hints on Programming Language Design", C.A.R. Hoare, December 1973. Page 27. （なお、この言葉ことばは間違まちがってエドガー・ダイクストラのものとされることがある。ダイクストラも ALGOL 60 コンパイラの実装じっそうに参加さんかしていた）
  11. ^ Jonathan Rees and William Clinger (Editors), Hal Abelson, R. K. Dybvig et al.. “Revised(3) Report on the Algorithmic Language Scheme, (Dedicated to the Memory of ALGOL 60)”. 2009年ねん10月がつ20日はつか閲覧えつらん。
  12. ^ Peter O'Hearn and Robert D. Tennent. 1996. Algol-Like Languages. Birkhauser Boston Inc., Cambridge, MA, USA.
  13. ^ “The Encyclopedia of Computer Languages”. 2012年ねん1月がつ20日はつか閲覧えつらん。
  14. ^ Computer Museum History, Historical Zuse-Computer Z23, restored by the Konrad Zuse Schule in Hünfeld, for the Computer Museum History Center in Mountain View (California) USA
  15. ^ Daylight, E. G. (2011). “Dijkstra's Rallying Cry for Generalization: the Advent of the Recursive Procedure, late 1950s – early 1960s”. The Computer Journal. doi:10.1093/comjnl/bxr002. http://www.dijkstrascry.com/node/4. 
  16. ^ Kruseman Aretz, F.E.J. (30 June 2003). “The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1”. Software Engineering. History of Computer Science. Kruislaan 413, 1098 SJ Amsterdam: Centrum Wiskunde & Informatica. http://oai.cwi.nl/oai/asset/4155/04155D.pdf 
  17. ^ Koffman, Eliot. “All I Really Need to KnowI Learned in CS1”. 2012年ねん5月がつ20日はつか閲覧えつらん。
  18. ^ Aho, Alfred V.; Ravi Sethi, Jeffrey D. Ullman (1986). Compilers: Principles, Techniques, and Tools (1st ed.). Addison-Wesley. ISBN 0-201-10194-7 , Section 7.5, and references therein
  19. ^ https://doi.org/10.1145/366573.366599
  20. ^ "803 ALGOL", the manual for Elliott 803 ALGOL
  21. ^ Hello world! ALGOL Example Program page
  22. ^ How ASCII Got Its Backslash, Bob Bemer
  23. ^ Baumann, R. (October 1961). “ALGOL Manual of the ALCOR Group, Part 1 [ALGOL Manual of the ALCOR Group]” (German). Elektronische Rechenanlagen: 206–212. 
  24. ^ Baumann, R. (December 1961). “ALGOL Manual of the ALCOR Group, Part 2 [ALGOL Manual of the ALCOR Group]” (German). Elektronische Rechenanlagen 6: 259–265. 
  25. ^ Baumann, R. (April 1962). “ALGOL Manual of the ALCOR Group, Part 3 [ALGOL Manual of the ALCOR Group]” (German). Elektronische Rechenanlagen 2. 
  26. ^ “GOST 10859 standard”. 16 June 2007時じ点てんのオリジナルよりアーカイブ。2007年ねん6月がつ5日にち閲覧えつらん。

参考さんこう文献ぶんけん

[編集へんしゅう]

関連かんれん図書としょ

[編集へんしゅう]
  • 森口もりぐち繁一しげかず（編へん）：「ＡＬＧＯＬ入門にゅうもん」、日本にっぽん科学かがく技術ぎじゅつ連盟れんめい、（1962年ねん10月がつ1日にち）。
  • Eric Foxley and Henry R. Neave:"A FIRST COURCE IN ALGOL60", Addison-Wesley Pub., (1968).
  • エリック フォクスレイ、ヘンリイ Ｒ．ニーヴ、岸田きしだ孝一こういち（訳わけ）：「プログラミングＡＬＧＯＬ入門にゅうもん」、日本にっぽん生産せいさん性せい本部ほんぶ（1970年ねん3月がつ30日にち）。

関連かんれん項目こうもく

[編集へんしゅう]

外部がいぶリンク

[編集へんしゅう]
低てい水準すいじゅん言語げんご
高水準こうすいじゅん言語げんご
1950年代ねんだい
1960年代ねんだい
1970年代ねんだい
1980年代ねんだい
1990年代ねんだい
2000年代ねんだい
2010年代ねんだい
架空かくうの言語げんご
「https://ja.wikipedia.org/w/index.php?title=ALGOL&oldid=101063734」から取得しゅとく