「ある SWET エンジニアの開発プロセス改善最前線」への反応（DeNA TechCon 2019）

ころ @koropicot

@orga_chem 形式的な仕様記述できる人材はプログラムも書ける気がしていて、仕様と実装の同期のことを考えるとなんかうまい方法ないのかな～と聞きながらふわっと考えてた程度の発言でした。 実は仕様考える人がコード書いちゃった方がコストかからないんじゃとかそういう…

Kuniwak @orga_chem

@koropicot ただ、明文化された仕様は全て機能要求であるという問題があって、現実には動作速度などの非機能要求があることを表現しづらく、現実的なコードの生成が困難です。なお見方を変えると、そのような非機能的な事情を考慮しなくても企画と初期ロールの間で検証ができるというのが強みです #denatechcon

kariad/かりあど @kariad_uu

設計パターンの形式知ってどういった形で残しているんだろうか #denatechcon #techcon_d

Kuniwak @orga_chem

@kariad_uu 今の所はまだドラフト段階なので、Qiita:Team などの社内ドキュメントサーバーに置いてます。ゆくゆくは、GoF のデザパタ本や Game Programming Patterns や xUnit Test Patterns のような（なるべく薄い）パターン集として残せたらなぁと思っています #denatechcon

kariad/かりあど @kariad_uu

@orga_chem ありがとうございます。設計って形式知化しても必ずしもそのまま適用できないパターンがあるのかなと思っていて、せっかくドキュメントにまとめても実際の現場で理解度が低いとうまくワークしない可能性があるのかなとそのために工夫などあるのかなと気になりました

Kuniwak @orga_chem

@kariad_uu わかります！なので、最終的には現場のすぐ隣の席で機能を開発しつつ自ら実践して広めていくことなどを考えています。なお、前職ではこの方法がとてもうまくいきました。

kariad/かりあど @kariad_uu

@orga_chem ドキュメント化してもやはり最後はペアプロなどの形になるのですね。広めるためには開発と両方を熟知している必要があり、広める側のスキルを持った人が少ないのが現状の課題だな〜と感じています

Kuniwak @orga_chem

@kariad_uu そうなりますね。ただ、我々が形式化で狙っている部分は、このデザパタを使いこなすロールの人の学習コストを小さくすることにあったりします。なので、おっしゃる課題を解決するための形式化みたいなイメージです。 #denatechcon

kariad/かりあど @kariad_uu

@orga_chem 確かに使いこなす側向けの形式知としたらとても有効ですね！それがいつか一般書籍化されて世の中に広まるといいなと願っています…!

stmn@繧ｵ繝医Α繝ｳ @stmn_nanodeu

最近は形式手法周りを勉強してきたけど、 「実社会における開発のどういう所で使えるんですか？？」 とか聞かれると、説明しにくい気が

Kuniwak @orga_chem

ちょうどそれ系の発表してました speakerdeck.com/denatech/denat… twitter.com/stmn_nanodeu/s…

stmn@繧ｵ繝医Α繝ｳ @stmn_nanodeu

@orga_chem スライド内容、見させてもらいました！ 実業務でのイメージがあんまり浮かばなかったので、「なるほど」と思いながら読まさせてもらいましたm(_ _)m 確かに、仕様段階での問題点を見つけるのには使いやすそうですよね

Kuniwak @orga_chem

このスライドでは、形式手法の説明であえて「数学的な基盤をもつ（ここ結構重要）」ことに触れませんでした。ただでさえ難しい字面なのに、実態以上難しく感じてほしくないという気持ちで端折ったという経緯があります。なので説明で🤔ってなったらご容赦いただけると嬉しいです… #denatechcon twitter.com/orga_chem/stat…

Kuniwak @orga_chem

発表スライドを事前公開します。 DeNA TechCon Stage D 16:00-「ある SWET エンジニアの開発プロセス改善最前線」 speakerdeck.com/denatech/denat… #denatechcon #denatechcon_d

2019-02-06 15:51:51

Takuto Wada @t_wada

DeNA の SWET チームはもう15人まで増えていて、ミッションも明確で、さらに形式手法にもチャレンジしている。凄い。 / “DeNATechCon 2019 あるSWETエンジニアの 開発プロセス改善最前線 - Speaker Deck” htn.to/d5NHJtFW5A5

yoshiki / PM @diver_sities

あとで読みたい。 DeNATechCon 2019 あるSWETエンジニアの 開発プロセス改善最前線 speakerdeck.com/denatech/denat…

tarappo @tarappo

やりたいことはたくさんあって、まだまだできてないことも多いので、もっともっとSWETに人が来てほしいのです！ twitter.com/t_wada/status/…

しましま(偽) @shimashima35

非常に興味深い取り組みの数々。形式手法もやっているのか。弊社も部分導入を狙っているの。 / speakerdeck.com/denatech/denat…

miyata @miyajan

共感度高い取り組み / “DeNATechCon 2019 あるSWETエンジニアの 開発プロセス改善最前線 - Speaker Deck” htn.to/joNwMYX1yHU

roshian @roshian

そろそろDeNA社とメルカリ社はSWET/SETの呼び方をどちらかに統一して欲しい、と思ってたら資料中に由来があった。 / “DeNATechCon 2019 あるSWETエンジニアの 開発プロセス改善最前線 - Speaker Deck” htn.to/brfmvjLvQNb

Kuniwak @orga_chem

とりあえず、今回の DeNA TechCon では、我々が形式手法のやっていきをしていることが発表できてよかった。メインで取り組んでくださってた同僚氏の働きを大変尊敬しているし、とても助かりました 🙏

pihero @pihero13

SWET software engineer in test. ソフトウエアテストによって、サービスの品質・エンジニアの開発効率を向上させるエンジニア集団！

derby @nobunori

DeNAでサービスとかクラウドの話を聞きたいと思っていったらQAとかSWETとか品質保証の話がよかった。テスト設計は前向きでよかったな #denatechcon

はるはる @anahiapp1

すごく良い内容だと思ったんだけど、バカな私はSWETエンジニアってエンジニアという言葉がダブってるよなとかくだらないことを気にしてしまったのです。

しんぺいくんさん @shinpei0213

めちゃめちゃいい資料だこれ speakerdeck.com/denatech/denat…