Lisp Scheme Part27
レス数が1000を超えています。これ以上書き込みはできません。
0001デフォルトの名無しさん
2009/07/27(月) 10:15:31■過去スレ
Part26: ttp://pc12.2ch.net/test/read.cgi/tech/1240567959/
Part25: ttp://pc12.2ch.net/test/read.cgi/tech/1231856193/
Part24: ttp://pc11.2ch.net/test/read.cgi/tech/1224939205/
Part23: ttp://pc11.2ch.net/test/read.cgi/tech/1215875388/
Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/
Part21: ttp://pc11.2ch.net/test/read.cgi/tech/1207300697/
Part20: ttp://pc11.2ch.net/test/read.cgi/tech/1205021786/
Part19: ttp://pc11.2ch.net/test/read.cgi/tech/1200237296/
Part18: ttp://pc11.2ch.net/test/read.cgi/tech/1186922295/
Part17: ttp://pc11.2ch.net/test/read.cgi/tech/1177065699/
Part16: ttp://pc11.2ch.net/test/read.cgi/tech/1172404795/
Part15: ttp://pc11.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc11.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc11.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc11.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc11.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc11.2ch.net/test/read.cgi/tech/1075630259/
Part09: ttp://pc11.2ch.net/test/read.cgi/tech/1069594582/
Part08: ttp://pc5.2ch.net/tech/kako/1058/10582/1058263391.html
Part07: ttp://pc5.2ch.net/tech/kako/1042/10421/1042167213.html
Part06: ttp://pc3.2ch.net/tech/kako/1031/10315/1031560687.html
Part05: ttp://pc3.2ch.net/tech/kako/1023/10230/1023091882.html
Part04: ttp://pc.2ch.net/tech/kako/1016/10162/1016211619.html
Part03: ttp://pc.2ch.net/tech/kako/1008/10082/1008220265.html
Part02: ttp://pc.2ch.net/tech/kako/1002/10025/1002584344.html
Part01: ttp://piza2.2ch.net/tech/kako/987/987169286.html
■テンプレート置き場
ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl)
0910デフォルトの名無しさん
2009/09/12(土) 04:10:55型付きラムダ計算の背後にある数学的理論として、圏論的セマンティクスは古くから知られた基本的な理論である。
実際、両者はある意味等価であり、そのことからいろいろな結果が得られる。
しかし、このときの等価性はラムダ計算における計算規則を等式として見たときのものである。
最近の研究では計算規則を動的、すなわち操作的にとらえたときにも、カテゴリカルセマンティクスとの等価性が成り立っているのではないかと考えられている。
その検証の流れでいろいろ発表されてきているけど一般的なプログラミング言語では無いと思う。
0911デフォルトの名無しさん
2009/09/12(土) 04:11:34双対っていうためには、双対定理が成り立たないとだめじゃないか?
0912デフォルトの名無しさん
2009/09/12(土) 04:14:11>>910に書いた。まだ証明されて無いけど見込みが高いらしい。
0913デフォルトの名無しさん
2009/09/12(土) 04:27:35http://science6.2ch.net/test/read.cgi/informatics/1165506353/
0914デフォルトの名無しさん
2009/09/12(土) 04:42:24懐かしいスレだな。まだあったのか。
そのスレみてふと思ったけど、Barendregtに出てくる二階のラムダ計算に対応するLispやSchemeってあるのかな?
0915902
2009/09/12(土) 04:49:31このスレのたいていの住人とは違って俺は趣味でlispで遊んでるだけの数学屋です。
だから>>897に書いてある数学用語のちゃんとした定義・意味は基本的に全部知っているし、
ほとんどのセンテンスが意味をなしてないこともわかる。(悲しいことだが)
0917デフォルトの名無しさん
2009/09/12(土) 06:17:470918デフォルトの名無しさん
2009/09/12(土) 06:36:300919デフォルトの名無しさん
2009/09/12(土) 06:42:02計算機科学を真面目にやってりゃ一目だろ
0920デフォルトの名無しさん
2009/09/12(土) 06:49:27なんでそんなに必死なのw
0921デフォルトの名無しさん
2009/09/12(土) 06:53:47「ボク、数学プロパーです」って宣言するかよ普通。
0922デフォルトの名無しさん
2009/09/12(土) 06:58:38専門分野を言わずに「数学屋です」はヘンだね。
0923デフォルトの名無しさん
2009/09/12(土) 07:00:27虫ならまだよくて虫の脚だけw
面白いコードの一つでも書いてあればつき合ってやってもいいんだけどね
0924デフォルトの名無しさん
2009/09/12(土) 07:06:16どうせ数学科の崩れだろ。
プログラミングも知ったかぶりかw
0925デフォルトの名無しさん
2009/09/12(土) 07:10:450926デフォルトの名無しさん
2009/09/12(土) 07:20:28引っかかるのも何にでも口を出すアルファブロガー様予備軍か何かだろ
0927デフォルトの名無しさん
2009/09/12(土) 07:48:15/\___/ヽ
/'''''' '''''':::::::\
. |(●), 、(●)、.:| +
| ,,ノ(p_q)ヽ、,, .::::|
. | `ト|ェェ|イ ' .::::::::| +
\ `|ニ|´ .:::::/ +
/`'ー┼ー|-‐一'´\
/ | | ::::i ヽ
| | | .| :::;;l |
 ̄ ̄ ̄ ̄ ̄ ̄| ̄ ̄| ̄ ̄ ̄ ̄ ̄ ̄
_ノ___ノ
( _
ヽ__ /◎/
) /ロ/
(___ノ ̄
0928デフォルトの名無しさん
2009/09/12(土) 08:36:450929884
2009/09/12(土) 09:04:10書きながら思っていたことはLispのプログラムはevalできなきゃだめなので
S式のうち (f x1 x2 ... xn) のものに限定しないといけないこと。
だから p(d), d(p) がS式になったといってもevalできないS式が出てくる
ようじゃ双対性とはいわんのだろうなあ、と思っていた。
ベクトルはすべて線形関数に成り得るけど、S式はそのすべてがevalの対象に
なるわけではないから違うんだろうと思う。
0930デフォルトの名無しさん
2009/09/12(土) 11:42:46デタラメ書いてるだけだと思う
0931デフォルトの名無しさん
2009/09/12(土) 21:50:02「りすぷ」という仮想の言語についての論文だ。
弟子:ハイ分かりました
<一週間後・・・>
弟子:師匠、論文を読みました。
ちょっと思ったんですが、この eval という関数を作ってしまえば、
「りすぷ」は実装できるんじゃないでしょうか?
師匠:チミチミ、理論と実際を混同しちゃイカンよw
<さらに一週間後・・・>
弟子:師匠、eval できました。「りすぷ」完成ですノシ
師匠:ちょwwwwwwwwww
Lisp もこんな経緯で生まれたからなw
0932デフォルトの名無しさん
2009/09/12(土) 21:56:220933デフォルトの名無しさん
2009/09/12(土) 22:49:07ってどんな経緯だよ
全然わかんねーよ
0934デフォルトの名無しさん
2009/09/12(土) 22:51:10論文書いたときは処理系が存在しない言語の論文でしょ?
0935デフォルトの名無しさん
2009/09/12(土) 23:22:17期待していることである。まで読んだ
0936デフォルトの名無しさん
2009/09/13(日) 00:13:10みたいな感じか。
0937デフォルトの名無しさん
2009/09/13(日) 00:16:54ttp://wbb.forum.impressrd.jp/feature/20071212/515?page=0%2C1
微妙に違うっぽい
0938デフォルトの名無しさん
2009/09/13(日) 00:27:33もうちょっと一次情報に近い情報
0939デフォルトの名無しさん
2009/09/13(日) 00:29:14いったい僕に Lisp みたいな大それた言語が必要なんだろうか
0940デフォルトの名無しさん
2009/09/13(日) 10:08:03工学はアホの子にも科学の恩恵をもたらすためのものだ。
遠慮なく使ってやれ。
0941デフォルトの名無しさん
2009/09/13(日) 17:12:02tryという関数があり
(try time-limit lisp-expression)
実行時間が限られたevalだそうだ。(時間がくれば計算は停止する)
普通のLispでtryを書けるだろうか?
Ctrl+Cで強制終了するのは無しってことで。
0942デフォルトの名無しさん
2009/09/13(日) 17:16:480943デフォルトの名無しさん
2009/09/13(日) 17:29:33とりあえず巨大なevalをLispで実装してそののちに
コアオペレータを1つ実行するごとにカウンタを増やす(or可能なら
時間測定をする)ということで可能かな?
教えてエロイ人
0944デフォルトの名無しさん
2009/09/13(日) 18:02:08そうだよね。
同じように考えたのだけど、Lispの達人ともなると
違う方法でできるのかも、と考えたもので。
0945デフォルトの名無しさん
2009/09/13(日) 18:09:15典型的なLisp族の枠内では無理でしょ
0946デフォルトの名無しさん
2009/09/13(日) 19:35:23http://wikiwiki.jp/hpa/?%A5%B8%A5%A7%A5%F3%A5%AB%A1%A6%A5%B3%A5%EF%A5%EB%A5%B9%A5%AE%A1%BC
0947デフォルトの名無しさん
2009/09/13(日) 20:55:560948デフォルトの名無しさん
2009/09/13(日) 21:01:23あぁああああ…ああ…あっあっー!あぁああああああ!!!ルイズルイズルイズぅううぁわぁああああ!!!
あぁクンカクンカ!クンカクンカ!スーハースーハー!スーハースーハー!いい匂いだなぁ…くんくん
んはぁっ!ルイズ・フランソワーズたんの桃色ブロンドの髪をクンカクンカしたいお!クンカクンカ!あぁあ!!
間違えた!モフモフしたいお!モフモフ!モフモフ!髪髪モフモフ!カリカリモフモフ…きゅんきゅんきゅい!!
小説12巻のルイズたんかわいかったよぅ!!あぁぁああ…あああ…あっあぁああああ!!ふぁぁあああんんっ!!
アニメ2期放送されて良かったねルイズたん!あぁあああああ!かわいい!ルイズたん!かわいい!あっああぁああ!
コミック2巻も発売されて嬉し…いやぁああああああ!!!にゃああああああああん!!ぎゃああああああああ!!
ぐあああああああああああ!!!コミックなんて現実じゃない!!!!あ…小説もアニメもよく考えたら…
ル イ ズ ち ゃ ん は 現実 じ ゃ な い?にゃあああああああああああああん!!うぁああああああああああ!!
そんなぁああああああ!!いやぁぁぁあああああああああ!!はぁああああああん!!ハルケギニアぁああああ!!
この!ちきしょー!やめてやる!!現実なんかやめ…て…え!?見…てる?表紙絵のルイズちゃんが僕を見てる?
表紙絵のルイズちゃんが僕を見てるぞ!ルイズちゃんが僕を見てるぞ!挿絵のルイズちゃんが僕を見てるぞ!!
アニメのルイズちゃんが僕に話しかけてるぞ!!!よかった…世の中まだまだ捨てたモンじゃないんだねっ!
いやっほぉおおおおおおお!!!僕にはルイズちゃんがいる!!やったよケティ!!ひとりでできるもん!!!
あ、コミックのルイズちゃああああああああああああああん!!いやぁあああああああああああああああ!!!!
あっあんああっああんあアン様ぁあ!!シ、シエスター!!アンリエッタぁああああああ!!!タバサァぁあああ!!
ううっうぅうう!!俺の想いよルイズへ届け!!ハルケギニアのルイズへ届け!
>>947
0949デフォルトの名無しさん
2009/09/13(日) 21:29:580950デフォルトの名無しさん
2009/09/13(日) 21:30:500951デフォルトの名無しさん
2009/09/13(日) 21:52:480952デフォルトの名無しさん
2009/09/13(日) 22:24:210953デフォルトの名無しさん
2009/09/13(日) 22:27:09枕元にちょうどその本があったから読み返してみようかと思ったけど
ググったらそもそも Mathematica 版の実装が公開されてた
ttp://www.umcs.maine.edu/~chaitin/lisp.m
Mathematica が読めないんだけど、どうも >>943 の言っているような方式なのかな。
というかこの本ってオンラインで全部読めるのか
ttp://www.umcs.maine.edu/~chaitin/lm.html
何だか日本語訳よりも原文の方がわかりやすいような……
0954デフォルトの名無しさん
2009/09/13(日) 22:37:40ルイズは Guy L. Steele Jr. にでもすべきか
Lewis だし
0955デフォルトの名無しさん
2009/09/13(日) 22:50:16HPにCで書かれた独自拡張Lispがあった。
Borland C++で動いた。try関数の第3引数がなんとも独特。
そうなんだ。オンラインで読めるんだけど黒川さんの訳は
好きなんで3150円、ま、いっかな。その辺で一杯飲んだと思ったら安いもの。
0956デフォルトの名無しさん
2009/09/13(日) 22:53:13モフをmap
って感じか?w
0957デフォルトの名無しさん
2009/09/13(日) 22:59:53これも 1,000 行以下の Lisp インタープリタだね
0958デフォルトの名無しさん
2009/09/14(月) 00:29:09> そのせいか若い人の勉強会でも未だに人気が衰えていないという不思議な
> 現象がある。こんなの世界広しと言えどもあまり他の国では見たことが
> ない。ここでもガラパゴス化しているんだよな。
http://kashino.tumblr.com/post/186793436/technical-requirements-special-software-is
0959デフォルトの名無しさん
2009/09/14(月) 00:32:120960デフォルトの名無しさん
2009/09/14(月) 00:42:280961デフォルトの名無しさん
2009/09/14(月) 00:47:36そんなこと言ってると割り込みベースの言語とかが生まれちゃうぞ(割り込みの概念の持ち込みが実は日本発だとしってびっくり中)
0962デフォルトの名無しさん
2009/09/14(月) 00:48:11「ガラパゴス化」って言いたい病を治さないとな。
0963デフォルトの名無しさん
2009/09/14(月) 00:48:46http://www.shido.info/lisp/scheme3.html
の段階で (cons 1 2) したら
> cons: second argument must be of type <list>, given 1 and 2
と言われる。原因は「言語」をHow to Design Programsに
設定してたせいみたいなんだけど(Essencials...なら通る)
How to ... で cons を通す(第二引数をリストにする)にはどう書いたらいいの?
0964デフォルトの名無しさん
2009/09/14(月) 00:56:23職業プログラマなら一般教養として学生時代に勉強してるべきことだし
今更読書会で読む必要もないよね
とか言ってみる
0965デフォルトの名無しさん
2009/09/14(月) 00:56:28http://docs.plt-scheme.org/htdp-langs/beginner-prim-ops.html#(def._((lib._lang/htdp-beginner..ss)._cons))
0966デフォルトの名無しさん
2009/09/14(月) 00:57:35http://docs.plt-scheme.org/drscheme/htdp-langs.html
"Beginning Student with List Abbreviations" を選んで
(cons 1 (list 2)) が通った。
0967デフォルトの名無しさん
2009/09/14(月) 01:00:13そこが学生モードのリファレンスなんだね。今度からそこに当たるわ。
0968デフォルトの名無しさん
2009/09/14(月) 01:07:44PLT Scheme のデフォルト言語だと set-car! とかできないのと似たような話かな
0969デフォルトの名無しさん
2009/09/14(月) 01:16:09普通のScheme言語(R5RSとか)でやるのが何故気に入らないのか理解できません。
例えるなら「JavaのプログラムがなぜC++で動かないのか」とか言ってるようなもので、答えるのに困ります。
言語が違うので通りませんとしか答えようがないですね。そのかわり普通のSchemeと違って
(cons 1 empty)
は通ります。
0970デフォルトの名無しさん
2009/09/14(月) 01:36:38いやいや、気に入らないなんて言ったつもりはないよ。
今は「もうひとつの」を進めるつもりで、そのためには「普通の」を使う必要があるし
むしろ、なぜこんなものがあるのかわからなかった。
でも書き方をそのように制限/変更することが初学者の学習に役立つと
HtDPの設計者が考えたことは推測できて、その理由が気になったとこはある。
なにせまだ右も左もわからないので・・・
0971デフォルトの名無しさん
2009/09/14(月) 01:48:49ならHtDPを読むんだね。オンラインで読めるし。
http://www.htdp.org/
「もうひとつの」を読むのにHtDPの設計者が何か関係してるのかな?質問の意図が全く不明です。
0972デフォルトの名無しさん
2009/09/14(月) 08:30:53君の最初の質問が、
「HtDPとはどういうものなのでしょうか?」
なら、まだ分かるんだが…
0973デフォルトの名無しさん
2009/09/14(月) 13:17:01右も左もわからなくても、「普通の」がある、という意味で「前」方向はわかってたんでしょ
それが HtDP じゃないっていうのもわかってるみたいなのに、なんで横に逸れて行くんだ
0974デフォルトの名無しさん
2009/09/14(月) 14:58:13あぁああああ…ああ…あっあっー!あぁああああああ!!!RMSRMSRMSぅううぁわぁああああ!!!
あぁクンカクンカ!クンカクンカ!スーハースーハー!スーハースーハー!いい匂いだなぁ…くんくん
んはぁっ!RMSたんの桃色の足の皮をクンカクンカしたいお!クンカクンカ!あぁあ!!
間違えた!モフモフしたいお!モフモフ!モフモフ!皮皮モフモフ!カリカリモフモフ…きゅんきゅんきゅい!!
emacs21のRMSたんかわいかったよぅ!!あぁぁああ…あああ…あっあぁああああ!!ふぁぁあああんんっ!!
emacs23リーリースれて良かったねRMSたん!あぁあああああ!かわいい!RMSたん!かわいい!あっああぁああ!
emacsがUTFされて嬉し…いやぁああああああ!!!にゃああああああああん!!ぎゃああああああああ!!
ぐあああああああああああ!!!vimなんて現実じゃない!!!!あ…emacsもよく考えたら…
R M Sち ゃ ん は 現実 じ ゃ な い?にゃあああああああああああああん!!うぁああああああああああ!!
そんなぁああああああ!!いやぁぁぁあああああああああ!!はぁああああああん!!C-g C-gぁああああ!!
この!ちきしょー!やめてやる!!現実なんかやめ…て…え!?見…てる?表紙絵のRMSちゃんが僕を見てる?
表紙絵のRMSちゃんが僕を見てるぞ!RMSちゃんが僕を見てるぞ!挿絵のRMSちゃんが僕を見てるぞ!!
M-x doctorのRMSちゃんが僕に話しかけてるぞ!!!よかった…世の中まだまだ捨てたモンじゃないんだねっ!
いやっほぉおおおおおおお!!!僕にはRMSちゃんがいる!!やったよケティ!!ひとりでできるもん!!!
あ、M-x doctorのRMSちゃああああああああああああああん!!いやぁあああああああああああああああ!!!!
あっあんああっああんあアン様ぁあ!!シ、シエスター!!アンリエッタぁああああああ!!!タバサァぁあああ!!
ううっうぅうう!!俺の想いよRMSへ届け!!ハルケギニアのRMSへ届け!
0975デフォルトの名無しさん
2009/09/14(月) 15:10:23中途半端だな。
ハルケギニアのRMSって何だよ
0976デフォルトの名無しさん
2009/09/14(月) 15:13:510977デフォルトの名無しさん
2009/09/14(月) 15:55:31FSF の所在に合わせるとボストンの RMS かな
あとは RMS 以外の名前か
0978デフォルトの名無しさん
2009/09/14(月) 18:16:59コンピュータープログラムが統合失調症患者を装って
文字列を生成させている?
0979デフォルトの名無しさん
2009/09/14(月) 18:34:280980デフォルトの名無しさん
2009/09/14(月) 18:37:08最後の "P" は -predicate の意味ではないので、 "?" とはならない。
0981デフォルトの名無しさん
2009/09/14(月) 19:17:21従って、"lisp"自身が"list?(リストですか?)"を意味しています。
0982デフォルトの名無しさん
2009/09/14(月) 19:22:14>>980
0983デフォルトの名無しさん
2009/09/14(月) 19:22:52<⌒/ヽ-、___ はいはいわろすわろす
/<_/____/
0984デフォルトの名無しさん
2009/09/14(月) 19:27:22IMHO, ROFLMAO<3
0985デフォルトの名無しさん
2009/09/14(月) 22:41:20くわしく
0986デフォルトの名無しさん
2009/09/14(月) 22:53:28またさらりと一番恐ろしい書込みをされる。
一生飽きないゲームが存在している、未知なるゲームの対戦相手が無数に
湧いて出てくるという事実は、自分にとっては、何事にも代えがたい事実
であることは確かです。
やっぱり、途中で飽きてしまうようなものはダメですよ。
0987986
2009/09/14(月) 23:03:000988デフォルトの名無しさん
2009/09/14(月) 23:40:40小学校あたりですでに分かれている
高校から大学にかけては仕上げの段階で
馬鹿をやってる暇はない
0989デフォルトの名無しさん
2009/09/14(月) 23:47:50今は学生さんしか居ないスレなのね。
0990デフォルトの名無しさん
2009/09/15(火) 00:26:190991デフォルトの名無しさん
2009/09/15(火) 01:29:280992デフォルトの名無しさん
2009/09/15(火) 01:44:510993デフォルトの名無しさん
2009/09/15(火) 02:24:210994デフォルトの名無しさん
2009/09/15(火) 02:41:07※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※
■過去スレ
Part27: ttp://pc12.2ch.net/test/read.cgi/tech/1248657331/
直前の他は>>2くらいに
■テンプレート置き場
ttp://wiki.fdiary.net/lisp/ (id:guest pass:cl)
0995デフォルトの名無しさん
2009/09/15(火) 03:05:35(student? 昔の住人)
=> #f
(sick? 昔の住人)
=> #f
(student? 今の住人)
=> #t
(sick? 今の住人)
=> #t
0996デフォルトの名無しさん
2009/09/15(火) 03:42:040997デフォルトの名無しさん
2009/09/15(火) 03:45:000998デフォルトの名無しさん
2009/09/15(火) 03:46:110999デフォルトの名無しさん
2009/09/15(火) 03:47:191000デフォルトの名無しさん
2009/09/15(火) 03:47:5010011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。