タグ

ブックマーク / tuk.t.u-tokyo.ac.jp/~hosoyama (1)

  • ソフトウェア基礎理論

    更新: 2001.06.24 まえがき 離散数学やソフトウェア基礎論理学に関するページです。東大工学部の講義「ソフトウェア基礎理論」の内容とリンクしています。たくさんあるプログラミング言語の、根底の部分についてです。ソフトウェア設計やさんはこういう論理学についての知識を身につけておくと、きっと役に立つと思います。 わかりにくい / 間違っている等のご指摘がありましたら、hossy.ee99@popup.orgまでメールか、掲示板でご報告をお願いします m(__)m 内容

  • 1