自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
誹謗中傷かどうかよりも、批判の量のほうが問題じゃないかなという話｜けんすう
悲しい事件がおきて、インターネット上での誹謗中傷が問題になっています。 「自分も誹謗中傷されて困っている」「誹謗中傷をやめて」などと、有名な人たちが発言したり、テレビで「SNSが問題だ」と特集組まれたりしています。 で、それに対する解決策がいろいろなところで書かれていますが・・・。 20年くらい、インターネットコミュニティ界隈にいて、自分でも運営をたくさんしてた経験からすると、割と的外れなものも多いんじゃないかと思ったので、筆をとります。 本当はこういう話題を取り上げるのも好きじゃなく、書いても自分にはメリットがまったくない上に、批判を浴びそうなので気がのらないんですが、、、なんとなく書いたほうが社会が前に進む可能性があるなと思ったので書いてみます。 誹謗中傷と批判を分ける意味があまりない結論からいうと、「誹謗中傷と批判をわけてちゃんと考えよう。」みたいな言論を最近良く見ますが、これはあま
誹謗中傷されたのでツイッターで騒いでみたら20万円で示談になった話｜コミさん
最近のツイッターランドはとても殺伐としていますね。 先日に某テレビ番組で出演していた女性がSNSからの誹謗中傷によって傷付き自殺してしまったという件もありました。 SNSは表現の自由が最大限に発揮できます。 しかし、SNSではどうも画面の向こう側にいるのが生身の人間だということを理解せず好き勝手に言ってしまう人がいるようです。 非常に嘆かわしい話です。 さて、もし仮に誹謗中傷されたときはどのように対応するのがベストなんでしょう。 泣き寝入り？逆に相手に執拗に嫌がらせをしてみる？ ぼくがとった行動はというと、法律事務所に相談です。 そして、結果的に20万円の示談金をもって加害者の方と示談するに至りました。 先日の誹謗中傷の件で、あれから本人に直接DMで謝罪いただき、損害賠償請求は取りやめて示談金を20万円として示談で解決することにしました！ みんなインターネットで誹謗中傷しちゃダメだよ！ —
コロナに乗じて町内会の属人業務を改善しまくった一人のおばあちゃんの話
町内会のおばあちゃんの話をします。 しんざきは町内会というものに所属しています。 以前マンションの理事長に持ち回りで就任した時、セットで町内会にも所属することになりまして、それ以降なにやかやでちょくちょく顔を出すようになりました。 町内会の青年団というものに「青年」など一人も所属しておらず、40歳のおっさんである私がほぼ最年少だ、ということにショックを受けたりもしていました。 この年になって「十数人のグループで最若手」になる機会があるとか、思ってませんでしたよ正直。 この町内会に、いつも電動自転車で町内を軽快に走り回っている、一人の名物おばあちゃんがいます。 もう御年は80歳を何年か過ぎていらっしゃると思うんですが、一時期体調を崩しつつもおおむねお元気で、物凄く新しい知識に貪欲で、ITスキルについても全く抵抗感というものがなく、町内会で数々の業務改善を成し遂げてきた凄いおばあちゃんでして。
「種苗法改正に反対します」が気持ち悪い
Twitterでみかけるこのタグにもやもやするし、すっげえ気持ち悪い。 なんなんだろうと思っていたら、農家が不在なんだと気づいた。 「農家のために反対します！」 「農業は自家採種でなりたっているのに、禁止されたら農家が困ります」 といってるのに、その誰もが農家じゃない。 まるで日本昔話の中にいる幻想の農家を応援しているみたいだ。 うちの実家は大きな野菜農家だ。 ハウスは３０棟くらいあるし、米も３haくらいやってる。 農繁期はアルバイトさんにもたくさんきてもらってる。 で、自家採種（いわゆる自分が作った作物から、次の作付けのための種をとること）を どのくらいやってるかというと、ゼロである。 だいたい「桃太郎」というトマト品種があるが、桃太郎の種をとって植えたたところで、 桃太郎トマトはできない。形質がバラバラな子孫ができるだけ。 趣味の農園ならともかく、プロがそんな種を使える訳がない。 モン
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
よく心理戦で「相手は私の思考を読んでこうするから、それに対し私はこうする」みたいな読み合いがありますが、ずっと互いに読み合っていたら無限ループで切りが無いはずです。どこまで読むのが正解なのですか？
犬をつなぐよう黒人男性に言われた女性、通報して解雇 米NY - BBCニュース