Namihira https://blog.hatena.ne.jp/Namihira/ なみひらブログ https://namihira.hatenablog.com/ Bootstrap Eclipse FRAM IV&V JavaScript NetBeans Mac STAMP TensorFlow docker golang html セミナー ビジネス リンク 品質 安全解析 書籍 生活 自己啓発 背景 2017年も終わるので、今年のキーワードを雑記します〆(´Д｀) キーワード（順不同） IV&V もろもろやった。 ソフトウェアに対する第三者によるリスク評価 以下、参照 宇宙機ソフトウェアの信頼性向上｜第三研究ユニット（旧 情報・計算工学センター） 以下、聴講 「第15回クリティカルソフトウェアワークショップ（15thWOCS2）」に行ってきました - なみひらブログ 来年は作業比率が下がりそう。 GSN よく使った。 主張のモデルするための手法、記法（ツリー型） 主張を支える前提や根拠を示せることが特徴。 自動車業界や航空業界での安全保証や、上記のIV&Vで活用されている。 以下、参… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnamihira.hatenablog.com%2Fentry%2F20171229%2F1514539151" title="2017年 活動報告 - なみひらブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://image.middle-edge.jp/medium/4597895e-18ed-4516-abc5-6f706b41e7bd.gif?1479003233 Hatena Blog https://hatena.blog 2017-12-29 18:19:11 rich https://namihira.hatenablog.com/entry/20171229/1514539151 1.0 100%