ハーバード大のコンピュータサイエンス講座「CS50」の日本語化が完了し、無償公開
代数と余代数 最初の一歩
Wed May 11 2005:start Sat May 14 2005:draft Mon May 16 2005:prefinal 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条 件を満たすソート付き形式的体系の指標（signature）を代数指標／余代数指 標と定義して、それのモデルとして代数／余代数を導入する。余代数とオブジェ クト指向との関係にも言及する。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://hawaii.naist.jp/~shige-o/cgi-bin/wiki/wiki.cgi?%C6%FE%CC%E7%BC%D4%B8%FE%A4%B1%B2%F2%C0%E2
