Upgrade to Pro — share decks privately, control downloads, hide ads and more …

DeNA SWETでのインターンシップについて【DeNA TechCon 2023】

DeNA SWETでのインターンシップについて【DeNA TechCon 2023】

youtube:https://youtu.be/-Hajlh9LMf4

概要:
DeNA TechCon 2021 Winter での Lightning Talks です。

◆ You Tube チャンネル登録はこちら↓
https://youtube.com/c/denatech?sub_confirmation=1

◆ Twitter
https://twitter.com/DeNAxTech

◆ DeNA Engineering
https://engineering.dena.com/

◆ DeNA Engineer Blog
https://engineering.dena.com/blog/

◆ DeNA TechCon 2022 公式サイト
https://techcon2022.dena.dev/spring/

DeNA_Tech

March 06, 2023
Tweet

More Decks by DeNA_Tech

Other Decks in Technology

Transcript

  1. 9 成果物の実行例 自動販売機の振る舞いはCSPで次のように記述できる。 vmi = coin → (tea → vmi)

    □ (coffee → vmi) □ はcoffeeかteaかの(外からの)選択(外部選択) a → Pはイベントaが起こったあとPという動作をすることを 表す(Prefix) 例として coin → Pはcoinを入れたあとPという動作をするこ とを表している。 CSPの記述をベースに、OCamlでの型定義とインターフェー スを用いて図のようにモデリングすることができる。
  2. 10 成果物の実行例 シミュレータを用いてモデルを動作させてみる。 → がPrefix, |*| が外部選択に対応 coinを入力してcoffee(tea)を入力すると初期状態に 戻っていることがわかる。 →

    想定していた動作をすることが(システムを実装す ることなく)確認できた。 (ユーザの入力) (ユーザの入力) (ユーザの入力) (ユーザの入力)
  3. まとめ • SWET第一グループでインターンシップに取り組んだ。 • SWET第一グループでは、PFDを活用して作業内容を定義している。 • 成果物としてCSPのOCamlでの表現、シミュレータ、インターフェースを作成した。 インターンシップを行なって... • PFDが非常に便利だと感じた。正社員としてこれから働く際も活用していきたい。

    • モデリングは実際のシステム開発で手戻りを防ぐのに幅広く活用できそう。 • 自分で書いたシミュレータを用いて実際にプロセスの動作をシミュレートするのは楽しい。 参考文献 • 並行システムの検証と実装 (磯部 祥尚 著) 11