自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
町内会のまとめ役おばあちゃんのITスキル進化っぷりがなんかものすごい: 不倒城
色々ありまして、「地元の町内会」にかかわる機会がちょこちょこあります。町内会の青年部というものが、青年部という名前なのに過半が60歳以上で、30歳以下の人など数えるほどもいないということを最近知りました。 で、例えば地元のお祭りの時とか、何かしらお手伝いをすることもあるんですが、そこでまとめ役のおばあちゃんがいます。地元では誰もが名前を知っているような人で、多分80歳くらいで、小さくて、物腰や話し方は穏やかなんだけど非常に元気なおばあちゃんです。いつも電動自転車であちこち駆けずり回って、アンケートの回収に来たりします。 で、その方にメールアドレスをお伝えしたのが2年程前。当初は、PCから頑張って書いたんだろうなあと想像できる、拝啓から敬具まで書かれた丁寧なメールが時折届くのにとどまっていましたが、1年半くらい前から、調整さんへの招待メールが届くようになりました。 息子さんにでも教えてもらっ
コロナに乗じて町内会の属人業務を改善しまくった一人のおばあちゃんの話
町内会のおばあちゃんの話をします。 しんざきは町内会というものに所属しています。 以前マンションの理事長に持ち回りで就任した時、セットで町内会にも所属することになりまして、それ以降なにやかやでちょくちょく顔を出すようになりました。 町内会の青年団というものに「青年」など一人も所属しておらず、40歳のおっさんである私がほぼ最年少だ、ということにショックを受けたりもしていました。 この年になって「十数人のグループで最若手」になる機会があるとか、思ってませんでしたよ正直。 この町内会に、いつも電動自転車で町内を軽快に走り回っている、一人の名物おばあちゃんがいます。 もう御年は80歳を何年か過ぎていらっしゃると思うんですが、一時期体調を崩しつつもおおむねお元気で、物凄く新しい知識に貪欲で、ITスキルについても全く抵抗感というものがなく、町内会で数々の業務改善を成し遂げてきた凄いおばあちゃんでして。
トラブル続出 コロナ「持続化給付金」を769億円で受注したのは“幽霊法人"だった | 文春オンライン
安倍政権がコロナ不況への緊急経済対策として打ち出した「持続化給付金」。約2兆3000億円の予算がついたこの事業を経産省から委託された一般社団法人が、実体のない“幽霊法人”だったことが「週刊文春」の取材で分かった。社団法人の代表理事が「週刊文春」の取材に対し、「何も活動がない」と認めた。 持続化給付金事業は、昨年より収入が減った中小企業等の法人に最大200万円、フリーランスを含む個人事業者に最大100万円を上限に現金を支給する制度だが、入金が遅れるなどトラブルが相次いでいる。 担当する中小企業庁のホームページによれば、同事業を受注したのは「一般社団法人サービスデザイン推進協議会（以下、「サービス協議会」）」で、アベノマスクの予算を300億円も上回る769億円で契約している。 登記簿に記載されている所在地は、東京・築地にある9階建てのオフィスビルだ。記者が実際に訪ねてみると、確かにエントランス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
