>>166
>80年代から定理証明系に興味を持ち、
>一度はそちら方面の専攻を考えた(一応誘われた)者

なるほど　しかしそれは論理学もしくは情報科学であって
数論ではありませんね

>M氏の仕事を一般報道で初めて知った時、
>数学の形をとったモジュラー・プログラミング的な物
>(あるいは数学系のセンスではオブジェクト指向プログラミング的な物)
>なのだろうという我流の理解をした

一つ質問ですが、圏論ではそういう
モジュラー・プログラミング　ないしは
オブジェクト指向プログラミング
といった雰囲気は微塵も感じなかったのでしょうか？

あなたの実際の専攻を存じ上げないので
あなたがプログラミングをどれだけ
知っているのかわかりませんが