[B! Prolog] makayaのブックマーク
知識工学 第1回講義「命題論理」 第1回講義レジュメ 第1回講義スライド 第2回講義「命題論理における推論(1):論理的同値関係と伴意関係」 第2回講義レジュメ 第2回講義スライド 第3回講義「命題論理における推論(2):モデル検査と伴意関係の性質」 第3回講義レジュメ 第3回講義スライド 第4回講義「命題論理における推論(3):推論」 第4回講義レジュメ 第4回講義スライド 第5回講義「命題論理における推論(4):融合法」 第5回講義レジュメ 第5回講義スライド 第6回講義「一階述語論理」 第6回講義レジュメ 第6回講義スライド 第7回講義「一階述語論理における推論(1):限量子の推論規則と単一化」 第7回講義レジュメ 第7回講義スライド 第8回講義「一階述語論理における推論(2):融合法」 第8回講義レジュメ 第8回講義スライド 第9回講義「一階述語論理における推論(3):融合法の完全
ドコモは、Prologで動いている＼(^O^)／: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に執り行われた 馬刺し教授会で、ここでもたびたび言及している 「最近、関数型言語が現場でもやっと使われ始め、でも、Prologのような論理 型言語を知らない学生や技術者がいて、おれらの学生時代(今から30年から35 年前)、Lispのような関数
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
