Hoas
In many cases, detailed reasoning about variable binders and substitution is a small annoyance; in other cases, it becomes the dominant cost of proving a theorem formally. No matter which of these possibilities prevails, it is clear that it would be very pragmatic to find a way to avoid reasoning about variable identity or freshness. A well-established alternative to first-order encodings is highe
みずほ銀行、システム統合延期の舞台裏
みずほ銀行が次期勘定系システムの構築完了を、当初予定の2016年3月から同12月に9カ月間延期する（図）。要件定義を終え設計工程がある程度進んだ段階で、「今後のスケジュールをゼロから見直した結果、詳細設計・製造やテストについて、それぞれ数カ月の期間を追加する」と、みずほフィナンシャルグループ（FG）の加藤朝史システム推進部部長は説明する。期間を増やす理由は主に二つある。 一つは、保守のしやすいシステムにするため、より時間をかけて設計に取り組む必要があると判断したからだ。次期システムはSOA（サービス指向アーキテクチャー）を採用する。サービスコンポーネントの設計精度は、商品・サービス開発のスピードを左右する。FGの加藤健治システム推進部企画チーム次長は、「製造工程の前に、機能部品の大きさにバラつきがないか、重複機能がないかを徹底的にチェックする」と話す。設計どおりに処理が流れるかなどの確認も
役員に2．4兆円。コーラの高額報酬に物議 | The New York Times | 東洋経済オンライン | 新世代リーダーのためのビジネスサイト
アナリストもびっくり ３月に入るとコカ・コーラ社は株主宛に年次報告書と委任状説明書を発送した。 年次報告書の中身はほぼ想定内だった。だがそれも85ページまでのこと。 そのページを読んで本当に驚いたというアナリストがいる。投資会社ウィンターグリーン・アドバイザーズを始めたベテラン投資家デービッド・ウィンターズの下で働くアナリストだ。 現在のコカ・コーラ社の株価に基づいてざっと計算してみたところ、今後４年間に約130億ドル相当の株式が幹部社員に与えられる計画になっているという。今回のプランをこれまでの方式に加えると、株式報酬が推定240億ドルに達するという計算だ。 「まさかと思った」と、コカ・コーラの長年の株主でもあるウィンターズは言う。「あぜんとした」。彼の運営するファンドにはコカ・コーラの株式約250万株が含まれている。 公開状で世に問う 驚きあきれたウィンターズは３月21日、コカ・コーラ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
普通の人が、普通に働いて幸せになれない世の中