2000年 2月の企画モノ

●2000年 2月の企画モノ●

今月はカンベンしてください
「コンピュータを利用した等式証明に関する研究」

　えー、早い話が、今月は時間がなかったんす。　卒論に追われてて。　とりあえず載せておきますから、勝手にコンパイルして読んで飢えをしのいでください（誤）。

【mp200002.tex】

　この文書は LaTeX で書かれています。　適当なサイトから（何て不親切）、コンパイラと dvi ビューアを調達してきて下さい。　なお amsmath というパッケージを使用していますので、対応するフォントの用意をお願いします。

　…なーんて程度の説明じゃ誰も読んでくれねーよな（笑）。　本当は HTML に書き直してからアップするつもりだったんす。　近いうちにアップし直すんで少々恋い焦がれててください（誤）。