- 計算的な

- of or involving computation or computers; "computational linguistics"
- with regard to computation; "computationally, this is a tricky problem"
- the use of computers for linguistic research and applications

- 計算;〈C〉(その結果出た)算定額

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2018/04/29 14:08:39」(JST)

Not to be confused with Computing.

This article
possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed. (May 2017) (Learn how and when to remove this template message) |

This article
needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (May 2011) (Learn how and when to remove this template message) |

**Computation** is any type of calculation^{[1]}^{[2]} that includes both arithmetical and non-arithmetical steps and follows a well-defined model, for example an algorithm.

The study of computation is paramount to the discipline of computer science.

- 1 Physical phenomenon
- 1.1 Accounts of computation
- 1.1.1 The mapping account
- 1.1.2 The semantic account
- 1.1.3 The mechanistic account

- 1.1 Accounts of computation
- 2 Mathematical models
- 3 See also
- 4 References

A computation can be seen as a purely physical phenomenon occurring inside a closed physical system called a computer. Examples of such physical systems include digital computers, mechanical computers, quantum computers, DNA computers, molecular computers, microfluidics-based computers, analog computers, or wetware computers. This point of view has been adopted by the physics of computation, a branch of theoretical physics, as well as the field of natural computing.

An even more radical point of view is the postulate of digital physics that argues that the evolution of the universe is itself a computation - pancomputationalism.

The classic account of computation is found throughout the works of Hilary Putnam and others. Peter Godfrey-Smith has dubbed this the “simple mapping account.”^{[3]} Gualtiero Piccinini's summary of this account states that a physical system can be said to perform a specific computation when there is a mapping between the state of that system to the computation such that the “microphysical states [of the system] mirror the state transitions between the computational states.”^{[4]}

Philosophers such as Jerry Fodor^{[5]} have suggested various accounts of computation with the restriction that semantic content be a necessary condition for computation (that is, what differentiates an arbitrary physical system from a computing system is that the operands of the computation represent something). This notion attempts to prevent the logical abstraction of the mapping account of pancomputationalism, the idea that everything can be said to be computing everything.

Gualtiero Piccinini proposes an account of computation based in mechanical philosophy. It states that physical computing systems are types of mechanisms that, by design, perform physical computation, or “the manipulation (by a functional mechanism) of a medium-independent vehicle according to a rule.” Medium-independence requires that the property is able to be instantiated by multiple realizers and multiple mechanisms and that the inputs and outputs of the mechanism also be multiply realizable. In short, medium-independence allows for the use of physical variables with traits other than voltage (as in typical digital computers); this is imperative in considering other types of computation, such as that occurs in the brain or in a quantum computer. A rule, in this sense, provides a mapping among inputs, outputs, and internal states of the physical computing system. ^{[6]}

In the theory of computation, a diversity of mathematical models of computers has been developed. Typical mathematical models of computers are the following:

- State models including Turing machine, pushdown automaton, finite state automaton, and PRAM
- Functional models including lambda calculus
- Logical models including logic programming
- Concurrent models including actor model and process calculi

Giunti (1997^{[7]}, ch. 1) calls the models studied by computation theory *computational systems,* and he argues that all of them are mathematical dynamical systems with discrete time and discrete state space. Giunti (2017^{[8]}, pp. 179-80) maintains that a computational system is a complex object which consists of three parts. First, a mathematical dynamical systems DS with discrete time and discrete state space; second, a computational setup H = (F, B_{F}), which is made up of a theoretical part F, and a real part B_{F}; third, an interpretation I_{DS, H}, which links the dynamical system DS with the setup H.

- Computer science portal

- Computationalism
- Physical information
- Real computation
- Reversible computation
- Hypercomputation
- Lateral computing
- Computational problem
- Multiple realizability

**^**Computation from the Free Merriam-Webster Dictionary**^**"Computation: Definition and Synonyms from Answers.com".*Answers.com*. Archived from the original on 22 February 2009. Retrieved 26 April 2017.**^**Godfrey-Smith, P. (2009), "Triviality Arguments against Functionalism",*Philosophical Studies*,**145**(2): 273–95, doi:10.1007/s11098-008-9231-3**^**Piccinini, Gualtiero (2015).*Physical Computation: A Mechanistic Account*. Oxford: Oxford University Press. p. 17. ISBN 9780199658855.**^**Fodor, J. A. (1981), "The Mind-Body Problem",*Scientific American*,**244**(January 1981)**^**Piccinini, Gualtiero (2015).*Physical Computation: A Mechanistic Account*. Oxford: Oxford University Press. p. 10. ISBN 9780199658855.**^**Giunti, Marco (1997).*Computation, Dynamics, and Cognition*. New York: Oxford University Press. ISBN 978-0-19-509009-3.**^**Giunti, Marco (2017), "What is a Physical Realization of a Computational System?",*Isonomia -- Epistemologica*,**9**: 177–92, ISSN 2037-4348

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

- 1. T波（再分極）の交互脈：技術的側面 t wave repolarization alternans technical aspects
- 2. 遺伝学およびゲノミクスのためのツール：遺伝子発現プロファイリング tools for genetics and genomics gene expression profiling
- 3. 定量的冠動脈造影：技術的な問題 quantitative coronary angiography technical issues
- 4. 複合形質の遺伝の原則 principles of complex trait genetics
- 5. ハンチントン病：臨床的特徴および診断 huntington disease clinical features and diagnosis

- Quercetin/β-cyclodextrin inclusion complex embedded nanofibres: Slow release and high solubility.

- Aytac Z1, Kusku SI2, Durgun E1, Uyar T3.
- Food chemistry.Food Chem.2016 Apr 15;197(Pt A):864-71. doi: 10.1016/j.foodchem.2015.11.051. Epub 2015 Nov 12.
- Electrospinning of polyacrylic acid (PAA) nanofibres (NF) incorporating β-cyclodextrin inclusion complex (β-CD-IC) of quercetin (QU) was performed. Here, β-CD was used as not only the crosslinking agent for PAA nanofibres but also as a host molecule for inclusion of QU. The phase solubility test
- PMID 26617028

- An integrated approach with experimental and computational tools outlining the cooperative binding between 2-phenylchromone and human serum albumin.

- Caruso ÍP1, Filho JM2, de Araújo AS3, de Souza FP4, Fossey MA5, Cornélio ML6.
- Food chemistry.Food Chem.2016 Apr 1;196:935-42. doi: 10.1016/j.foodchem.2015.10.027. Epub 2015 Oct 9.
- 2-Phenylchromone (2PHE) is a flavone, found in cereals and herbs, indispensable in the human diet. Its chemical structure is the basis of all flavonoids present in black and green tea, soybean, red fruits and so on. Although offering such nutritional value, it still requires a molecular approach to
- PMID 26593575

- Information diffusion, Facebook clusters, and the simplicial model of social aggregation: a computational simulation of simplicial diffusers for community health interventions.

- Kee KF1, Sparks L1,2, Struppa DC3, Mannucci MA4, Damiano A5.
- Health communication.Health Commun.2016 Apr;31(4):385-99. doi: 10.1080/10410236.2014.960061. Epub 2015 Sep 11.
- By integrating the simplicial model of social aggregation with existing research on opinion leadership and diffusion networks, this article introduces the constructs of simplicial diffusers (mathematically defined as nodes embedded in simplexes; a simplex is a socially bonded cluster) and simplicial
- PMID 26362453

- Award Accounts : The Chemical Society of Japan Award for 2013 : Theoretical and Computational Study of a Complex System Consisting of Transition Metal Element(s) : How to Understand and Predict Its Geometry, Bonding Nature, Molecular Property, and Reaction Behavior

- Sakaki Shigeyoshi
- Bulletin of the Chemical Society of Japan 88(7), 889-938, 2015-07
- NAID 40020525712

- Comparison of Replica-Permutation Molecular Dynamics Simulations with and without Detailed Balance Condition

- Nishizawa Hiroaki,Okumura Hisashi
- Journal of the Physical Society of Japan 84(7), 2015-06-25
- NAID 160000000792

- Motion-compensated speckle tracking via particle filtering

- Liu Lixin,Yagi Shin-ichi,Bian Hongyu
- Jpn. J. Appl. Phys. 54(7S1), 07HF17, 2015-06-24
- … The computational cost of the proposed method is reduced by 25% compared with that of the previous algorithm and further improvement is necessary. …
- NAID 150000110905

- computationalとは。意味や和訳。[形]計算に関する；コンピュータによるcomputational linguistics数理言語学，計量言語学. - goo英和辞書は14万項目以上を収録し、発音、音声、慣用句、例文が分かる英和辞書です。

- Computationalとは？goo Wikipedia (ウィキペディア) 。出典：Wikipedia（ウィキペディア）フリー百科事典。 Computationalとは - goo Wikipedia (ウィキペディア) gooトップ サイトマップ スタートページに設定 RSS ヘルプ メニューへスキップ ...

リンク元 | 「計算的」 |

拡張検索 | 「computational molecular biology」「computational chemistry」「computationally」 |

関連記事 | 「computation」 |

- 計算的に