- 1 名前：デフォルトの名無しさん mailto:sage [05/02/02 21:02:18 ]
- 「計算機プログラムの構造と解釈」に関する議論とQ&Aの為のスレです。
SICP(英語)
mitpress.mit.edu/sicp/full-text/book/book.html
「計算機プログラムの構造と解釈」の原書です。
全てオンラインで読めます。
計算機プログラムの構造と解釈 第二版 (snip) に関連するホームページ
www.ipl.t.u-tokyo.ac.jp/sicp/
書籍情報(Amazon)
www.amazon.co.jp/exec/obidos/ASIN/489471163X/250-3648248-8159430
Lisp一般に関する話題は
CommonLisp Scheme Part12
pc5.2ch.net/test/read.cgi/tech/1100229366/l50
- 152 名前：デフォルトの名無しさん [2005/09/16(金) 23:49:31 ]
- はじめまして、私は大学３回生です。
情報系の学科ですが、ほとんど需要の高いJAVA系やC系を勉強しています。
授業がこれらの言語をしているので。。
で、独学でMatlabだったりPrologを勉強した時に
SICPに出会って今日購入しました。
みなさんはSchemeをかなりやっているように見えるのですが、
Schemeだけでグラフィック関係は可能なのでしょうか？
- 153 名前：デフォルトの名無しさん mailto:sage [2005/09/16(金) 23:53:34 ]
- >>152
結論から言えば可能。
例えばGaucheはgtkやOpenGLを呼ぶ機能が標準だったかオプションだったか
で備わってたと思う。
- 154 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 00:05:48 ]
- >>152
留学生？
- 155 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 03:06:09 ]
- >>152
図形言語機能付きの tustk の使い方
winnie.kuis.kyoto-u.ac.jp/~okuno/Lecture/04/IntroAlgDS/tustk-05.html
アルゴリズムとデータ構造入門
winnie.kuis.kyoto-u.ac.jp/~okuno/Lecture/04/IntroAlgDS/
- 156 名前：デフォルトの名無しさん [2005/09/17(土) 17:04:45 ]
- >>152
留学生ではないです。現役で普通の日本にある大学に通っています。
ごく普通の大学生です。大学に入るまではパソコン自体を触ったことが
なかったので、今は勉強中です。基礎中の基礎ですが。。。
んで、色んな言語があるのを知って触れている感じです。
ですが、PrologやJavaは結構知っている方です。たぶんですが。
MatlabとかPrologって変ですか？授業でたまたま触れたので勉強しました。
>>152さんと155さん
サンキューです、さっそく調べてみます。
今はMzSchemeやDrSchemeを使っているのですが、
Schemeを独学で勉強するのに処理系で左右されるモノなのでしょうか？
たくさんの処理系があり、適当にチョイスしてみたのです。
色んなサイトでGaucheを使っている方々が大勢いらっしゃいますが
そっちの方が有用なのですか？
初心者ながら申し訳ないですが、わかる人お願いします。
- 157 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 17:30:05 ]
- Gaucheは開発者が日本人だから、日本語処理が得意。
どっちかというと怪しい処理系が多いんだけれども。
- 158 名前：デフォルトの名無しさん mailto:sage [2005/09/17(土) 18:15:26 ]
- 日本語処理がど〜ねんこ〜ねんよりも、言語としてあるべき姿にこだわり過ぎて
ある意味引きこもりの自閉症気味な素のSchemeを、適度に妥協することで現実的な
問題を解決するための快適なプラットフォームに仕上げているところが利点だと思う。
Gaucheの話ね。
- 159 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 07:52:29 ]
- 本文中のコードをわざわざ手で入力しなくてもいいように
どっかに転がってたりしませんか?
- 160 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 09:08:19 ]
- >>159
ttp://mitpress.mit.edu/sicp/code/index.html
- 161 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 09:27:07 ]
- ありがとうございます。
ちゃんとあるんですね。
いつもブックマークした目次ページから見始めていたので思い至りませんでした。
- 162 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 10:47:05 ]
- 自分で入力して、入力ミスを悩みながら直すのも、力つくよ。
- 163 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 12:22:12 ]
- むしろノートに書き写してる
- 164 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 12:52:38 ]
- 俺はまず最初に暗記だな。
- 165 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 13:56:07 ]
- >>162
キーボードだとイマイチ効力が低い気もするけど、写経って大事な事なんだよね。
- 166 名前：デフォルトの名無しさん mailto:sage [2005/09/18(日) 14:03:18 ]
- ダウンロードで実行だと素通りになる可能性あるからね。
- 167 名前：デフォルトの名無しさん [2005/09/19(月) 18:59:14 ]
- >>152
私も現在、Schemeの勉強中でSICPも読んでいます。
私はグラフィック系というか、絵を簡易的なアニメーションさせたいなぁ
って思ってます。絵を回転させたりーてな感じかな？
Schemeって様々な機能を持っていますが、どこまでが限界なんですか？？？
わかる人います？？
- 168 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 19:51:54 ]
- チューリングマシンの停止問題
グラフィックがどうとかはSICPに関係ないのでLisp/Schemeスレでどうぞ。
- 169 名前：デフォルトの名無しさん mailto:sage [2005/09/19(月) 20:33:06 ]
- ここかな。
CommonLisp Scheme Part13
pc8.2ch.net/test/read.cgi/tech/1115901841/
- 170 名前：デフォルトの名無しさん mailto:sage [2005/09/23(金) 14:22:12 ]
- Schemeの実装のソースを読んでみたいんだけど、
何か読みやすいものはありません？
言語はC,C++,java辺りでお願いします。
一応、単純なLispくらいは読んだことがあるし、実装したこともあります。
- 171 名前：デフォルトの名無しさん mailto:sage [2005/09/23(金) 14:25:26 ]
- >>170
SCMあたりがシンプルで良いかも。
- 172 名前：デフォルトの名無しさん mailto:sage [2005/09/23(金) 14:30:00 ]
- 実装したこともあるなら何が知りたいか書かないと。
- 173 名前：170 mailto:sage [2005/09/23(金) 14:42:05 ]
- 主に知りたいのは
継続の処理の仕方とマクロ周りです。
- 174 名前：デフォルトの名無しさん mailto:sage [2005/09/28(水) 12:57:51 ]
- >>173
継続はこれとかどうでしょうか？
ttp://www.jah.ne.jp/~naoyuki/Writings/VScheme3.html
- 175 名前：デフォルトの名無しさん mailto:sage [2005/09/29(木) 00:32:19 ]
- >>174
ここも良いかも
www.shiro.dreamhost.com/scheme/stack-j.html
- 176 名前：デフォルトの名無しさん [2005/10/01(土) 21:55:10 ]
- 僕には無理です
誰か買いません？
「EXPLORING COMPUTER WCIENCE WITH SCHEME」
ユーズドにしてはかなり綺麗な方だと思う￥5,000でお願い
www.amazon.co.jp/exec/obidos/ASIN/0387948953/qid%3D1127452213/250-5942737-7464260
- 177 名前：デフォルトの名無しさん mailto:sage [2005/10/01(土) 23:54:45 ]
- うざいなコイツ
- 178 名前：デフォルトの名無しさん mailto:sage [2005/10/02(日) 15:00:57 ]
- 1000円なら考える。
- 179 名前：デフォルトの名無しさん mailto:sage [2005/10/25(火) 22:24:04 ]
- ex3.42のコードって何か問題ある？
- 180 名前：デフォルトの名無しさん mailto:sage [2005/10/26(水) 00:09:45 ]
- どんなんだっけ。
- 181 名前：179 mailto:sage [2005/10/26(水) 23:18:55 ]
- ttp://mitpress.mit.edu/sicp/full-text/book/book-Z-H-23.html#%_thm_3.42
withdrawやdepositが同時に実行されないようにするための
function->serialized function の変換を呼出しのたびに行わずに
最初にletしておいたものを使いまわしても問題ないか？
- 182 名前：デフォルトの名無しさん [2005/11/26(土) 08:39:23 ]
- はじめまして、コンピュータサイエンスの基礎をやりなおし（少しおおげさですが）しようとして、
ＳＩＣＰの原著を買いました。今は、「ヘネパタ」の原著を読んでいますが、終わったらＳＩＣＰに
取り組もうと思います。
学生時代、ＳｃｈｅｍｅとＴｉｎｙＣＬＯＳで研究して修士論文を書きました。最近、プログラミング
言語のアイデアとして試してみたいことがあって、超サブセットなＳｃｈｅｍｅをＲ５ＲＳを見て
作ろうとしたのですが、Ｃ言語、Ｃ＋＋そのものやＳｃｈｅｍｅの背景にある考え方が欠落して
いることに気づいて愕然としたため、ＳＩＣＰに取り組むことにしました。
よろしくお願いします。
- 183 名前：デフォルトの名無しさん mailto:sage [2005/11/26(土) 09:11:41 ]
- よろしくお願いされてもこまるが、まあ、よろしく。
漏れも今Scheme処理系作ってる。syntax-rulesが結構めんどくさい。
- 184 名前：デフォルトの名無しさん mailto:sage [2005/11/26(土) 10:57:40 ]
- >>183
syntax-rulesの実装って時間の無駄って感じがしない？
define-macroはどうせ数行程度だし。
自分も処理系いくつか作ったけどHygienic Macro周りはいつも避けてる。
デバッグが楽になるわけでもなし。
- 185 名前：デフォルトの名無しさん mailto:sage [2005/11/29(火) 08:55:27 ]
- これ、読むと少しはモチベイション上がるんじゃねえ?
Syntactic Abstraction in Scheme
www.cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf
まあ、俺もこの形がベストなのかどうか良くわかんないんだが…
もっとすっきりしたプリミティブに分解できないものか。
- 186 名前：愛也 [2005/11/29(火) 15:36:40 ]
- こんにちは。
- 187 名前：愛也 [2005/11/29(火) 15:45:56 ]
- 大学で電気・電子工学を学んでいる者ですが、どうしても分からない事がありましたので書き込みをさせていただきます。
(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけの信号が発行できるかはアドレスの本数による。
アドレスの本数が８本のときは( １ )個、１２本の時は( ２ )個のアドレスを発行する事ができる。
(2)
容量３２ＫＢのメモリがある、このメモリバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低( ３ )本のアドレスが必要である。
同時に２５６ＭＢの場合は( ４ )本必要である。
上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？
何卒よろしくお願い致します。
- 188 名前：愛也 [2005/11/29(火) 15:50:44 ]
- 訂正ですスミマセン＞＜
(1)
特定のデータを指定するにはアドレス信号を用いる。どれだけのアドレス信号が発行できるかはアドレスバスの本数による。
アドレスバスの本数が８本のときは( １ )個、１２本の時は( ２ )個のアドレスを発行する事ができる。
(2)
容量３２ＫＢのメモリがある、このメモリにバイト単位でアドレスをつけた場合（アドレス幅は８ビット）、全アドレスを指定するには、最低( ３ )本のアドレスバスが必要である。
同時に２５６ＭＢの場合は( ４ )本必要である。
上の問題をどなたかお時間がある方がいらっしゃれば教えていただけないでしょうかぁ？？
何卒よろしくお願い致します。
- 189 名前：デフォルトの名無しさん mailto:sage [2005/11/29(火) 16:34:23 ]
- ◥◤◣◢▎▍▌▋█▅▄▃▂▀
- 190 名前：デフォルトの名無しさん mailto:sage [2005/11/29(火) 20:23:50 ]
- >>188
いくらなんでもそれがわからないのはまずいだろ。
小学生時分でもわかるぞそれくらい。
で、大学生のくせにこんなこと2chで訊く以外に調べ方を知らないというのが
また泣ける。
- 191 名前：デフォルトの名無しさん mailto:sage [2005/11/29(火) 21:38:28 ]
- せめて適切な板・スレを選択する程度の頭脳でもあればよかったのにね。
- 192 名前：183 mailto:sage [2005/11/30(水) 05:49:48 ]
- >>185
うう、なんでこの論文に気づかなかったんだ。
gaucheのソースを参考にしつつ自力で実装したよ。
- 193 名前：185 mailto:sage [2005/11/30(水) 08:59:31 ]
- >>192
RnRSの参考文献に挙がってるぞ。
- 194 名前：デフォルトの名無しさん [2005/12/06(火) 03:32:08 ]
- 質問です。
問題 3.17（152ページ）
リストを引数に取り、そのリストに含まれるペアの個数を数える手続き
count-pairs を定義せよ。 但し、教科書の問題3.16で定義された手続き
が正しく動かないことを考慮し、正しい手続きを考えること。
問題 3.22（156ページ）
キューを一対のポインタで表現する代わりに， 局所状態を持つ
手続きとして作ることが出来る。 局所状態は通常のリストの
最初と最後へのポインタからなる。 従って make-queue は次の
形である。
(define (make-queue)
(let ((front-ptr ... )
(rear-ptr ... ))
<内部手続き>
(define (dispatch m) ... )
dispatch))
make-queue の定義を完成させよ。
よろしくお願いします。
- 195 名前：194 mailto:sage [2005/12/06(火) 04:45:21 ]
- 自己解決しました。
- 196 名前：デフォルトの名無しさん mailto:sage [2005/12/07(水) 21:41:10 ]
- ｱｯｿ
- 197 名前：デフォルトの名無しさん [2005/12/13(火) 09:55:20 ]
- 質問です。
二次元の局所表
(define (make-table) (let ((local-table (list '*table*)))
(define (lookup key-1 key-2) (let ((subtable (assoc key-1 (cdr local-table))))
(if subtable (let ((record (assoc key-2 (cdr subtable))))
(if record (cdr record) #f) #f)))
(define (insert! key-1 key-2 value)
(let ((subtable (assoc key-1 (cdr local-table))))
(if subtable (let ((record (assoc key-2 (cdr subtable))))
(if record (set-cdr! record value)
(set-cdr! subtable
(cons (cons key-2 value) (cdr subtable)))))
(set-cdr! local-table (cons (list key-1 (cons key-2 value))
(cdr local-table))))) 'ok)
(define (dispatch m) (cond ((eq? m 'lookup-proc) lookup)
((eq? m 'insert-proc!) insert!)
(else (error "Unknown operation -- TABLE" m))))
dispatch))
を三次元に拡張せよ。
お願いします。
- 198 名前：デフォルトの名無しさん mailto:sage [2005/12/13(火) 11:32:00 ]
- それ質問と言わない。
- 199 名前：デフォルトの名無しさん mailto:sage [2005/12/13(火) 21:40:08 ]
- 198に同意
- 200 名前：デフォルトの名無しさん mailto:sage [2005/12/13(火) 21:54:13 ]
- でも、一応「質問です」って書いあるんだから万一質問であった場合のことも
考えておくというのが危機管理というものではないのか？
- 201 名前：デフォルトの名無しさん mailto:sage [2005/12/13(火) 23:31:27 ]
- titech生だろ。
- 202 名前：デフォルトの名無しさん mailto:sage [2005/12/14(水) 18:20:40 ]
- 疑問文にし忘れただけだろ。
質問です。 →質問ですか？ 違います。
拡張せよ。 →拡張するか？ しません。
お願いします。→お願いしますか？ 知りません。
終了
- 203 名前：デフォルトの名無しさん [2006/01/31(火) 00:26:31 ]
- 死ぬぜ
- 204 名前：デフォルトの名無しさん mailto:sage [2006/03/14(火) 21:46:01 ]
- 保守
- 205 名前：デフォルトの名無しさん mailto:sage [2006/03/14(火) 22:46:03 ]
- 2ヶ月かけて2.3.3集合の表現まで来たぜ、ふぅー。
- 206 名前：デフォルトの名無しさん [2006/03/30(木) 05:38:18 ]
- 全力で保守
- 207 名前：デフォルトの名無しさん mailto:sage [2006/04/15(土) 22:52:52 ]
- SICP再発見
d.hatena.ne.jp/higepon/19700103/1145105233
- 208 名前：デフォルトの名無しさん [2006/04/23(日) 14:06:25 ]
- 細長い楕円ってないですかね。２つの中心の距離を離しつつ、
幅の距離を短くすればある程度は細長くなるんですけど。
- 209 名前：デフォルトの名無しさん mailto:sage [2006/07/23(日) 07:40:03 ]
- ﾊﾟﾝヤの計算機作ってくれ
- 210 名前：デフォルトの名無しさん [2006/08/12(土) 16:20:55 ]
- age
- 211 名前：デフォルトの名無しさん [2006/10/13(金) 19:39:09 ]
- 保守
- 212 名前：デフォルトの名無しさん mailto:sage [2006/10/28(土) 20:33:55 ]
- 都内の本屋で立ち読みできると来ない？
新宿東口紀伊国屋にはなかったんだ。
- 213 名前：デフォルトの名無しさん mailto:sage [2006/10/28(土) 21:48:09 ]
- >>212
本当に無かったのか？検索したら在庫出てきたぞ？
棚の場所が変なところだから見過ごしやすいが。。。
bookweb.kinokuniya.co.jp/guest/cgi-bin/wshosea.cgi?W-NIPS=9973257464
ネットで在庫検索できる書店では、紀伊国屋の新宿2店舗、三省堂神田本店、
ジュンク堂池袋本店、八重洲ブックセンターにはある模様。
- 214 名前：デフォルトの名無しさん mailto:sage [2006/10/29(日) 09:11:24 ]
- >>212
俺は南口ので買ったぞ
- 215 名前：デフォルトの名無しさん mailto:sage [2006/10/29(日) 10:59:25 ]
- 立ち読みもなにも、webに置いてあるじゃんか。
- 216 名前：デフォルトの名無しさん mailto:sage [2006/10/30(月) 12:02:30 ]
- >>215
翻訳
- 217 名前：デフォルトの名無しさん mailto:sage [2006/10/31(火) 01:14:45 ]
- あの英語が理解できない人には内容も理解できないから
英語で読んだ方がいい
- 218 名前：デフォルトの名無しさん mailto:sage [2006/10/31(火) 08:36:32 ]
- SICP って勝手に翻訳して公開したらまずいんだろうな。勿体無い…
- 219 名前：デフォルトの名無しさん mailto:sage [2006/11/01(水) 12:02:06 ]
- まあ勝手にはまずいよ。
mitpress.mit.edu/sicp/
にfull textがあるくらいだから、
お願いすれば、許可が出るかも知れない。
ただ、著者だけの問題じゃなくて、
翻訳を出している出版者との関係も問題になるから難しいとは思う。
- 220 名前：デフォルトの名無しさん mailto:sage [2006/11/01(水) 19:07:03 ]
- 和田英一訳は頭がおかしいので需要はあると思うんだがな。
- 221 名前：デフォルトの名無しさん mailto:sage [2006/11/01(水) 19:31:23 ]
- たぶん頭がおかしいのかもしらんけどｗ、日曜にamazonで中身も見ずに注文したよ
infoで読める原書も手に入れたんで、原書を参照しつつ読んでみようと思ってる
- 222 名前：デフォルトの名無しさん [2006/11/01(水) 23:34:13 ]
- pdfのはないの？
- 223 名前：デフォルトの名無しさん mailto:sage [2006/11/01(水) 23:52:50 ]
- 日本語に翻訳して国外のサーバにアップするのもダメなのかな。
出版社の契約は国単位であって、言語単位じゃない気がするけど。
- 224 名前：デフォルトの名無しさん mailto:sage [2006/11/01(水) 23:55:04 ]
- このページを訳すボタンが勝手に翻訳しました＞＜
- 225 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 00:09:24 ]
- 同じサイトにTexinfoがあったよ？
- 226 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 00:42:05 ]
- >>223
原著だってパブリックドメインではない
原著者が許可すれば何やってもＯＫ
原著者が許可しなければすべてＮＧ
- 227 名前：デフォルトの名無しさん [2006/11/02(木) 01:18:41 ]
- texinfoどこ？
- 228 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 01:39:19 ]
- >>226
うん、それは了解してる。ｽﾏｿ。
- 229 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 01:47:31 ]
- クワックのサイト。もしくは、googleで探せばすぐ見つかりまっせ！sicp info
- 230 名前：デフォルトの名無しさん [2006/11/02(木) 21:57:21 ]
- すみません、問題2.18の
「引数としてリストを取り、同じ要素の逆順のリストをかえす手続きreverseを定義せよ」
がわかりません。自分的に
(define (reverse lst)
(if (null? lst)
null
(cons (reverse (cdr lst)) (car lst))))
としたら普通にﾀﾞﾒでした。例えば、(1 2 3 4)が((((() . 4) . 3) . 2) . 1)となってしまうので。
おながいします。
- 231 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 22:44:58 ]
- (append (reverse (cdr lst)) (list (car lst)))
あるいは累積引数を使う。
- 232 名前：デフォルトの名無しさん mailto:sage [2006/11/02(木) 22:55:32 ]
- ﾎｫ━━━━(ﾟÅﾟ)(Åﾟ )(ﾟ )( )( ﾟ)( ﾟÅ)(ﾟÅﾟ)━━━━!!!!
ありがとうございます！
- 233 名前：デフォルトの名無しさん mailto:sage [2006/11/06(月) 03:49:09 ]
- 累積引数だとこうなるのか
(define (reverse lst rlst)
(if (null? lst)
rlst
(reverse (cdr lst) (cons (car lst) rlst))))
(reverse '(1 2 3 4) ()) => (4 3 2 1)
appendってなんかコストかかりそう
- 234 名前：デフォルトの名無しさん mailto:sage [2006/11/06(月) 07:51:45 ]
- 高階関数様の出番ですよ。
(define (reverse list) (fold cons '() list))
- 235 名前：デフォルトの名無しさん mailto:sage [2006/11/14(火) 00:38:31 ]
- >>226
中国語版の話はちょいワロタ
- 236 名前：デフォルトの名無しさん [2006/12/16(土) 20:31:31 ]
-
- 237 名前：デフォルトの名無しさん [2006/12/21(木) 18:56:01 ]
- 普段論文読みなれてれば和田先生の訳でも十分読めるんだが。
- 238 名前：デフォルトの名無しさん mailto:sage [2006/12/21(木) 19:18:13 ]
- 普段論文読みなれてれば英語で読むよw
- 239 名前：デフォルトの名無しさん mailto:sage [2007/01/04(木) 08:07:07 ]
- この読みにくい翻訳を解読しているサイトないんだっけ。
- 240 名前：デフォルトの名無しさん mailto:sage [2007/01/04(木) 10:05:43 ]
- ここ･･･ってわけでもないか
- 241 名前：デフォルトの名無しさん [2007/01/14(日) 02:06:30 ]
- 保守．
いろんな解答集見たけど，Ex 2.73でpackageを微分でまとめている人多いけど，それだったらデータ主導型にしている意味ないじゃん．
全然加法的じゃないじゃん．
(define (install-sum-package)
・・・（和の微分ぷろぐらむ）
(put 'deriv '+ deriv-sum)
'done)
のようにoperatorでくくらないと．
- 242 名前：デフォルトの名無しさん [2007/01/30(火) 15:10:56 ]
- どなたか途中まででいいんでよろしくお願いします。
次に示すScheme プログラムについて以下の問に答えよ。
(define (subtree? t1 t2)
(cond ((atom? t1) (eq? t1 t2))
(#t (cond ((atom? t2) #f)
(#t (or (and (subtree? (car t1) (car t2))
(subtree? (cdr t1) (cdr t2)))
(or (subtree? t1 (car t2))
(subtree? t1 (cdr t2)))))))))
関数subtree?は二つのS 式(S 表現) t1, t2 を入力とし、真偽値(#t あるいは
#f) を返す関数である。
関数subtree?が真(#t) を返すための必要十分条件は何であるか答えよ。また、
関数subtree?が実際そのような関数であることをS 式に関する帰納法を用い
た議論によって示せ。
- 243 名前：デフォルトの名無しさん mailto:sage [2007/01/30(火) 15:31:19 ]
- マルチ乙
- 244 名前：デフォルトの名無しさん [2007/02/05(月) 06:14:07 ]
- >>231,233
まあ実際appendはコストかかるよねー
オーダーで言うと，231がΘ(n^2)で233がΘ(n)くらいかな？
- 245 名前：デフォルトの名無しさん [2007/02/12(月) 17:41:36 ]
- 微妙な点、って言葉が多用されてるのがすげー気になる
- 246 名前：デフォルトの名無しさん mailto:sage [2007/02/12(月) 17:52:05 ]
- >>244
珍しいΘ（シータ）の使い方だな
- 247 名前：デフォルトの名無しさん mailto:sage [2007/02/13(火) 05:18:15 ]
- lower boundについても言及したかったんじゃね？
通常はworst caseのupper boundで事足りると思うけど。
- 248 名前：デフォルトの名無しさん mailto:sage [2007/03/14(水) 19:37:13 ]
- この本難しいの？一応理系大卒業してるんだけど、独りで読めるかな…
- 249 名前：デフォルトの名無しさん mailto:sage [2007/03/14(水) 20:20:11 ]
- 教養でやるような内容なので、難しいことは何もありません。
- 250 名前：デフォルトの名無しさん mailto:sage [2007/03/14(水) 20:24:29 ]
- 学部一年が授業で読むような簡単な本だよ。
- 251 名前：デフォルトの名無しさん mailto:sage [2007/03/14(水) 20:40:26 ]
- >>249-250
どうもです。そうなんですか。
読書会とかあるみたいだから、一人じゃ難しいのかなぁと。
- 252 名前：デフォルトの名無しさん mailto:sage [2007/03/15(木) 05:37:27 ]
- 読書会ってのは難度よりも根気の問題じゃないかなあ。
|
 |
