世界大百科事典(旧版)内のOBJの言及
【プログラミング言語】より
…これを抽象データ型の実装と呼ぶ。 言語によっては代数的仕様記述などの考えに基づき,抽象データ型の値の振舞いを形式的に記述し検証などに役立てることを試みているものもある(Larch,OBJ,IOTAなど)。しかし多くの言語では型の仕様として単にメソッドのシグニチャー情報のみを扱う。…
※「OBJ」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
…これを抽象データ型の実装と呼ぶ。 言語によっては代数的仕様記述などの考えに基づき,抽象データ型の値の振舞いを形式的に記述し検証などに役立てることを試みているものもある(Larch,OBJ,IOTAなど)。しかし多くの言語では型の仕様として単にメソッドのシグニチャー情報のみを扱う。…
※「OBJ」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
《陸游「九月四日鶏未鳴起作」から。晴れ渡った空に突然起こる雷の意》急に起きる変動・大事件。また、突然うけた衝撃。[補説]「晴天の霹靂」と書くのは誤り。[類語]突発的・発作的・反射的・突然・ひょっこり・...
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新
1/12 日本大百科全書(ニッポニカ)を更新
12/11 日本大百科全書(ニッポニカ)を更新
11/10 日本大百科全書(ニッポニカ)を更新