2005-11-25から1日間の記事一覧
次のブームはモデル検査や定理証明らしい。ううむ、やはりそうなのか。今自分が足りない脳みそ駆使して圏論やら何やらやってるのも、ある計算モデルをちゃんと書いてみたいという思いからだったりする。じゃそれ何に役立つの、と上司に聞かれようもんなら、…
次のブームはモデル検査や定理証明らしい。ううむ、やはりそうなのか。今自分が足りない脳みそ駆使して圏論やら何やらやってるのも、ある計算モデルをちゃんと書いてみたいという思いからだったりする。じゃそれ何に役立つの、と上司に聞かれようもんなら、…