それはMathematicaのライセンス的に大丈夫なのかとか、わざわざ日本まで来てそんなことやらなくてもいいんじゃないかとか、そもそも誰が使うんだとか、小一時間問い詰めたいが、定理証明系とWebサービスというコラボレーションは、確かに夢が広がる。

Liskovって女性だったのか。新発見だ!!しかし唐突にLiskovの写真があるのが謎。Mitchellの趣味という理解でいいんだろうか。そう言えば、留学生と話していて、チュニジアではコンピュータサイエンスの学部で一番最初にAdaを教えるという話を聞いた。どこでも…