8: 2016-02-21 (日) 22:51:51 osinko Rewound to 2 ages ago. at 2016-02-21 (日) 22:31:28 |
9: 2016-02-22 (月) 02:13:41 osinko | ||
---|---|---|---|
Line 58: | Line 58: | ||
これは「[[プログラマの数学>書評]]」で説明されるドミノのたとえ話を論理的に説明したもの | これは「[[プログラマの数学>書評]]」で説明されるドミノのたとえ話を論理的に説明したもの | ||
- | &font(Red){C#にこの論理を当てはめると\(p(1)\)は初期設定関数、\(p(k) ⇒ p(k+1)\)はループする帰納関数部を指している。\(p(n)\)が成り立つとは、つまりこの帰納関数で生成される値は、どんな入力値であろうが出力値の「性質は変わらない」事を説明している}; | + | &font(Red){C#にこの論理を当てはめると\(p(1)\)は初期設定関数、\(p(k) ⇒ p(k+1)\)はループする帰納関数部を指している。\(p(n)\)が成り立つとは、この帰納関数の全出力値は同じ性質を持ち、また入力も同じ性質を持たせる必要がある事を説明している}; |
<メモ> | <メモ> |