切り替える理由 自社の主力製品で利用している技術(WebRTC / WebTransport)がブラウザベースのため TypeScript を利用する Go を採用したのは sqlc が使いたかったという理由 sqlc-gen-typescript が出てきたのでもう Go を使う理由がなくなった 自社サービスチーム全員が Go にまったく興味が無い sqlc 自体は便利 そもそも自社に Go への興味がある人がいない 自社サービスの規模ではボトルネックになるのはデータベースであって言語ではない もしアプリでスケールが必要なときは Rust や Erlang/OTP に切り替えれば良い コネクションプールは PgBouncer を利用すればいい TypeScript からは 1 コネクション 1 接続で問題無い どうせフロントエンドでは TypeScript を書く 自社では React
ITエンジニアなのにまだ投資やってないの？ChatGPTでクオンツシステム作って儲けようぜpart3 - Qiita
前回まで ITエンジニアなのにまだ投資やってないの？ITエンジニアならChatGPTでクオンツシステム作って儲けようぜ ITエンジニアなのにまだ投資やってないの？ITエンジニアならChatGPTでクオンツシステム作って儲けようぜpart2 ネトフリは面白い 僕はネトフリのヘビーユーザーなんですが、投資系にも リーマンショックまでの経緯と仕組みを実録インタビューで振り返る「インサイドジョブ」や AIテック系の話で、チェスは機械には勝てないと言われてAIが勝ち、「人間の高度な知的能力でしか勝てない」と言った囲碁の世界王者に勝ち、今では7、8年も訓練を積んでようやくなる戦闘機のエースパイロットにも勝ち、AIの実用速度の高さをドキュメントした「アンノウン」なんかも面白いし勉強になります。 投資思考では技術力UPは悪手 投資思考って事業でも人生でもとても大事です。 例えば、収入に不満を持ってるエンジ
PySpa統合思念体です。 某チャットで、「今時のOSSのプロジェクト管理とかのベストプラクティスが書いてある本ないかな、陳腐化早そうだしないか」みたいな話題が投入されました。その中で、エキスパートPythonプログラミングとか、Pythonプロフェッショナルプログラミングとかは思い出して紹介したけど、他の人からはShip It、Manage It、Release It三部作とか、達人プログラマーとかも出てきました。 このあたりの源流を辿ると、そういえば今流行ってる開発の源流としてはエクストリームプログラミングの開発系のプラクティスの遺伝子を受け継いでいるのが多いよな、そういえば当時から見て今ってどう変わっているのかな、という話題に。せっかくなので20年前を思い出しつつ、当時と今でどういう風に変わってきたのか適当にまとめてみます。 20年前の状況 XP白本こと、eXtreme Progra
CircleCI に入って色々と面白いなぁって思いながら毎日楽しんでる。その楽しんでることのひとつに Git のブランチモデルがある。最初はびっくりしたけど、慣れるととても良い 最初に言っておくと、この手法がどこにでも当てはまるとは思ってない。業種や、開発形態、プロダクトのタイプなどによって合うやり方は違う。単に CircleCI には、この手法がとても合ってるなぁと思う トランクベースのブランチモデル タスクに着手するときは、まずメインブランチからそのタスク用のブランチを作る。develop ブランチや release ブランチみたいな長く生きてるブランチはない。そのタスク用のブランチにコミットをプッシュしたらプルリクエストを出す。そして、レビューが終わればメインブランチにマージされる。タスクに着手してからマージまで、はやければ1時間ぐらい。長くてもだいたい2,3日くらい そして、メイン
文章でリストを表示（少し詳細あり） fix: バグ修正 既存の機能の問題を修正する場合に使用します。 hotfix: 緊急対応 稼働中のシステムのバグ修正など、緊急性が高い修正を行う場合に使用します。 add: ファイルや機能の追加 新しいファイルや機能を追加する場合に使用します。 feat: 新機能・新規ファイル追加 新しい機能やファイルを追加する場合に使用します。 update: 機能修正 既存の機能に問題がなく、ただし修正を加えたい場合に使用します。 change: 仕様変更による機能修正 仕様変更により、既存の機能に修正を加えた場合に使用します。 clean・refactor: リファクタリング コードを修正し、改善する場合に使用します。 improve: コードの改善 コードの改善をする場合に使用します。 disable: 機能の無効化 機能を一時的に無効にする場合に使用します。
20年後のソフトウェアテストの話をしよう / Software Testing for 20 years later
2019/08/31(土)に東京電機大学で開催されたbuilderscon tokyo 2019のセッション「20年後のソフトウェアテストの話をしよう」の発表資料 blog: http://yumulog.hatenablog.com/entry/2019/08/31/235727 Togetter: https://togetter.com/li/1397692 概要ページ: https://builderscon.io/builderscon/tokyo/2019/session/783619e0-4c45-45cb-b29a-fbff39077f43
「マイナンバー」中間サーバー 稼働後に契約変更、23回は自治体要望 検証不足で事業費膨張：東京新聞 TOKYO Web
相次ぐ契約変更で費用が膨張したマイナンバー事業で、関連システムの整備・運用で繰り返された２９回の変更のうち、２３回は利用する自治体からの要望によるものだったことが分かった。複数の自治体担当者は「事前テストが不十分だった」と証言。システム稼働前の検証不足が、運用開始後の変更多発を招いた可能性があり、事業費を増大させた。（デジタル政策取材班）
賢い姉と比べられて、どうあがいても親に褒めてもらえない話
今日、ちょっと悲しいことがあったから聞いてほしい。 ちなみに昔のスペックは以下の通りです。 姉：小学校で学年1～3位。中学校では280人中10～30位くらい？地理などに強かったりいろいろと気がきくため、母はいつも頼りにしている。運動は苦手。 妹（私）：姉の3歳下。小学校で学年1位。中学校では280人中1～7位。県のテストで400点満点をとったり、県で7位をとったりした。姉が頼りになりすぎて、母から頼りにされない。運動は得意。 まあ、田舎の小中学校なのでレベルはたかがしれているが、それでもコンスタントに一桁台をたたきだすのはなかなか難しかったのではなかろうか…と思うのだが、姉が姉だったので、あまり評価されず。というか、90点のテストを持ち帰ると褒められるどころか「10点はなにを間違ったの？」と聞かれるような感じ。 以前、母が笑いながら教えてくれたのだが、私たちが大人になってから押入れを整理し
リファクタリングの鶏卵問題 ソースコードがクソなので綺麗にしたい。 リファクタリングしたい。 しかし、リファクタリングが出来ない。 リファクタリングが出来ないのは、テストが無いからだ。 よし。じゃあテストを書こう。あれ、テストが書けない？ そのようなテストが無く、書き換えられないことによる矛盾や憤りは皆さん何百回と感じてきたと思います。 しかし、この「テストが出来ない」ということを言語化するのは、非常に難しいと思います。それは、「テストが出来ない」には実は2つの視点があります。 本質的にテストが困難なモジュールで、誰がやってもテストが書けない。 本質的にモジュールはテスト可能だが、自分の実力が足りず、自分ではテストが書けない。 1.のようなテスト困難なモジュールは誰がやってもテストは書けないです。しかし、問題は、「テストを書きたい」と思ったとき、「自分がそれほどテストに詳しくない」という場
Googleのソフトウェアエンジニアリング
Googleの現役ソフトウェアエンジニアたちが、超大規模ソフトウェアの開発と保守を長期的に支えてきたGoogle社内の多様なベストプラクティスを、文化、プロセス、ツールの側面からこの一冊に凝縮。時間と変化、規模と成長、トレードオフとコストという3つの基本原理に沿って、コードを持続可能にする方法論を紐解きます。「謙虚、尊敬、信頼」、心理的安全性、ダイバーシティとインクルージョンなど公正を重んじる文化から、コードレビューやテスト構成法など人間の行動を規定するプロセス、継続的インテグレーションや大規模変更システムなど変化への対応を支援する自動化ツールの基盤技術まで、Googleが試行錯誤を経て獲得した教訓を余すところなく紹介しています。経済学、心理学、マネジメント論などを背景にした人間への深い洞察をふまえ、データ駆動かつトレードオフから導かれる、定量的かつ定性的な決定プロセスも解説。Google
【書評】ついにでた！日本初のAWS認定試験プロフェッショナルレベル対応の書籍は、充実した模擬問題と解説を使って学習できます！ | DevelopersIO
はじめに 皆さんこんにちは。石橋です。先日AWS認定試験のアソシエイトレベル3つの試験に合格し、プロフェッショナルレベルの学習をはじめました。 今回は、先日6/27に発売された日本初のAWS認定試験プロフェッショナルレベルに対応した書籍である、『AWS認定ソリューションアーキテクト -プロフェッショナル 試験特性から導き出した演習問題と詳細解説』を購入し、読ませて頂きましたので、レビューをさせて頂きます。 『AWS認定ソリューションアーキテクト -プロフェッショナル 試験特性から導き出した演習問題と詳細解説』 そもそもAWS認定試験とは AWS認定資格とは、AWS上で構築/開発/運用などの技術的な専門知識を問うAWS公式の資格です。 資格は現在12種類存在します。 Foundational, Associate, Professionalの順に難易度が高くなり、Specialiyはその名の
２０２０年度から始まる大学入試改革の中止を求める抗議デモが１３日夜、東京・霞が関の文部科学省前であった。８月末から始まり、今回で３回目。ネット上の呼びかけで高校の生徒や教師ら約１００人が集まった。「試験の公平性がないがしろにされている」などと訴えた。 東京都の高校２年の男子生徒（１７）はマイクを手に「高校生のための制度をつくってください」「まずは延期して、当事者を交えた議論をしましょう」と声を上げた。 現行の大学入試センター試験に代わる大学入学共通テストでは、国語と数学で記述式問題が導入されるほか、英語では「読む・聞く・話す・書く」の４技能を測るため、民間試験が活用される。しかし、民間試験の試験日や場所、大学の活用状況の多くが未定で、住む地域や家庭の経済力による不公平さも指摘されている。全国高校長協会は１０日、民間試験導入の延期と制度の見直しを求める要望書を文科省に提出した。 一方、萩生田
Sansanは10月25日、テストコードについての研修資料を無料公開した。4月に実施した新卒の技術研修で使った資料の一部で、入社2年目の社員が作成。Pythonのテストフレームワーク「pytest」でのテストコードの書き方や、VSCodeでのテスト方法などを解説している。 同社はテストコードの便利な点として「実行確認しやすい」「リファクタリングや修正後に実行結果や振る舞いが変わっていないことを確認できる」「コードの挙動が理解しやすい」を挙げる。テストコードの重要性を理解し、テストコードを活用できるようになることを目的に研修を行ったとしている。 関連記事 新卒向け「統計学の基礎」100ページ超 SaaS企業が無料で資料公開 ブレインパッドが、新卒研修で使った統計学の学習資料を公開した。統計学の基礎を解説したもので、ページ数は100ページ超。スライド公開サービス「Speakerdeck」から無
こんにちは、Wellnessドクターチームです。 先日、敏腕経営者である光本さんのTweetが話題になっていました。 近年、「尿やわずかな量の血液によって癌を早期発見できる」と謳う検査（いわゆるリキッドバイオプシー検査※）が多数出現し、多くの人々の期待を膨らませています。しかしこれらの検査を健康な人が予防のために受けるというのは、国の医療を破綻させる可能性があるとともに、無駄な不安や安心をもたらす可能性もあり、受けた人全体で見た場合にデメリットがメリットを上回ってしまう可能性があります。 （※）リキッドバイオプシー(Liquid biopsy)とは、主に癌の領域で内視鏡等を用いて腫瘍組織を直接採取する従来の生検(biopsy）と異なり、血液や尿などの体液サンプルを使って診断や治療効果の予測を行おうという技術。最初に断っておきますが、この記事はこれらの新しい技術を否定するためのものではありま
新型コロナウィルスの影響も長引いてますが、皆さま無事お過ごしでしょうか。私は幸い無事です。 日ごろチームでソフトウェア開発をしているのですが、近年社内ではペアプログラミングやモブプログラミングが流行しています。 私のいるチームでもここ二年ほどモブプログラミング（ないし類似のプラクティス）に取り組んできました。 モブプログラミングについて正確にどのようなものかは以下の記事などをご参照いただければと思います。 簡単にまとめると、要求分析やコーディング等幅広い開発作業を、同じ場所に集まったチームの共同作業でこなしていくというものです。 このご時世ですので、最近はオンラインのミーティングルームに集合する形式でしたけど。 www.agilealliance.org ここから先は、非常にパーソナルな、私に限定された体験になります。 どの人・チームにも適用できる話ではありません。ではありますが、どの人・
記述式問題 導入見送り発表 萩生田文科相 | NHKニュース
大学入学共通テストでの記述式問題について萩生田文部科学大臣は「受験生の不安を払拭（ふっしょく）し、安心して受験できる体制を早急に整えることは現時点では困難だ」と述べ、当初予定していた再来年１月からの導入を見送ることを発表しました。 国語と数学の記述式問題の導入にあたって萩生田文部科学大臣は記者会見で、実際の採点者が決まるのは来年秋から冬になることや採点ミスを完全になくすことは期待できないこと、採点結果と受験生の自己採点の不一致を格段に改善することは困難だなどと説明しました。 そのうえで、「受験生の不安を払拭し、安心して受験できる体制を早急に整えることは現時点では困難だ」と述べ、当初予定していた再来年１月からの大学入学共通テストへの導入を見送ることを発表しました。 そして、記述式問題の今後の扱いについては「期限を区切った延期ではない。英語の民間試験と違い、全くまっさらな状態から対応していきた
統一教会に騙されるのは「バカだから」だと思っている人へ
実は統一教会に入りやすいかどうかに知能はあまり関係ない。 それどころか昔から有名大学が奴らの狩場になっているようにペーパーテストが得意なタイプというのが多い。 一番入りやすいのは「真面目」で「責任感が強く」て「押しに弱い・断れない」タイプ。 「全く人気者じゃないのに誰もやりたがらないから押し付けられるように学級委員になっていたようなタイプ」がかなり多い。 そしてこのような存在は教団の行う集金活動にとってはものすごく効率がいい。
ソフトウェアテストの実行を機械学習で効率化する。Jenkins作者の川口氏が立ち上げた「Launchable」で実現しようとしていることとは（前編）
ソフトウェアテストの実行を機械学習で効率化する。Jenkins作者の川口氏が立ち上げた「Launchable」で実現しようとしていることとは（前編） Jenkinsの作者として知られる川口耕介氏は、昨年米国で新会社「Launchable」を立ち上げ、日本にもその100％子会社であるLaunchable Japanを近日中に立ち上げ予定です。 Jenkinsの登場がテストやビルドの自動化を促進し、ソフトウェアの開発生産性を向上させたことは明らかでしょう。川口氏によると、Launchableは機械学習などの技術を用いてそれをさらに前進させるものだとしています。 インタビューを行った5月末の時点で、同社は米国に6人、日本に4人と10人ほどの体制で製品開発を進めています。 果たしてLaunchableはどのようなビジョンで何を実現しようとしているのか、同社共同創業者兼共同CEOの川口氏と、Laun
5月13日に抗原検査が承認され、週明けより医療機関での使用が開始されます。 また厚生労働省より献血検体を用いた抗体検査の結果が発表されるなど、抗原検査、抗体検査、PCRなど様々な検査の情報がニュースで流れています。 これらの検査はどう違い、どのように使い分ければよいのでしょうか。 抗体とは？「抗体」という単語はよく聞かれると思いますが、実際にどんな形をしているかご存知でしょうか。 皆さん、両手を挙げて「Y」を作ってみてください。 はい、それが「抗体」です。 抗体（Wikipediaといらすとやの共同作業）抗体とは、生体の免疫反応によって体内で作られるものであり、微生物などの異物に攻撃する武器の一つです。 免疫グロブリンとも呼ばれ、IgG、IgM、IgA、IgD、IgEの5種類があります。 例えば、デング熱に感染すると1週間くらいでIgMが、もう少し遅れてIgGが体内で作られるので、デング熱
はじめに 以前からユニットテスト/単体テストという言葉は使いづらい、と感じており今回も旧Twitterで「テストを実行時間ベースで分類する良い言葉ないかなー」と呟いていたところ、「テストサイズのSMLって考え方があるよ」と教えて戴きました。 だいたいは教えてもらったt_wadaさんの記事にすべて書いてあるのですが、自分の整理も含めて動画にしたので、その補完記事となります。 TL;DR 単体テストのバベルの塔は既に崩壊 CI/CDでの継続的テストには時間ベースのテスト分類が重要 UT/IT/E2EではなくSMLによるテストサイズがCI/CDには合う それは単体テストか結合テストなのか？ 自動テスト、手動テストに関わらずテストの分類として単体テストと結合テストという言葉は一般的です。 ITQBではTest Levelsという言葉で定義されていますし、以下のようなV字モデルの対応表はみんな知って
僕のしょうもない人生を紹介します
2019 グッドニュース！彼女ができました。初めて他人と気持ちで会話できたのがもう嬉しくて夢中になって、彼女の住んでいた京都にすっ越して慎ましく暮らし始めました。 人生クリアしました。いままで本当にお疲れ様でした。 ...あれ？ “幸せ” ってこれなの？ 仕送りは打ち切られ、バイトは全部10日と続かず、ついには生活保護を受けながら、時給500円でマンションの廊下掃除をして、気づけば一年。 創作は全然しなくなって、ただ延々とルービックキューブを解いてたら10秒ぐらいで直せるようになったり、 ただ延々とIQテストを解いてたら世界記録を4つ更新したりしただけでした。 このせいで僕は、WGDによれば世界で23番目・日本で3番目に高い（当時）IQの持ち主という誤謬の塊みたいな惹句を手に入れてしまい、 廃人生活が公共の電波で晒されたりしました。（このころは自作の片眼鏡をトレードマークにしようとしてたけ
おととし「大学入学共通テスト」の課題を探る「プレテスト」が行われた際、採点を委託された業者が、みずから採点業者であることをうたって、自社の模試などを宣伝する資料を、高校の教諭に配布していたことがわかり、萩生田文部科学大臣は厳重に抗議する考えを示しました。 20日の衆議院文部科学委員会で、国民民主党の城井崇議員は、ベネッセが、その当時行った首都圏の高校の教諭向けの研究会で、みずから採点業者であることをうたって、自社の模試などを宣伝する資料を配布していたと指摘しました。 これについて、萩生田文部科学大臣は「ベネッセに確認したところ、資料の配付は事実であることが確認できた。学校現場に、このような資料を配布することは、記述式問題の採点業務の中立性、信頼性に疑念を招くものであり厳重に抗議し、是正を促していきたい」と述べました。
こんにちは。決済チームでエンジニアとして働いている芦川です。 UPSIDER Tech blog 第2弾として「決済チームがテストコードを書く際に気をつけていること」を紹介しようと思います。 TL;DR 100％のテストカバレッジを目指す テストはブラックボックスを優先して記述、どうしても到達できない場合はホワイトボックス 最初のテストケースは、テスト対象が動作する最も一般的なケースであるべき 私たちは日々大量のコードを書いており、そのシチュエーションは多岐にわたります。 そういった環境において、動作確認からのコード改修のコストを考えた場合、自動テストの有無によって生産性に大きく差が出ることは容易に想像ができます。また、既存のサービスに改修を加えるために、そのサービスの概要を把握したい場合、良いテストコードはドキュメントとして役立ちます。 以前、私はテストコードを一切書かないプロダクトの開
Python(pytest)でテスト書くならfixture,conftest,parametrizeを理解すると世界が一気に変わる
Python(pytest)でテスト書くならfixture,conftest,parametrizeを理解すると世界が一気に変わる 概要 Pythonのテストライブラリといえばpytestが一般的です。 Python標準のuniitestとは異なり、クラスベースではなく関数ベースでテストコードを記述することが一般的ですが、fixture,conftest,parametrizeを理解すると一気に世界が変わり、テスト体験が圧倒的に向上するため、これらの実装方法を紹介します。 リポジトリ 本記事の説明に使用しているサンプルのテスト実装は、以下のリポジトリです。 想定読者 PythonやGitの基本的な使い方を理解している方を想定しているため、基本的な用語説明は省略しています。 環境 エンジニアの利用率の高いmacOSを前提として説明していますので、その他の環境の方は随時読み替えてください。 開
こんにちは、ソーシャル経済メディア「NewsPicks」のむとうです。 この記事は NewsPicks アドベントカレンダー 2023 の3日目の記事です。 昨日は@J_Nakagawa(隼佑 中川)さんによる『LambdaレスポンスストリーミングとAWS-SDKを使ってSlackに進捗バーを表示させる』でした！ 世の中には再現が難しく一見してバグがありそうに思えないコードもありますが、一方でプロダクションコードの中にはひと目見てバグが有りそうなコードもまた多いものです。いくつかの特定のパターンをとる文字列(環境名など)やenum(以下どちらもenumと表現します)に関する条件分岐もその一つです。プルリクを見てこのようなパターンがあれば、バグの疑いが強くなります。周囲を見渡すと、大抵すでにバグっているか潜在バグを含むコードが見つかります。すべてバグというのは言い過ぎにせよ、わかりやすさと変
「自動テストとテスト駆動開発、その全体像」を執筆しました（Software Design 2022年3月号） - t-wadaのブログ
【更新】寄稿した記事が Web に公開されました 技術評論社様のご厚意により、 Software Design 2022年3月号に寄稿した「自動テストとテスト駆動開発、その全体像」が gihyo.jp にて公開されました。誠にありがとうございます！ gihyo.jp はじめに 2022年2月18日発売の Software Design 2022年3月号 にて、第2特集「そろそろはじめるテスト駆動開発」の第1章「自動テストとテスト駆動開発、その全体像」を執筆いたしました。第1章では、混同されることの多い自動テスト関係の概念を自動テスト、テストファースト、テスト駆動開発（TDD: Test-Driven Development）の3つの段階に分け、それぞれの効果や注意点を包括的に整理整頓しています。 ソフトウェアデザイン 2022年3月号 作者:大竹 章裕,瀬戸口 聡,庄司 勝哉,光成 滋生,
[AWS EXpert Online for JAWS-UG 18] 見せてやるよ、Step Functions の本気ってやつをな
2021-08-13 内容システム提供において、基本的に高速であればあるほど顧客は嬉しいものだが、実際のところ高速なシステムを提供して、どの程度の価値が発生するのかが気になったので、調べてみた。 2021/08/14 追記A/Bテスト実践ガイド 真のデータドリブンへ至る信用できる実験とは の書籍で同様な事例が紹介されているとのこと。情報提供ありがとうございます。実務でA/Bテストに向き合った人間であれば必ず一度は考えたことのあるトピックについて、アメリカのテックカンパニー（Airbnb, Google, LinkedInなど）勤務の著者らが国際会議で発表された研究もちゃんと引用して見解を述べており説得力がある。 従って、現時点における最高レベルの意思決定をデータ（A/Bテスト）に基づいて行いたいと思うなら、一度は目を通しておくべきであり関係者必携だと思う。 ※個人的には”Webサービスのレ
SI案件でアジャイル開発を進めるときの勘所
みなさんこんにちは。@ryuzeeです。 10月に発売となった『プロダクトマネジメント - ビルドトラップを避け顧客に価値を届ける』ですが、まだお読みになっていない方是非よろしくお願いします。 また、ここ数か月新しい書籍の翻訳に取り組んでいて、来年の春くらいには発売になるかと思います。この本も楽しい本だと思うので是非楽しみにお待ち下さい。 さて、先日、プライベート講演で、SIのコンテキストでアジャイル開発を進める場合に、どのような点に気をつけておくとよいかを話して来ました。 汎用的な内容で読者の方の参考になるかと思いますので、資料を公開しておきます。 以下、資料だけ見てもわからない方向けの解説です。 TL;DR（結論）SI案件でアジャイル開発を適用する場合、顧客側がアジャイルを正しく理解していない可能性があるので、案件開始前に教育すべしステークホルダーマネジメントは重要。これはウォーターフ
Microsoft、ソースコード解析ツール「Microsoft Application Inspector」をオープンソースで公開
「Microsoft Application Inspector」は、ソースコードにおける暗号化やリモートのエンティティへの接続、実行されるプラットフォームといった挙動を見つけられるツールで、複雑なプログラミング手法の検出や、人間では見つけにくいプログラムの挙動を特定できる。 大規模なプログラムの解析も可能で、複数の異なるプログラミング言語によって構成された、数百万行にも及ぶソースコードの解析にも対応している。 「Microsoft Application Inspector」を使用すれば、コンポーネントのバージョン間での機能変更も識別できるため、バックドアの検出に役立つ。さらに、リスクの高いコンポーネントや、追加の精査が必要なコンポーネントの特定にも使える。 検査結果は、JSONやインタラクティブHTMLを含む複数の形式でレポートを生成可能で、ソースコードから特定された機能が一覧表示され
マイクロソフト、Javaの開発環境をまるごとインストールしてくれる「Visual Studio Code Installer for Java」公開。VSCode、JDK、テストランナー、デバッガ、依存関係ビューア、IntelliCodeなど
マイクロソフト、Javaの開発環境をまるごとインストールしてくれる「Visual Studio Code Installer for Java」公開。VSCode、JDK、テストランナー、デバッガ、依存関係ビューア、IntelliCodeなど マイクロソフトは、Windows上にJavaの開発環境をまるごとインストールしてくれるツール「Visual Studio Code Installer for Java」をリリースしました。 「Visual Studio Code Installer for Java」は、コードエディタのVisual Studio Codeを中心に、Javaの実行環境、テストランナー、デバッガ、依存関係ビューア、コード補完をしてくれるIntelliCodeなど、Javaアプリケーションの開発を支援するツール群を一括してインストールしてくれるというもの。含まれているも
本編開始は 19:05 からです こちらのイベントのYoutubeLive配信のアーカイブです https://tddbc.connpass.com/event/183044/ チャプター 0:00:00 準備開始 0:19:05 講演開始 0:41:55 ライブコーディング開始 0:57:20 プログラミング開始 1:02:00 最初の RED ？ 1:19:00 fake it 1:26:50 最初のリファクタリングおわり 1:36:40 質問タイム 1:51:20 5の倍数に着手 1:53:40 前半のデモのまとめ 1:55:20 質問タイム2回目 1:56:45 リリースから3年後の世界（テストをメンテナンスしやすくする） 2:14:20 テストの構造化とリファクタリングの説明
はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku
テストコードが増えるとバグは減るのだろうか？ / Does more test code mean fewer bugs? - Speaker Deck
Transcript ςετίʔυ͕૿͑ΔͱόάݮΔͷͩΖ͏͔ʁ�� ʮ���ˠ������ʯͰݟ͑ͨੈքͷ� גࣜձࣾ;0;0ςΫϊϩδʔζ� ;0;0508/෦�J04νʔϜ� ໊औ�߂ฏ Copyright © ZOZO Technologies, Inc. © ZOZO Technologies, Inc. גࣜձࣾ;0;0ςΫϊϩδʔζ� ;0;0508/෦� J04νʔϜ ໊औ�߂ฏ 20192݄ΑΓݱ৬ɻ ZOZOTOWN iOSΞϓϦͷ։ൃΛ͍ͯ͠·͢ɻ झຯͰݸਓ։ൃɻ 2 © ZOZO Technologies, Inc. 3 ���ˠ������ ʹ ͜ͷ�΄ͲͰ૿Ճͨ͠ςετΧόϨοδͷׂ߹ © ZOZO Technologies, Inc. 4 ���ˠ������ ����� ˞ܭଌର͜ͷ�ͷ։ൃͰؔ༩ͨ͠ϑΝΠϧʹߜ͍ͬͯΔ © ZOZO Te
実践クリーンアーキテクチャ - 複雑化した大規模ECサイトをモダナイズしたモノタロウの事例 - エンジニアHub｜Webエンジニアのキャリアを考える！
実践クリーンアーキテクチャ - 複雑化した大規模ECサイトをモダナイズしたモノタロウの事例 クリーンアーキテクチャのメリットとは？またいかにして導入するか？難解なイメージのあるクリーンアーキテクチャの概要を採用事例に学びます。今回、取材したのは工業用間接資材オンラインストアの「モノタロウ」。サービスの開発を続けていくにつれ、同社のシステムは複雑化、肥大化していき、様々な課題が生じたそうです。こうした課題に対応すべく、システムのモダナイゼーションに取り組む際、取り入れたのは、クリーンアーキテクチャでした。同アーキテクチャをどのように実装したのか、モノタロウのエンジニア3人に聞きました。 受け入れテストを自動化し、システムの正常動作を保証 ユニットテスト導入の秘訣は「テストを書くハードルを下げる」こと クリーンアーキテクチャ化は、“幹”の処理から手をつける クリーンアーキテクチャを全社的に展開
CEDEC2020の講演資料です。 『「龍が如くスタジオ」のQAエンジニアリング技術を結集した全自動バグ取りシステム』 株式会社セガ 第1事業部 阪上直樹 / 株式会社セガ 開発技術部 粉川貴至Read less
開発スピードの速い企業は品質が高く、遅い企業は品質が低い。和田卓人氏による「組織に自動テストを根付かせる戦略」（その2）。ソフトウェア品質シンポジウム2022
開発スピードの速い企業は品質が高く、遅い企業は品質が低い。和田卓人氏による「組織に自動テストを根付かせる戦略」（その2）。ソフトウェア品質シンポジウム2022 9月22日と23日の2日間、一般財団法人日本科学技術連盟主催のイベント「ソフトウェア品質シンポジウム2022」がオンラインで開催され、その企画セッションとして行われた和田卓人氏による講演「組織に自動テストを書く文化を根付かせる戦略（2022秋版）が行われました。 講演で、企業の業績はソフトウェアの開発能力に左右されるようになってきていること、その開発能力を高める上で重要なのがコードの「テスト容易性」や「デプロイ独立性」であると和田氏は指摘。その上で、それを実現させるような「自動テストを書く文化」をどうすれば組織に根付かせることができるのか、講演の後半ではこの本質的な議論へと踏み込みます。 本記事は、2時間におよぶこの講演をダイジェス
普段何気に使っているPostman。最近まで「手軽にGUIで疎通を試せて、設定を共有できてべんり〜」くらいで使っていました。 けどふと「実はもっと便利な機能があるのでは？」と思って調べてみたところ、色々出てきたのでせっかくなのでシェアしたいと思います。 たまたまですがちょうど10選！ 地味に便利な機能10選 VSCode拡張 PostmanにはVSCode拡張機能があります。 インストールするだけで、VSCodeのサイドバーから利用可能です。 日本語設定 日本人なので日本語で使いたい。 右上の歯車→Settingsから以下の通り選択することで日本語化が可能です。 変数の定義 複数のAPIで同じ値を使いたい場合があるとします。例えばテスト用のユーザーIDなどです。 Postmanではそんな値をAPIファイルに逐一ハードコードする必要はなく、変数に保存することが可能です。 Postman Ec
先日以下ツイートをしたら思いの外良い反応もらえたので、より詳細な紹介記事を書いてみました。 これは必見だわ!! TypeScriptの型についての問題集 想定に従って独自のユーティリティ型を作っていく感じの問題がレベル別に提供されてる Playgroundのリンクから手を動かしながらチャレンジできるので凄くやりやすい （自分はeasyの問題でも分からんのあった。頑張ろ😅）https://t.co/tkEFe7VrBQ — Kawamata Ryo (@KawamataRyo) September 3, 2020 type-challengesとは type-challenges/type-challenges: Collection of TypeScript type challenges with online judge VueUseやVueDemiの開発者である @antfu7さ
それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理
20年でソフトウェア開発の景色はどのぐらい変わったのか？ - Qiita
毎日何度も本番環境にデプロイをしている話 - Mitsuyuki.Shiiba
Gitのコミットメッセージの先頭につけた方が良い単語リスト(prefix集) - Qiita
自動テストはなぜうまくいかないか？乗り越えるためには何が必要か？ - Qiita
入試改革中止求め高校生らデモ 文科相は「実施に全力」：朝日新聞デジタル
新卒向け「テストコード」の研修資料 Sansanが無料公開 Python上でのテスト方法を解説
「尿や血液一滴で癌が分かる検査」を闇雲に受けないほうがいい理由｜Wellness
モブプログラミングに向いてない私の話 - 誰かの役に立てばいいブログ
抗体検査・抗原検査・PCR検査 どう使い分ける？（忽那賢志） - エキスパート - Yahoo!ニュース
ユニットテストってもう言わない！ CI/CD時代のテスト分類に最適なテストサイズという考え方
文科相 「大学入学共通テスト」採点の委託業者に厳重抗議へ | NHKニュース
決済チームがテストコードを書く際に気を付けていること - UPSIDER Techblog
プログラミングの原則：enumの比較はすべてバグ - Uzabase for Engineers
Fate/Grand Orderにおける大規模なデータベース移行と負荷試験
システムの応答速度は本質的な価値提供であることを示す A/B テストの実例
TDD Boot Camp 2020 Online #1 基調講演/ライブコーディング
形式手法はなぜ流行っていないのか - Qiita
「龍が如くスタジオ」のQAエンジニアリング技術を結集した全自動バグ取りシステム
Postmanを使い始めた時に知っておきたかった地味に便利な機能10選 - Qiita
TypeScriptの"型"を学びたいあなたへ。type-challengesのすゝめ - Qiita
「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn