tunamagro58795 https://blog.hatena.ne.jp/tunamagro58795/ 私は迷いの中にいる https://tunamagro58795.hateblo.jp/ 明後日の今頃はwacateに参加しているとか信じられないですね。。。 wacateのHPを見ながらどんなセッションがあるのかを見ていたら 段々楽しみになってきました。 冷静に考えると、2日でまとめてテストに関することあれこれを学べるってかなりお得感満載です。実行委員の方に感謝。 セッションの中でも一番わかっていない「形式手法」予習しようと思って色々みてみていますが正直わかっている自信がないかも。。 仕様記述の技法で数学論理のなにかを使う？仕様を明確化するとテストもしやすくなる、うーん。。こうやってさわりだけで解ろうとするのが一番いけない気がします。（でも何も解ろうとしないよりはいいのか…まった… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftunamagro58795.hateblo.jp%2Fentry%2F2019%2F12%2F12%2F231017" title="wacate楽しみになってきた - 私は迷いの中にいる" 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 2019-12-12 23:10:17 rich https://tunamagro58795.hateblo.jp/entry/2019/12/12/231017 1.0 100%