18 関係: 奨学金、チューリング賞、モデル検査、フランス、フランス人、フランス国立科学研究センター、アレン・エマーソン、イラクリオン、エドムンド・クラーク、ギリシャ人、クレタ島、グルノーブル、組み込みシステム、計算機科学、電気工学、教授、12月26日、1946年。
奨学金
奨学金(しょうがくきん)とは、能力のある学生に対して、金銭の給付を行う制度である。奨学金(scholarships)の厳格な定義としては、学業成績等が優秀な生徒・学生に対して、修学を促すことを目的とするため、返済義務が全く無い給付金の事をいう。.
新しい!!: ジョセフ・シファキスと奨学金 · 続きを見る »
チューリング賞
ACMチューリング賞(ACM A.M. Turing Award)は、計算機科学分野で革新的な功績を残した人物に年に1度、ACMから贈られる賞であり世界最高の権威を持つ賞とされている。その功績は長く影響が続くもので、コンピュータ業界で技術的にも重要なものとされている。計算機科学におけるノーベル賞と広く認識されており、事実、受賞者にはハーバート・サイモンなどノーベル賞受賞者が存在している。 「チューリング」の名は、現代計算機科学の父の1人とされるアラン・チューリングの名にちなむ。2014年11月3日、Googleの後援により受賞者には100万ドルが贈られると発表された。 1966年の最初の受賞者はカーネギーメロン大学のアラン・パリスだった。初の女性受賞者は、2006年のフランシス・E・アレン(IBM)である。2008年には再び女性であるバーバラ・リスコフが受賞している。.
新しい!!: ジョセフ・シファキスとチューリング賞 · 続きを見る »
モデル検査
モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。.
新しい!!: ジョセフ・シファキスとモデル検査 · 続きを見る »
フランス
フランス共和国(フランスきょうわこく、République française)、通称フランス(France)は、西ヨーロッパの領土並びに複数の海外地域および領土から成る単一主権国家である。フランス・メトロポリテーヌ(本土)は地中海からイギリス海峡および北海へ、ライン川から大西洋へと広がる。 2、人口は6,6600000人である。-->.
新しい!!: ジョセフ・シファキスとフランス · 続きを見る »
フランス人
フランス人(フランスじん、peuple français)は、フランス(フランス共和国、フランス王国、フランス帝国など)の国籍を有する人々を指し、2004年時点で約6200万人を数える。.
新しい!!: ジョセフ・シファキスとフランス人 · 続きを見る »
フランス国立科学研究センター
フランス国立科学研究センター(フランスこくりつかがくけんきゅうセンター、仏:Centre national de la recherche scientifique 、略してCNRS)は、1939年10月19日設立のフランス最大の政府基礎研究機関である。常勤スタッフ26,080人(うち研究者11,664人、技術者14,416人、その他事務局員)と非常勤スタッフ4,000人を擁する。2006年の予算は27億3,800万ユーロであった。.
新しい!!: ジョセフ・シファキスとフランス国立科学研究センター · 続きを見る »
アレン・エマーソン
アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。.
新しい!!: ジョセフ・シファキスとアレン・エマーソン · 続きを見る »
イラクリオン
イラクリオ(現代ギリシャ語: Ηράκλειο / Iraklio) または イラクリオン(カサレヴサ: Ηράκλειου / Iraklion)は、ギリシャ・クレタ島北部にある都市で、その周辺地域を含む基礎自治体(ディモス)。エーゲ海(クレタ海)に面した港湾都市である。約14万の人口を擁するクレタ島最大の都市(ギリシャ全土では第4位)で、クレタ地方の首府、イラクリオ県の県都。 ミノア文明(クレタ文明)の代表的な遺跡であるクノッソス宮殿は、市街の約5キロ南東に位置する。.
新しい!!: ジョセフ・シファキスとイラクリオン · 続きを見る »
エドムンド・クラーク
ドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - )は、ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。アレン・エマーソン、ジョセフ・シファキスと共に、2007年のACMチューリング賞を受賞。.
新しい!!: ジョセフ・シファキスとエドムンド・クラーク · 続きを見る »
ギリシャ人
リシャ人(ギリシャじん、ギリシア語:Ἕλληνες 現代ギリシア語, Hellēnes古代ギリシア語)とはバルカン半島周辺およびキプロスに出自を持ち、ギリシャ語を母語とする民族。国民としてのギリシャ人(ギリシャ共和国の国籍を有するもの)にはアルーマニア人、アルバニア人、トルコ系、国外からの移住者も含まれる。.
新しい!!: ジョセフ・シファキスとギリシャ人 · 続きを見る »
クレタ島
レタ島(Κρήτη / Kriti; Crete)は、ギリシャ共和国南方の地中海に浮かぶ同国最大の島。古代ミノア文明が栄えた土地で、クノッソス宮殿をはじめとする多くの遺跡を持つ。また、温暖な気候や自然景観から地中海の代表的な観光地でもある。 クレタ島は島全体で、ギリシャ共和国の広域自治体であるペリフェリア(地方)を構成する。首府はイラクリオ(イラクリオン)。.
新しい!!: ジョセフ・シファキスとクレタ島 · 続きを見る »
グルノーブル
ルノーブル()は、フランスの南東部に位置する都市で、イゼール県の県庁所在地である。パリからの所要時間は直通のTGVで約3時間である。リヨンからは約100kmであり、フランス国鉄のTERにより結ばれる。.
新しい!!: ジョセフ・シファキスとグルノーブル · 続きを見る »
組み込みシステム
組み込みシステム(くみこみシステム、英: Embedded system)とは、特定の機能を実現するために家電製品や機械等に組み込まれるコンピュータシステムのこと。.
新しい!!: ジョセフ・シファキスと組み込みシステム · 続きを見る »
計算機科学
計算機科学(けいさんきかがく、computer science、コンピュータ科学)とは、情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究分野である。計算機科学には様々な下位領域がある。コンピュータグラフィックスのように特定の処理に集中する領域もあれば、計算理論のように数学的な理論に関する領域もある。またある領域は計算の実装を試みることに集中している。例えば、プログラミング言語理論は計算を記述する手法に関する学問領域であり、プログラミングは特定のプログラミング言語を使って問題を解決する領域である。.
新しい!!: ジョセフ・シファキスと計算機科学 · 続きを見る »
電気工学
電気工学(でんきこうがく、electrical engineering)は、電気や磁気、光(電磁波)の研究や応用を取り扱う工学分野である。電気磁気現象が広汎な応用範囲を持つ根源的な現象であるため、通信工学、電子工学をはじめ、派生した技術でそれぞれまた学問分野を形成している。電気の特徴として「エネルギーの輸送手段」としても「情報の伝達媒体」としても大変有用であることが挙げられる。この観点から、前者を「強電」、後者を「弱電」と二分される。.
新しい!!: ジョセフ・シファキスと電気工学 · 続きを見る »
教授
教員における教授(きょうじゅ、professor)は、大学院、大学、短期大学、高等専門学校など高等教育を行う教育施設や、JAXA、大学入試センターなど研究機関の、指導者の職階や職階者である。.
新しい!!: ジョセフ・シファキスと教授 · 続きを見る »
12月26日
12月26日(じゅうにがつにじゅうろくにち)はグレゴリオ暦で年始から360日目(閏年では361日目)にあたり、年末まであと5日ある。.
新しい!!: ジョセフ・シファキスと12月26日 · 続きを見る »
1946年
記載なし。
新しい!!: ジョセフ・シファキスと1946年 · 続きを見る »