>>329
論理学って、数理論理学以外は文系に分類されちまうらしいね。

それから、大学が、クリエイティビティを促進するか、阻害するか、は一概には決められないと思うよ。
そーゆーこと言う人って、いったいどこの学部/学科出身なんだろうね？情報系〜工学系？ｗ

>>330
UMLは、UML1.1以降のOCL込みで、形式仕様記述であろうとした、って感じだと。