Philosophy of Computation: radical reconstruction of the notion of computation

三好澄清了计算的两个不确定性，并引入了一套形而上学的设备，灵感来自计算反射间接“驯服”这些困难。具体而言，他介绍了三种形式的描述，即所谓的休谟-柏格森形式，并表明通过这些形式超越这些障碍获得明显性是可能的。接下来，他将自己的理论应用于时间研究。与M比较伊玛目的做法显示了他们的密切关系。此外，在精神病理学和物理学的应用方面，也开始了预备性的研究。Todayama讨论了将计算自然化为现象时出现的问题。他宁愿处理具体的例子，而不是探讨抽象的计算概念。尤其是他从实在论的角度出发，主张认识论的自然化，用信息态和观察层次理论研究动态和局部语义学，发展了在不稳定环境中具有鲁棒行为的系统的一般理论。他提取的想法，开放的限制，从这些研究。东垣发现的意义，喜多郎西田的哲学方法，一些数学概念的观点，计算的现象。然后他注意到西田和G. Shiotani认为“计算”是一种基本的自然类型，代表着包括科学哲学和技术研究在内的各个领域的交叉点，并提出在“计算=操作联系的扩展”的口号下重新考虑“计算”的普通研究。

Miyoshi clarified two indescribabilities of computation and introduced a suite of metaphysical devices inspired from computational reflection to "tame" these difficulties indirectly. In concrete, he introduced three forms of description, so-called Hume-Bergson forms, and show that it is possible to get obviousness through these forms beyond these obstacles. Next, he applied his theory to time studies. Comparison with M. Irifuji's approach showed their close affinity. And towards applications to psychopathology and physics, he also has started preparatory research.Todayama discussed problems which appears when naturalize computations as phenomena. He did rather treat concrete examples than explore abstract concept of computation. Especially, he advocated naturalization of epistemology from the view of realism.Gunji studied dynamic and local semantics with infomorphisms and the theory of observational heterarchy, and developed a general theory of sysmtes which have robust behavior in unstable environments. He extracted the idea of open limits from these researches.Higaki found the significance of Kitaro Nishida's philosophical approach to some mathematical concepts from the viewpoint of computations as phenomena. Then he noticed the relation between Nishida's and G. Deleuze's theories of life and explores their parallel stories.Shiotani regard "computation" as a fundamental natural kind which represents an intersection of various areas including philosophy of science and technology studies, and proposed to reconsider ordinary studies of "computation" under the slogan "computation = extension of connection of operations".