■

http://members.jcom.home.ne.jp/nitar/seminar/swa2.2.html
今日の成果。未完成。でもゼミの発表は来週になってしまった。U野君の発表が長引いたため。印刷したのに無駄になった。帰納的仮定ってなんかやっぱり変な感じがするので帰納法の仮定に直すかなあ。

渡部研のゼミではHaskellやってました。研究室選びを間違えた…？