Communicating Sequential Processes, by C. A. R. Hoare (PDF Version)
Communicating Sequential Processes Communicating Sequential Processes (CSP) is a language for the description of patterns of interaction. It is supported by an elegant, mathematical theory, a set of tools, and an extensive literature. Tony Hoare's book Communicating Sequential Processes is an excellent introduction to the language. It was first published in 1985 by Prentice Hall International. To
ダウンタウン松本も実践済み！ 紳助が語る恋が実る方法が面白い（松本紳助 より） - sakagami memo
2017 - 01 - 09 ダウンタウン松本も実践済み！ 紳助が語る恋が実る方法が面白い（松本紳助 より） 恋愛 テレビ 松本紳助 list Tweet Share on Tumblr 過去に 日本テレビ 系列で放送されていた番組で、「 松本紳助 」（途中から「 松紳 」に）という番組がありました。 島田紳助 と ダウンタウン の 松本人志 がひたすらアドリブトークを繰り広げるというシンプルな番組なのですが、そこで恋愛の話になったときの ある一場面のトークが面白かったので載せたいと思います。 下から作戦 紳助 : 女も使える、男も使えるねん、これ。全員使えるねん。 紳助 : たとえばブサイクな女の子がいたとしようや。 山田花子 みたいなのがおったとしようや。 紳助 : これがな、松本に「好きなんです、松本さん。」って言われたら困るやろ？ 重いやろ。どうしたらわからへんやん、人間って
【悲報】IT先進国日本の作ったマイナンバーのポータルサイト「IE11(32bit)とJavaアプレット必須」 : IT速報
内閣府が16日にオープンした、マイナンバーのポータルサイト「マイナポータル」が話題。ブラウザーはIE 11（32bit版のみ）およびSafariが必要になるという。 マイナンバーに関連するサービスの検索や情報の確認、また税金などの支払いが行えるというこのサイト、現在は7月からの本格稼働に向けてアカウントの開設を促しているのだが、ネット上で話題になっている理由は、このサイトを使うにあたっての推奨環境。 マイナンバーカードの読み取りに必要なICカードリーダライターは理解できるとして、ブラウザーはIE 11（32bit版のみ）およびSafariに限定されているほか、Java実行環境、JPKI利用者クライアントソフトのインストールが必須という、過去の官公庁のポータルサイトでの教訓がまったく活かされていないシビアな条件。 続きはソース元で http://internet.watch.impress.
あのひとは本当に声優なのか
アニメとか絵とかに声を当てる仕事をしている人が声優で（？） どちらかというと自分は声優よりもアニメを見る機会が多いため、どうしても声を聞いただけでは声優の名前を当てる事ができない。 アニメにも絵にも声を当てる人は本当に居て、たまにテレビやニコニコとかに出てくる。 ただ、動画でこの人が「○○役の△△です」と言われても、その人が誰かを示すテロップが出ていても、本当にその人がその声を発することができるのか、本当に本人なのか疑っている自分が居る。 たまに動画で司会か別の誰かが「○○の声やってくださいよ〜〜」とその声優らしい人に言って、その場でその声優がそのアニメの声を発した時、 実はこの人別人でその声をやる瞬間的に本当の声優が声を当てる 真の声優的な人居るかもしれないと思ってしまう
2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog
前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 １冊目。 VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive) 作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、ニコ・プラット、マーセル・バーホフ,酒匂寛出版社/メーカー: 翔泳社発売日: 2010/08/03メディア: 大型本購入: 1人 クリック: 32回この商品を含むブログ (8件) を見るVDM++の本。形式手法を学び始めるならこの本から始めると取っ付きやすいのではないかと思う。高級言語をつかった陽関数定義（実行可能形式）でモデルをがんがん書いて、シミュレーションとテストでモデルを洗練していくや
Hoare論理入門
Hoare論理入門 プログラムの動作を検証する 東京大学情報理工学系研究科コンピュータ科学専攻 片岡 俊基 (tos) JOI春合宿 2013/3/22 Hoare論理 is 何 • プログラムの動作を証明したい Hoare論理 is 何 • プログラムの動作を証明したい • 例： – 実行すると，1 が表示されてほしい． x := 1 print x Hoare論理 is 何 • プログラムの動作を証明したい • 例： – 実行すると，3 が表示されてほしい． x := 1 y := x+2
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Hoare, C. A. R. (1985). ''Communicating Sequential Processes.''
任天堂、スマホ版「ファイアーエムブレム」 「ガチャ」初導入 - 日本経済新聞
Communicating Sequential Processes (CSP) An alternative to the actor model