Unifying Theories of Programming

ウィキペディア

プログラミングの統一理論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 00:45 UTC 版)

プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論、操作的意味論および代数的意味論（公理的意味論の一種）がプログラムやコンピュータシステムの形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。

このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。

Weblio日本語例文用例辞書

「Unifying Theories of Programming」の例文・使い方・用例・文例

• Microsoftがβ版をランチするのは「NetShow streaming server」で動画や音声をオンデマンドで提供する。
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 an admiral of the fleet 海軍元帥.
• 篏入的 r 音 《英音の India office /ndiərfɪs/の /r/の音》.
• ＝《口語》 These kind of stamps are rare. この種の[こういう]切手は珍しい.
• (英国の)運輸省. the Ministry of Education(, Science and Culture) (日本の)文部省.
• は of の誤植です.
• を off と誤植する.
• あいまい母音 《about, sofa などの /ə/》.
• 副詞的小詞 《on, in, out, over, off など》.
• 迂言的属格 《語尾変化によらず前置詞によって示す属格; たとえば Caesar's の代わりの of Caesar など》.
• çon of garlic [humor]. それにはガーリック[ユーモア]がちょっぴり必要だ.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Speaker of the House of Commons 下院議長.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Committee of Ways and Means 歳入委員会.
• 初めて読んだ英文小説は“The Vicar of Wakefield”
• （違法罪―a sin of commission―に対する）怠惰罪
• 『each』、『every』、『either』、『neither』、『none』が分配的、つまり集団の中の1つのものを指すのに対し、『which of the men』の『which』は分離的である
• 『hot off the press（最新情報）』は『hot（最新の）』の拡張感覚を示している
• 『Each made a list of the books that had influenced him』における制限節は、リストに載った本を制限節で定義された特定の本だけに制限する
• 臨床的鬱病を治療するのに用いられる三環系抗鬱薬（商品名ImavateとTofranil）
• 『sunshine-roof』は『sunroof（サンルーフ）』に対する英国の用語である