recent updates

page | renewal: ver.03 リニューアル:ver.03

This page was renewed and TSL is enabled. However, there are lots of areas not implemented yet. We shall add components here in stages sequentially. サイトをリニューアルし、TLS通信を有効化しました。しかしまだ未実装の要素が多々あります。順次追加してゆく所存で御座います。

dress | logo T-shirt ロゴTシャツ

2 types of logo-printed T-shirts are available. Type:00 is black, type:00alt is white. 2種類のロゴT:セキズイヘトドクTシャツがsuzuriさまにてご購入頂けます。タイプ00は黒地、タイプ00altは白地で御座います。是非お買い求めくださいませ。

lit | chodatsu-drama: Risin 超脱戯曲:リシン

A drama script "Risin" is available on e-book here. There is only Japanese text. 神丸智華 第玖作目の電子書籍:リシンがamazon kindleさまにてご購入頂けます。本作は戯曲であり、原作として上演してくださる劇団さまを求めています。ご連絡は当方まで。





ⴿ





spinaltox

acceleration

An environment-En is a discipline constituted by ontology-G. In En, all the objects need to hold their existence, and when they no longer retain their existence as their own identity morphism, they are removed from the element in En. In environments, the operation of depriving identity morphism of existency from elements of their ontology is called ‘banishment’. The addition of a new element to En by self is called ‘generation’. What elements maintain its existence in the environment is called ‘continuance’.

‘Acceleration’ is used, for example, as follows.When an object-O(∈ outside of G)seeks to generate and maintain itself O'(∈G) or another object P in En, an object-Q which interferes with its generation or continuance is called an ‘obstruction’. When O maps O'and P by an isomorphism to (mega-)structure or environment which is not operated from Q, this environment or isomorphism is called ‘escape’. O' or P that were mapped to the escape-Es are generated or continued there. When mapping O’ or P ripened(= be not operated any obstruction during the generation or continuance) in Es to En by an isomorphism, we say that O' or P was ‘accelerated’ by escape-Es. This series of processes that letting an object be operated twice isomorphisms is called ‘acceleration’.
環境Enは、何らかの対象Gによって構成されたディシプリンである。Enにおいて、一切の対象は存在を保持する必要があり、存在を自己の恒等射として保持しなくなったとき、Enにおいて自己は要素から除かれる。何らかの環境において系の要素を《存在の恒等射を剝奪する=排除する》作用を淘汰(banishment)と呼ぶ。自己が環境Enへ新たに要素を追加することを生成(generation)と呼ぶ。環境において存在を維持することを存続(continuance)と呼ぶ。

加速を用いるのは、例えば以下のようなときである。対象Oが、環境En下にある自身O'または他の対象Pの生成および存続を図るとき、これを妨げる作用をはたらく対象Qを牆壁(obstruction)と呼ぶ。牆壁Qの作用を蒙らない(超)構造/環境へ対象OO'Pを同型で写すとき、この環境および同型射を游離(escape)と呼ぶ。游離Esへ写ったO'およびPEsにおいて生成/存続する。Esにおいて《成熟した=牆壁によって生成/存続を妨げられなくなった》O'およびPを同型によってEnへ写すとき、O'Pを「(游離Esによって)加速された」と言う。二度の同型射を作用させる、この一連の過程を加速(accelerlation)と呼ぶ。

class eXtity:

------------------------------------------

def __init__():


\word usage

The description style of this text is a modification of categorical theory. Category theory takes a bird’s eye view of mathematics, so it is suitable for essential abstraction. Since the ontology shown in this text beyond Human's compass or has such intentionality, it is not appropriate to use Human-perceptual words. And then, if possible, in addition to Human-life familiar impression, exclude it mathematically in the following words. Desirably, meaning/signifié of these words shall be independent of any other context.

  • object: A category/element explicitly indicated in the sentence. When the describer affects to a category/element with a sentence, the describer is the domain of the sentence, and then domain is the object.
  • scale: A criterion that determines whether an object is a category or an element. The scale is particularly "multiscale" where the object is a category and also an element. The determinator who determines scales is called "ego".
  • category: An object regarded as one that contains one or more elements. In every category, each element is always affected by one or more morphisms including identity(a is an element; id:a→a).
  • element: An object with the smallest containing relation at a certain scale. When a certain object o is an element of a category C, it is denoted as "oC", and we call it "C contains o".
  • affect: A juncture that binds objects to each other at a certain scale, and it is denoted as "affect: object(A) → object(B)". Then, the object which affects to the other is called "domain", and the object which is affected from the other is called "domain". An affect can also be a category/element by a particular scale. Furthermore, the containing unit(element, category, category of category...) is equivalent in the domain and the codomain at a certain scale, affect is also possible to be called as "functor" between categories, "morphism" between elements respectively.
  • maneuver: An affect that either domain or codomain is ego. When we use this word as verb manifestly, we would write it "maneuvre".
  • construct: To generate a category by gathering elements and giving a label.
  • define: To generate a element by giving identity and a label.
  • explicit: A and B are objects; all of elements contained by B are known to A-ego and A can construct B: then, A is explicit in B. Unless being explicit, it is "unexplicit".
  • boundary: M and N are categories, p, q, r... are objects; we judge whether or not M/N contains p/q/r respectively, then, when one category-A contains p as an element and the other category-B does not contain p, the element-p is a boundary between the two categories A and B. Also, for some object, the object that it is not contained one the category but as an element in another category is "external".
  • isomorphism: X and Y are categories, Z is an ego which is external to either X or Y; when Z adds a element xX to Y as a new element yY, Z affects with isomorphism from X to Y. As a verb, it is called "copy": Z copies X to Y. Only in (the scale of) Z, x is the same as y.



\orthography

Several peculiar orthography used in this text are listed below. At this time, "A" and "B" are words, "N" is a number, "S" is half-sentence(phrase containing at least one noun and verb), "S." is a sentence(containing at least one noun and one verb and closing at the period), '(quotation) is attached for distinction.

  • A/B: A logical OR that is true. This indicates that even if either A or B is applied to the part of sentence, it is established. If we write "S(A/B)" that S contains A/B, S(A/B) is equivalent to writing S(A) and S(B) together.
  • A&B: A logical AND that is true. If either A or B is false, the sentence is not established. The same as above, it is a treatment to avoid verbosity.
  • [S|S']: Paraphrase or equivalency. Whether we insert S or S' in the sentence, the meaning is the same.
  • "A": A proper noun that particularly defined in this text.
  • A(S): S in the parentheses attached to the previous word A is a explanation for legalese.
  • A (S): S in the parentheses separated to the previous word A is the half-sentence that we are possible to omit. Instead of half-sentence, a sentence can be applied.
  • (S): An important comment. As a general rule, we write it before the period in the sentence.
  • (*N): Comparatively unimportant comment. As a general rule, we write it under the paragraph.



\Beware of Human-habit

We do not distinguish noun and verb so rigorously. It is obvious from the definition that [affect is enable to be a category | e is an affect; it is possible to construct a category Ee which contains only an element e]: that is to say, it is rather natural not to distinguish between them. Similarly, we do not distinguish between singular or plural. Description style such that something is singular/plural is only a notation for simplication.

------------------------------------------

def tribus():

There is an object regarded as single on a certain scale, if we regard this object as a category; when any element in the object transits state by external affects, a collection of these elements is called "perceptual organ", and then, this perception affects to other elements in the object following its own transition, the codomain is called "computational organ". Sensu lato, category which has both perceptual organ and computational organ is "tribus".

By calling the transitional state of perceptual&computational organ due to external affects as "sensation", the sensed state is sustained, or that they are preserved in some way is called "experience". If [the experiences of individual tribus are integrated at a certain scale | there is a category containing the each experience as an element]; at this time, the category containing all the individual tribus that can be integrated about experience is also tribus by definition. When it is preferable to distinguish, the category containing is called "higher tribus" and the category contained is called "lower tribus". Sensu stricto, only higher tribus is called tribus.



def ontology():

A category is constructed with all existing objects as elements. At the moment, the identity(oO; identity:oo: element-o does exist as o.) of each element is established not by o itself but by the maneuver of the constructor(-ego). Hence, [ whole | world ] which found in ontology is all existence that "as far as the constructor can recognize". Because of the possession of criterion to give identity for any object, constructor of (category of) ontology is particularly called "criterior".

All tribus are criteriors. If an ontology is constructed by a tribus which has finite perceptual/computational organ, [whole | world | all existence] is originally limited. Due to this limitation, all ontologies can be uniquely delineated the boundary. Alternatively, ontlogies constructed by particular criteria should be distinguished even if they have mutually same elements.
*If all existences are capable of giving themselves identity of existence by their own maneuver, they exists all owned. At this time, (category of) realism, a certain ontology, is constructed. All of ontology is part of this category, isn't it?

Among ontology, what is applied by law of excluded middle is "static". Law of excluded middle is a rule that allows only two states, both affirmation and negation of criterion, and excludes other states. When this works, all objects in the ontology are "closed". And for following argument, we call closed object "entity". In static ontology, all objects are entity. In this case, following two statements are validated.

i) Every entity does only exist, and things that do not exist can not be object/entity.
ii) Every boundary between arbitrary entities is always delineated and stable.

There are entities a and b. a is a and not non-a, also b. And, if the two entities are delineated their boundary, a is not b except when a is contained by b, likewise b is not a. Boundaries and relation of containing are not modified without maneuver of the criterior: it is required for constructor to maneuvre them explicitly.
*Entity is obedient to the criterior, because entity does not interfere/disturb with the ontology itself.

Ontology is not unique to the criterior, because this is also one category, so it has innumerable subcategories. However, the hugest ontology is determined as the ontology containing all objects that exist as far as the constructor can recognize. We call it "ess-sup (ontology)" or "Ontology" in capital letters, this subcategory (actually, more ordinarily used) is called "(ontology) system" or "ontology" in lower case.

By taking the part of ess-sup, it is possible to construct systems as many as the number of its power set. Including ess-sup, this series of systems is "monoscale", because there is only one scale about existing. It is "multiscale" that such a category has more than one scale; a multiscale system can be constructed by newly giving scales to these systems. Multiscale system or mutliscale itself specific to the system is called "structure". In a structure, other scales of existing scale are called "rules". In the elements of a structure, a category containing affirmative ones is called "discipline". These orthographies are as follows.

  • structure: Str<ob; ξ, r>
  • discipline: Dspl<str(r1)>
(ob is a system, ξ is existing scale, r(r1, r2, ...rn) are other scales, Str is a structure and Dspl is a discipline affirmative on r1.)


For example, there is a system O which contains three elements of "nature", "Black sea" and "Kilimanjaro". By Appling a scale of observation by Human as c, with O' as a subsystem of O which contains "Black sea" and "Kilimanjaro", a structure "nature: <O'; ξ, c>" is constructed. Here, we add an element "Yoth"(a red-lit cavern on cthuluh mythos) to the system O'; then, the structure is denoted as O'(Yoth). "Yoth" is negative on c, because it is [legendary | contrary to the observation]; newly constructed discipline "Nature: <nature(c)>" affirmative on c has only two elements "Black sea" and "Kilimanjaro", even it has a system O'(Yoth).

In particular, discipline which has only statements as elements is called "context". In Human-tribus, for example, logic is a discipline that has various laws and theorems as a system and is affirmative on axioms. In contradiction to static ontology, it is not difficult to consider "dynamic ontology", namely, ontology in which law of excluded middle does not work. In dynamic ontology, all objects can be open, closed, both or neither. We call this object "eXtity", distinguish dynamic ontology as "eXtity-type" and static ontology as "entity-type".
*Hence "ex-" means "out of", so eXtity is open object being to dissolve fluidly, borderlessly or seamlessly.

In eXtity-type, firstly, what is unexplicitly existing can be object. What is explicitly existing is object that a certain criterior is [recognizable | perceptible/computable(*)]. In contrast, what is unexplicitly existing is object that a certain criterior is not recognizable. Because of the incountability*, it is originally impossible for criterior to enumerate all elements in a certain ontology. Secondly, boundaries and relation of containing can be modified unexplicitly. For this reason, the boundaries between objects are not always delineated/stable.
*In Human-tribus, "computable" means sensuously, deductively, inductively or intuitionally thinkable.
*"Incountability" means impossibility to count by absence of appropriate method, in contrast to "uncountability" means impossibility to count by absence of labour.


eXtity is so-called relativistic/uncertain object. In eXtity-type, criterior can no longer subdue objects, because of the absence of privilege to determine the state of object by maneuvre. The relativity comes from finiteness of the criterior (in tribus case, it is perceptual/computational organ's) must be taken into account. Although, in entity-type, criterior has the criterion "what is existing" by its own belief, in eXtity-type, criterior does not have such absolute criterion: criterior abandons all criterion in eXtity-type, so it is appropriate for criterior to be called "observer".

Also in eXtity-type, structure and discipline can be constructed likewise entity-type. However, elements in any system can only be temporally held/scanned, as the elements are constantly modified unexplicitly (to a certain observer). For this evanescence, what we call "define" in entity-type is called "setzen" here.

For example, discipline-D affirmative on rule-c constructed by observer-O has had element-a at the very moment, but was maneuvered by another observer-O', a became negative on c. At this time, D gesetzt by O can no longer be discipline since the maneuvre. Here, D is maintained as a discipline either (i)by removing a from the system of D, or (ii)by automatically maneuvering c to permit a as an element of the system of D. Structure particular in eXtity-type that allows such the maneuvre unexplicitly is called "megastructure". For the concealment, eXtity is dynamic object, same as megastructure is dynamic structure.
*Indeed, megastructure is a structure that is incessantly being remodeled by "builders".

And also, it is possible to construct megastructure that has unexplicit rule in eXtity-type, because rule is an object. In such megastructure, there is only a system and no rules ostensibly. At this time, observers in the same system-l can hold literally same systems-l, m, n and so on. We call such the megastructure "megaspace", in here, observers which are contained it are equal since they can not maneuvre priviledgedly.

For observers-O, P, Q existing on the same megaspace, an object existing as a on O exists as a even on P and Q, this means that they have same rules (unexplicitly)*. Category which has such observers as elements is called "Rann(覽)".
*In Human-tribus, this is sharing ideas.

Meanwhile, observers which are existing across multiple megaspace must be existing on megaspace that are higher order than their individual: they are existing on megaspace which is containing megaspaces as elements. If this high-order megaspace is not constructed, each observer is a Rann which has only itself as an element. Particularly this Rann is called "Inn(囙)".
*In Human-tribus, it is an individual which does not have a means to communicate with each other.

------------------------------------------










auto-researches

still implementing by spinaltox