>>319
情報数学って聞いたことないと思ったら、
数理論理学・計算機科学など情報分野で使われる数学一般のことか。
で、どの辺りが OO と関連するの？

>>315
カラーペトリネットを使ったオブジェクト指向プログラムの動的検証
という論文を読んだことがあるのでグラフ理論は末端的に関係してるといえる。
それをいえばなんでも関係させることができるが。