- 人工知能を作ろうver0.0.7
723 :デフォルトの名無しさん[sage]:2014/09/28(日) 00:47:00.65 ID:uLb79luw - flatt(X)=A+Bのとき、次の式が成り立つ。
are(X,Y) ⇔ are(A,Y)かつare(B,Y).
|
- 人工知能を作ろうver0.0.7
724 :デフォルトの名無しさん[sage]:2014/09/28(日) 01:26:15.76 ID:uLb79luw - 証明。flatt(X)=A+Bを仮定する。flatt(A)=Aかつflatt(B)=Bである。
are(X,Y) ⇔ 任意のx∈flatt(X)に対してis_a(x,Y) ⇔ 任意のx∈A+Bに対してis_a(x,Y) ⇔ 「任意のx∈Aに対してis_a(x,Y)」かつ「任意のx∈Bに対してis_a(x,Y)」 ⇔ are(A,Y)かつare(B,Y). □
|
- 人工知能を作ろうver0.0.7
725 :デフォルトの名無しさん[sage]:2014/09/28(日) 01:38:30.55 ID:uLb79luw - Yは複数か? are_aは文法的におかしい。
やっぱりare関係というより、日本語らしくha-dearu関係と言うべきか
|
- 人工知能を作ろうver0.0.7
726 :デフォルトの名無しさん[sage]:2014/09/28(日) 08:47:16.05 ID:uLb79luw - xに対して属性IDがpidの属性をprop(x,pid)と表すことにする。
すべての属性IDがpid_0,pid_1,pid_2,...,pid_{n-1}のn個であった場合、 リスト(prop(x,pid_0),prop(x,pid_1),prop(x,pid_2),prop(x,pid_{n-1})) は、xのすべての属性の状態を表している。
|
- 人工知能を作ろうver0.0.7
727 :デフォルトの名無しさん[sage]:2014/09/28(日) 09:20:40.01 ID:uLb79luw - pidに対応する様相をaspec(pid)で表す。
pidに対応する属性がブール値か3値論理値の場合、aspecの値は3値論理値とする。 pidに対応する属性が実数値の場合、aspecの値は実数の区間(複数可)とする。 prop(x,pid)∈aspec(pid)を定義する(well definedで)。 aspec(pid_u)⊆aspec(pid_v)を定義する(well definedで)。
|
- 人工知能を作ろうver0.0.7
728 :デフォルトの名無しさん[sage]:2014/09/28(日) 09:41:34.96 ID:uLb79luw - うーん、様相の表現と様相が表す集合は区別しないと駄目みたい。
様相の表現をaspec(pid)と表し、様相が表す集合をaspec_set(pid)と表すことにする。 様相が表す集合は様相の表現から内包的に決定される。
|
- 人工知能を作ろうver0.0.7
730 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 [sage]:2014/09/28(日) 20:12:21.38 ID:uLb79luw - ひらがな電卓、個人でできるのもこれが限界か。
これからは企業の力を借りねばならぬ。
|
- 【独学】一人で勉強する奴らのスレ【自習】
446 :デフォルトの名無しさん[sage]:2014/09/28(日) 21:37:38.50 ID:uLb79luw - アクセサでいいんじゃね?
|
- プログラミング雑談スレ♯+++
253 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 [sage]:2014/09/28(日) 22:02:49.24 ID:uLb79luw - ちくしょう、ニュースにすればよかったんや!
|
- pythonはどの程度で習得したって言える?
3 :デフォルトの名無しさん[sage]:2014/09/28(日) 22:15:01.76 ID:uLb79luw - 穴ありbashを探して警告文を送るロボットを作れればマスター級だろうな
|
- 【知識】俺のためのプログラム覚え書き【共有】
78 :デフォルトの名無しさん[]:2014/09/28(日) 22:54:48.44 ID:uLb79luw - 【ネタをニュースに載せて話題にする方法】
1.ニュース記事をホームページに書く(※新規性が大事)。 2.ニュース速報板にスレ立て依頼をする。または、記事をVIP板で話題にする。 3.スレが立ったらあらかじめ用意したシナリオと人海戦術でなるべく場を盛り上げる。 4.そのスレをまとめサイトに掲載したり、はてなブックマークに記録したりする。
|
- 【知識】俺のためのプログラム覚え書き【共有】
79 :デフォルトの名無しさん[sage]:2014/09/28(日) 23:09:27.74 ID:uLb79luw - 間違いがあったら指摘して下さい
|
- 逆コンパイラCodeReverseを作る
226 :デフォルトの名無しさん[sage]:2014/09/28(日) 23:27:24.48 ID:uLb79luw - しばらくCalc-Hの営業
時間ないな
|
- プログラミングのお題スレ Part5
99 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 [sage]:2014/09/28(日) 23:57:01.74 ID:uLb79luw - お題:穴ありbashをネットワークから探しだしてホストを列挙
|