|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ プログラミング ： [ぷろぐらみんぐ] 【名詞】 1. programming 2. programing, (n) programming/programing ・ 統一 ： [とういつ] 1. (n,vs) unity 2. consolidation 3. uniformity 4. unification 5. compatible ・ 一 ： [いち] 1. (num) one ・ 一理 ： [いちり] 【名詞】 1. (a) principle 2. (a) reason ・ 理 ： [り] 【名詞】 1. reason ・ 理論 ： [りろん] 【名詞】 1. theory ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
''プログラミングの統一理論'' () は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。 このタイトルの書籍は、アントニー・ホーアおよび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）』 ■ウィキペディアで「プログラミングの統一理論」の詳細全文を読む スポンサード リンク
|