20/09/22 15:41:43.00 jk08YZjf.net
>>155
形式科学・・・かっけーなｗ
URLﾘﾝｸ(ja.wikipedia.org)
「形式科学（けいしきかがく、英: formal science）とは
形式体系に関係する科学の総称である。
論理学、数学、システム理論に加え、
計算機科学、情報理論、ミクロ経済学、統計学、言語学などといった分野の
理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）
がこれに含まれる。」
「形式科学で扱うのは記号システムによって記述される抽象的構造であり、
結果は公理や理論上のアイデアから
推論（純粋な思考の過程）のみによって導き出される。
これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに
結果を導き出すのと対照的である。
しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。
また、形式科学の結果は自然科学において現実世界を簡潔に理解するための
構造（モデル）をつくるのに応用されることが多い。」
「形式科学で扱う体系は純粋に理論的なものであるので、
現実世界そのものではない。
しかし、時として「理論的なモデルは現実世界を完全に描写することができる