エドムンド・クラーク - Wikipedia
エドムンド・クラーク エドムンド・メルソン・クラーク・ジュニア（Edmund Melson Clarke, Jr.、1945年7月27日 - 2020年12月22日）は、アメリカ合衆国の計算機科学者。ハードウェアやソフトウェアの設計を形式的に検証するモデル検査の開発で知られている計算機科学者。カーネギーメロン大学計算機科学科の教授。 経歴[編集] 1967年、バージニア大学で数学の学士号を取得。1968年、デューク大学で数学の修士号を取得。1976年、コーネル大学で計算機科学の博士号を取得した。その後2年間、デューク大学計算機科学科で教壇に立った。1978年、ハーバード大学に移り、応用科学部で計算機科学の助教授を務めた。1982年にハーバードを離れ、カーネギーメロン大学の計算機科学科に移った。1989年には教授になっている。1995年、Carnegie Mellon School of C
Zsh 入門者のための超速設定ガイド - Qiita
はじめに このガイドでは、はじめて Zsh を使う人や Zsh の便利な使い方を知らない人に向けて、いくつかの便利な設定と操作方法を紹介します。また、 Zsh についての疑問を素早く解決できるよう、マニュアルの調べ方や他のドキュメントへのリンクも盛り込んであります。 このガイドでカバーしきれていない設定や分かりやすいドキュメントをご存知でしたら、ぜひ編集リクエストやコメントでお知らせください。 設定ファイル ここでは主に普段のキー入力数を大幅に減らせるような設定を紹介します。 .zshrc ~/.zshrc は Zsh のインタラクティブシェル（ユーザーがコマンドを入力する画面）が起動した際に読み込まれる設定ファイルです。 Zsh スクリプトを実行したり、 zsh -c 'command...' でコマンドを実行したりしたときには読み込まれません。このファイルには主に Zsh の操作に関す
糸井重里、佐々木俊尚のアカウントも乗っ取られた！「ツイッターニュース24」というスパムに注意！
2月1日の深夜あたりから、こんなツイートが回っています。 【画像あり】 Mステでおっｐいポロリ放送事故ｗｗ 2chの反応 「まじだったｗｗｗ」 画像→ これはマズいでしょ・・・。 クリックすると、アプリ認証画面が出て、うっかり認証すると大変なことに。 まさかの糸井重里さん（フォロワー63万）、佐々木俊尚さん（同19万）が踏んで大騒ぎ。 糸井 重里@itoi_shigesato 日曜日の午後に、なんとアブナイことをしていたのだろうか。「Mステで」ではじまるツイートのワナに、じぶんがはまってました。さらにそこから波及してご迷惑をおかけした方々、もうしわけございませんでした。 2014/02/02 13:37:00 佐々木俊尚@sasakitoshinao やっときました。ありがとうございます。 RT @kamiyamasahiko 佐々木さんまでスパムアプリの被害に。Twitter News2
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://github.com/ocsigen/tyxml/blob/master/README