Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
シリアの武装組織による拘束から解放されたフリージャーナリストの安田純平さんは24日、トルコ南部からイスタンブールに向かう飛行機の機内でＮＨＫの取材に応じました。その主なやり取りです。 大丈夫です。 ー安田さん24日はこのまま日本に戻られるんでしょうか？ そうですね。 ーイスタンブールから？ ちょっと私が手配できなかったので、それについてはお任せ状態で。 ー今、体調のほうは大丈夫ですか？ 大丈夫です。大変お騒がせして申し訳ないと思っています。体調は大丈夫です。 ー解放された今の心境は 非常にうれしいです。３年間、全く自分自身、前に進んでいないので、世の中がどうなっているか全く分からない状態です。これからどうなるか、どうしていこうか、全く分からない状況で、その辺の心配はあるんですけども。 ー非常に苦しかったですか？ それは地獄ですよ。身体的なものもありますけども、精神的なものも、きょうも帰され
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
厚生労働省は企業などがデジタルマネーで給与を従業員に支払えるよう規制を見直す方針を固めた。2019年にも銀行口座を通さずにカードやスマートフォン（スマホ）の資金決済アプリなどに送金できるようにする。従業員が現金として引き出すことができ、資金を手厚く保全することなどが条件。日本のキャッシュレス化を後押しする狙いで、給与の「脱・現金」にようやく一歩踏み出す形だ。【関連記事】給与のデジタルマネー払い解禁 銀行独占に風穴
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く