2006-01-22から1日間の記事一覧

「形式的」とは何だろう

数学的な記述は苦手で、∈とか出てくるといやーな気分になって眠くなる。 精神論で無理やり詰め込もうとして、辛くて飲み込めないでいる自分がいたように思います。 これは、まるで、野菜を嫌う子供のようなものです。 http://www.chimaira.org/docs/FormalRe…