形式手法はなぜ流行っていないのか - Qiita
はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku
私の記事が、ヤフーニュース個人からすべて削除された件について｜山本一郎（やまもといちろう）
先日、東京新聞が「地方新聞のヤフーニュースへの掲載料がページ単価0.025円」である旨を掲載していました。 一方で、かねて批判のある通り、スポーツ新聞などが垂れ流す、芸能やスポーツ、ネットの話題などの大量のコタツ記事がヤフーニュースに流れ込んでいます。もちろん、ユーザーが求めるニュースを流すことが収益の最大化に繋がるというのは事業者としては痛いほど分かる一方、ユーザーの読みたいニュースを選別して送り続けることが「フィルターバブル」を作り上げ、社会問題に対する認識や態度が似通った人たちがネット上でクラスター化することで、これらクラスター間を繋ぐ人物や記事が弱くなり、結果として社会がネットにより分断されるリスクがあることは指摘されてきました。 ポータルサイトとしてのYahoo!JAPANの成長の軌跡は、まさにこれらユーザーが読みたいニュースでページビューをかき集め、そこに広告を掲載することで収
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
