抽象化

パリティ2007/3 物理学における生物学のフロンティア、をよんで。

物理学における最大の武器は抽象化。
そして、それこそが、学問はすべて物理である、と物理学者が自負する理由だろう。
適切なモデルは、特定のエネルギーの範囲で適切である、
生物学におけるモデルの難しさはその範囲に複数のエネルギーが関与するから。
現状の生物学にはシンプルなモデルが存在しない。

コンピューターという人工的な環境においても、抽象化は簡単ではない、というのは何か面白いことだ。
lisp hacker である shiro 氏は、プロのプログラマーは抽象化の壁のほつれ、壁のむこうを意識していなくてはならない、と指摘している（WiLiKi, 2005/12/06 の記述など）。非常に鋭い指摘だと思う。抽象化のほつれを意識することは、モデルの限界をちゃんと意識することだ。

おそらく。lisp におけるマクロは、抽象化のための基礎となる道具だ。物理における数学のようなものか、拡張可能な何かを記述するための道具だ。
物理学者と同じように、楽観的に、例え現実は泥臭い（あまりに泥臭く、何もかも嫌になるような）課題であっても適切な美しいモデルはある、と信じよう。