[フレーム]
はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

気に入った記事をブックマーク

  • 気に入った記事を保存できます
    保存した記事の一覧は、はてなブックマークで確認・編集ができます
  • 記事を読んだ感想やメモを書き残せます
  • 非公開でブックマークすることもできます
適切な情報に変更

エントリーの編集

loading...

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。

タイトルガイドライン

このページのオーナーなので以下のアクションを実行できます

タイトル、本文などの情報を
再取得することができます
コメントを非表示にできます コメント表示の設定

ブックマークしました

ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください

Twitterで共有

ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します

263users がブックマーク コメント 33

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

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

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

はてなブックマーク

はてなブックマークで
関心をシェアしよう

みんなの興味と感想が集まることで
新しい発見や、深堀りがもっと楽しく

ユーザー登録

アカウントをお持ちの方はログインページへ

記事へのコメント33件

  • 注目コメント
  • 新着コメント
uzusayuu
ちなみに半導体回路の設計ではフォーマル検証はごく一般的なツール。 ただ使われ方がだいぶ違う。(HDLからネットリストとかで使う)

その他
jt_noSke
流行ってないというか、使ってるところが航空・鉄道・電力とかバグったらヤバいところでいろいろ採用されてるという話を聞くけども

その他
turanukimaru
ユーザと開発者がシステムを完全に理解し未来も完全に予測し記述も完全にできれば、形式手法は完全に機能する。問題はもちろん、それがなんであれシステムを完全に理解している人間などいないという事だ。

その他
tanakakazu
静的型の言語でさえ「めんどくさい」「たいへん」「気持ちよく書けない」とか言う人いるしね。

その他
mayumayu_nimolove
手段を流行らすのは形式的におかしいんだよ。目的を叶える手段が流行る。目的ありき。

その他
kamocyc
頭に「Web系では」って付けてほしいと思う(といっても他の業界はよく知らないが)

その他
kirakking
実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う

その他
georgenano
軽量な形式手法である型検査はめちゃ流行ってるじゃん 流行ってないところを形式手法と呼んでるだけな気がする AIと一緒。実用的になると専門の名前をつけられてAIって呼ばれなくなる。

その他
suzuki_kuzilla
手形決済に空目した。疲れてる

その他
findup
組み込みやってるときには割と聞いた。Webとかアジャイルとは相性悪いでしょう。IT業界=Webみたいな感覚だとなかなか聞かない話かと。

その他
simomm
形式手法とは高い信頼性が必要なソフトフェアでは使われるらしい。

その他
burabura117
"実は形式手法はAIと同じように実用的になった時点で別の名前がつく言葉なのかもしれません。"

その他
ytakano
Rust流行ってるやん

その他
rryu
形式手法はより厳密にプログラムを書いている感が強くてプログラミング言語側でなんとかならないものかと思っていたが、確かに最近よく見る厳密に型を定義する手法がそれっぽいかもしれない。

その他
prjpn
構成の変更が生じたとき陳腐化する定め

その他
kobito19
費用対効果に尽きるのでは

その他
tettekete37564
知らんけどフローチャートやUML図はまあまあ書くよ。若手にはバカにする連中もいるが、認識のすり合わせやカバレッジ洗い出すにはなんだかんだで重宝する

その他
morita_non
銀行その他の業務を形式化するのが先か。Coq楽しいんだけど。

その他
terazzo
普段我々は自分の能力を超えたものを作ってるんだと思う

その他
georgenano
georgenano 軽量な形式手法である型検査はめちゃ流行ってるじゃん 流行ってないところを形式手法と呼んでるだけな気がする AIと一緒。実用的になると専門の名前をつけられてAIって呼ばれなくなる。

2021年03月25日 リンク

その他
NOV1975
主にコストの問題なので、コストより品質が重要な分野では使われている、のではないかな。

その他
kamocyc
kamocyc 頭に「Web系では」って付けてほしいと思う(といっても他の業界はよく知らないが)

2021年03月25日 リンク

その他
alt-native
その昔 同期が形式手法やってた。開発者だらけの社内でも形式手法の理解者は少なかった。運用できるようになるまでに結構コストかかるんだよね。

その他
kura-2
全部で適用するだけの理由がないからじゃないの?こういうのよくあるが、ほんとに全部に適用して流行るとみんな幸せと思ってんのだろうか?ということで、タイトル変えると読むタイプの記事

その他
delphinus35
面白かった。いいオチまでついててよかった。

その他
kirakking
kirakking 実用性は把握していないけど Isabell/HOL もコード抽出ができるみたい "Code generation from Isabelle/HOL theories" 。検証フレームワークを体系的に学ぶのではなく言語レベルでの制約(Rust のメモリ安全等)がこれから流行るのではと思う

2021年03月25日 リンク

その他
SWIMATH2
話の展開が上手くてほーとなった

その他
mayumayu_nimolove
mayumayu_nimolove 手段を流行らすのは形式的におかしいんだよ。目的を叶える手段が流行る。目的ありき。

2021年03月25日 リンク

その他
hnishi2509

その他
qtamaki
定理証明では公理が正しい事を証明できないから?

その他
roshi
確かにユニットテストは最初知った時なるほどなーと思った。あの時と同じような体験をできる程度に平易な形になったら普及しそう。

その他
saiyu99sp
"False alarm"これされてマジでムカついた。

その他
megamouth
"開発者体験"

その他
suzuki_kuzilla
suzuki_kuzilla 手形決済に空目した。疲れてる

2021年03月25日 リンク

その他
findup
findup 組み込みやってるときには割と聞いた。Webとかアジャイルとは相性悪いでしょう。IT業界=Webみたいな感覚だとなかなか聞かない話かと。

2021年03月25日 リンク

その他
turanukimaru
turanukimaru ユーザと開発者がシステムを完全に理解し未来も完全に予測し記述も完全にできれば、形式手法は完全に機能する。問題はもちろん、それがなんであれシステムを完全に理解している人間などいないという事だ。

2021年03月25日 リンク

その他
jt_noSke
jt_noSke 流行ってないというか、使ってるところが航空・鉄道・電力とかバグったらヤバいところでいろいろ採用されてるという話を聞くけども

2021年03月25日 リンク

その他
t-tanaka
TCPスタックでもWebサーバーでも何でも良いから,実用的なものを実装してくれ。それができたら考える。

その他
tanakakazu
tanakakazu 静的型の言語でさえ「めんどくさい」「たいへん」「気持ちよく書けない」とか言う人いるしね。

2021年03月25日 リンク

その他
ngmy
流行らない理由は、証明検査系自体や記述した仕様自体にバグがあった場合のダメージが大きすぎるからでしょうね。

その他

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

プレビュー
アプリのスクリーンショット
いまの話題をアプリでチェック!
  • バナー広告なし
  • ミュート機能あり
  • ダークモード搭載
アプリをダウンロード

関連記事

usersに達しました!

さんが1番目にブックマークした記事「形式手法はなぜ流...」が注目されています。

気持ちをシェアしよう

ツイートする

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

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure y... Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに みなさん形式手法をご存知でしょうか? 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の(特にWeb系)ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは

ブックマークしたユーザー

  • xiangze2025年06月28日 xiangze
  • yokochin_htb2024年10月06日 yokochin_htb
  • dev_tamura2024年05月15日 dev_tamura
  • vyniled2023年12月24日 vyniled
  • yamori04082023年11月03日 yamori0408
  • simomm2023年06月19日 simomm
  • techtech05212023年05月01日 techtech0521
  • jagagaj2023年03月29日 jagagaj
  • hokorobi2023年02月26日 hokorobi
  • serihiro2023年01月05日 serihiro
  • toge2022年05月30日 toge
  • knj29182021年12月30日 knj2918
  • gemini72021年05月24日 gemini7
  • naokinkfj2021年05月24日 naokinkfj
  • burabura1172021年04月10日 burabura117
  • lugecy2021年04月04日 lugecy
  • AmaiSaeta2021年04月02日 AmaiSaeta
  • somathor2021年03月31日 somathor
すべてのユーザーの
詳細を表示します

ブックマークしたすべてのユーザー

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

同時期にブックマークされた記事

いま人気の記事 - 企業メディア

企業メディアをもっと読む

はてなブックマーク

公式Twitter

はてなのサービス

Copyright © 2005-2025 Hatena. All Rights Reserved.
設定を変更しましたx

AltStyle によって変換されたページ (->オリジナル) /