長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に

悲しい事件がおきて、インターネット上での誹謗中傷が問題になっています。 「自分も誹謗中傷されて困っている」「誹謗中傷をやめて」などと、有名な人たちが発言したり、テレビで「SNSが問題だ」と特集組まれたりしています。 で、それに対する解決策がいろいろなところで書かれていますが・・・。 20年くらい、インターネットコミュニティ界隈にいて、自分でも運営をたくさんしてた経験からすると、割と的外れなものも多いんじゃないかと思ったので、筆をとります。 本当はこういう話題を取り上げるのも好きじゃなく、書いても自分にはメリットがまったくない上に、批判を浴びそうなので気がのらないんですが、、、なんとなく書いたほうが社会が前に進む可能性があるなと思ったので書いてみます。 誹謗中傷と批判を分ける意味があまりない結論からいうと、「誹謗中傷と批判をわけてちゃんと考えよう。」みたいな言論を最近良く見ますが、これはあま

ちょっとした黒歴史だけど、10代の頃から中性的なキャラに憧れがあった。ハンターハンターのクラピカとか。自分は中学1年生まではチビで、目だけはぐりぐりと大きかったので「可愛い」と言われることが多かった。嫌がるそぶりを見せていたが、実を言うとまんざらでもなかった。男が好きなわけでもないけど、クラスの中心人物のイケメンに「お前が女装したら女子より可愛いんじゃね」と言われたことが不思議なくらい嬉しくて、今でも記憶に残っている。 中2から成長期が来て、声が太く体毛も濃くなり、みるみるうちに身長が伸びてゴツくなった。誰も俺を可愛いとは言わなくなった。どう見てもクラピカよりウヴォーギン寄りだった。〜完〜 それからは普通に男性に見える男性として生きてきた。性自認は男性なので、全く問題なかったのだが、ここ最近彼女が宝塚にハマり、演者にキャーキャー言ってるのを見て、もやもやが生まれた。 宝塚歌劇団の役者は、当

単刀直入にお願いします。 工藤忍・今井加奈を担当しているプロデューサー各位は、担当を島村卯月に変更してください。 島村卯月が気に食わなければ別の声ありなら何でもよいです。小日向美穂でも五十嵐響子でも、辻野あかりでも、他の声付きCuでもいいです。もちろんCoでもPaでもいいです。誰でもいいです。とにかく他の声付きのアイドルに担当を変更してください。 また、上記2名の担当だけでなく、桃井あずき・柳瀬美由紀・村松さくらなどのいわゆる『量産型Cu』の担当も、他の声付きアイドルに担当を変更してください。 以上がお願い。ここから本題。なぜこんなことをお願いするのか。長くなるが説明する。 はじめに断っておくが、私は島村卯月の担当ではないし、運営の回し者でもない。 今回のボイスアイドルオーディションで浮き彫りになった問題は2点ある。 一つは、声を獲得したのが「新キャラ」だけであること。辻野あかり、砂塚あき

１日５分で遊べる鬼畜ゲーム 「ブラウザ三国志」というゲームがあった。 ミクシィというSNSが流行っていた時代に、そのコンテンツの中で遊ぶことができた、三国志をモチーフにしたシミュレーションゲームである。 「１日５分のプレイでOK！」…そんな宣伝文句がバナーに光っていた。多くのミクシィユーザーが「そんな短い時間で遊べるなら、ちょっと遊んでみようかな？」と手を出した。 三国志ファンはもちろん、ヒマを持て余す学生さん、忙しい会社員、果ては三国志をよく知らない女の子や主婦まで。うっかり登録してゲームをスタートしてしまった。そして果ては、あの大企業の社長まで。 さらに麻雀界隈では、福地先生やウヒョ助まで。 「うっかり手を出してしまった」という表現が正しいかもしれない。危ない薬に手を出す時は、いつもそんなノリだ。のちのち地獄のような泥沼の日々の中でもがくことになるなんて、すべてのプレイヤーが知らずにい

女児ロボットには、小児性愛者の歪んだ欲望を抑制する効果があると擁護する意見もあるが、科学的根拠はまったくない　Jason Lee-REUTERS ＜女児のセックスロボットと交わるうち、倫理観が曖昧になり本物の子供に手を出したくなる危険は見逃せない＞ 女児型セックスロボットは「大人と子供のセックスは普通という勘違いの元になる」として、米議会が輸入禁止に乗り出した。禁止法案は6月13日に下院を通過し、上院に移る。 本物の女児そっくりのセックスロボットは、大きな論争を巻き起こした。大人のロボット相手のセックスでも倫理的に疑問なのに、まして子供型のセックスロボットでは小児性愛者のゆがんだ性的欲求を助長する恐れがある、と警告する専門家もいる。 「パソコンさえあれば、小児性愛者が下劣な女児ロボットを注文できる。罪のない子供を危険にさらす行為だ。セックスロボットに飽きれば、次は本物の子供に手を出したくな

【読売新聞】　世界中のアニメファンらに衝撃を与えた京都アニメーション放火殺人事件で、京都府警は２７日、全身やけどで一時は瀕死の状態だった青葉真司容疑者（４２）の逮捕に踏み切った。発生から１０か月余り。殺人事件としては平成以降、最多の

大量の児童ポルノの動画などをオーストラリア国内に持ち込もうとしたとして、関税法違反の罪に問われている日本人の男に対し、現地の裁判所は、禁錮1年4か月の実刑判決を言い渡しました。 これまでの裁判で、被告は罪を認めていて、26日開かれた裁判で、パースの地方裁判所は、禁錮1年4か月の実刑判決を言い渡しました。 オーストラリアでは、国境警備隊が児童ポルノなど子どもを搾取の対象とする犯罪の取締りを強化しています。 一方、東京電力ホールディングスは、ＮＨＫの取材に対し、「当社社員が有罪判決を受けたことは誠に遺憾であり、大変申し訳ない。今後、事実関係を調査の上、厳正に対処する」とコメントしています。

AmazonのクラウドサービスであるAWSは、コンピューティングやデータベース、ストレージなど、膨大で複雑なサービスで構成されています。こうした豊富なサービス群をうまく組み合わせて利用する「ビルディングブロック」がAWSのメリットでもありますが、サービス数が多すぎてなかなか全体像を把握できないのも事実。フリーランスのエンジニアでありコンサルタントでもあるジョシュア・テイセン氏が自身のブログで、AWSのすべてのサービスを「たった1行」で説明しています。 Amazon Web Services https://adayinthelifeof.nl/2020/05/20/aws.html テイセン氏によると、Amazon Dashboardから利用可能なAWSのサービスは記事作成時点で163あるとのこと。そのすべてを正確に理解する必要はありませんが、基本を押さえておくことはいいことであり、問題の

はじめに インストールすればすぐに書けて動かせるのが魅力のPythonですが、 実際に業務などでキチンと書こうと思ったら Pythonのバージョン管理ツール パッケージマネージャー エディター(IDE) リンター フォーマッター 型チェッカー くらいは最低限用意する必要があります。 しかしこの界隈、怒涛の勢いで日々新しいものがリリースされていて一概に「これがベストプラクティス」を提示するのが難しいんですよね。そこで今回は上記それぞれのツールについて「こんなものがあるよ」というのをご紹介したいと思います。 TLDR バージョン/パッケージ管理はpyenv + Pipenvがスタンダードだった時代は終わった VS CodeかVimを使うなら型解析にPyrightを導入するとよい テンプレートを用意しました 1. バージョン/パッケージマネージャー プロジェクトごとに異なるPythonのバージョ

ここの画面ではメインボタンの「START」を目立たせたいのですが、右上のボタンに目がいってしまいます。 右上に目がいってしまうのは、最後に動く箇所に視線が移動するので不必要に右上に視線が誘導されます。 他にもコントラストや動き量がメインボタンよりも大きく変化しているため、いやでも目についてしまいます。 不必要に待たせている 最後に動かすところに視線が行きますが、視線をメインボタンに向けさせようと最後のアニメーションを長くしてしまった結果、ユーザーがアニメーションによって待たされている状態になってしまいました。 メインボタンはすぐに押してゲームを遊べることが大切になるので、最後にボタンを大きく動かして目立たせてもユーザーは早く押させて欲しいと思ってしまうので、アニメーションは短くサッと出して上げてユーザーが気持ちよく行動できるといいですね。 動き過ぎ、優先順位が曖昧 全てが動き過ぎてしまい、