投稿者: TANAAKK

1966の創設から2025年歴代チューリング賞受賞者81名 If we see ACM(Association for Computing Machinery) A.M. Turing Award through the…
Read more

Ontological understanding of logic, mathematics and computation as generative history from 19-21 century is ba…
Read more

「Computer」という言葉の語源や歴史を遡ると、その始まりは17世紀初頭（1600年代初頭）です。 1. 言葉の誕生：1613年（17世紀） オックスフォード英語辞典（OED）によると、文献に「computer」とい…
Read more

「広域整合性（Global Consistency）は常に理解不可能性を内包する」 1. スケールの不一致と認知の限界 広域整合性を維持するということは、膨大な変数とそれらの相互作用をすべて矛盾なく管理することを意味しま…
Read more

Discrete（離散的） と Continuous（連続的） の区別は、数学が立脚している、根本的な断層線です。世界の Discrete な性質が「決定不能性」という下限（Lower Bound）を生み出す一方で、数学…
Read more

私たちが理解する（understanding）という言葉は何を意味するか。どのような状態になれば、私たちの分類問題が合理的に解決されたと満足できるのだろうか？ あるいは、このような問題の中には、私たちが決して解決できない…
Read more

law of constraintslaw of physicslaw of coorporationlaw of scaleparadox, inconsistency, incomprehensibilityprin…
Read more

1. 古代：計算の体系化 時代 人物 (English Spelling) 主な著作・論文 貢献の要約 ca. 300 BCE Euclid Elements (原論) 最大公約数（GCD）を求めるアルゴリズムの提示。 …
Read more

Theory of computationを日本語訳したいのだが、日本語にしてしまうと射像がたりず、意味が失われてしまう単語をどう表現すべきなのか。真のComputationは決定性、非決定性を扱うコミュニティである。コ…
Read more

Theory of Computation、コンピュテーションに関する論理は、観測者、参加者が人間であり、機械であれ、自然であれ、情報処理資源が限定されている（computationally limited）ことが前提と…
Read more