証明問題じゃねえよ。つかおまえも数学出来なかった口だろ。
数Ⅱ数Ⅲはほぼパターン通りだけど、
数Ⅰの難しい問題はたいがい「エレガントな解法」ってのがあって、裏技みたいに簡単に解けたりするんだよ。
それはそれこそ東大の過去問とか見てみればいい。
或いは三平方の定理とかでも何通りも証明方法があって、おおっ、てのもあったりするだろ。
（ただ、この話が通じない時点で説明しても無理なのは確定だが…）
実際のプログラミングもこれと同じで、データ構造を正しく整理すれば制御構造もものすごく単純に出来たりするんだよ。
だから数学的な「エレガントさ」を追求するのが好きじゃないと向いてない。（というか上達しない）
そして「型」なんてのはノートに引いてある罫線みたいなもので、プログラミングの本質とは全く関係ない。
ただし型自体は圏論だっけ？Haskellの連中がやってたはずだけど。詳しくは知らんが。
