チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。

Property Value
dbo:abstract
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
dbo:birthDate
  • 1934-01-11 (xsd:date)
dbo:depictionDescription
  • EPFLでのカンファレンスにて(2011年6月20日) (ja)
  • EPFLでのカンファレンスにて(2011年6月20日) (ja)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12765 (xsd:integer)
dbo:wikiPageLength
  • 11164 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90360558 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:almaMater
prop-ja:birthDate
  • 1934-01-11 (xsd:date)
prop-ja:birthPlace
  • コロンボ (ja)
  • コロンボ (ja)
prop-ja:caption
  • 0001-06-20 (xsd:gMonthDay)
prop-ja:field
prop-ja:knownFor
prop-ja:name
  • チャールズ・アントニー・リチャード・ホーア (ja)
  • チャールズ・アントニー・リチャード・ホーア (ja)
prop-ja:prizes
prop-ja:residence
  • ケンブリッジ (ja)
  • ケンブリッジ (ja)
prop-ja:wikiPageUsesTemplate
prop-ja:workInstitution
dct:subject
rdf:type
rdfs:comment
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
  • チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。 クイックソート(一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム)の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes(CSP)などがある。CSPはプログラミング言語Occamに示唆を与えた。 (ja)
rdfs:label
  • アントニー・ホーア (ja)
  • アントニー・ホーア (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • チャールズ・アントニー・リチャード・ホーア (ja)
  • チャールズ・アントニー・リチャード・ホーア (ja)
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of