ゼロから学んだ形式手法 - DeNA Testing Blog
2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 この記事では、加入3か月を経てようやく形式手法の輪郭が掴めてきた私の視点から、学習前後での理解の変化について振り返ります。想定読者として学習前の私と近い属性——すなわちコンピュータサイエンスや数学の専門教育を受けておらず、主に現場での実務と自習に頼ってきたソフトウェアエンジニアを想定しています。 形式手法を学ぶ前の認識と疑問 ソフトウェアエンジニアとしての私の一番の興味関心は設計手法です。設計は、なんらかの解決したい問題に対して、ある一面を切り取った構造（モデル）を与え、そのモデルを解決の機構に落
社会人になって適当に自炊をこなすためにやってること - Juju-62q's blog
これをいうと多くのソフトウェアエンジニアリングをしている同期には比較的驚かれますが、僕は自炊派です。 リモートワークでなかった頃の平日でも週3-4回は自炊していました。 1年も経つといかにして継続的に自炊を続けるのかというところに少しノウハウが溜まってきたのでまとめてみようと思います。 僕の自炊のテーマは継続可能性です。無理をするとやめちゃうので、それは困ります。 アフィリエイトはやってませんのでブログ経由で買い物をしても僕には一銭も入りませんのでその辺りはご安心くださいな。 TL;DR 乾燥野菜、冷凍野菜は便利 困ったときに食べるものを冗長化しておくと良い 包丁を使わない料理をいくつか持っておくと良い 加工済み食品は便利 前提 僕はちょいちょい魚を捌いたり、揚げ物をしたり、ちょっと凝った料理をしたりするし、なんなら山の上で料理をすることもあります。 この印象から料理が好きな人と思われてい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
