「形式的」とは何だろう

• 「形式的」とは何だろう : 「形式的」について、事例で考えるはなし。

現在のキマイラ・サイトのなかでは、これは随分と教育的／啓蒙的な記事だと思います。

キマイラ・サイトの内容（全部ではないが）は、かなりformalにならざるを得ないので、formalに対する違和感や抵抗感を取り除くことは重要です。この記事がそれに役立てばいいのですけど。

直接の動機は、「再帰代入系 1」や「再帰代入系 2」、それに続く記事を読みやすくするための補助ですが、形式的体系に関する導入編としても、まー分かりやすいかと思うのだけど、、、、それはまー、我田引水／身びいきな評価でしょう :-)。