2005-05-01から1ヶ月間の記事一覧

gcc4.0.0のmake

今までコンパイル済みのMinGWを使っていたのだが、やっぱり最新の版を使いたいということでGNUのほう(もちろんring.gr.jpのミラーから)からソースを持ってきてコンパイルしたところ、みごと引っかかってしまった。メッセージから読み取るとzlibでつまづい…

数学を学ぶのをやめるときはこんな感じなのだろう

数学が分からなくなる仕組み きっちり教えようとすると膨大になる 学生がきちんと本を読まない ↓ 教える側がまとめ集のようなものを 作って省略の多い、結果だけのものを 教える ↓ 教えられる側は論理関係がなかなか分からず、 その省略を補うのに辟易して教…