新型コロナウイルスに関する情報は、厚生労働省の情報発信サイトを参考にしてください。情報を見る
![](https://cdn-ak-scissors.b.st-hatena.com/image/square/0ee78a320ce7d41860920421df7ea6566da29371/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2F8%2F86%2FEdmund_Clarke_FLoC_2006.jpg)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
エドムンド・クラーク - Wikipedia
エドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7... エドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア(Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日)は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。 経歴[編集] 1967年、バージニア大学で数学の学士号を取得。1968年、デューク大学で数学の修士号を取得。1976年、コーネル大学で計算機科学の博士号を取得した。その後2年間、デューク大学計算機科学科で教壇に立った。1978年、ハーバード大学に移り、応用科学部で計算機科学の助教授を務めた。1982年にハーバードを離れ、カーネギーメロン大学の計算機科学科に移った。1989年には教授になっている。1995年、Carnegie Mellon School of C