[微積分と物理/数学的帰納のバックアップ差分(No.12)]

Unity学習帳2冊目微積分と物理 / 数学的帰納のバックアップ差分(No.12)

[ トップ ] [ 差分 | バックアップ | リロード ] [ 新規 | 一覧 | 検索 | 最新 | ヘルプ ]

--- 11: 2016-02-22 (月) 20:09:41 osinko
+++ 12: 2016-02-22 (月) 23:22:33 osinko
@@ Line 51: / Line 51: @@
 ＜メモ＞
+「ホーン節」という面白い考え方があるらしい。上記の解釈は我流であり本当はこれを理解した上でやるべきなのかもしれない。以下、資料
+[[ホーン節:https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%83%B3%E7%AF%80]]
+[[９．５ ホーン節と導出原理:http://www.ipc.hokusei.ac.jp/~z00102/SeminarII/2000/Lecture24/Horn.htm]]
+[[論理プログラミング:https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0]]
+ちょっと理解が出来ていないが一度しっかりやってみる必要があるかもしれない…
 εδ論法はεとδが対応する関係にあった
 この命題も対応する関係を含意によって証明（裏に隠れた関数が同じものだという事を証明）している訳だからよく似た事をしている？

微積分と物理​/数学的帰納 のバックアップ差分(No.12)