【デブサミ2020】セッションレポート:13-F-6 「厳密な共通言語」としての形式手法|dora_e_m|note

【デブサミ2020】セッションレポート:13-F-6 「厳密な共通言語」としての形式手法|dora_e_m|note

形式手法なんもわからん 登壇:チェシャ猫さん 形式手法というものを聞いたことはある。でも、なんもわからん。 概念として、自分の考え方とあってそうな気がする。でも、なんもわからん。 このセッションを通して「完全に理解した」になれるだろうか。 システムの仕様と曖昧性 チェスのルール:ポーンは最前列に到達した際クイーン・ビショップ・ルーク・ナイトのいずれかになることができる ここには穴がある。「同じ色」の制限と「なることができる」という曖昧さ。  Max(x, y)も、正しくは「小さくないほうを返す」 その分野の人には自明であることが文書化されない 仕様を理解した「つも

Date: 2020/02/14 11:20

Related Entries

Read more データ分析基盤Developers Night〜3社3様分析基盤の変遷〜|IT勉強会ならTECH PLAY[テックプレイ]
0 users, 19 mentions 2019/04/12 11:16
Read more LAPRASの採用・オンボーディングでのCX:EXに関する取り組み - Speaker Deck
0 users, 2 mentions 2020/02/07 02:21
Read more MLOps: Continuous delivery and automation pipelines in machine learning
0 users, 2 mentions 2020/02/22 02:21
Read more 会社訪問アプリ「Wantedly Visit」における相互推薦システムの応用事例 / deim2020-rrs-wantedly-visit - Speaker Deck
0 users, 3 mentions 2020/03/03 06:51
Read more 企業分析における自然言語処理を学ぼう - connpass
0 users, 15 mentions 2020/03/22 12:50