ウィリアム・ホーアとは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ ウィリアム・ホーア

ウィリアム・ホーア

ウィリアム・ホーア（William Hoare of Bath RA、1707年頃 – 1792年12月12日）はイギリスの肖像画家、版画家である。1740年頃から1759年の間、イングランド、サマセットの観光地、バースで働き、人気のある肖像画家になった。サフォークのアイ(Eye)で生まれた。オ

Từ điển Nhật - Nhật

Các từ liên quan tới ウィリアム・ホーア

アントニー・ホーア

が、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。イギリス領セイロンのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて西洋古典学の学士号を取得。

ホーア論理

事前条件（precondition） P が成り立つときに、プログラム S を実行して、それが停止した場合においては必ず事後条件（postcondition） Q が成り立つならば、プログラム S は、事前条件 P と事後条件 Q とに関して部分的に正当（partially

ウィリアム・メレル・ヴォーリズ

ウィリアム・メレル・ヴォーリズ（William Merrell Vories、一柳米来留〈ひとつやなぎめれる〉、1880年10月28日 - 1964年（昭和39年）5月7日）は、アメリカ合衆国（米国）に生まれ、日本で数多くの西洋建築を手懸けた建築家、社会事業家、キリスト教の信徒伝道者。

ウィリアム1世 (イングランド王)

ウィリアム1世（ウィリアム1せい、William I、古ノルマン語: Williame I、古英語: Willelm I、1027年 - 1087年9月9日）は、ノルマン朝の初代イングランド王（在位: 1066年 - 1087年）。現代のイギリスではウィリアム征服王（ウィリアムせいふくおう、William