僕らはみんな河合荘とかいう神漫画(の3巻)をついつい読んでしまってこの時間。あーあー。夜更かししたいわけじゃないのに。でもほんとこの漫画は良いですね。ギャグ、シリアス、ラブコメのバランスが絶妙な上にどれをとっても面白くてやばいです。 3巻が出た…

個人的な興味で、いくつかの実数係数多項式で与えられた連立方程式f_1(x_1,x_2,...,x_n)=0, ...,f_m(x_1,x_2,...,x_n)=0に対して、それが実数解を持つかどうかを判定したい(というかコンピュータに判定させたい)と思いました。なんですが、そういうことには…