東芝不適切会計の過半を占める“非スマート”メーターの惨状
inside Enterprise 日々刻々、変化を続ける企業の経営環境。変化の中で各企業が模索する経営戦略とは何か?ダイヤモンド編集部が徹底取材します。 バックナンバー一覧 3月2日、東京電力のホームページ上に出されたお知らせを見て、あるメーカー関係者は戦慄した。 それは「電気メーター検針員募集の案内（武蔵野支社）」。使用した電力量を目視確認する検針員を募集するものだった。 なぜ、このお知らせが関係者たちの注目を集めたのか。それは、東電がその1カ月前に、武蔵野支社がカバーする多摩地区で、スマートメーターを活用したサービスの先行導入を発表していたためだ。 スマートメーターは「次世代電力計」ともいわれ、ＩＴを駆使して電力データをリアルタイムでやりとりするもの。検針員の必要がないのが特徴である。だが、多摩地区では、逆に検針員の募集をするという不可思議な事態が起きていたのだ。 「東電のスマートメ
4月1日に間に合わず、電力自由化「混乱の幕開け」 - 日本経済新聞
2016年4月1日から電力小売りの「全面自由化」が、いよいよ始まる。約50社が家庭向けへの参入を表明し、早くも大乱戦の様相だ。ところが、新規参入企業の営業現場は思わぬ事態の発生に、急場の対応を迫られている。特に最も競争が激しい東京電力エリアでは、肝心の電力サービスの切り替え（スイッチング）が、想定以上に遅れそうなのだ。「どんなに遅れても4月中にはスイッチングを完了させてくれと東電にお願いしてい
東京電力のシステムに不具合、またも小売自由化に支障をきたす
電力・ガス市場を監視する国の委員会は東京電力の託送業務システムに不具合が発生していることを公表した。小売電気事業者が料金を計算するために必要な使用量の通知に遅れを生じている。委員会と資源エネルギー庁は東京電力に対して不具合の原因と今後の対応策について報告を求めた。 続報（6月13日）：「東京電力のシステム不具合が続く、未通知件数が最大4万件超に」 「電力・ガス取引監視等委員会」（委員長：八田達夫氏）は異例の委員長談話を5月20日に発表した。東京電力の送配電事業会社である東京電力パワーグリッドの託送業務システムに不具合が発生していて、小売電気事業者に送信する電力使用量の確定通知に遅延が生じているという内容だ。「このようなことはあってはならないことで遺憾であります」と厳しく批判した。 問題の託送業務システムは需要家が電力会社から他の小売電気事業者へ契約を切り替えるうえで欠かせない業務を実行する
東京電力のスマートメーター遅延が拡大、最大2カ月も先送りに
小売の全面自由化が始まって2週間が経過したにもかかわらず、東京電力のスマートメーターの設置状況が改善できていない。3月末の時点で17万台の設置が遅れたうえに、4月以降も対応が追いつかず、半年後の9月に解消できる見通しだ。その間に契約を変更した場合には最大で2カ月の遅れが生じる。 既報1（3月15日）：「東京電力が大失態、スマートメーターの設置に大幅な遅れ」 既報2（3月25日）：「東京電力のスマートメーターさらに遅れる、4月1日に間に合わないケース多発も」 あまりにもひどい状況が続いている。東京電力の管内でスマートメーターの設置が大幅に遅れて、契約を変更した需要家の多くが本来のサービスを受けられずにいる問題だ。事態を重く見た経済産業省が2月29日、3月22日、4月8日と3回にわたって東京電力に報告を求めたが、そのたびに遅延の状況が拡大している。 新たに4月1日に発足した東京電力パワーグリッ
米テスラ、自動走行で初の死亡事故 相手車の色が原因か：朝日新聞デジタル
米電気自動車ベンチャー「テスラ」は６月３０日、同社製の自動車で自動走行中に死亡事故が起き、米高速道路交通安全局（ＮＨＴＳＡ）が調査を始めると明らかにした。ＡＰ通信によると、自動走行中の車としては初の死亡事故という。 ＮＨＴＳＡによると、事故があったのは５月７日、フロリダ州の高速道路上。テスラの「２０１５モデルＳ」が自動走行モードで走行中、側道から入ってきたトレーラーが目の前を横切るように左折。テスラはそこに突っ込むように衝突し、運転手は死亡した。 自動走行は完全な自動運転の前段階の技術で、自動で車線変更をしたり、周囲との車間距離を測って自動で減速したりする。完全な自動運転ではなく、事故の責任は運転手にある。 テスラによると、トレーラーの車体が高かったことに加え、当日は晴天でトレーラーの車体の白い色をセンサーが感知できず、ブレーキが作動しなかった可能性があるという。（サンフランシスコ＝宮地ゆ
SAT変換に基づく制約ソルバーとその性能評価
本論文では，SAT変換に基づく制約ソルバーであるSugarの概要とその性能評価結果について述べる．Sugarは，制約充足問題(CSP)，制約最適化問題(COP)および最大制約充足問題(Max-CSP)を，命題論理の充足可能性判定問題(SAT問題) に変換し，MiniSat等の高速なSATソルバーを用いて求解を行うシステムである．SAT変換には，order encodingと名付けた新しい方法を用いており，従来広く用いられているdirect encodingやsupport encodingよりも，多くの問題に対して高速な求解が可能である．本論文では，order encodingの説明を含めたSugarの概要について述べた後，2008年に開催された第3回国際CSPソルバー競技会およびMax-CSPソルバー競技会での結果を基にSugarの性能評価結果を報告する．なお，Sugarは同競技会の10
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How to display specific unsat constraint, not whole core (Z3, Python)
SMT-LIB The Satisfiability Modulo Theories Library