ロゴ（プログラミング言語）

ロゴ
Lシステム（コッホ曲線）のタートルグラフ
パラダイム	マルチパラダイム：機能的、教育的、手続き的、内省的
家族	Lisp
デザイン ：	ウォーリー・ファーゼイグ、シーモア・パパート、シンシア・ソロモン
開発者	ボルト、ベラネク、ニューマン
初 登場	1967年 （1967年）
タイピングの規律	動的
主な実装例
UCBロゴ、その他多数
方言
StarLogo、NetLogo、AppleLogo
影響を受けた
Lisp
影響を受けた
AgentSheets、NetLogo、Smalltalk、Etoys、Scratch、Microsoft Small Basic、KTurtle、REBOL、Boxer

Logoは、1967年にWally Feurzeig、Seymour Papert、Cynthia Solomonによって設計された教育用プログラミング言語です。^{[ 1 ]}この名前は、FeurzeigがB​​olt, Beranek and Newmanに在籍していたときに考案したもので、^{[ 2 ]}ギリシャ語のlogos（「言葉」または「思考」を意味する）に由来しています。

汎用言語であるLogoは、タートルグラフィックスの使用で広く知られています。タートルグラフィックスでは、移動や描画のコマンドによって、画面上またはタートルと呼ばれる小型ロボット上で線画やベクターグラフィックスが生成されます。この言語は、 Lispに関連するプログラミングの概念を教えるために考案され、後にPapertが「身体感覚的推論」と呼んだものを可能にするようになりました。これは、学生が自分がタートルだったらどうするかを想像することで、タートルの動きを理解し、予測し、推論できるというものです。Logoの多くの方言間にはかなりの違いがあり、Logoという名前のタートルグラフィックスプログラムが頻繁に登場するため、状況は複雑になっています。

Logoは、関数型プログラミング言語であるLispのマルチパラダイム適応版であり方言です。^{[ 3 ]}標準のLogoはありませんが、UCBLogoにはリスト、ファイル、I/O、スクリプト内の再帰を処理する機能があり、UCバークレーの講師であるブライアン・ハーベイが「Computer Science Logo Style」三部作で行ったように、すべてのコンピュータサイエンスの概念を教えるために使用できます。^{[ 4 ]}

Logoは通常、インタプリタ型言語ですが、コンパイル型のLogo方言（LhoghoやLiogoなど）も開発されています。Logoは大文字と小文字を区別しませんが、書式設定のために使用される大文字と小文字は保持します。

Logo は 1967 年にマサチューセッツ州ケンブリッジの研究会社Bolt, Beranek and Newman (BBN)でWally Feurzeig、Cynthia Solomon、Seymour Papertによって作成されました。^{[ 5 ]}その知的ルーツは人工知能、数理論理学、発達心理学にあります。Logo の研究、開発、教育の最初の 4 年間は BBN で行われました。Ghost と呼ばれる Logo の最初の実装は、PDP-1上でLISPで記述されました。目標は、子供たちが言葉や文章で遊べる数学の世界を作ることでした。^{[ 6 ]} LISP をモデルにした Logo の設計目標には、アクセスしやすいパワーと分かりやすいエラー メッセージが含まれていました。仮想タートルを使用することで、グラフィック プログラミングの即時の視覚的フィードバックとデバッグが可能になりました。

最初の動作するLogoタートルロボットは1969年に作られました。ディスプレイ用のタートルが、実際に床を歩くタートルに先立って作られました。現代のLogoは、最初のタートル以前の基本的なコンセプトからそれほど大きく変わっていません。最初のタートルは、無線制御やワイヤレスではなく、床を歩く有線式のロボットでした。BBNで、ポール・ウェクセルブラットは、タッチセンサーを備え、前進、後退、回転、ベルを鳴らすことができるアービングという名前のタートルを開発しました。Logoを1年間学校で使用した最初の例は、1968年から1969年にかけて、マサチューセッツ州レキシントンのマジー中学校でした。仮想タートルと物理タートルは、1970年から1971年にかけて、同じ都市のブリッジスクールの5年生によって初めて使用されました。

Logo の最もよく知られた機能はタートル (元々は同名のロボットに由来) です。^{[ 5 ]}画面上の「カーソル」で、移動コマンドの出力を表示し、小型の格納式ペンと組み合わせて線画を生成します。従来は三角形またはタートルのアイコンとして表示されていましたが (任意のアイコンで表現できます)、タートル グラフィックスは 1960 年代後半に Seymour Papert によって Logo 言語に追加されました。これは、Papert 版のタートル ロボットをサポートするためで、ユーザーのワークステーションから制御されるシンプルなロボットで、ロボット本体に組み込まれたり取り付けられたりした小型の格納式ペンを使用して、割り当てられた描画機能を実行するように設計されています。

実際問題として、より伝統的なモデルではなくタートルジオメトリを使用することで、タートルロボットの実際の動きのロジックを模倣することができます。タートルは自身の位置を基準としたコマンドで移動し、LEFT 90 は左に 90 度回転することを意味します。一部の Logo 実装、特に並列処理と複数のタートルの使用を許可する実装では、衝突検出をサポートし、ユーザーがタートルカーソルの外観を再定義できるようにすることで、Logo タートルをスプライトとして機能させることができます。

タートルジオメトリは、厳密に座標アドレス指定を行うグラフィックスシステムの代替として、Logo以外の環境でも使用されることがあります。例えば、タートルグラフィックスの概念は、フラクタルを生成するリンデンマイヤーシステムでも役立ちます。

Logoの現代的な派生版の中には、数千匹の独立して動くタートルを制御できるものがある。代表的な実装としては、マサチューセッツ工科大学のStarLogoと、ノースウェスタン大学コネクテッドラーニングセンター（CCL）のNetLogoが挙げられる。これらは創発現象の探索を可能にし、社会学、生物学、物理学など、さまざまな分野で多くの実験が行われている。NetLogoは、生物学や社会科学におけるエージェントベースシミュレーションで広く利用されている。

合意された標準はないものの、言語の中核的な側面については幅広い合意がある。2020年3月時点で、Logoの実装と方言は308種類あり、それぞれに独自の強みがある。^{[ 8 ]}これらの308種類のほとんどはもはや広く使われていないが、多くはまだ開発中である。学校で広く使われている商用実装には、MicroWorlds LogoやImagine Logoなどがある。

従来型および現行の実装には以下が含まれます。

1980年代に初めてリリースされた

• Logo Computer Systems, Inc. (LCSI) が開発した、 Apple II Plus用の Apple Logoと Apple IIe用の Apple Logo Writer は、1980年代前半から中頃にかけて最盛期を迎えた、Logo の初期の実装の中で最も広く普及したものでした。
• Aquarius LOGOは、1982年にマテル社から家庭用コンピュータ「アクエリアス」向けにカートリッジ版として発売された。
• LCSIが開発したAtari Logoは、1983年にAtari社からAtari 8ビットコンピュータ向けにカートリッジ版として発売された。
• Color Logoは、1983年にTandy社からTRS-80カラーコンピュータ向けにカートリッジ（26-2722）とディスク（26-2721）で発売されました。
• Commodore Logo は、 Commodore Internationalから「学習のための言語」という副題でリリースされました。これは MIT Logo をベースに Terrapin, Inc. によって強化されました。Commodore 64版 (C64105) は 1983 年にフロッピーディスクでリリースされ、Plus/4版 (T263001) は 1984 年にカートリッジでリリースされました。^{[ 9 ] [ 10 ]}
• SmartLOGOは、1984年にColeco社からADAMホームコンピュータ向けにカセットテープで発売された。LCSI社が開発し、Seymour Papertによる入門書「Turtle Talk」が付属していた。
• ExperLogoは、1985年にExpertelligence Inc.によってMacintosh 128K向けにフロッピーディスクでリリースされました。
• Hot-Logoは、1980年代半ばにEPCOM社からMSX 8ビットコンピュータ向けに発売され、ブラジルポルトガル語の独自のコマンドセットを備えていた。
• TI Logo（TI-99/4Aコンピュータ用）は小学校で使用され、初心者プログラマーにコンピュータの基礎を教える上でLogoが有用であることが強調された。
• 同じくLogo Computer Systems Inc.が開発したSprite Logoは、10個のタートルが独立したプロセスとして動作するものでした。Apple IIコンピュータ上で動作し、コンピュータのスロットに挿入されたSprite Cardを使用していました。
• IBMは、当時新発売だったIBM PC向けに、Logo Computer Systems, Inc.（LCSI）と共同開発した独自のLogoバージョン（製品番号6024076）を販売した。
• ObjectLOGO は、オブジェクト指向プログラミング拡張機能とレキシカルスコープを備えた Logo の派生版です。バージョン 2.7 は Digitool, Inc. によって販売されました。^{[ 11 ]} 現在では開発やサポートは終了しており、Mac OS 7.5 以降のバージョンでは動作しません。^{[ 12 ]}
• Dr. LogoはDigital Researchによって開発され、 IBM PCjr ^{[ 13 ]}、Atari ST、Amstrad CPC ^{[ 14 ] [ 15 ] [ 16 ]}などのコンピュータとともに配布されました。
• Acornsoft Logoは1985年にリリースされました。これは8ビットのBBC MicroおよびAcorn Electronコンピュータ向けのLogoの商用実装です。^{[ 17 ]}これはAcorn Computers向けにLogoの完全な実装として開発されました。複数のスクリーンタートルと4チャンネルサウンドを備えています。ユーティリティとドライバが付属ソフトウェアとして、2つの16kB ROMで提供されました。^{[ 18 ]}
• レゴロゴは、コンピュータに接続されたロボットのレゴブロックを操作できるロゴのバージョンです。 ^{[ 19 ]}これはApple IIに実装され、1980年代後半から1990年代前半にかけてアメリカやその他の小学校で使用されました。^{[ 20 ]}レゴロゴはScratchの前身です。^{[ 21 ]}

1990年代に初めてリリースされた

• 1990年2月、Electron User誌は「Talking Turtle」という記事で、Acorn Electron用のLogoのシンプルな実装をTimothy Grantham氏によって掲載した。 ^{[ 22 ]}
• コメニウスロゴは、コメニウス大学数学物理学部が開発したロゴの実装です。1991年12月に開発が開始され、他の国ではスーパーロゴ、マルチロゴ、メガロゴとしても知られています。^{[ 23 ]}
• UCBLogo（Berkeley Logoとも呼ばれる）は、2009年に最後にリリースされた標準Logoの無料クロスプラットフォーム実装です。MITのGeorge Millsは、UCBLogoをベースに、より洗練された無料のMSWLogoを開発しました。Jim Mullerは、完全なLogoマニュアルである「The Great Logo Adventure 」という本を執筆し、デモ言語としてMSWLogoを使用しました。^{[ 24 ]} MSWLogoはFMSLogoへと進化しました。

2000年以降に初めてリリースされました

• aUCBLogoはUCBLogoの書き直しと機能強化版です。
• Imagine Logoは、2000年に実装されたComenius Logoの後継です。^{[ 25 ]}英語版は、2001年にLogotron Ltd.によってリリースされました。^{[ 26 ]}
• LibreLogoは、LibreOfficeの一部のバージョン向けの拡張機能です。2012年にリリースされ、Pythonで記述されています。LibreLogoを使用すると、Writerでベクターグラフィックを作成できます。
• Logo3Dは、Logoの3次元バージョンです。
• POOLは、オブジェクト指向拡張機能を備えたLogoの方言であり、2014年に実装されました。POOLプログラムは、Microsoft Windows上のグラフィカルIDEでコンパイルおよび実行されます。.NET Frameworkをサポートするシステム向けには、簡素化されたクロスプラットフォーム環境が利用可能です。
• QLogoは、 UCBLogoをほぼ完全にUCB互換で書き直したオープンソースかつクロスプラットフォームのソフトウェアで、ハードウェアアクセラレーションによるグラフィックスを使用しています。
• Lynxは、Logo Computer Systems Inc.が開発したLogoのオンライン版です。多数のタートルを実行でき、アニメーション、並列処理、カラー表示、衝突検出をサポートしています。
• LogoMorは、JavaScriptとp5.jsをベースにしたオープンソースのオンライン3Dロゴインタープリタです。3D描画、アニメーション、マルチメディア、3Dモデル、および様々なツールをサポートしています。また、CodeMirrorをベースにした高機能なコードエディタも搭載しています。
• LbyMは、JavaScriptをベースとしたオープンソースのオンラインLogoインタープリタで、ソノマ州立大学のLearning by Makingプログラムのために作成され、現在も活発に開発されています（2021年時点）。^{[ 27 ]}従来のLogoプログラミング、カスタマイズされたマイクロコントローラとの接続、最新のコードエディタとの統合が特徴です。
• Logo プログラミング言語用のさまざまなVisual Studio Code拡張機能が VS Code Marketplace で入手可能で、サポート内容は様々です (構文ハイライト、コード補完、統合インタープリタ、ライブ タートル グラフィックス プレビュー付きデバッガ)。^{[ 28 ] [ 29 ]}

Logo はSmalltalkプログラミング言語に大きな影響を与えました。また、基本的にSqueak (それ自体が Smalltalk の派生言語)で書かれた Logo の派生言語であるEtoys教育用プログラミング環境および言語にも大きな影響を与えています。Logo はAgentSheetsおよびAgentCubesのプロシージャ / メソッド モデルに影響を与え、 Logo のタートルの概念に似たエージェントをプログラミングできるようにしました。Logo は Boxer の基盤となる言語を提供しました。Boxer はカリフォルニア大学バークレー校と MITで開発され、非技術者でも使いやすくするためにリテラシー モデルに基づいています。^{[ 30 ]}

KTurtleはLogoをベースに、 KDE環境向けにQtで実装されたLogoの派生版である。^{[ 31 ]}

Logoの影響を受けたもう2つの例として、Scalaの派生言語であるKojoと、Webブラウザ上で動作するビジュアルなドラッグ＆ドロップ言語であるScratchが挙げられる。

• Wikimedia CommonsにあるLogo（プログラミング言語）関連のメディア
• Wikibooksでのロゴプログラミング