並び順

ブックマーク数

期間指定

  • から
  • まで

361 - 400 件 / 10861件

新着順 人気順

TypeScriptの検索結果361 - 400 件 / 10861件

  • State of JavaScript 2020:いちばん利用率の高いJSフレームワーク、フロントエンドがReact、バックエンドはExpress、テストにはJest。2万4000人の調査結果

    IT技術者のSacha Greif氏とRaphaël Benitte氏が、JavaScriptに興味を持つ世界中のIT技術者約2万4000人にアンケートを取り、結果をまとめたWebサイト「State of JavaScript 2020」が公開されています。 JavaScriptの最新のシンタックスや命令がどれくらい使われているか、フロントエンドやバックエンド、ビルドツールなど分野ごとにさまざまなJavaScript関連の技術はどれくらい興味を持たれているかなど、アンケート結果を基にして、満足度(Satisfaction)、興味(Interest)、利用率(Usage)、認知度(Awareness)などを計算。それぞれについてランキングを作成しています。 それぞれの値は次の式で計算されると説明されています。それぞれの項目にはアンケートの回答数が入ります。 満足度=またこの技術を使いたい/(

      State of JavaScript 2020:いちばん利用率の高いJSフレームワーク、フロントエンドがReact、バックエンドはExpress、テストにはJest。2万4000人の調査結果
    • Ubie は Go と Node.js の会社になります


      Ubie  Server-Side Kotlin Go Node.js  Go Node.js    Ubie  KotlinGoNode.jsRubyPython  
        Ubie は Go と Node.js の会社になります
      • 有名企業のエンジニア向け研修資料まとめ - Qiita


           ~    ~      Git    iOS Android   FlutterAI
          有名企業のエンジニア向け研修資料まとめ - Qiita
        • 自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理

          切り替える理由 自社の主力製品で利用している技術(WebRTC / WebTransport)がブラウザベースのため TypeScript を利用する Go を採用したのは sqlc が使いたかったという理由 sqlc-gen-typescript が出てきたのでもう Go を使う理由がなくなった 自社サービスチーム全員が Go にまったく興味が無い sqlc 自体は便利 そもそも自社に Go への興味がある人がいない 自社サービスの規模ではボトルネックになるのはデータベースであって言語ではない もしアプリでスケールが必要なときは Rust や Erlang/OTP に切り替えれば良い コネクションプールは PgBouncer を利用すればいい TypeScript からは 1 コネクション 1 接続で問題無い どうせフロントエンドでは TypeScript を書く 自社では React

            自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理
          • 2020年にJavaScriptフレームワークをちゃんとはじめるために。|榊原昌彦


            2015JavaScript使使  JavaScriptJavaScriptAngularReactVue HTMLJavaScript  AngularHTMLJavaScriptTypeScript  ReactJavaScriptHTML
              2020年にJavaScriptフレームワークをちゃんとはじめるために。|榊原昌彦
            • 重いサイトを軽くしろ!年末年始は #WebSpeedHackathon 2021 に挑戦しよう | CyberAgent Developers Blog

              ABEMA で Web フロントデベロッパーとして活動している 宮代 @3846masa です。CyberAgent Advent Calendar 2021 4 日目は、Web パフォーマンス改善のコンテストについてお話します。 TL;DR Web パフォーマンス改善コンテスト “Web Speed Hackathon 2021 mini” を開催します! 改善する対象は https://web-speed-hackathon-2021.herokuapp.com/ です オンライン開催で、12 月 4 日から 1 月 3 日までの 1 ヶ月間、好きなときに誰でも参加できます 記事の後半は、課題となる「重たい短文投稿サイト」を作るまでの開催記です はじめに CyberAgent では、Web パフォーマンス改善を競うコンテスト “Web Speed Hackathon 2020” を昨年

                重いサイトを軽くしろ!年末年始は #WebSpeedHackathon 2021 に挑戦しよう | CyberAgent Developers Blog
              • Effective TypeScript › The Golden Rule of Generics

                The New TypeScript Handbook has some real gems in it. Here's what it has to say about generics: Writing generic functions is fun, and it can be easy to get carried away with type parameters. Having too many type parameters or using constraints where they aren't needed can make inference less successful, frustrating callers of your function. It goes on to offer a few specific pieces of advice about

                  Effective TypeScript › The Golden Rule of Generics
                • Flashエミュレーター誕生のきっかけは別に「フラッシュ愛」じゃなかった 「swf2js」開発者の本音と数奇な運命【フォーカス】

                  株式会社ソニックムーブ エンジニアグループ ソリューションユニット マネージャー 家永 稔之 2011年にソニックムーブに入社。個人ではJavaScriptとTypeScriptを用いて、「swf2js」や「Next2D」の開発を手がける。業務のリモート化をきっかけに地元の消防団に所属し、防災活動として月に数回、消防車両に乗って地域の巡回を行う。 X GitHub Animation Tool かつてインタラクティブなWebコンテンツを支えた「Adobe Flash」。「Adobe Flash Player」は2020年12月末でサポートを終了し、ほとんどのコンテンツはすでに姿を消しました。そんなFlashコンテンツ(SWF)を最新のHTML環境で再生可能にする、オープンソースのJavaScriptライブラリが「swf2js」です。ソフトウェアエンジニアの家永稔之さんが開発し、2015年に

                    Flashエミュレーター誕生のきっかけは別に「フラッシュ愛」じゃなかった 「swf2js」開発者の本音と数奇な運命【フォーカス】
                  • 静的サイトジェネレータ「Astro 3.0」正式リリース。JavaScriptなしでSPAのようなアニメーションの画面遷移など新機能

                    静的サイトジェネレータ「Astro 3.0」正式リリース。JavaScriptなしでSPAのようなアニメーションの画面遷移など新機能 オープンソースで開発されている静的サイトジェネレータ「Astro」の最新バージョンとなる「Astro 3.0」が正式にリリースされました。 Astro 3.0 is out now! 30% faster and more powerful than ever. View Transitions, Image Optimization, JSX Fast Refresh, and so much more. https://t.co/vOi44246Hg — Astro (@astrodotbuild) August 30, 2023 Astroは、ReactやVue、Svelte、Alpine.js、TypeScriptなどのさまざまなフレームワークやライ

                      静的サイトジェネレータ「Astro 3.0」正式リリース。JavaScriptなしでSPAのようなアニメーションの画面遷移など新機能
                    • 令和時代のページネーションを考える (REST API編) - Sweet Escape

                      今回はバックエンドAPIでページネーションをどうやるかについての話なので、よくある無限スクロールUIのようなフロントエンド側の実装に関する話はしない。あくまでもAPI、もっと言えばRESTfulなAPIのリクエスト・レスポンスにおけるページネーションの話。 本気で深く考えるというよりざっくり検討したときの話です。 はじめに REST APIを実装するにあたってリスト系のAPIを提供する場合に必須といっても過言ではないのがページネーション。大量のリソースをレスポンスする場合にそれらを一気に返してしまうことは応答速度、転送量、クライアントサイドでの扱いづらさなどなどに繋がるので必須と言える。 最近、新たなAPIを開発するにあたってページネーションをする必要があったこともあり、今回はこのページネーションをどうやって提供するか整理して改めて検討してみた。 前提 TypeScript Nest.js

                        令和時代のページネーションを考える (REST API編) - Sweet Escape
                      • ドキュメントを書くときの「メンタルモデルの原則」 - クックパッド開発者ブログ

                        こんにちは。クリエイション開発部の丸山@h13i32maruです。 みなさんドキュメント書いてますか?私はドキュメントを書くのは結構好きです。最近もプライベートで開発しているJasperというGitHub用Issueリーダーのユーザ向けドキュメント(マニュアル)を書きました。でも良いドキュメントを書くのって難しいですよね。 そこで、本記事では「ツールやライブラリなどを対象にしたユーザ向けドキュメント」を書くときに私が考える原則を紹介します。ちなみに私はテクニカルライティングの専門家ではなく、普通のソフトウェアエンジニアです。そのあたりはいい感じに汲み取っていただけると🙏 🕵️メンタルモデルの原則 良いドキュメントとはどのようなものなのでしょうか?私は「そのツールやライブラリに対して読者がメンタルモデルを構築できる」のが良いドキュメントだと考えています。これを「メンタルモデルの原則」と呼

                          ドキュメントを書くときの「メンタルモデルの原則」 - クックパッド開発者ブログ
                        • Scalaはもうだめなのか?…というかJVM言語がもうだめじゃん?|sugitani

                          AndroidのためのJava/Kotlinはスコープ外とします まず断っておくと、俺はScalaが好きだ。 自分が作ったScalaプロダクトは二個現存している。うち一つはまだまだ自分が開発している。というか今は会社を作って1人でプロダクトを作っている身なのだが、それもScala3+ZIO2でゴリゴリ書いている。 でも残念、もうScalaというかJVM言語がオススメできません。TypeScriptかGoかRustをオススメします。 どういうこと?まずこの記事を見ていただくのが一番分かりやすい。 https://aws.amazon.com/jp/builders-flash/202310/java-serverless-saas-backend/?awsf.filter-name=*all 素晴らしいエントリーだ。読みに行かないせっかちな方のために概要を紹介する JavaプロダクトをAWS

                            Scalaはもうだめなのか?…というかJVM言語がもうだめじゃん?|sugitani
                          • props のバケツリレーって何が悪いんだっけ - fsubal

                            #React やってて、props のバケツリレーを何か嫌がる人たまにいるんだけど、自分は props のバケツリレーそのものをそんなに悪いと思ったことがない。 「バケツリレーがつらい」ように見えるコンポーネントの大半はそもそも props の設計がおかしい場合が多く、本当の問題はそっちにあると思っている。 たとえば、次のようなバケツリレーはつらいかもしれない。ここでいう Body はサイドバーとしてフォロワーの一覧を表示し、メインコンテンツとしてフィード一覧を表示するみたいなものを想像して欲しい。フォロワー一覧の中で使う props とフィード一覧で使う props を混ぜて1つの親に渡している状況だ。

                              props のバケツリレーって何が悪いんだっけ - fsubal
                            • GASの開発環境をローカルで作成する方法(2023年7月版) | DevelopersIO


                              Google Apps ScriptVSCodeclasp,aside使  Google Apps Script(GAS) GASAppsScriptIDE VSCode使VSCode便使 使VSCode使 AppsScriptIDEGit GASVSCode使  VSCode Node.js
                                GASの開発環境をローカルで作成する方法(2023年7月版) | DevelopersIO
                              • 歴史・年表でみるAWS全サービス一覧 -アナウンス日、General Availability(GA)、AWSサービス概要のまとめ- - NRIネットコムBlog


                                西 Amazon Web Services(AWS)AWS AWSWhat's NewGA()AWS AWS AWSAWS AWSCloud Products() on AWS AWS
                                  歴史・年表でみるAWS全サービス一覧 -アナウンス日、General Availability(GA)、AWSサービス概要のまとめ- - NRIネットコムBlog
                                • 【2024年最新版】0からReactを勉強するならこのロードマップに従え! - Qiita


                                   @Sicut_study (Watanabe Jin) 10React稿1000 React使  👇 1-2React (React) OK
                                    【2024年最新版】0からReactを勉強するならこのロードマップに従え! - Qiita
                                  • どのようにTypeScriptを使うのか - uhyo/blog

                                    現在、TypeScriptの重要性は、フロントエンド開発を中心としてますます増すばかりであります。それだけに、TypeScriptをどのように使うべきかという問題については多様な意見が見られます。 これまで筆者はTypeScriptの使い方に、特にコンパイラオプションの使い方について意見を散発的に発信してきましたが、このたび記事にまとめました。この記事では、特に次のような意見に対しての反対意見を述べます。 厳しいコンパイラオプションは型パズル愛好者のためのものであり、普通の人は細かいことを気にせず緩い設定でよい。熟練のJavaScript使いにはTypeScriptは必要ない。例え話最近はTypeScriptを補助輪に例えたりするのが流行っていますので、この記事でも例え話をしてみます。筆者の考えでは、TypeScriptというのは例えるならば料理人が使う包丁のようなものです。コンパイラオプ

                                      どのようにTypeScriptを使うのか - uhyo/blog
                                    • Python互換の静的型付け言語「Erg」


                                       Erg  qnighy Erg***  Python (?)Numpy, SciPy Python  Python 
                                        Python互換の静的型付け言語「Erg」
                                      • Reactを使うならReact Developer Toolsの再レンダリング時ハイライトくらい設定してくれ

                                        モダンフロントエンドについて初めて書きます。お手柔らかに。 最近 React と Next.js に入門したのですが、入門時点で一番最初に知っておきたかったことについて書きました。 「React 初心者が useState とかを学習する前にまず一番にやることはこれ」っていう内容です。。 タイトルは自分への戒めです。 TL;DR この記事を読むと React Developer Tools の簡単な使い方を知り、useState の再レンダリングについて動きがイメージできるようになると思います React Developer Tools これのこと。React を使った開発をするのであれば、必ず導入しないといけないレベルのもの。 再レンダリング時ハイライトの設定 React Developer Tools をインストールした後、F12 を押下して Component を選択この歯車を押下す

                                          Reactを使うならReact Developer Toolsの再レンダリング時ハイライトくらい設定してくれ
                                        • コードを書くのが楽になる!知っておくと便利なVS Codeの機能・設定のまとめ

                                          VS Codeは毎月のようにアップデートされ、便利な機能がどんどん追加されています。最近追加された機能をはじめ、Web制作で役立つ便利な機能を紹介します。 特に人気が高い機能拡張と同じレベルの仕事が、VS Codeの基本機能・設定だけで利用できるので、便利です。 VS Code: You don't need that extension by Rob O'Leary 下記は各ポイントを意訳したものです。 ※当ブログでの翻訳記事は、元サイト様にライセンスを得て翻訳しています。 はじめに 1. タグの自動名前変更と終了タグ補完 2. 設定の同期 3. モジュールの自動インポート 4. HTMLとCSSのスニペット管理 5. ダミーテキスト 6. 末尾のスペースを自動的に削除 終わりに はじめに 私は最近、VS Codeを深く掘り下げいて、いくつか興味深い発見がありました。人気のある機能拡張の

                                            コードを書くのが楽になる!知っておくと便利なVS Codeの機能・設定のまとめ
                                          • TypeScript 本体のコードを読んでみよう


                                             TypeScript     2023/6/8  git clone  :   TypeScript  Language Service  findReferences()  findRenameLocations(), goToDefinitions() 使 Terser 使 TypeScript 
                                              TypeScript 本体のコードを読んでみよう
                                            • ナメやがってこの型ァ!!超イラつくぜぇ~~~~~ッ!!

                                              const colors = ["赤","青"] as const; type Colors = typeof colors[number]; //"赤" | "青" typeof colors[number]・・・ってよォ~~~~~ typeofはわかる。スゲーよくわかる TypeScritの世界では、typeofで変数から型を作れるんだよなァ だがnumberってのはどういう事だああ~~~~っ!? 配列にnumberを渡せるかっつーのよ───────ッ!! ナメやがってこの型ァ!! 超イラつくぜぇ~~~~ッ!! 解説 これはよォ 「Lookup Type」ってやつらしいぜぇ たとえばよォ 👇みたいに書くとPerson型からプロパティの型を取り出せるよなァ~?? type Person = { name: string, age: number } type name = Person

                                                ナメやがってこの型ァ!!超イラつくぜぇ~~~~~ッ!!
                                              • 雑にReactアプリを作りたい時に使ってるもの

                                                import "./App.css"; import { Link, Route, Switch } from "wouter"; function Nav() { return ( <nav> <Link to="/">Home</Link> <br /> <Link to="/about">About</Link> </nav> ); } function Home() { return ( <div className="App"> <h2>Home</h2> <Nav /> </div> ); } function About() { return ( <div className="App"> <h2>About</h2> <Nav /> </div> ); } function App() { return ( <> <Switch> <Route path="/" compo

                                                  雑にReactアプリを作りたい時に使ってるもの
                                                • Pythonを使ったGUIアプリを「お手軽に」作りたかった件 - Qiita


                                                   RPAPython使 GUI Flet GUI Python Python使GUI C#JavaPython
                                                    Pythonを使ったGUIアプリを「お手軽に」作りたかった件 - Qiita
                                                  • Fresh 1.0

                                                    Fresh is a new full stack web framework for Deno. By default, web pages built with Fresh send zero JavaScript to the client. The framework has no build step which allows for an order of magnitude improvement in deployment times. Today we are releasing the first stable version of Fresh. Client side rendering has become increasingly popular in recent years. React (and React-like) pages allow program

                                                      Fresh 1.0
                                                    • Webpack チャンク最適 テクニック - Qiita

                                                      ターゲット 巨大なSPAを作ってしまった人へ 巨大なSPAを作らないように気をつけたい人へ 今回はJSだけにフォーカスするが、もっというと、 超速本 を読んでください。 注意:本資料は、webpack チャンクの挙動を概念的に説明することを重視しているので、 webpack の詳細な設定や、出力ファイル名などは実際の処理と一致しない。適宜自分の手元にある設定とすり合わせるように。 昨今のJSビルド問題と、その解決のためのゴール設定 巨大なJS(+最近は in JS された各種SVGやCSS)はダウンロードだけではなく、UIスレッドのCPUをブロックする。 これはとくにCPUが貧弱な端末で体験が悪化する。そしてビルド時間で開発者体験を阻害する。 できれば webpack 推奨の 144kb 以内にしたい…が現実的に難しいので、 せめて 350kb ぐらいに抑えたい。 SPAなら (ローディン

                                                        Webpack チャンク最適 テクニック - Qiita
                                                      • React 19を概念から理解する

                                                        2024-05-29うひょさんに聞く! React 19アップデートの勘所 #React19_Findy

                                                          React 19を概念から理解する
                                                        • DDDの実装にはあまり興味がなくなっている - Mitsuyuki.Shiiba

                                                          以前は、DDDでどう実装したらいいかなぁって考えてたんだけど、最近は、そういうことへの興味があまりなくなっている。エンティティや値オブジェクト、集約やリポジトリなど、そのあたりにあまり興味がない。ヘキサゴナルアーキテクチャなども、そんなに考えなくなった。 TypeScriptを使うことが多いので、型でしっかり守るとかカプセル化するとか、そのあたりがどっちでもいっかという気持ちになっていることが影響してるとは思う。TypeScriptでクラスを使おうとはあまり思わないし。BrandedTypeみたいなのを使ってまで型で守ろうとは思わない。 じゃあ何に興味があるんだっけ?って考えてみると、トランザクション境界とユビキタス言語かな。 トランザクション境界 トランザクションの境界を作って、DB(RDBMS)を小さく保ちたいと思っている。DBが大きくなると、すぐに複雑になっていく感じがする。 だから

                                                            DDDの実装にはあまり興味がなくなっている - Mitsuyuki.Shiiba
                                                          • 複数の言語で同じWebサービスを実装して技術特性の違いを見てみた - Hatena Developer Blog


                                                            宿 id:yutailang0119  id:maku693 宿宿宿 20234宿Web   2  調宿  宿 使 TypeScript Go Ruby Scala  
                                                              複数の言語で同じWebサービスを実装して技術特性の違いを見てみた - Hatena Developer Blog
                                                            • プログラミングの原則:enumの比較はすべてバグ - Uzabase for Engineers

                                                              こんにちは、ソーシャル経済メディア「NewsPicks」のむとうです。 この記事は NewsPicks アドベントカレンダー 2023 の3日目の記事です。 昨日は@J_Nakagawa(隼佑 中川)さんによる『LambdaレスポンスストリーミングとAWS-SDKを使ってSlackに進捗バーを表示させる』でした! 世の中には再現が難しく一見してバグがありそうに思えないコードもありますが、一方でプロダクションコードの中にはひと目見てバグが有りそうなコードもまた多いものです。いくつかの特定のパターンをとる文字列(環境名など)やenum(以下どちらもenumと表現します)に関する条件分岐もその一つです。プルリクを見てこのようなパターンがあれば、バグの疑いが強くなります。周囲を見渡すと、大抵すでにバグっているか潜在バグを含むコードが見つかります。すべてバグというのは言い過ぎにせよ、わかりやすさと変

                                                                プログラミングの原則:enumの比較はすべてバグ - Uzabase for Engineers
                                                              • 10分でわかる「今更だけどTypeScriptってなに?」 - Qiita


                                                                2 TypeScript  TypeScript  JavaScript  Web 使JavaScript   altJS JavaScript   JavaScript  JavaScript 使 TypeScript  TypeScript   Web 
                                                                  10分でわかる「今更だけどTypeScriptってなに?」 - Qiita
                                                                • Retty の Terraform CI/CD 解体新書 - Retty Tech Blog


                                                                  Retty 6 Terraform  engineer.retty.me Terraform  CI/CD CI CI Pull Request   Terraform   Terraform  tfmigrate CI job  Pull Request P
                                                                    Retty の Terraform CI/CD 解体新書 - Retty Tech Blog
                                                                  • Prettier と ESLint の組み合わせの公式推奨が変わり plugin が不要になった


                                                                     ESLint  Prettier    Prettier  ESLint  () prettier-eslint   Prettier  ESLint    GitHub    Linter  Formatter
                                                                      Prettier と ESLint の組み合わせの公式推奨が変わり plugin が不要になった
                                                                    • TypeScriptで学ぶ!SOLID原則

                                                                      はじめに 皆さんこんにちは、株式会社エムアイ・ラボのエンジニアです! 今回はソフトウェア設計のSOLID原則について学習したので、弊社のメインの開発言語であるTypeScriptのサンプルコードを使って共有できればと思います。 SOLID原則は、オブジェクト思考プログラミングにおいて、ソフトウェアがメンテナンスしやすく、拡張や変更に強いソフトウェア設計を行うための原則です。 SOLID原則にはSOLIDの頭文字をそれぞれとった、5つの原則があります。 単一責任の原則(Single Responsibility Principle) 単一責任の原則とは、クラスが一つの機能や責任を持つべきで、クラスが変更される理由は一つであるべきというです。 クラスが一つの機能や責任のみを持つようにすることにより、コードは再利用可能でテストが容易になります。 単一責任の原則を遵守している例 以下のBirdクラ

                                                                        TypeScriptで学ぶ!SOLID原則
                                                                      • 【2021年版】国内外Tech系YouTubeチャンネル10選 - 登録者数順まとめ! - - RAKUS Developers Blog | ラクス エンジニアブログ


                                                                        yayawowo   YouTube   YouTube       IT    /   
                                                                          【2021年版】国内外Tech系YouTubeチャンネル10選 - 登録者数順まとめ! - - RAKUS Developers Blog | ラクス エンジニアブログ
                                                                        • 僕のフロントエンド技術に対するスタンス|erukiti


                                                                          React Hooks + TypeScript React Hooks#TypeScript :    
                                                                            僕のフロントエンド技術に対するスタンス|erukiti
                                                                          • React ユーザー向けの Next.js ガイド

                                                                            最近会社で Next.js のチュートリアルを担当することがあったり、これからもあるので資料として記事をしたためておこうと思う。 対象は、React は知っているけどこれから Next を学ぼうとする人が想定。 つまり React 単体と Next の差分をまとめる。 React そのものから学びたい人は別の資料にアクセスした方が良いだろう。 Next の学習教材 とりあえず公式だけ読めば良い。(これでいまブラウザバックされたら面白いな・・・) 主に二つあり、 ドキュメントや API: https://nextjs.org/docs/getting-started チュートリアル: https://nextjs.org/learn/foundations/about-nextjs を読むと良い。 Next は何を解決しているか、何が嬉しいか 元々は SSR のための煩雑な手続きをしなくてい

                                                                              React ユーザー向けの Next.js ガイド
                                                                            • TypeScript 関数型スタイルでバックエンド開発のリアル

                                                                              TSKaigi 2024 のスライドです

                                                                                TypeScript 関数型スタイルでバックエンド開発のリアル
                                                                              • VS Codeをなぜ、使い続けているのか?


                                                                                 使使VS CodeVS Code  使 VS Code VS Code 使    VS Code  (Vim JetBrain Helix)  VS Code  VS Code 
                                                                                  VS Codeをなぜ、使い続けているのか?
                                                                                • 形式手法はなぜ流行っていないのか - Qiita

                                                                                  はじめに みなさん形式手法をご存知でしょうか? 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の(特にWeb系)ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku

                                                                                    形式手法はなぜ流行っていないのか - Qiita