メルカリは2月20日、保管期間を過ぎた電車などの落とし物を販売する実証実験を始めた。落とし物管理用クラウド「落とし物クラウドfind」を提供するfind（東京都中央区）と連携。findの提携先である鉄道会社や商業施設で拾った落とし物のうち、法律で定める保管期間を過ぎた落とし物をメルカリShops上に開設した特設ページで販売する。 鉄道会社や商業施設で拾った落し物は、落とし主が見つからないまま3カ月の保管期間を過ぎると、その所有権は各企業に移る。これらの落とし物には、新品のものやまだ使えるものもあったが、廃棄物として処理される場合もあるという。この課題を解決するため、メルカリとfindは連携し、落とし物を販売する実証実験を始めた。 販売した落とし物で得た収益は、手数料を除き、落とし物を管理していた鉄道会社や百貨店に還元するという。実証実験は8月31日まで実施予定。

MIXI（旧社名ミクシィ）は5月8日、同社の新入社員向け技術研修で使用した資料を無償公開した。分散型バージョン管理システム「Git」とテスト・設計研修の資料をスライド共有サービス「Speaker Deck」で公開中。動画も後ほど公開するという。 Gitの研修資料は約470ページあり、Gitを使ったチーム開発の進め方やGitの内部構造などを記載している。テスト・設計研修の資料は約40ページ構成で、テスト技法やコードレビューのコツなどを紹介。いずれの資料も同社の社員が作成した。 同社は2021年から新入社員向け研修の資料を一般公開しており、22年はUnityでのゲーム開発やAI、セキュリティ研修など全12種類の資料を自社ブログに掲載していた。同社の公式Twitter（＠mixi_engineers）は「今後も随時資料や動画を公開していく」としている。 関連記事 ミクシィ、技術カンファレンスを初

Windows PCを使っていて、ブルースクリーンや突然の再起動が発生するようになったら、OS自体の不具合（システムファイルの不整合や破損など）やディスクのエラー、メモリの不具合などが考えられる。 本Tech TIPSでは、Windows 10／11搭載PCを対象として、メモリの不具合かどうかを診断する方法を幾つか説明する。 スクリーンショットについてはWindows 11のものを掲載しているが、特記しない限り、Windows 10でも同様に操作できる。 Windows 10／11標準の「Windowsメモリ診断ツール」を実行する

ソフトウェアエンジニアのトビアス・クペック氏は2021年11月15日（米国時間）、開発者向けQ＆Aサイト「Stack Overflow」のブログに記事を寄稿し、ディープラーニングパイプラインのQA（品質保証）プロセス構築について解説した。 ディープラーニングモデルには、一般的なテスト手法の多くは適用できないが、適切な手法でテストを行うことで、ディープラーニングパイプラインが良い結果を出せるようになるとしている。 ディープラーニングではなぜ品質保証が異なるのか 通常のソフトウェア開発では、クラッシュしたときに障害を発見できる。最初の障害点はほとんどの場合、明確だ。 だが、ディープラーニングモデルでは、障害点の候補がたくさんあり、特定が難しいこともある。このため、開発者が慣れ親しんだステップバイステップのデバッグ手法を使って障害点から徐々にバグを追い詰めることは困難だ。 ディープラーニングモデ

GitHub Security Labのセキュリティ研究者、ケビン・バックハウス氏は2021年11月9日（米国時間）、ソフトウェアのバグ、特に、セキュリティ脆弱（ぜいじゃく）性を修正する際に踏むべきステップを解説した。 同氏は「回帰テストの追加」「バグの修正」「バリアント（亜種）の発見と修正」という3ステップを挙げた。「バグの修正」は当然、必要不可欠だが、なぜ他の2つのステップが重要なのか、なぜこの順序で実行すべきなのかを解説した。 回帰テストの追加 回帰テストの目的は、同じ誤りを繰り返さないことにある。バグの修正時には同じバグが再発した場合、失敗するように設計した回帰テストを追加する必要がある。なぜだろうか。修正済みのバグのテストを作成するのは、時間の浪費ではないのか。 時間に追われていると、「現実的に、誰かがこれと全く同じバグを再発させる可能性はどれだけあるのだろうか」と考えて、回帰テ

前回に引き続き、マイコン製品の出荷時にどのようなテストが行われているかを詳しく解説する。 今回は、前回概要を解説した以下のテストについて、具体的な方法と詳細について紹介する。 前回も述べたが、マイコンの出荷テストの具体的な項目や内容はマイコンメーカーの極秘情報なので、公開することができない。また、マイコンメーカーやマイコンごとにさまざまな手法や専門用語が使われているため、用語を統一して一概に説明することもできない。 そこで、本記事では前回と同じように、一般的なテスト項目と内容を分かりやすく説明する。専門用語についても、LSIテスター（半導体試験装置）、異物、テストパターンなど、理解しやすい言葉を選んで解説する。 テスト内容の解説に入る前に、マイコンに組み込まれているテスト回路について簡単に説明する。ほとんどのマイコンはテストモードを持っており、その設定方法は各マイコンによって異なり、設計部

マイコンの出荷テストについて2回に分けて詳しく解説する。1回目の本記事では、はじめに「マイコンの故障の定義」「故障モード」、次に製造工程のどのステップでテストが行われているかを説明するために「製造工程（製造フロー）」について説明する。そして最後に「基本的なテストの種類」について概要を説明する。 時折、ユーザーからマイコン製品の出荷テストについて質問されることがある。車載（自動車）向けマイコンでは信頼性を確認するために、NDA（Non-Disclosure Agreement：機密保持契約）を締結した上で、製造ラインの詳細情報を必ず提出するのだが、その詳細情報の中には出荷テストの項目が含まれている。また、汎用マイコンでも、採用前の検討段階で出荷テストの内容をチェックし、信頼性を確認するユーザーも多い。 本記事では、マイコンの出荷テストについて2回に分けて詳しく解説する。 1回目の本記事では、

マイコンのファームウェア書き換えや波形の測定に ユニバーサル基板 ユニバーサル基板用便利グッズ RoHS対応 コンタクト：ブレッドボード側（りん青銅・すずめっき・0.6Φmm）／バネピン側（黄銅・すずめっき） 2025年8月1日より価格改定いたしました。 片方はバネ性のある端子、もう片方はブレッドボード用のピンの組み合わせのテスト用ワイヤです。 主な仕様 型番 TTW-203 RoHS指令（10物質） 対応 材質 コンタクト：ブレッドボード側（りん青銅・すずめっき・0.6Φmm）／バネピン側（黄銅・すずめっき） 入数 10本入（白・黄・青・赤・黒×各2） 商品サイズ（包装を含む、約） 75×140×8mm 重量（包装を含む、約） 11g JANコード 4931442642694 原産国 日本 定格電圧 AC/DC 125V 定格電流 AC/DC 1A 長さ 200mm 適合スルーホール径

The best gaming keyboards of 2025Here are the best gaming keyboards you can buy, as chosen by Engadget editors. Microsoft and OpenAI announce the 'next phase' of their partnershipMicrosoft and OpenAI have issued a joint statement to say that they have signed a non-binding memorandum of understanding for the "next phase" of their partnership.

厚生労働省は2020年6月9日、雇用調整助成金のオンライン申請システムで6月5日に発生したシステム障害による被害状況と、現時点で判明した原因を公表した。不具合は申請者がシステム画面上の「戻る」ボタンでなく、Webブラウザーの「戻る」ボタンなどで前画面に戻った場合に発生。プログラムミスにより、既に入力を済ませた別の申請者の書類が読み出され、閲覧できる状態になっていたという。 厚労省によると、申請内容が漏えいした申請事業者は1社で、その申請内容を閲覧できる状態になった別の事業者は10社あった。漏えいした情報には役員2人の氏名や役職などの個人情報に加え、法人の銀行口座情報、労働者2人の個人情報や出勤状況、給与明細などの情報が含まれていた。 厚労省は情報が漏えいした事業者と、その情報を閲覧できる状態になった事業者それぞれに謝罪と状況説明の連絡を取った。閲覧できた他社の申請書類をダウンロードした事業

さくらインターネットのアドベントカレンダー25日目が空いてしまったので、ウェブサーバのチューンナップについて書くことにしました。 私は今日からお休みですが、さくらインターネットは年末年始も休まずに働いていますので、ご安心ください。 年末年始のシフトに入ってくれた社員の皆さんに感謝です。 ということで、責任を持って空いたカレンダーの埋め合わせをさせて頂きますｗ サーバのレスポンスが遅いとは？ なんだかサーバのレスポンスが悪いなぁってことは皆さんも体験されたことあると思います。 原因としては大きく分けて2種類あり、ひとつはApacheやnginxなどのウェブサーバソフトウェアの設定において同時に処理できる上限に達しているケースと、サーバ自体の負荷が高まっているケースです。 前者はApacheでいうとMaxClientsを調整することで対応できますが、そもそもサーバの性能以上にMaxClient

「悪い方が良い」原則をご存じだろうか？ プログラミング言語「Common Lisp」の開発に携わったことでも知られるソフトウエア技術者リチャード・ガブリエル（Richard Gabriel）氏が1990年に発表した有名なエッセイ「The Rise of ``Worse is Better''」で主張したソフトウエア開発の考え方だ。 このエッセイでガブリエル氏は、美しく完全に設計・実装されるより、単純で雑に設計・実装されたソフトウエアの方が良いと説く。彼は前者を「正しいやり方」「MIT/スタンフォード式」、後者を「悪い方がよい原則」「ニュージャージー式」と呼び、ニュージャージー式がいかに優れているか様々な事例を挙げて説明する。 これは一見とても奇妙に聞こえる。 ソフトウエア開発では通常「美しい設計」や「美しいコード」が尊まれる。「車輪の再発明はするな」とか、「階層構造に分けて、要素をいつでも

株式会社デジタルハーツ 〒163-1441 東京都新宿区西新宿三丁目20番2号 東京オペラシティビル41階 株式会社デジタルハーツは、 東証プライム市場上場 株式会社デジタルハーツホールディングス のグループ会社です

Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ

コンピュータに潜むセキュリティ上の脆弱性をあぶり出してくれる専用OSが「Kali Linux」です。4000円台のPCボード「Raspberry Pi（ラズパイ）」で動かせば、テスト対象を実際に攻撃して脆弱性を検出する「ペネトレーションテスト」ツールをすぐ使えます。 Kali Linuxは、公開中のポートやサーバーを調べる「Nmap」、パケットを解析する「Wireshark」、Webサイトに潜む脆弱性を調べる「Brup Suite」といったツールを使って脆弱性をテストします。ただ第三者のサーバーに向けて実施すると、実際の攻撃と挙動は変わらないため、犯罪行為につながります。テストするのは、自分のサーバーやPCに限定する必要があります。 Kali Linuxをインストール Kali Linuxをインストールするには、まず公式サイトからOSのイメージファイルを入手します。2017年7月12日時点

優秀なエンジニアならば、単体テストの重要性を十分理解しています。単体テストは、バグが見つけても修正が容易で、実装時に作り込んだ単純なバグも多く検出できます。結合テストで発生するバグの切り分けも容易になります。重要な工程ながら、テストは非常に退屈で、地獄の時間と感じる人もいるでしょう＊1）。 地獄のテストを楽にするためには、ツールを使いましょう。前回は、「xUnit」という単体テストを効果的に進めるツールを紹介しました。xUnitの利点は、テストのやり方を統一できたり、1度記述すれば回帰テストが簡単にできたりする点です。 前回紹介した「MinUnit」は、使いやすいツールでしたが、機能不足を感じる人もいるでしょう。名前の通り、最低限の機能がウリのツールですから、文句は言えません。豊かな機能を備えたツールがほしい場合、C/C++かつxUnit系ツールは、数分調べるだけでも数種類見つかります。今

スイッチング方式のAC-DC電源は、旧来型のリニア方式では得られない高い効率を実現するものとして急速に普及した。しかし、スイッチング方式は、従来は存在しなかった新たな課題ももたらした。結果として、AC-DC電源の設計は、従来よりもはるかに複雑なものとなった。では、その課題とはどのようなもので、それを解決するためには、どのような工夫を盛り込む必要があるのだろうか。 メリットだけではない あらゆる電気/電子機器では、高い効率が得られる電源が求められている。特に商用電源（AC電源）から、実際に機器を駆動するためのDC電源を生成する AC-DC電源については、省エネに対する気運の高まりなどもあり、効率に対してより厳しい目で見ることが要求されている。この要求を満たすための解の1 つがスイッチング方式のAC-DC電源である。コントローラICを使わず、大型のトランスを搭載する従来のリニア電源より、スイッ

ROI(t) = Δ手動テストに対するテスト自動化の利益 / Δ手動テスト対するテスト自動化のコスト = ΔB(t) / ΔC(t) ΔB(t) = Σ(自動テストによる固定費の削減分)(t) + Σ(n2回手動テストを実施した場合の変動費)(t) - Σ(n1回自動テストを実施した場合の変動費)(t) ΔC(t) = Σ(自動テストによる固定費の増加分)(t) + Σ(自動テストの開発費) - Σ(手動テストの開発費) + Σ(自動テストのメンテナンスコスト) (n1/N) n1 = 自動テストの実行回数 n2 = 手動テストの実行回数 N = メンテナンスが必要になるまでの自動テストの平均実行回数 今回は、この各要素を順に見ていきましょう。 自動テストによる固定費の削減分 「自動テストによる固定費の削減分」から説明します。まず、この「固定費」とは、「テスト計画」「テスト設計」など、「テ