xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ トピックス ちょっと古いけど、ここのプレスリリース 東京証券取引所とDSF成果を活用した 形式手法適用実証実験をIPA SEC主催で開始 ～DSFが「形式手法活用ガイド」を正式リリース～ http://www.nii.ac.jp/news/2011/0721/ 「東証、形式手法適用実証実験をIPA SEC主催で開始」より、 「DSFが「形式手法活用ガイド」を正式リリース」のほうが、ニュース性が高い？ DSFが作成した「形式手法活用ガイド」は、 DSFの形式手法活用ガイドならびに参考資料の利用にあたって http://www.nttdata.co.jp/dsf/dl.html からダウンロードできる(まだ見… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F21036abcc8688b350034a6ed7facabe5" title="東証、形式手法適用実証実験をIPA SEC主催で開始 - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-08-01 14:42:32 rich https://xmldtp.hatenadiary.org/entry/21036abcc8688b350034a6ed7facabe5 1.0 100%