最後の学生生活。 ・・・最後だといいなあ。 うん、最後にしよう。

以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。 だが、思わぬところ（configure）で時間かかってしまった。 bash上で./configureをすると、-lgmpがどうのこうのといってくる。 またお前か！ で、いろい…