翻訳と辞書 Words near each other ・ プログラマブル・コントローラ ・ プログラマブル・ファンクションキー ・ プログラマブル表示器 ・ プログラマー ・ プログラマーの一覧 ・ プログラマーの日 ・ プログラマー板 ・ プログラミン ・ プログラミング ・ プログラミング (コンピュータ) ・ プログラミングの統一理論 ・ プログラミングツール ・ プログラミングパラダイム ・ プログラミングモデル ・ プログラミング作法 ・ プログラミング生放送 ・ プログラミング用語 (分野別) ・ プログラミング用語一覧 ・ プログラミング自由連盟 ・ プログラミング言語 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク プログラミングの統一理論 ： ウィキペディア日本語版 プログラミングの統一理論[ぷろぐらみんぐのとういつりろん] ''プログラミングの統一理論'' () は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された〔C.A.R. Hoare and He Jifeng, ''Unifying Theories of Programming'', Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.〕。'プログラミングの統一理論'' () は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された〔C.A.R. Hoare and He Jifeng, ''Unifying Theories of Programming'', Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.〕。' () は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された〔C.A.R. Hoare and He Jifeng, ''Unifying Theories of Programming'', Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.〕。 == 脚注 == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「プログラミングの統一理論」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.