サービストップ

はてなブックマーク

B!で、もっと知る
話題のニュースを みんなの感想と一緒に テクノロジーからマンガまで
Scroll

COMMENTコメントで知る

記事へみんなの感想が集まる

「ゼロから学んだ形式手法 - DeNA Testing Blog」への感想

  • taka_sek
    taka_sek 3ヶ月の形式手法についての学びを振り返りました。初学者視点で疑問・認識の変化を追い、形式手法の掴みづらさの解消に焦点をあてました。 2020/04/08
  • tonchix
    tonchix “プログラマが日常的に頼っている型システムも「型システム入門」によれば「最も確立された軽量形式手法」” へぇー！そうなんだ 2020/04/08
  • a_suenami
    a_suenami takasekさんの記事、やっと読んだ。僕も最近形式手法でいろいろやってみたいと思っているのでがんばっていきたい。 2020/04/10
もっと読む

HOT ENTRY人気ブックマークで知る

ブックマークが集まった今日の話題をチェック！

今日10/14(月)のブックマーク人気記事

もっと読む
  • App Storeからダウンロード
  • Google Playで手に入れよう
© Hatena また押してみてね