タグ

computer-scienceとobject-oriented-programmingに関するnabinnoのブックマーク (3)

  • 米澤明憲 - Wikipedia

    米澤 明憲(よねざわ あきのり、1947年6月 - )は、日の計算機科学者。東京大学名誉教授[1]。千葉工業大学人工知能・ソフトウェア技術研究センターシニアフェロー[2]。日学術会議元会員[3]。専門はオブジェクト指向プログラミング言語、分散コンピューティング、情報セキュリティ[4]。「並列オブジェクト」概念・モデルの先駆者として国際的に知られている[5]。マサチューセッツ工科大学 (MIT)Ph.D.[6]。 略歴[編集] 1966年麻布高等学校卒業。1970年東京大学工学部計数工学科卒。1977年、マサチューセッツ工科大学計算機科学科博士課程修了Ph.D. in Computer Science。学位論文は"Specification and verification techniques for parallel programs based on message passing

    米澤明憲 - Wikipedia
  • 抽象データ型 - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2022年5月) 抽象データ型(ちゅうしょうデータがた、英: abstract data type、ADT)とは、データ構造とその操作手続きを定義したデータ型、またはデータ抽象[注釈 1]の方法の1つ。通常のデータ型であれば変数宣言で変数に束縛されるものは値であるが、抽象データ型の世界において値に相当するものはデータ構造とその操作[注釈 2]のまとまり[注釈 3]である。 抽象データ型を用いない場合、データ構造またはデータの操作手続きのアルゴリズムの変更を行うとソースコード中にその変更部分が散在してしまい規模によっては修正困難となるが、データとその操作がひとまとめに記載されることになる抽象データ型においては、型の定義における実装部分を変更するだけで修正が完了す

  • インスタンス - Wikipedia

    この記事の正確性に疑問が呈されています。問題箇所に信頼できる情報源を示して、記事の改善にご協力ください。議論はノートを参照してください。(2011年6月) 疑問点:オブジェクト指向以外の計算機科学におけるインスタンスの説明及び関連性について触れられていません 計算機科学でのインスタンス(instance)とは実体のことをいう。instanceは英語で「実例」を意味する。 オブジェクト指向におけるインスタンス[編集] オブジェクト指向言語においては、多くの場合クラスと呼ばれるものを元に作成したオブジェクトの実体を指す。データモデルやオブジェクト指向設計においても用いられる用語である。 インスタンスを生成するプロセスをインスタンス化 (instantiation、動詞形instantiate)という。 概要[編集] オブジェクト指向において、クラスあるいは型はオブジェクトの分類(分類概念)や集

  • 1