気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Computational Logic | 計算論理
2 users
logic.cs.tsukuba.ac.jp/~kam
logic.cs.tsukuba.ac.jp/~kam
logic.cs.tsukuba.ac.jp/~kam
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
計算論理（けいさんろんり） 担当教員: 亀山幸義 担当Teaching Assistant: 未定 曜日・時限: 3学期 木曜... 計算論理（けいさんろんり） 担当教員: 亀山幸義 担当Teaching Assistant: 未定 曜日・時限: 3学期 木曜 2-3限, 講義は 3B203, 演習は情報[科]学類計算機室． このページには，2008年度の『計算論理』の講義ノート等を置きます． 連絡事項 このページの作成。 (2008/03/13) シラバス 講義資料 目次: [pdf] 第1章. はじめに: [pdf] 第2章. ラムダ計算: [pdf] 第3章. BNF と帰納的定義: [pdf] 第4章. 命題論理: [pdf] 第5章. CALシステム入門: [pdf] 第6章. 型付きラムダ計算: 構文 [pdf] 計算規則 [pdf] 性質 [pdf] 第7章. 型付きラムダ計算と命題論理の対応: 基礎[pdf], 応用[pdf] 第8章. 発展と応用、まとめ: [pdf] スケジ
logic.cs.tsukuba.ac.jp/~kam
anond.hatelabo.jp
nordot.app
www.j-cast.com
www3.nhk.or.jp
togetter.com
www.huffingtonpost.jp
www3.nhk.or.jp
news.yahoo.co.jp
www.nikkei.com
www.jiji.com
mainichi.jp
news.yahoo.co.jp
tech.bm-sms.co.jp
onaji.me
sakumaga.sakura.ad.jp
agilejourney.uzabase.com
2008/08/02 リンク