z

܂ł Object Classifier/Object Browser̕ϑJ܂Ƃ߂ĂB

̂悤 pahse ɂ킩B

1. simple world ;; categorýA؍\ȂB
2. join us ;; category  join 𓱓
3. Browser arrival ;; Browser 
4. Cyclic myself ;; category cyclic ȍ\𓱓. `ɂslotsǉ
5. compass pints north ;; ԊǗpcompass𓱓



1. simple world ;; categorýA؍\ȂB

݌v̒iKł́AeLqcategory union ɂ悤ƎvĂB
܂AnodeconstraintńAeconstraintmɏ
APjoinɂ̂ł͂܂Ȃƍl̂B
܂AjoińAqłȂāAêقւ̃N̂悤ȋCĂB

̂ƂĂ̂́Acategoryrepresentation̊֌WA
Sł͂Ȃ悤ɎvB

partition̍\Otcategory̍\OtAꂼꉽm
̂ɂāASɂ͕ĂȂB
Ⴆ΁AcategorýÃCX^Xłpartitionׂ̂ĂmĂ
ƎvĂBA͂ƂĂނB

܂A̍́ApartitionƂOłȂArepresentationƌĂłB

Aŏ̎ł́AGȍ\͂߁AԒPȖ؍\
Ƃ邱ƂɂB
́ATԂłłBAO炢ƎvB

LISPōƁAvÕf[^邽߂ɁA낢֐B
 tool ƂłĂ΂悤Ȃ̂ǁÁAƂƁA
VXegƂA֐ALɎg肷B

܂AtoolƌĂ̂́ÁÃVXeւ̃C^[tFCX
̂B

lƁAVXeƂ̊OƂ̋EƂ̂͞BȂ̂ŁA
ۂɂ̃VXê܂ŔщāAKvɉĂ낢둋Ă
ƂÃVXẽC^[tFCX`ƂƂɂȂ̂
ȂB

ܘ_AȂ̊Ȃł߂ɍĂ킯łȂAKvƎvƂ
Ȃ炩̗_IȐێȂĂ̂ŁAuԓIȔf̃ZX
Ƃ͕̂KvȂ̂B

Ƃ͂AӖ̂Ȃ̂Ă܂Ƃ킯ŁAƂ́A
̊֐͓ĂA܂̋L͎A
ŏÃC^[tFCXmĂ̂悤ȍo
ׂĂ̂mB

ƂȂƁAC^[tFCXi_oꂷ邱ƂɂȂB
Hł͂ȂāAėp̂cƂ[ǁB


ƂAsimple world ́A߂ĉKɓ삵B

̒iKł́Â悤Ȏg̃C[WĂB

1. classifier`B
2. classifier̃CX^Xbag
3. object bag ɂق肱ނƁAbagIɕނĂ
4. bag̒gKwIɕ\Ă݂B

܂AŏAobject͈ɂo^ĂȂB
́AɁAo^ł邷ׂĂ̏ꏊɓo^悤ɕύXB
܂AIɍ\ς邱Ƃ͔̂B


2. join us ;; category  join 𓱓

̂͂܂unionƎvĂAjoin𓱓Ƃ̂́APȂ
DŜȂƂB

Browser̋@\xł́Ajoin͕KvȂBAjoinȂǍ炸
Browserɂق낤ƎvB

AŏAunionƎvĂ悤ɁA̋@\ɂẮA̓Iɐm
C[WȂB

unionƂ̂́AecategoryconstraintorconstraintƂĎƂ
lB
AecategoryɂĂЂƂpartition݂Ȃ΁A
낢̂A͂ƕGŁÂ悤orƁA
낢partitionApartitionɕƂƎ̂Ӗ
ȂƎvꂽB
unionƒ`łȂAƂƂɋCÂ킯B

ł́Apartition̂ĂāAunionƂ邩ƍlƁAĂ̂
ȂƎvꂽB͒IɁB


Ƃ낪AunionłȂjoinƂ΁Aނɍׂ邱ƂłB
AcategorÿӖtƑfɈvB(܂A͍ŏ番Ă
ƂŁAꂪ₾unionɂ悤ƎvĂ̂...)
(ƂcycliciKɂȂāAꂪjoinłȂĂ͂ȂȂƂ
킩)

join悤ƂƂA낢ƗłȂԂɊׂBꎞ́A
͕̂s\Ȃ̂ł͂ȂƂvB

joinɊւāA̎FB

object o Aclassifier  partiton n ɒuꂽƂAroot t 
n܂łׂ̂Ăpath p ɂāAp ɑΉconstraint pƂ

p: t -*-> mn  p(o)

藧B
Apath p  node  n  p Ə

p(x) =@n  p n(x)

܂A

Cӂ partition n  constraint n(x)́A̐B

P1. p: t -*-> n n(x)  p(x)
P2. o n-*->mo n(o)

P1 full constraint ƌĂсAP2ground constraintƌĂԁB

2̐́Ao^ĂobjectςƕωB܂Apartition n 
ۂ constraint ͓IɕωAႦ΁Aobject̏WłĂA
o^鏇ԂɂāAłpartition tree ̍\ςƂƂ
ӖB

́A̓Iɍ\ςȂ悤ɂAƂ肢̔j]Ӗ
A͎dȂƂƎv̂Ŏ󂯓邱ƂɂB


̓_ł́Â悤ȕ@lBAunionjoinɕςĂ
̂ŁAČKvƎvĂB

́ApartitionAN𒣂qpartitionǂ
IԂB

G1
܂AŏɂpartitioniK̂ƂlB

IuWFNg o ɂāApartition-tree ̏ǂȂ炻
i[K؂ȏꏊTĂB

܂objectrepresentationpartitionĂȂꍇA
categoryɖ₢킹āAȂĂ͂ȂȂB

G2
ꏊɊi[ƂāApart treetraverseApartitionA
ɓo^ꏊւ̃NꍇA܂AcategoryɁÂ悤
֌WĂꍇB

邽߂ɁAobject  resume Ƃo^B
N𒣂锻fƂAresumeɓo^ĂāAcategory`
v̂ƂApartNłȂB

́Ałɓo^ꂽnodeȂ̂ŁAlink邱ƂłB

ɂāAobjectɊւāAjoin link 𒣂邱ƂłB


G3. object́Apartitionconstraint𖞂ꍇAsub partition
o^ł邩`FbNAo^łȂAparttiionɓo^A
Ƃ菇ƂĂB

joinÓAsub partitionraw constraint`FbN邾
悩̂Ajoin ̂߂ P1, P2 ̏𒲂ׂKvłĂB
(raw constraintƂ̂́AcategoryŒ`ꂽAǏIconstraint̂)


3. Browser arrival ;; Browser 

BrowseŕAACLɓKwidget邱ƂĂق2Ԃ炢
łĂ܂B

interactiveȕ܂łɂ͂ĂȂ...

܂AWidgetł́AIuWFNgIinspectorN邱Ƃ
ł̂ŁA`ĂĂC[WقƂǎłĂ܂B

Ƃ͂Ainteractiveobject̒ǉA폜A܂Aclassifier̐؂ւ
Ȃǂ肽̂ŁẢ͑̕BAꂪCł͂Ȃ̂
Ƃ܂킵ɂȂĂB

partition̕ωɂƂȂāA\ς邽߂ɂ́Apartition list-item
̊ԂɃN𒣂KvƎvB
̂ƂAꂼ subclass ƁAꂼmake-instance@\
ȂȂƎv̂Aǂ΂̂낤B
܂AModel-View̍\ŁAModelłpartitionÂ߂ɏC
Ƃ͂ȂBAmethod mixinŎł邱Ƃ]łB

܂Â悤ɁAVXeƁÃVXẻ
classsubclassƎvƂAVXeŜŁAp^\
classƂāẢNXĂ܂悤ȕ@͂Ȃ̂낤B
LISP̏ꍇA`}NɂčƂ@l邪A
@łāAJjYł͂ȂB

C++template͋߂A{Iɂ̌ł́AǏIȌ^`
łȂƂ̂E߂ĂB
܂ALISPł́ApartitionlistƂ^͍ȂAC++łA|C^
̐̍\̂ɉۂꂽ𖾎邱ƂłȂB

ɕKvȂ̂́Aclasŝ₩Ȋ֌Wɂč\
VXeŜł̌^̃p^łB--- ML Ȃ珑邾낤??

āA݂Browserł́Ajoin\邱ƂłȂB
Ajoin̎ɑzʂArepresentationpartition
\Ƃ̂B

ŁABrowseŕArepresentationpartitionЂƂɂ܂Ƃ߂Ƃ
Ă!!

܂AClassifierłjoinׂĖɂĂ̂B


4. Cyclic myself ;; category cyclic ȍ\𓱓B`ɂslotsǉ

BrowserłāAꑧƁAł́At@CuEUĂ݂悤
vƂǍE݂Ă܂B

classifierł́AŒ背x̖؂`łȂB͍ŏ番Ă
file browserȂ̂ł͂߂B

 cyclic cateogry̒`ƂɂB

̒iKŁA܂ł classifier  semantics Ƃēɕ`Ă̂
j]Ă܂A܂ɁAclassifierŉł̂ǍE݂ĂȂ
̂...

ƂAāAfile browserclassifierĂ݂ƁÂ܂܂ł
[vɂ͂Ă܂Ƃ킩B

constraintrepresentation̒ŁAenodȅԂQƂłȂĂ͂ȂȂB

ÁAclassifier̒`Ŏwł̂łAobjcet classifier
ŒŎ̂łĂ͂ȂȂB

̃C[ẂApartitionɏԂArepresentationconstraint
QƂ邱ƂłƂ`łB

邽߂ɁA̏lB

C1. partitionsubclass`AclassifierɓnB
C2. userdata Ƃclass񋟂Asubclass`classifierɓn
C3  classifierɂ́Aslot`Aobjcect ClassifierAsubclass
@@B--- clasśAclassifier̒`҂ɂ͕KvȂB

C1 ́Apartition̓p҂ɌĂ܂(C++protected͂Ȃ)̂₾
̂ŁAC2lAuserdataPƂōƁApartitionƕsēN\
ЂƂeiXȂĂ͂ȂȂȂB͂΂΂B
Ƃ΁AC1ŏ\Ȃ̂ApartitionƂÓAƂBĂ̂
͉BAIsubclass邱ƂɂBꂪC3łB

C3ł́Aclassifier̒`̒ɁApartitionɒǉslots̒`B
ȂƁAcategory`methodɂƂ낾Aclass킩Ȃ
AdefmethodĂȂ̂ŁA܂Œʂ֐ƂB

C3ł́A܂partitioñCX^XĂA̓I
subclassŒu邽߁Aclassifierslotsɂsubclassi[A
make-instanceł͂QƂ悤ɂB

́A3ŖɂAVXẻNXsubclass̕@ł
邪܂GKgƂ͂ȂBłA̐ɂƂ悤
CĂB

݂́ÃxAclassifier̒`悭݂Ă݂ƁA͂
ЂƂclass`Ă邩̂悤ɂ݂BAcategory`java
protocolimplement̂悤ɍlāAʂ̏ƂƂ\肻B


̏Cł́AӊOɂȂA삷悤ɂȂAЂƂ
Ȃ̂́AIuWFNg^C~OB

constraintrepresentatiońApartitionOɁAsȂĂ
ȂȂBApartitionsubclassĂAKȀԂ̎_
ő݂Ƃ͌ȂB

ŁAÔȂpartition炩ߍĂAɃNƏԂ
ݒ肵āAconstraint, representationsł悤ɂB



5. compass pints north ;; ԊǗpcompass𓱓

4ł삵AԂ̕ωǂ^C~Oōs̓_܂B
filebrowserł́Arepresentation̒ŁAԂ̏Ă邪A
܂ɂ񂾁B

ŁAcategory`ɁAcompassƂtB[hǉAslotśA܂
Ԃ̏s֐`ł悤ɂB

肾̂́Acompasss邩B
make-instanceł悢̂Ajoin linkȂƂAŝB

́Aparent*ω邽тɎŝ悢ƍlāA҂̕@I
B



\ɂ

݂classifieŕAfull constraintground constraint̃`FbNɎԂĂB
ɁAground constraint́Anodẻׂ̂ĂnodetravarsêŁAւdB
ABrowser̋@\݂ƁAjoin͂Ȃ̈ӖĂȂ̂ŁAPȂ
ʂłȂB

_ł́AclassifierjoinȂ̂̂ɂ̂AԊyȕ@Ȃ̂A
΂ɁABrowserHvāAjoin܂邱Ƃł悤ɂȂƁÂ
ƂvB

ɂĂAjoin͂ǂɗ̂A悭lĂ݂ȂĂ͂ȂȂ낤B
joinɂ܂TO(P1,P2)͂ƂĂ낢̂...


