Oberon









曖昧さ回避
 この項目では、オペレーティングシステムとプログラム言語について説明しています。その他の用法については「オベロン」をご覧ください。


Oberon（オベロン）は、チューリッヒ工科大学のニクラウス・ヴィルト率いるチームが設計開発したオペレーティングシステムとプログラミング言語の名称。天王星の衛星オベロンに由来する[1]。




目次






  • 1 Oberon オペレーティングシステム


    • 1.1 歴史


    • 1.2 ユーザインタフェース


    • 1.3 バージョン


    • 1.4 Native Oberon




  • 2 Oberon プログラミング言語


    • 2.1 設計目標


    • 2.2 特徴


      • 2.2.1 Visibility Flag


      • 2.2.2 参照渡しと値渡し




    • 2.3 実装と派生


      • 2.3.1 Oberon


      • 2.3.2 Oberon-2


      • 2.3.3 Oberon-07


      • 2.3.4 Active Oberon


      • 2.3.5 関連言語






  • 3 脚注


  • 4 外部リンク


    • 4.1 OS


    • 4.2 言語


    • 4.3 言語の変遷







Oberon オペレーティングシステム












































Oberon

OberonScreen.PNG
Oberonのタイル型ウィンドウ表示

開発者
ニクラウス・ヴィルト、Jürg Gutknecht
プログラミング言語
Oberon
ソースモデル
FLOSS
初リリース
1985年 [2]
使用できる言語
英語
対応プラットフォーム
NS32032、その他
既定のユーザインタフェース
テキストユーザインタフェース
ライセンス
ETH Oberon License
ウェブサイト
www.oberon.ethz.ch
テンプレートを表示

オペレーティングシステムとしてのOberonは1980年代後半、チューリッヒ工科大学で同名の言語を使って開発された。独自のテキストベースのユーザインタフェースでコマンドを起動する。



歴史


NS32032ベースのCeres（英語版）ワークステーションプロジェクトの一部として開発された。同名のプログラミング言語で記述されている[3]。基本システムはニクラウス・ヴィルトと Jürg Gutknecht が設計・実装し、その全貌が彼らの著書 "Project Oberon" で詳述されている[1]。その後、チューリッヒ工科大学のチームにより他のハードウェアにも移植され、雑誌などにも紹介されている[4][5][6][7][8]。



ユーザインタフェース


Oberonのユーザインタフェースはテキストユーザインタフェース (TUI) だった。GUIの便利さとCUIの記述能力を兼ね備えており、Oberon 言語の命名規則と密接に関連している。画面に表示されるあらゆるテキストを編集可能で、それをコマンド入力に使うことができる。コマンドプロンプトのようなものは必要とされない。一般的なCUIとは大幅に異なるが、そのTUIは非常に効率的で強力である[9]。ただし、慣れるまで時間がかかる。その使用法とプログラミングについては Martin Reiser の著書 "The Oberon System" が詳しい[10]。この方式は後のオペレーティングシステムに影響を与えたとは言えないが、ロブ・パイクのAcme (Plan 9) に強い影響を与えた。Macintosh Programmer's Workshop のインタフェースと似ているが、Oberonはヴィルトの以前のプロジェクトであるLilithに基づいており、MacintoshとLilithはどちらも Alto に触発されたものだという経緯がある。



バージョン


Oberon OS は、一般に無料でいくつかのプラットフォーム上で動作する。非常に小型である。Oberon 言語コンパイラ、各種ユーティリティ、ウェブブラウザ、TCP/IPネットワーク、GUIなど全てのパッケージを入れても 3.5インチフロッピーディスク1枚に納まる。IBM PC互換機で動作するバージョンを Native Oberon と呼ぶ。


ヴィルトの開発したオリジナルに近いバージョンとして Oberon V4 がある。これもチューリッヒ工科大学で開発されたが、最新版はリンツ大学にある。ただし、2000年以降開発が停止している。


チューリッヒ工科大学は近年、動的オブジェクトとOSの並行性の研究に注力しており、新たな Active Object Oberon という言語とそれを使ったOSをリリースした。そのOSは当初 AOS と呼ばれていたが、現在は A2 または Bluebottle と呼称されている。チューリッヒ工科大学のサイトでは大部分のソースと共にこれを公開している。現在のバージョンではIA-32のデュアルプロセッサまでと、StrongARMファミリをサポートしている。


チューリッヒ工科大学の Native Systems Group では、Oberon をベースとした用途限定のOSである stailaOS を開発した[11]。これは、リアルタイム解析、高速商取引システム、主記憶のみで動作するERPシステムなどが用途とされている。



Native Oberon


Native Oberon はx86ベースのPC上で動作するOberonである。ハードウェアに対する要求仕様が小さい（Pentium 133MHz、ハードディスクは100MB、表示は1024×768ピクセル、オプションでスリーコム製ネットワークカード）。フロッピーディスク1枚で基本システムを動作させることが可能で、追加のソフトウェアはネットワーク経由でインストールできる。Native Oberon もシステム全体がOberon言語で書かれている。



Oberon プログラミング言語
































Oberon

OberonLogo.svg
Oberonのロゴ

パラダイム
命令型、構造化、モジュラー
登場時期
1986年
設計者
ニクラウス・ヴィルト
型付け
強い静的型付け
影響を受けた言語
Modula-2
影響を与えた言語
Oberon-2, Oberon-07, Zonnon, Go
テンプレートを表示

プログラミング言語のOberonは、PascalやModula-2を生み出したニクラウス・ヴィルトがチューリッヒ工科大学のチームと共に1986年に開発した。OSのOberonの開発の一環として開発されたもので、Modula-2をシステム実装言語として使用しようとしたとき安全な型拡張機能がないことから新たに設計された。当初から教育目的で言語処理系とOSの詳細を書籍の形で出版する計画だった。そのため新言語は必要な基本機能のみを備えた設計になった。


文法はModula-2によく似ているが、かなり小さくなっている[12][13]。その単純さから、コンパイラの生成するコードも小さく効率的である。言語仕様はEBNF1ページほどで記述できる。コンパイラも4000行ほどで記述されていた。Modula-2との大きな違いとしてガベージコレクションを備えている。


Oberonと後継のOberon-2は様々なOS上に移植されており、Javaプラットフォーム上でも動作する。OberonのソースコードからJavaのソースコードを生成する方式とJava-VM向けバイトコードを生成する方式がある。



設計目標


Oberon は安全性を指向した言語である。配列境界チェック、ガベージコレクション、強い型チェックなどの機能がある。これらはロジックのバグを早期に発見することを目的としており、プログラム実行時に顕在するバグの数を劇的に減少させる。しかし、他の言語がバグ削減を目的として採用している機能が実装されていない（例えば、enum型、プログラマ指定の整数範囲型）。結果として数式的部分に関してはプログラマが注意しなければならない。



特徴


Oberon はコードの不透明性をなくし、機能を限定して機能の誤用を防ぐことでミスを減らそうとした。この考え方は APL と共通するものがあるが、Oberon は簡略化しすぎて可読性を損なうことがないよう意図して設計された。


成功かどうかを定量的に測るのは難しいが、Oberon が当初の目標を達成したかどうかについては異論もある。Ada 設計者の1人 Jean Ichbiah は Oberon の簡略化の方針に異議を唱えた。これは、ヴィルトが Ada を「大きすぎる」と非難したことに応えたもので、彼は「ヴィルトは大きな問題への小さな解決策が存在すると考えている。私はそのような奇跡は信じない。大きな問題には大きな解決策しかない!」と言った。Oberon の開発者たちは、そういう意味では Oberon は行き過ぎていたと考え、Oberon-2 では FOR文の文法を差し戻した（初期の Oberon には WHILE文があれば十分と考え削除されていた）。


機能を省くことでプログラマが「車輪の再発明」のように機能を再実装しなければならなくなるという議論もある。ライブラリはそのような問題を多少なりとも和らげる。Javaは（Oberonほどではないが）単純な言語と大きな標準ライブラリの実例である（なお、Oberon の標準ライブラリは Java のものより小さい）。ある言語を習得するということは、その言語の標準ライブラリについても学ぶことであり、Ichbiah の上述の反論は、機能を標準ライブラリに移動させることによる単純化戦略にも拡大して当てはめることができる。ヴィルトや Oberon のファンは、Oberon が基本的かつ効果的にこの問題を防いでいるとしている。



  • Pascal風だが、より一貫した文法

  • 強力な型チェックと型拡張

  • 型チェックインタフェース付きモジュールと分割コンパイル

  • 全数値型間での互換性（式内で混用可能）

  • 文字列操作

  • システムプログラミングをサポート



Visibility Flag


グローバル変数、型、定数、プロシージャはデフォルトでは宣言しているモジュール内でのみ可視である。Visibility Flag をつけることで他のモジュールからも見えるようにできる。Visibility Flag とは例えばリードライト許可の場合アスタリスク(*)である。フラグをうっかり忘れた場合の安全を考慮してデフォルトが選ばれている。


ローカル変数、型、定数、プロシージャは常に宣言しているプロシージャ内でのみ可視である。



参照渡しと値渡し


プロシージャの引数に関して2つのモードが可能である。値渡し（Call by value）では引数に式を使用でき、式を評価した結果の値がプロシージャに渡される。参照渡し（Call by reference）では変数を渡すことだけが許されるので、その変数の値はプロシージャ内で変更される可能性がある。参照渡しにする場合、プロシージャの定義で引数に VAR という予約語を付与する。



実装と派生



Oberon


OberonはOSとともにチューリッヒ工科大学などで公開されている。



Oberon-2


詳細は「Oberon-2」を参照

1991年に一部改訂を行い、オブジェクト指向を取り入れFOR文を復活させたものがOberon-2であり、現在最も一般的実装となっている。Native Oberon と呼ばれるOSを含めた実装はPC上で動作する。.NET向けに若干の拡張を加えたバージョンもチューリッヒ工科大学で開発されている。


チューリッヒ工科大学が保守しているOberon-2コンパイラとしては、Windows版、Linux版、OS X 版がある。他にもAtari TOS（英語版）やAmigaOSといった各種OSで動作するバージョンがある。


イギリスのマンチェスター大学の Stephen J Bevan は、LexとYaccでヴィルトらの仕様に基づいたOberon-2の字句解析器と構文解析器を作成した。最新バージョンは1.4である。



Oberon-07


ヴィルトが2007年に定義したのがOberon-07である。Oberon-2ではなく本来のOberonに基づいており、2011年に仕様が改訂されている。主な変更点は、数値型の明示的変換関数（FLOOR、FLTなど）を必ず使うようにした点、LOOP文とEXIT文を排除した点、WHILE文が拡張された点、RETURN文が関数の最後にのみ存在するようにした点、インポートされた変数や構造のある引数がリードオンリーとなった点、配列をCOPY文を使わずに代入できるようになった点などである[14]。


コンパイラの実装としては、32ビットWindows版 Oberon-07M[15]、32ビットARM版、Cortex-M3マイクロコントローラ版、ヴィルトが設計したRISCプロセッサを Xilinx FPGA Spartan-3 ボードに実装したもので動作する版がある。



Active Oberon


Active Oberon（英語版） はOberonの別の拡張版で、オブジェクト指向を取り入れ（オブジェクト単位のアクセス制限など）、表明、プリエンプティブな優先度付きスケジューリング、メソッドの文法の若干の変更などがなされている。オブジェクトはスレッドまたはプロセスとして機能させることもできる。対応するOSはA2またはBluebottleと呼ばれる。



関連言語


Oberon系統の言語開発は継続している。Oberon-2をさらに発展させたのが Component Pascal で、チューリッヒ工科大学からスピンオフしたオベロン・マイクロシステムズやクイーンズランド工科大学がサポートしている。他にも特定分野向けにOberonの精神を受け継いだ言語として、LagoonaやObliqがある。


チューリッヒ工科大学にて、.NET環境向けに Zonnon という新言語が開発されている。Oberonの特徴を引き継ぎつつ、Pascalから一部機能を復活させたものだが、文法は異なる。動的オブジェクト、演算子オーバーロード、例外処理などの機能が追加されている。.NET向けに Microsoft Visual Studio のプラグインとして処理系を使用することができる。


Oberon-Vは数値解析向けにOberonを拡張した言語で、特にベクタープロセッサやパイプラインアーキテクチャのスーパーコンピュータでの利用を意図している。元々は小セネカにちなみ Seneca と呼ばれていた[16]。



脚注




  1. ^ abN. Wirth and J. Gutknecht: Project Oberon - The Design of an Operating System and Compiler Addison-Wesley/ACM Press (1992) ISBN 0-201-54428-8. Out of print.Electronic Reprint.


  2. ^ ETH Zürich - Oberon page


  3. ^ M. Reiser and N. Wirth: Programming in Oberon Addison-Wesley/ACM Press (1992) ISBN 0-201-56543-9


  4. ^ R. Gerike, Wider den Schnickschnack. Oberon System, Teil 1: Anwendersicht. c't 1994 (2) p. 180, Teil 2: Technische Einblicke. c't 1994 (3), p. 240 (German language).


  5. ^ Oberon System 3, Dr. Dobb's Journal, October 1994, pages 42-50


  6. ^ D. Pountain, Oberon: A Glimpse at the Future, BYTE 15(2), 385-392, Nov. 1990.


  7. ^ D. Pountain, The Oberon/F System, BYTE 20(1), Jan. 1995.


  8. ^ T. Börner, Betriebssysteme: Native Oberon für den PC, CHIP 1999, March, p. 131ff (German language).


  9. ^ Franz, Michael (2000). “Oberon - The Oberlooked Jewel”. In Böszörmény, Lászlo; Gutknecht, Jürg; Pomberger, Gustav. The School Niklaus Wirth - The Art of Simplicity. Morgan Kaufmann Publishers. pp. 41–53. ISBN 1-55860-723-4. 


  10. ^ Reiser, Martin: "The Oberon System - User Guide and Programmer's Manual" - Out-of-print - Addison-Wesley/ACM Press (1991) ISBN 0-201-54422-9


  11. ^ stailaOS(ETHZ) Project Page


  12. ^ Warren Keuffel, Whither Modula-2?, Computer Language 27-33, Dec. 1989


  13. ^ Dick Pountain, Modula's Children Part II: Oberon, BYTE 135-142, March 1991


  14. ^ 詳細についてはThe Programming Language Oberon-07 を参照


  15. ^ Oberon-07 language revision 2008


  16. ^ "Seneca - A Language for Numerical Applications on Vectorcomputers", Proc CONPAR 90 - VAPP IV Conf. R. Griesemer, Diss Nr. 10277, ETH Zurich.




外部リンク



OS



  • The ETH Oberon Homepage


  • Native Oberon Home Page at ETHZ (Archived page)

  • Genealogy and History of The Oberon System

  • Oberon Community Platform - Wiki & Forum


  • BlueBottle/Aos/A2 An evolution of Native Oberon with support for Multiprocessor systems with Active Objects (kind of threads running on separate processors, if available) and a Zooming User Interface

  • Native Oberon Home Page

  • Native Oberon Hardware Compatibility

  • Notes and bug repairs for ETH Native Oberon


  • Lukas Mathis' Blog about Oberon Oberonとユーザインタフェースの歴史



言語



  • Niklaus Wirth's Oberon page at ETH-Zürich

  • Oberon Language Genealogy

  • Oberon Web Ring

  • Oberon at SSW, Linz

  • Linux Native Oberon related section

  • Astrobe - ARM Oberon-07 Development System


  • Oberon System V4 for HP OpenVMS Alpha with source code upward-compatible 64 bit addressing

  • 64 bit Oberon-2 compiler for HP OpenVMS Alpha



言語の変遷



  • "The Programming Language Oberon" Wirth, (1988/90)

  • "The Programming Language Oberon-2" H. Mössenböck, N. Wirth, Institut für Computersysteme, ETH Zürich, January 1992

  • "What's New in Component Pascal" (Changes from Oberon-2 to CP), Pfister (2001)

  • "Differences between Oberon-07 and Oberon" Wirth (2007)

  • "The Programming Language Oberon-07 (Revised Oberon)" Wirth, 2007/11 (Most current language report)




-

Popular posts from this blog

サソリ

Image
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。 （ 2019年1月 ） 「 サソリ 」のその他の用法については「サソリ (曖昧さ回避)」をご覧ください。 「 スコーピオン 」と「 スコルピオン 」はこの項目へ転送されています。その他の用法については「スコーピオン」をご覧ください。 サソリ目 生息年代: 430–0 Ma PreЄ Є O S D C P T J K Pg N シルル紀前期-現世 ダイオウサソリ（ Pandinus Imperator ） 分類 界 : 動物界 Animalia 門 : 節足動物門 Arthropoda 亜門 : 鋏角亜門 Chelicerata 綱 : クモガタ綱 Arachnida 目 : サソリ目 Scorpiones 学名 Scorpiones C. L. Koch, 1837 英名 Scorpion 上科 Pseudochactoidea キョクトウサソリ上科 Buthoidea Chaeriloidea Chactoidea Iuroidea Scorpionoidea サソリ （ サソリ類 、 蠍 、 蝎 、 scorpion ）は、鋏角亜門・クモガタ綱の サソリ目 （ Scorpiones ）に属する節足動物の総称である。体の前端に鋏型の触肢、後端に毒針を有する捕食者である。 1700種以上を含め、最古の化石記録は4億3千万年前のシルル紀まで遡る。有毒生物として広く知られるが、人間の命にかかわる毒を持つものはごく一部の種類に過ぎない。 目次 1 形態 1.1 前体 1.2 後体 1.2.1 中体 1.2.2 終体 2 雌雄 3 生態 3.1 天敵 3.2 生殖 4 分布 5 毒 6 蛍光現象 7 分類
Read more

広島県道265号伴広島線

Image
一般県道 広島県道265号伴広島線 路線延長 km 起点 広島県広島市安佐南区伴東7丁目 終点 広島県広島市中区榎町 接続する 主な道路 （記法） 広島県道38号広島豊平線 広島県道71号広島湯来線 山陽自動車道五日市IC 国道183号（ 国道261号重複） ■テンプレート（■ノート ■使い方） ■PJ道路 広島県道265号伴広島線 （ひろしまけんどう265ごう ともひろしません）は広島県広島市安佐南区から広島県広島市中区を結ぶ一般県道である。 目次 1 路線データ 2 通過する自治体 3 見どころ 4 接続道路 4.1 本線 4.2 旧道 5 別名 6 関連項目 路線データ 本線 起点：広島市安佐南区伴東7丁目・大原下橋南詰交差点（広島県道38号広島豊平線（本線・旧道）交点） 終点：広島市中区榎町・十日市交差点（国道183号（国道261号重用）交点） 総延長： 旧道 起点：広島市安佐南区伴東4丁目・新細坂交差点（広島県道38号広島豊平線交点） 終点：広島市安佐南区伴中央4丁目・寺組橋(南)交差点（広島県道265号伴広島線（本線）交点） 総延長： 通過する自治体 広島県 広島市（安佐南区、佐伯区、西区、中区） 見どころ 広島高速交通広島新交通1号線（アストラムライン） 広島広域公園 広島広域公園陸上競技場（広島ビッグアーチ） 己斐峠 己斐橋（太田川放水路） 天満橋（天満川） 接続道路 本線 広島県道38号広島豊平線（本線・旧道）（広島市安佐南区伴東7丁目・大原下橋南詰交差点〔起点〕） 広島県道71号広島湯来線（本線）（広島市安佐南区伴中央2丁目・伴交番入口交差点 - 広島市安佐南区伴中央4丁目・寺組橋(南)交差点間で重用） 広島県道71号広島湯来線（旧道）（広島県道265号伴広島線（旧道）重用）（広島市安佐南区伴中央4丁目・寺組橋(南)交差点） 広島県道71号広島湯来線（広島市安佐南区伴中央4丁目・寺組橋(南)交差点 - 広島市佐伯区五日市町石内・五月が丘(南)交差点間で重用）
Read more

Setup Asymptote in Texstudio

Image
0 Good time of the day! I am trying to compile the following file: documentclass[12pt]{article} usepackage[inline]{asymptote} begin{document} Here is a venn diagram produced with Asymptote, drawn to width 4cm: defA{A} defB{V{B}} begin{figure} begin{center} begin{asy} size(4cm,0); pen colour1=red; pen colour2=green; pair z0=(0,0); pair z1=(-1,0); pair z2=(1,0); real r=1.5; path c1=circle(z1,r); path c2=circle(z2,r); fill(c1,colour1); fill(c2,colour2); picture intersection=new picture; fill(intersection,c1,colour1+colour2); clip(intersection,c2); add(intersection); draw(c1); draw(c2); //draw("$A$",box,z1)
Read more