トップページ⇒tech
1001コメント302KB

Lisp Scheme Part27

レス数が950を超えています。1000を超えると書き込みができなくなります。
0001デフォルトの名無しさん2009/07/27(月) 10:15:31
※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※

■過去スレ
　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)
08558542009/09/10(木) 06:00:01
読み返すとなんとも、いじわるな感じになってしまった。
気にしないでおくれ。
0856デフォルトの名無しさん2009/09/10(木) 06:47:04
>>853
ソースの外にあるのは嫌だ。管理がめんどい。
どうせマクロで隠蔽すればいいじゃん。
0857デフォルトの名無しさん2009/09/10(木) 07:05:04
>>854

２つのことを一度に書いたので混乱を与えたかもしれない。
線形代数は単位取得している。

前者はＳ式での双対原理についてで、ベクトル空間をＳ式に置き換えれば
同じＳ式という土俵の上でデータとプログラムが成り立っているのであり、
プログラムが必ずしも線形でないこと、内積に代わる演算が必要なことなど
はあるだろうけど、双対原理を考えることができないだろうか？ということ。

後者は数学に準拠したものでベクトル空間をリストを利用して具体的に
表せないだろうかというもの。双対基底を具体的にプログラムで書き表して
理解を深めようということ。
0858デフォルトの名無しさん2009/09/10(木) 07:49:21
S式のメタ言及と線形空間のメタ言及に関してお互いが同じメタファを持ってるってことを言いたいのかな？
発想は素晴らしいけどこういう類推って人間の頭の中に無数にある訳で、この場合、それを表現するのはS式であり数式であるんじゃないかな？
説得力が欲しいならプログラム書いて数式を書くしか無いよ。
多くの抽象的で曖昧で自然な言葉を発するより、今その方法が一番短時間で正確に頭の中を伝えられるよ。
その技法を習得するために単位を取ったんじゃないのかな？
0859デフォルトの名無しさん2009/09/10(木) 10:17:41
>>858

う〜ん、説得したかったわけじゃないんだ。
こんなの思いついたけど面白いんじゃない？どうかな？って程度で。
0860デフォルトの名無しさん2009/09/10(木) 11:54:07
どうかな？と言われても・・・
元々の断片的なレスからどんな反応を期待していたの

みんながエスパーしてくれて何か面白いことが起きるとか？
0861デフォルトの名無しさん2009/09/10(木) 12:23:19
ああ、わかったよ。他で聞いてみるよ。
0862デフォルトの名無しさん2009/09/10(木) 12:31:27
lispで画像処理をするにはopencvをcffiで呼ぶモジュールを作ればいいんだろうか
0863デフォルトの名無しさん2009/09/10(木) 15:26:38
weblocksのデモプログラムが、妙に遅い気がするんだけど
サーバーが弱いのか、lispに速度を求めるのが間違いなのか
0864デフォルトの名無しさん2009/09/10(木) 19:41:45
>>863
lispに速度を求めるのは間違いじゃないけど、
速度を考えずに書いたlispに速度を求めるのは間違い。
0865デフォルトの名無しさん2009/09/10(木) 20:04:49
gauche は名前を gosh に統一して欲しいな。

gauche は読みづらい。
0866デフォルトの名無しさん2009/09/10(木) 20:08:03
ガウチェとは
オレのことかと
ゴーシュ言い
0867デフォルトの名無しさん2009/09/10(木) 20:15:34
ごーしゅ と ごっしゅ でいいんじゃないの？
特に言いづらくもないし。
0868デフォルトの名無しさん2009/09/10(木) 21:42:04
ガウチェのどこが読み難いんだよ
ガウチェ ゴッシュ ゴッシュゴッシュ ガウチェ
0869デフォルトの名無しさん2009/09/10(木) 21:50:56
>>865
世の中もっと読みにくい物があるのになんというわがままな事を言うのかと小一時間
0870デフォルトの名無しさん2009/09/10(木) 21:56:55
カマス一杯といって、はいカミユ一杯ですねと訂正される屈辱を味わえ
0871デフォルトの名無しさん2009/09/10(木) 22:05:36
いっそ gausche にするとか
0872デフォルトの名無しさん2009/09/10(木) 22:21:06
>>870
そりゃ流石におまいが悪い

#最中のことをサイチュウとよんで悪かったな！
0873デフォルトの名無しさん2009/09/11(金) 00:24:21
セロ弾きのガウチェ
0874デフォルトの名無しさん2009/09/11(金) 00:27:16
双対空間なんて準同型定理を理解すればすむじゃん。
線形代数で双対空間を使ってるだけで線形性なんて関係ないし。
0875デフォルトの名無しさん2009/09/11(金) 01:55:08
クトゥルー神話並に Gauvpstcheh くらいにしちゃえばいいんじゃね
0876デフォルトの名無しさん2009/09/11(金) 02:13:02
まずS式→S式の妥当なマクロ展開全体からなる集合Mに対する
体K上のスカラー演算が自明には定義できないというか、
無理矢理こじつけてもプログラム的な意義がなさそうだから
ベクトル空間として扱うのは無理筋じゃないかなあ。

次に集合Mが例えばマクロ展開の合成演算に関して群をなすかというと
α変換による同値類を許せば群になるかもね。
証明するのも反例を見つけるのもだるいが・・・
あるはM全体だと群にならないとしたら
どのようなクラスのマクロ展開は群になるか、
そのように定義できたマクロ展開群G上の準同型はどんなものか、
考える価値があるのかなあ？
0877デフォルトの名無しさん2009/09/11(金) 02:24:52
がうちぇのほうが可愛いだろ…

Mac OS X snow leopardをようやく突っ込んだんだけどypsilonがコンパイルできなくなってしまた。
src/ffi_stub_darwin.sのアセンブルでコケてるぽい？
suffix or operands invalid for 'push' とか言われる pushのほかにcall pop もそうです。
64bit化でアセンブラのオペランド変わったとかそういう？
よくわからんゲーで眠気も限界に達する勢いなので教えてエロい人！して電気ブラン飲んで寝てやるくそぅ
ここじゃなくて他に適切なスレあったら誘導してもらえるとありがたく…
0878デフォルトの名無しさん2009/09/11(金) 04:22:12
>>876
イデアルみたいなのが出てきて破綻するだろ。
同値類ってイデアルS式とかに拡張すんのか？
1の分割みたいにアトムの分割が必要に為りそうだ。
0879デフォルトの名無しさん2009/09/11(金) 08:28:32
ぜんぜんカンができないよー

まで読んだ
0880デフォルトの名無しさん2009/09/11(金) 11:16:00
カン拡張
0881デフォルトの名無しさん2009/09/11(金) 13:03:44
ポン
0882デフォルトの名無しさん2009/09/11(金) 13:07:47
解の上限と下限を計算したら一致したので、
両方組み合わせちゃえ　

双対
0883デフォルトの名無しさん2009/09/11(金) 22:16:19
eval と apply なんて双対じゃね
0884デフォルトの名無しさん2009/09/11(金) 22:35:20
p = プログラム
d = データ
p,d ∈ ｓ式
(p d) ∈ｓ式　
(d p) ∈ｓ式

これだけではｓ式の評価について双対性が成り立つってことにはならんの？

> ((lambda (x) (car x)) '(cdr x))
cdr
> ((lambda (x) (cdr x)) '(car x))
(x)
>
0885デフォルトの名無しさん2009/09/11(金) 23:08:59
まずs式を台集合とする体を定義して貰おうか
0886デフォルトの名無しさん2009/09/11(金) 23:14:53
　ヽ('A`)ﾉ
　　(　 )
　　ﾉω|
0887デフォルトの名無しさん2009/09/11(金) 23:17:05
λ < 私の体が目当てだったのね！
0888デフォルトの名無しさん2009/09/11(金) 23:26:58
field < この泥棒猫っ！
0889デフォルトの名無しさん2009/09/11(金) 23:31:54
中途半端に横槍ですが。
>>858
それをさらりと言ってのけるあなたはすさまじいですよ。
さも簡単に割り切れる（作れる。ではなく）かのように言ってますが、
それは普通出来ないです。

結局調和できないものは、異端として切られるだけなので、
さも調和しているかのようなものを作り出さないことには、
意味無いんですよね。重々承知してはいるのですけどね。
0890デフォルトの名無しさん2009/09/11(金) 23:35:13
>>876
アーベル群の双対に限定する理由なんてNothingだろ。
(アーベル群の双対) ∈ (ポントリャーギン双対)
なんだから。
しかもポントリャーギン双対だけじゃなくGrothendieck dualityで考えてもなんら問題は無い。
0891デフォルトの名無しさん2009/09/11(金) 23:47:08
>>858が実証バカの論法なら、Grothendieckは抽象バカの論法。
どっちで逝くにしても手を動かさないことには唯の空想否定厨で終わってしまう。
たぶん>>858が言いたかったのはこっちの方。
0892デフォルトの名無しさん2009/09/11(金) 23:51:22
>>890
eqはなくequalしかない純Lispだとしても、いい構造は思いつかないね。
0893デフォルトの名無しさん2009/09/12(土) 01:52:04
>>889
むしろ本心としては利己的な目的で無意味(対外的に影響が無い)な知的発展は大賛成。
色々と抽象的な構造こねくり回して、頭の中だけで作っては発見してっていうのも、身震いするほど楽しいしね。
ただ、世の中に自分以上(或は違う方向)の頭の中があることを知っちゃうと、今まで以上の身震いがあるわけよ。

蛙が大海にいる魚に話しかけたとき、彼らが数式とか無数の括弧で会話してたらどうする？
なかには200km/hで泳いだり、とんでもない深さまで潜る化け物がいるわけだ。
0894デフォルトの名無しさん2009/09/12(土) 02:11:27
>>874 >>890
テメェラ自分の言ってることの意味わかって口聞いてんのか。知ったかもたいがいにせい。
0895デフォルトの名無しさん2009/09/12(土) 02:23:01
だいぶスレ違いだねえ。

一般的に双対を扱いたいなら、
理論内部での定理でなく、理論に対するメタ定理とすることが必要でしょう。
つまり公理系の性質に関する証明。

それとは別に、
線型空間の双対空間などいわゆる理論内部でのことなら、
構成的数学で扱える範囲ならOKではないでしょうか。
特にWKL_0あたりで算術化できるならかなりできると思う。

逆数学関連や
竹内外史先生が岩波（数学会）から出していた本など参考にされてはどうでしょう。
0896デフォルトの名無しさん2009/09/12(土) 02:25:14
>>894
gapやPARI/gpやMacaulay2が持ってる機能とLisp/Schemeを比較してS式に何が欠けてるか指摘してますが何か？
0897デフォルトの名無しさん2009/09/12(土) 03:01:45
>>895
一般的に双対を扱うためにGrothendieckがとったアプローチは理論内部での定理でなく、
理論を抽象化するメタ定理の証明に使用する圏と射を導入したんだよね。
それによって公理系の性質に関するメタな証明をEGAやSGAで実行したのは有名だよね。
これは、無限２分木がかならず無限の道をもつという弱ケーニヒの補題を公理に加えた体系WKL_0となり
Lisp/Schemeでは欠けている言語的特長を付加することを意味する。
例えるならフェルマーの定理の証明でワイルズがやったようなS式版のコホモロジーと指標の対応をつけてやることに相当する。
それが上で言ったメタ定理に使用する圏と射を一段下のレベルで実行することで、
Grothendieck流ならもう一段抽象レベルでプログラム出来なければいけないことになる。

それと別に線型空間の双対空間やアーベル群の双対などのポントリャーギン双対との類似物はもっと単純で、
それらの双対性用のライブラリーを作成する単純作業で、それをS式で考えるなら、マクロ生成マクロを用意するのが一つの手段。
グレブナー基底を取り替えるような感じだね。
証明するなら枠外にはみ出すけど結果を使うだけなら、それらはLisp/Schemeを言語的にはなんら拡張するような話ではない。
0898デフォルトの名無しさん2009/09/12(土) 03:17:48
「イデアル類群を一般化したもの」に相当するセルマー群とかヘッケ加群のレベルとアーベル群を比較すると、
言語を拡張するのに要する複雑さは段違いだよ。
0899デフォルトの名無しさん2009/09/12(土) 03:23:08
>>897
有名だとか言われましても代数幾何はわかりません、
また、例えもさっぱり見当がつきません。

ところで算術的に「表現」できる小さな圏なら、Lisp/Schemeで間に合いませんか？
0900デフォルトの名無しさん2009/09/12(土) 03:29:53
いまどき代数幾何も知らない無知無学の輩は首釣ったほうがいいよ
0901デフォルトの名無しさん2009/09/12(土) 03:36:19
>>900
s/も知らない無知無学の/なんかを学んでいる/

こっちの方がしっくりくるな。
0902デフォルトの名無しさん2009/09/12(土) 03:38:48
知の欺瞞ごっこはもう終わりにした方がいいと思う。
悪いけど>>897は言語のサラダ状態
0903デフォルトの名無しさん2009/09/12(土) 03:45:13
まるでわからないから俺がバカなのかと勘違いするところだった。危ない危ない。
0904デフォルトの名無しさん2009/09/12(土) 03:48:58
数学としては証明されないしプログラムとしては動かない。
この議論、まるで新入生の会話だな。
0905デフォルトの名無しさん2009/09/12(土) 03:50:31
あの手の長文は読まないようにしているので読んでない
0906デフォルトの名無しさん2009/09/12(土) 03:54:54
一階述語論理ではないWKL_0のプログラミング言語なんて存在するの？
0907デフォルトの名無しさん2009/09/12(土) 03:56:09
>>902
>>897は専門的すぎて、数学科ではない俺はわからん。
ただ、内容の意味がわからないからと言って>>902のように知の欺瞞と
短絡的に決め付けるのは怠惰すぎる。
0908デフォルトの名無しさん2009/09/12(土) 03:57:20
双対にロマン持ちすぎだよな。
そもそもデータと命令なんて双対でもなんでもない。

どこかのお話で読んだだけだけど、
スキーム導入は開集合を増やしてよいコホモロジーを成立させるためだそうだ。
0909デフォルトの名無しさん2009/09/12(土) 04:02:55
＞そもそもデータと命令なんて双対でもなんでもない。

それじゃ関数型の立場がないだろｗ
0910デフォルトの名無しさん2009/09/12(土) 04:10:55
>>906
型付きラムダ計算の背後にある数学的理論として、圏論的セマンティクスは古くから知られた基本的な理論である。
実際、両者はある意味等価であり、そのことからいろいろな結果が得られる。
しかし、このときの等価性はラムダ計算における計算規則を等式として見たときのものである。
最近の研究では計算規則を動的、すなわち操作的にとらえたときにも、カテゴリカルセマンティクスとの等価性が成り立っているのではないかと考えられている。
その検証の流れでいろいろ発表されてきているけど一般的なプログラミング言語では無いと思う。
0911デフォルトの名無しさん2009/09/12(土) 04:11:34
>>909
双対っていうためには、双対定理が成り立たないとだめじゃないか？
0912デフォルトの名無しさん2009/09/12(土) 04:14:11
>>911
>>910に書いた。まだ証明されて無いけど見込みが高いらしい。
0913デフォルトの名無しさん2009/09/12(土) 04:27:35
閑散としている情報学板にこんなスレがあったよ。
http://science6.2ch.net/test/read.cgi/informatics/1165506353/
0914デフォルトの名無しさん2009/09/12(土) 04:42:24
>>913
懐かしいスレだな。まだあったのか。
そのスレみてふと思ったけど、Barendregtに出てくる二階のラムダ計算に対応するLispやSchemeってあるのかな？
09159022009/09/12(土) 04:49:31
>>907
このスレのたいていの住人とは違って俺は趣味でlispで遊んでるだけの数学屋です。
だから>>897に書いてある数学用語のちゃんとした定義・意味は基本的に全部知っているし、
ほとんどのセンテンスが意味をなしてないこともわかる。（悲しいことだが）
09168952009/09/12(土) 05:11:30
>>915
そうだったんですか、基礎論側しか分からないので判断は保留してましたが。
0917デフォルトの名無しさん2009/09/12(土) 06:17:47
>>910すら知らない>>915も知ったかぶりにしか思えないがw
0918デフォルトの名無しさん2009/09/12(土) 06:36:30
たわごとに乗って貰えなかったアホがムキになっているようにしか思えん
0919デフォルトの名無しさん2009/09/12(土) 06:42:02
>>897みたいなもんが関係するわけがないことは
計算機科学を真面目にやってりゃ一目だろ
0920デフォルトの名無しさん2009/09/12(土) 06:49:27
俺が言ってるのは>>897も>>915も知ったかぶりって事さ。
なんでそんなに必死なのw
0921デフォルトの名無しさん2009/09/12(土) 06:53:47
痛いとこつかれて必死なんだろ。
「ボク、数学プロパーです」って宣言するかよ普通。
0922デフォルトの名無しさん2009/09/12(土) 06:58:38
>>921
専門分野を言わずに「数学屋です」はヘンだね。
0923デフォルトの名無しさん2009/09/12(土) 07:00:27
猫が得意げに虫をくわえてくるようなもんだ
虫ならまだよくて虫の脚だけｗ
面白いコードの一つでも書いてあればつき合ってやってもいいんだけどね
0924デフォルトの名無しさん2009/09/12(土) 07:06:16
>>923
どうせ数学科の崩れだろ。
プログラミングも知ったかぶりかw
0925デフォルトの名無しさん2009/09/12(土) 07:10:45
これぐらいの煽りで>>923の書き込みする様じゃ精神年齢はかなり幼いねw
0926デフォルトの名無しさん2009/09/12(土) 07:20:28
自覚のないソーカルのネタ本になってるのも夢見がちな文章載っけてることが多いし
引っかかるのも何にでも口を出すアルファブロガー様予備軍か何かだろ
0927デフォルトの名無しさん2009/09/12(土) 07:48:15
　　　　　　お前ら黙って音楽聴けよ
　　　　　　　　　/＼＿＿_／ヽ
　　　　　　　 ／''''''　　　'''''':::::::＼
　　　　　　 . |（●）,　　　､（●）､.:|　＋
　　　　　　　|　　 ,,ﾉ(p_q)ヽ､,,　.::::|
　　　　　. 　 |　　 ｀ﾄ|ｪｪ|ｲ '　.::::::::|　+
　　　　 　 　 ＼ 　 ｀|ニ|´　 .:::::／　　　　　+
　　　　　　　 ／｀'ｰ┼ｰ|-‐一'´＼
　　　　　　 /　　　　| 　 | 　　::::i　ヽ
　　　　　　 |　 | 　　|　　.|　　:::;;l　 |
　　￣￣￣￣￣￣|￣￣|￣￣￣￣￣￣
　　　　　　　　 ＿ノ＿__ノ
　　　　　　　 （　　　　　　　＿
　　　 　　　　　ヽ__　　 　 /◎/
　　　　　　　　　　　）　　/ロ/
　　　 　　　　　　　（___ノ￣
0928デフォルトの名無しさん2009/09/12(土) 08:36:45
で、この話題は今月中くらいにはもう少し Lisp っぽい内容になるの？
09298842009/09/12(土) 09:04:10
>>858に数式、コードで示すべきと言われたので考えていたことを書いた。
書きながら思っていたことはLispのプログラムはevalできなきゃだめなので
S式のうち (f x1 x2 ... xn) のものに限定しないといけないこと。
だから p(d), d(p) がＳ式になったといってもevalできないＳ式が出てくる
ようじゃ双対性とはいわんのだろうなあ、と思っていた。

ベクトルはすべて線形関数に成り得るけど、Ｓ式はそのすべてが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:22
一方ソ連は鉛筆を使った。
0933デフォルトの名無しさん2009/09/12(土) 22:49:07
新しい論文書いた → 論文を読みました → 完成です

ってどんな経緯だよ
全然わかんねーよ
0934デフォルトの名無しさん2009/09/12(土) 22:51:10
ISWIMとか、FPとか、Connection Machine Lispとか、
論文書いたときは処理系が存在しない言語の論文でしょ？
0935デフォルトの名無しさん2009/09/12(土) 23:22:17
ウォーターフォール・モデルの問題点は、『前工程に間違いがない』ことを前提または
期待していることである。まで読んだ
0936デフォルトの名無しさん2009/09/13(日) 00:13:10
2chに欲しいソフトの妄想を書いた → ちょっと待ちな → おう、出来たぜ

みたいな感じか。
0937デフォルトの名無しさん2009/09/13(日) 00:16:54
>>931
ttp://wbb.forum.impressrd.jp/feature/20071212/515?page=0%2C1
微妙に違うっぽい
0938デフォルトの名無しさん2009/09/13(日) 00:27:33
ttp://slashdot.jp/askslashdot/comments.pl?sid=438876&cid=1513615
もうちょっと一次情報に近い情報
0939デフォルトの名無しさん2009/09/13(日) 00:29:14
Lisp の壮大な研究史を眺めるといつも自分が書いているコードの卑小さが悲しくなる
いったい僕に Lisp みたいな大それた言語が必要なんだろうか
0940デフォルトの名無しさん2009/09/13(日) 10:08:03
コンピューター全体の研究史はそれどころじゃないぜ？
工学はアホの子にも科学の恩恵をもたらすためのものだ。
遠慮なく使ってやれ。
0941デフォルトの名無しさん2009/09/13(日) 17:12:02
「数学の限界」のチャイティンの作ったLispには
tryという関数があり
(try time-limit lisp-expression)
実行時間が限られたevalだそうだ。（時間がくれば計算は停止する）
普通のLispでtryを書けるだろうか？
Ctrl+Cで強制終了するのは無しってことで。
0942デフォルトの名無しさん2009/09/13(日) 17:16:48
SIGALRMか何かを使えるようになってれば作れると思うけど
0943デフォルトの名無しさん2009/09/13(日) 17:29:33
理論上、という意味であれば、
とりあえず巨大なevalをLispで実装してそののちに
コアオペレータを１つ実行するごとにカウンタを増やす（or可能なら
時間測定をする）ということで可能かな？

教えてエロイ人
0944デフォルトの名無しさん2009/09/13(日) 18:02:08
>>943
そうだよね。
同じように考えたのだけど、Lispの達人ともなると
違う方法でできるのかも、と考えたもので。
0945デフォルトの名無しさん2009/09/13(日) 18:09:15
I/Oなんかでいやおうなくブロックされる呼び出しもあるわけで、
典型的なLisp族の枠内では無理でしょ
0946デフォルトの名無しさん2009/09/13(日) 19:35:23
参考まで。
http://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:56
このスレで無知な工作員の匂いがするな。
0948デフォルトの名無しさん2009/09/13(日) 21:01:23
ルイズ！ルイズ！ルイズ！ルイズぅぅうううわぁああああああああああああああああああああああん！！！
あぁああああ…ああ…あっあっー！あぁああああああ！！！ルイズルイズルイズぅううぁわぁああああ！！！
あぁクンカクンカ！クンカクンカ！スーハースーハー！スーハースーハー！いい匂いだなぁ…くんくん
んはぁっ！ルイズ・フランソワーズたんの桃色ブロンドの髪をクンカクンカしたいお！クンカクンカ！あぁあ！！
間違えた！モフモフしたいお！モフモフ！モフモフ！髪髪モフモフ！カリカリモフモフ…きゅんきゅんきゅい！！
小説12巻のルイズたんかわいかったよぅ！！あぁぁああ…あああ…あっあぁああああ！！ふぁぁあああんんっ！！
アニメ2期放送されて良かったねルイズたん！あぁあああああ！かわいい！ルイズたん！かわいい！あっああぁああ！
コミック2巻も発売されて嬉し…いやぁああああああ！！！にゃああああああああん！！ぎゃああああああああ！！
ぐあああああああああああ！！！コミックなんて現実じゃない！！！！あ…小説もアニメもよく考えたら…
ル イ ズ ち ゃ ん は 現実 じ ゃ な い？にゃあああああああああああああん！！うぁああああああああああ！！
そんなぁああああああ！！いやぁぁぁあああああああああ！！はぁああああああん！！ハルケギニアぁああああ！！
この！ちきしょー！やめてやる！！現実なんかやめ…て…え！？見…てる？表紙絵のルイズちゃんが僕を見てる？
表紙絵のルイズちゃんが僕を見てるぞ！ルイズちゃんが僕を見てるぞ！挿絵のルイズちゃんが僕を見てるぞ！！
アニメのルイズちゃんが僕に話しかけてるぞ！！！よかった…世の中まだまだ捨てたモンじゃないんだねっ！
いやっほぉおおおおおおお！！！僕にはルイズちゃんがいる！！やったよケティ！！ひとりでできるもん！！！
あ、コミックのルイズちゃああああああああああああああん！！いやぁあああああああああああああああ！！！！
あっあんああっああんあアン様ぁあ！！シ、シエスター！！アンリエッタぁああああああ！！！タバサｧぁあああ！！
ううっうぅうう！！俺の想いよルイズへ届け！！ハルケギニアのルイズへ届け！

>>947
0949デフォルトの名無しさん2009/09/13(日) 21:29:58
煽りのつもりなんだろうけどこういう変態的なテキストを手元に置いてあると言う事が気持ち悪くならんのかと思う
0950デフォルトの名無しさん2009/09/13(日) 21:30:50
何が面白いのか、どういう煽りなのかさっぱりわからんｗ
0951デフォルトの名無しさん2009/09/13(日) 21:52:48
せめてLisp向けに改変するべきだ！ｗ
0952デフォルトの名無しさん2009/09/13(日) 22:24:21
まるで新手の難読系言語の如し
0953デフォルトの名無しさん2009/09/13(日) 22:27:09
>>941
枕元にちょうどその本があったから読み返してみようかと思ったけど
ググったらそもそも 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
Lisp少佐コピペ 並に改変してほしいな
ルイズは Guy L. Steele Jr. にでもすべきか
Lewis だし
レス数が950を超えています。1000を超えると書き込みができなくなります。