翻訳：AIの冬は確実に近付いている (Filip Piekniewski) - Qiita
この記事は、Filip Piekniewski氏のブログ記事 "AI Winter Is Well On Its Way" の翻訳です。 追記：Filip Piekniewski氏による本記事への補足も合わせてご覧ください。 翻訳：AIの冬はますます近付いている (Filip Piekniewski) AI Winter Is Well On Its Way ここ数年、ディープラーニングはいわゆるAI革命の最前線に位置付けられてきた。そして、多くの人が信じてきたところによると、ディープラーニングは我々をシンギュラリティ (汎用人工知能) という驚異の世界へと導いてくれる銀の弾丸なのだという。2014年、2015年そして2016年には多くの投資が行なわれ、AlphaGo のように新しい境界線が押し広げられていった。テスラといった企業は、CEOの口を通して完全な自動運転車はすぐ近くに迫っている
AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
ほぼ毎月「キーボード」を買っているプログラマーが、最高の作業環境を追い求めた結果 - マネ会
お分かりでしょうか。 皆さんはPC用の「キーボード」を何台持っていますか？ 私の家には今、10台以上あります。 なぜ妻にこのようなツイートをされるまで、キーボードやそれに関連するグッズを買い求めるようになったのか。 この記事では、これまで私が使ってきたキーボードについて、そのときの心境を交えつつ振り返ってみようと思います。 キーボードは「キースイッチ」によって違いがある まず「キーボードごとの違いって何？」という方のために、キーボード選びにおいて大切な「キースイッチ」の種類について、私が実際に触れてみた打鍵感とともに紹介します。 メンブレン 一番ポピュラーな方式のスイッチ。「ペタペタ」とした打鍵感。 メカニカル 機械式のスイッチ。種類はいろいろあるが「カシャコン」とした打鍵感が特徴で、ゲーム用のキーボードに多い。確実な操作性が売り。 光学 無接点。最近、ゲーム系のキーボードで採用され始めた
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
