言葉責めの会 - 兼雑記
http://shinh.skr.jp/h/?AlohakunKotobaZeme とにかくあろは先生多忙で疲れてる中ありがとうございますというのが感想です。私の大学での研究とか5分も問い詰められたら泣き出します。 今までは、 先生: Prolog だと仕様に how を入れんと解けん部分がある 先生: ET だと解っけまーすウッハー 生徒: え、どうやってるの？実装は？ 生徒: ETI とかあるけどできる気配ないお (;-;) 生徒: 理論的にはどうなってるの？ 先生: 論文参照。でもまだ出版されてないもげもげも で、ただ単に、うさんくさい、というだけの感想になっていたと思う。このへんは当日も言ったんだけど、 実装ができている 理論的にできることがわかっているが実装は無い 理論的にできるともできないともわかっていない 理論的にできないことがわかっている みたいな状態 + あろはさんが説明
ホワット・ア・ワンダフル・ワールド ET Q&A
問い詰める会 wiki の方で質問されて （私の不勉強により） うまく答えられなかったことを，研究室の M 先輩を問い詰めて （笑） いろいろ教えていただいたので，ちょっとまとめてみます． たぶん Web 上での議論には限界があるので （また収集がつかなくなる），さらなる疑問点などは，問い詰める会などでよろしくお願いします．コメント欄などに質問をオープンな形でメモするぶんには大歓迎です （レスはあまり期待しないでください） (免責 : これは私の理解，解釈であり，間違いは全て私の責任です) # というか，問い詰める会は，理論的なことをちゃんとやってる M 先輩とかが行った方が （笑） Q. 正しさの根拠の違い 命令型 : アルゴリズムの一実装 （コーディング）．正しさの議論が困難．仕様 (what) の概念無し．how そのもの 関数型 : how を書くことには変わりないんだけど，プログ
はじめてのひき - AlohakunKotobaZeme
名前: コメント: 29夜: 31昼: 30夜 shinh:あくまで問い詰める会です:△(不明):○:○ soutaro:○:○ kmizu: 旭川のとき(http://alohakun.blog7.fc2.com/blog-entry-807.html)はあんまり問い詰められなかったので、今度こそ: ○:○:○ kimura 31日との昼ということで○ です。△△△ かなあ? あろはさんの卒論途中までしか読んでない。 odz: ×:○:○ あれ、気がついたら定員埋まってる？キャンセル待ちで。 YT wo: 問い詰めたいです:△:○:○ y14c: イクイク詐欺:○:○:○ naoya_t: 素人（言葉責め的な意味で）ですが行ってもいいっすか:○:○:○ s1061123: LL当日じゃなければどっちでも大丈夫な予感です:○:○:△ shelarcy: 大所帯になってきましたね。こちらにも
Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 標題: Erlang, Oz/Mozart, Prolog, 単一化 --- Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 --- ここから --- 変数束縛が Variable = Value. なのに、関数定義が function(Aargument) -> blah, blah, blah. てのはどうよ? --- ここまで
Unification
単一化(unification) 単一化の定義 この節の定義等の多くは[1]から引用しています。 項 V を可算無限個の変数の集合、F を関数記号の集合とします。 V, F から構成される項の集合 T(F, V) を以下の条件を満たす最小の集合と定義します。 x∈V ⇒ x∈T(F, V) f∈F, t1, ..., tn∈T(F, V) ⇒ f(t1, ..., tn)∈T(F, V) 関数記号 f ごとに、f がとりうるパラメータの個数 n があらかじめ定められているものとします。 この n を f の項数といいます。 (以下で、T(F, V) を T と書きます。) 項 x, y が一致することを x≡y と書きます。 代入 V から T への写像 σ でD(σ)={x∈V|xσ≠x} が有限なものを代入といいます。 ここで D(σ) を σ の定義域といいます。 項 t に含まれる
Logic Programmer養成ギプス
htmlの形式になっているPrologの資料 向井先生・尾崎先生による2004年度 論理プログラミング(SFCの外だと要VPN環境) ここの資料を使って、紙とpenで最汎単一化代入の概念を理解しましょう。 SWI-PrologでCGI(向井先生) Prologを一通り理解し、UNIXリテラシーにある程度詳しいならPrologでCGIを書くことができるようになるみたいです。 1999年度情報処理言語IIc(L)練習問題集 2000年度クラスIPL2CL Prolog持ち帰りテスト 2002年度尾崎先生による実践的側面重視のProlog講座 2002年度向井先生による理論的側面重視のProlog講座 PDFの形式になっているPrologの資料 2006年度論理プログラミング新資料 2002年度向井先生による理論的側面重視のProlog講座(PDF版) 大黒学氏による初級Prolog講座 古川康
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://atnd.org/events/478
ホワット・ア・ワンダフル・ワールド Prologでまったり Part3
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080831
ET Seminar