第3回将棋電王戦 開催発表PV [ゲーム] 人類VSコンピュータ再び。第3回将棋電王戦 開催決定! 2014年3月~4月にかけて第3回将棋電王戦を開...
Communicating Sequential Processes(CSP)とは、並行性に関するプロセス計算の理論のひとつである[1]。プログラミング言語Occamにも影響を与えた[2][1]。 CSPは1978年、アントニー・ホーアが最初に考案し[3]、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータ[4]やセキュアな電子商取引システム[5]などの例がある。理論としても、応用範囲を広げる(より大規模なシステムの解析に使えるようにする[6])などの研究が行われている。 ホーアの1978年の論文で提示されたCSPは、プロセス計算というよりも本質的には並行プログラミング言語であった。後のCSPとは構文が著しく異なり、数学的に定義された意味論を持っておらず[7]、無制限の非決定
SeleniumのiPhone DriverはDEPRECATEDらしいので、代替として紹介されている Appium を試してみた。Appium is an open source test automation framework for use with native and hybrid mobile apps. It drives iOS and Android apps using the WebDriver JSON wire protocol.http://appium.io/最初は、AppiumはSelenium WebDriverとしてWebのテストだけに使えるものだと思っていたが、実はiOS/AndroidのネイティブUIの自動操作・自動テストにも使える(むしろそっちがメイン)ということを知って、さらに興味をそそられた。が、ドキュメントが少なく、地雷があり過ぎる印象があ
官僚が既得権益の拡大を狙っているのでは? (なべを) 2013-08-26 01:19:26 初めて投稿させていただきます。こちらのブログは、いつも興味深く拝読しております。 私の考えを述べると、官僚が愚民感を捨て去ることなど無いと思います。 むしろ、為政者(官僚)は自らの既得権益を守るため、国民に対して、あえて愚民化政策をとってはいないでしょうか? 消費税による増税で、景気が冷え込んでしまう事を、もちろん、財務省の官僚達は折り込み済みでしょう。 それでも、財務省官僚が増税を強行したい理由は、景気の動向などよりも、予算を増やし、自分達の既得権益の拡大が最重要課題と考えているからだと思います。 増税して、その後、景気動向が悪ければ、公共事業などのバラマキ(再分配)で調整する… 一見意味の無い事のようですが、この事は、官僚の既得権益拡充に充分役に立つと思います。 なぜなら、彼らの既得権益とは予
■消費増税に向け3大詐術弄す 安倍晋三首相が消費税率の引き上げについて問うべき相手は、外部ではなく政府内部にいる。虚報を流し続ける官僚たちである。デマとは、「消費税率10%でも財政再建できない」「増税で税収が増え、デフレにならない」「増税しないと国債が暴落する」という3点に尽きる。 最新例は8日に内閣府がまとめた「中長期の経済財政に関する試算」である。単なる「試みの計算」書ではない。1年前に国会で成立した消費税増税法案通りの税率引き上げはもとより、一層の増税を誘導するたくらみがある。2013年度以降、23年度までの税収を試算したが、今後の経済成長率平均が名目3%、実質2%であっても、国・地方の基礎的財政収支(税収・税外収入と国債費を除く歳出の収支)は20年度でも国内総生産(GDP)比で2%の赤字で黒字化を達成できない、という。が、詐術である。 鍵は基点となる13年度の一般会計税収にある。「
2013.8.1 7月31日付けで、株式会社アクセンス・テクノロジーの取締役を退任しました。 大学の助手から転職して以来、色々なことをこの会社で経験してきました。 もともとプログラマ・エンジニアとして生きていくつもりの転職でしたが、気がつけば、取締役として、ソフトウェアでなく会社をうまく動かす役割に重点が移っていました。 職責の中で、たくさんの人と会い、たくさんの考えにふれ、会社とは何か、会社は誰のためのものか、会社を通じて何ができるかを、考え、実践する得がたい機会をいただきました。 この6年間は、本当に充実した、素晴らしい時間でした。 ここで一つ、宣伝させてください。 先日、アクセンスは、RADIUS認証のアプライアンス機器 Fullflex ZGをリリースしました。この製品は、大阪オフィスのチームが中心となって開発し、販売にこぎつけた最初のRADIUSサーバ製品です。 思えば、私がアク
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く