Skip to content

Instantly share code, notes, and snippets.

@hidenorigoto

hidenorigoto/三段論法.txt

Last active November 20, 2016 12:12
Show Gist options
  • Save hidenorigoto/03f5f9a84a1ce935def1dd4f974e0da6 to your computer and use it in GitHub Desktop.
Save hidenorigoto/03f5f9a84a1ce935def1dd4f974e0da6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
三段論法.txt
モジュール分割して疎結合に保ち連携を非同期にすることは、非機能要件の充足のために大きな意味を持つ。
機能の的確な分割なしにモジュールを分割することは出来ない。
非機能要件を充足する上で機能分割はとても重要。
P：モジュールを分割する
P’：モジュールを疎結合に保ち連携を非同期にする
Q：非機能要件を充足する
R：機能を分割する
(1) P ⊃ Q 大前提
(2) ¬R ⊃ ¬P 小前提
(3) ¬(¬P) ⊃ ¬(¬R) (2)と対偶率
(4) P ⊃ R　　　　　　　　 (3)変形
R ⊃ Q ?
小前提を裏である「機能を的確に分割すれば、モジュールを分割できる。」とすれば、問題なし。
P：モジュールを分割する
Q：非機能要件を充足する
R：機能を分割する
(1) P ⊃ Q 大前提
(2) R ⊃ P 小前提
(3) R ⊃ Q　　　　　　　　 (1)(2)と推移律
@hidenorigoto
Copy link
Author

意味を取り違えていた
https://twitter.com/sugimoto_kei/status/800306201166610432

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment