エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 12 月 6 日 1 オブジェクト計算
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 12 月 6 日 1 オブジェクト計算
ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報... ソフトウェア基礎論配布資料 (6) オブジェクト計算: Featherweight Java 五十嵐 淳 京都大学 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp 平成 17 年 12 月 6 日 1 オブジェクト計算—概要 λ 計算が関数の概念を中心に備えた計算体系であり,Lisp, Scheme, ML などの関数型プ ログラミング言語の中核部分のモデルであるのと同様に,オブジェクト計算は (Smalltalk, Java, C++ などオブジェクト指向言語における) オブジェクトの概念をモデル化した計算体 系である.オブジェクト計算には Abadi と Cardelli による ς 計算などがあるが,ここでは, オブジェクトだけでなくクラスもモデル化しており,実際の言語により近い,Featherweight Java (FJ