![](https://cdn-ak-scissors.b.st-hatena.com/image/square/dc1b5b33743c932eff9b845ce3e2ad0201a078c3/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-412672c5f0600ab9a64263b751f1bc81.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9JUUzJTgwJTkwJUU1JUJEJUEyJUU1JUJDJThGJUU2JTg5JThCJUU2JUIzJTk1JUUzJTgwJTkxJUUzJTgwJThDJUUzJTgzJTk1JUUzJTgyJUE5JUUzJTgzJUJDJUUzJTgzJTlFJUUzJTgzJUFCJUUzJTgzJUExJUUzJTgyJUJEJUUzJTgzJTgzJUUzJTgzJTg5JUU1JUIwJThFJUU1JTg1JUE1JUUzJTgyJUFDJUUzJTgyJUE0JUUzJTgzJTgwJUUzJTgzJUIzJUUzJTgyJUI5JUUzJTgwJThEJUUzJTgyJTkyJUUzJTgxJTk2JUUzJTgyJTg5JUUzJTgxJUEzJUUzJTgxJUE4JUU4JUFBJUFEJUUzJTgyJTkzJUUzJTgxJUE3JUUzJTgxJUJGJUUzJTgxJTlGJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmcz04ZDFhNzMzMzcyMTRhMmM2MDY0NTJiZWIyZWI0YWMwMQ%26mark-x%3D142%26mark-y%3D57%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9NzcwJnR4dD0lNDBmdWNoYSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MWM5MmVhOWRlN2JkNjk5N2M1N2Y2ODZiZTNmNGU0ODQ%26blend-x%3D142%26blend-y%3D486%26blend-mode%3Dnormal%26s%3Dcb7740ea439ce8e767cf4904d5ec9dad)
エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
【形式手法】「フォーマルメソッド導入ガイダンス」をざらっと読んでみた - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
【形式手法】「フォーマルメソッド導入ガイダンス」をざらっと読んでみた - Qiita
さて、どこから勉強するか…… 何から勉強したものか分からなかったので、とりあえずググってみて、以下の... さて、どこから勉強するか…… 何から勉強したものか分からなかったので、とりあえずググってみて、以下のサイトを発見。 形式手法に関する様々な情報が集約されているようなので、まずはここを足掛かりに勉強してみます。しかし、ニュース&トピックの更新されてなさを見ると、あんまり活性化していないサイトなのかな。まあいいか。とっかかりだし。 サイトを探してみると「フォーマルメソッド導入ガイダンス」という、ガイダンス感あふれるドキュメントを発見。技術の背景から適用方法まで書いてくれていて、なんかとっかかりに良さそうです。PDFをダウンロードしてみると256ページもあって一瞬心がくじけたのですが、p115以降は付録とのことなので、まずはざっと流し読みしてみます。前記事であげたような疑問点が解消されると良いな。 ※ちなみに「形式言語=フォーマルメソッド」とのことです。 第1部 意識啓発編(まとめ) 何を解決す