- 1 名前：デフォルトの名無しさん mailto:sage [2008/07/13(日) 00:09:48 ]
- ※ ここはCommon Lisp、SchemeをはじめとするLisp族全般のスレです ※
□過去スレ□
Part22: ttp://pc11.2ch.net/test/read.cgi/tech/1211381920/
Part21: ttp://pc11.2ch.net/test/read.html/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://pc10.2ch.net/test/read.cgi/tech/1151025773/
Part14: ttp://pc8.2ch.net/test/read.cgi/tech/1132275726/
Part13: ttp://pc8.2ch.net/test/read.cgi/tech/1115901841/
Part12: ttp://pc8.2ch.net/test/read.cgi/tech/1100229366/
Part11: ttp://pc5.2ch.net/test/read.cgi/tech/1091456033/
Part10: ttp://pc5.2ch.net/test/read.cgi/tech/1075630259/
Part09: ttp://pc2.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
- 82 名前：デフォルトの名無しさん mailto:sage [2008/07/28(月) 23:45:00 ]
- 分子構造をリストで表せないでしょうか？
例えば、C2H6Oだとエタノール、ジメチルエーテル。
炭素原子から手が４つ出ているのをリストで表現するには
どうしたらいいのかと．．．
- 83 名前：デフォルトの名無しさん mailto:sage [2008/07/28(月) 23:54:30 ]
- >>82
CMLで書いてssax:xml->sxmlするんだ。
- 84 名前：デフォルトの名無しさん mailto:sage [2008/07/29(火) 00:30:12 ]
- >>82
隣接リストでいいんじゃね？
>>83
CMLって使ってる人見たことないんだけど
- 85 名前：デフォルトの名無しさん mailto:sage [2008/07/29(火) 04:38:19 ]
- >>84
ありがとうございました。隣接リストで考えてみます。
あわせて行列による分子の表現、行列演算による化学反応の表現が
できたら面白いと思いました。やってみます。
- 86 名前：デフォルトの名無しさん mailto:sage [2008/07/29(火) 05:10:52 ]
- >>82
つXymTeX
oku.edu.mie-u.ac.jp/~okumura/texwiki/?XyMTeX
www.klavis.info/xym.html
homepage3.nifty.com/xymtex/fujitas/rd/chosho.html
- 87 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 06:00:41 ]
- Gaucheでzlibを使うにはどうしたらいいんでしょう？
practical-scheme.net/wiliki/wiliki2.cgi?Gauche%3AZlib
にある
Gauche-zlib-0.1.2.tgz
はリンク切れで入手できません
うーん
- 88 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 06:32:07 ]
- （^A^）ｶﾞｳﾁｮ
- 89 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 06:42:59 ]
- srfiにzipうんたらって関数なかったっけ？
それで
- 90 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 07:39:52 ]
- >>85
ずっと昔は化合物を扱うLispで書かれたシステムもあったらしい。
今だとPythonの方が主流？かな。
でもがんばれ。
>>86
それLaTeXだし方向性が違うと思うぞ
- 91 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 11:49:34 ]
- >>90
TeXだからASCII文字シリアライズwith構造の参考になるでしょ。
しかも変換できるようにしておけば、
XymTeXで分子構造図画像も作れるし。
- 92 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 15:34:35 ]
- schemeについての質問です。
二分木を作成、描写せよという問題で作成まではできたのですが、描写とはどうすればいいのでしょう？
初心者な質問ですいません。
- 93 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 18:36:34 ]
- 設問した奴に聞けよｗ
- 94 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 22:05:44 ]
- >>87
あぷろだにUpっといてやったぞ。
www.toel.sytes.net/~toel/cgi-bin/upload/stored/up3794.xxx
- 95 名前：デフォルトの名無しさん mailto:sage [2008/07/31(木) 22:12:03 ]
- >>87
Windows 版でよければ Gauchebox に入ってるぞ
- 96 名前：デフォルトの名無しさん mailto:sage [2008/08/02(土) 03:52:27 ]
- >>94
>>95
ありがとうございます
win, linux両方で使用するのでどちらも利用します。
- 97 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 00:48:03 ]
- wiki.fdiary.net/lisp/ ですが、一応情報を集めるサイトにしてあります。
どんどんページを追加してやってください。
comp.lang.lisp,comp.lang.schemeまで含めようとしたけど、matzlispのhikiの
プラグインがatomに対応していないためにやめました。これらはmiscに
入れておきました。
- 98 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 12:15:51 ]
- gauche-firebird がリンク切れかサイト死亡で見れないんですが、
firebird 用のDBDどこかにありませんか？
- 99 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 15:02:46 ]
- 40過ぎのわしでも子供の頃（高校生くらい）に Lisp に憧れたんだから、
今の子ならそんなの普通だと思ってたが・・・
- 100 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 15:07:34 ]
- おっちゃん誤爆してるで
- 101 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 15:39:56 ]
- まあ少年がLisp触ってるぐらいでオヤジども喜びすぎと
雑誌の記事がLispかBasicだけという時代に若者だった俺は思う
- 102 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 18:43:30 ]
- ９０過ぎのワシも高校のころにLispに憧れたぞ。
- 103 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 19:39:04 ]
- >>102
ジジイ、いくつのとき高校行ったんだよ？
- 104 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 21:04:39 ]
- >>102
McCarthyより年上じゃねえかw
- 105 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 22:54:11 ]
- >>103
ここまでの年齢だと逆に、
中学までしか出てなくて、定年してから学業やりたくて高校行くみたいなエピソードが
想像しやすいかもしれんｗ
- 106 名前：デフォルトの名無しさん mailto:sage [2008/08/03(日) 23:07:17 ]
- ラムダ計算論ができたころに高校生だったんですね、わかります。
- 107 名前：デフォルトの名無しさん mailto:sage [2008/08/04(月) 07:18:31 ]
- 日本では戦前にLispが発見されたという噂を聞いて駆けつけました。
- 108 名前：デフォルトの名無しさん mailto:sage [2008/08/04(月) 19:08:03 ]
- lispの起源は韓国ニダ
- 109 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 02:13:02 ]
- 日本で最初のLisperって誰？
HLISPの後藤英一先生？
- 110 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 02:25:12 ]
- そのあたりだろうな。あと故・中西正和先生とか。
- 111 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 09:39:55 ]
- 竹内先生は意外と遅い組？
- 112 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 11:59:42 ]
- 和田先生も忘れちゃいけないよね。
- 113 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 12:45:20 ]
- あと、その世代だと井田先生かな。
- 114 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 13:33:13 ]
- 思えばその世代のLisperはどれも役立たずだったな
- 115 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 15:47:43 ]
- つまんない煽り乙
- 116 名前：デフォルトの名無しさん mailto:sage [2008/08/05(火) 16:05:25 ]
- 今の世代のLisperはどれも>>114よりは役に立ってるかな。
- 117 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 05:47:20 ]
- 注目ワード“高階プログラミング”って何だ？
ttp://ascii.jp/elem/000/000/157/157495/
- 118 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 06:26:53 ]
- 萩谷先生の関数プログラミングっていう本は
高卒レベル数学力(偏差値60切る位)でプログラミング初心者では読めませんか？
Yコンビネータなどの高度な話題にもふれてますか？
- 119 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 07:45:12 ]
- >>118
良い本です。だいじょうぶですよ。
途中、フィボナッチ数列の行列表現、固有値
とかでてきますけど本筋とは関係ないので
とりあえず無視してＯＫです。
Ｙコンビネーターはとりあげてないですね。
序文で萩谷先生は高校生に読んでもらいたい
と書いてます。
- 120 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 10:07:30 ]
- Yコンビネーターについて触れてる、高校生にも読める本って
そういえば無いような気がする。あったっけ？
- 121 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 11:55:39 ]
- プログラミング初心者が読んで何かを作れるようになりたいんだったら向いてないかも。
- 122 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 11:56:13 ]
- >>120
Little Schemer
- 123 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 12:00:27 ]
- あれYコンビネータまで行くのか
- 124 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 13:26:10 ]
- Yコンビネータって本を読むほどの物でもない気がするけど
λ記法でわかりにくければS式で書き下せばいい
- 125 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 14:15:05 ]
- なんでYコンビネータだけが特別扱いされてるんだろ？
- 126 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 14:17:50 ]
- 再帰系のコンビネータの中でってこと?
そりゃ一番シンプルだし。
- 127 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 14:36:46 ]
- >>126
つか、やたら Y が目につくようになったのはいつ頃から？
- 128 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 14:39:56 ]
- 今朝くらいから
- 129 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 17:45:17 ]
- >>128
それはテトラポッドやろ。
- 130 名前：デフォルトの名無しさん mailto:sage [2008/08/06(水) 18:32:43 ]
- >>119
ありがとうございます。
＞ 途中、フィボナッチ数列の行列表現、固有値
程度なら理解できると思います。
- 131 名前：lischemep ◆/uyHCgG7qA mailto:sage [2008/08/10(日) 23:28:50 ]
- 都内で初心者向け勉強会を模索しようとしております。
以下想定です。
こうしたらいいとかありましたらどんどん提示して頂けたら幸いです。
・大学生のLisper/Schemerを先生として呼ぶ
・上記のため会費をとります。
・場所は以下を想定。（1h：1400〜2300円くらい＋各自１ドリンク）
ttp://www.ginza-renoir.co.jp/miyama/
・スキルがバラバラになるため基本的に自習を想定
（同スキルの人と課題本を決めてチーム学習する等は自由です）
・参加条件としてキーボードがサクサク打てる程度。処理系を入れるノートパソコン等。
・開発環境構築から指導の予定
参加者希望予定者がいらっしゃいましたら、
lischemep at gmail.com
まで下記を記入して送ってください。
使用希望の
・希望日（参加頻度：必ず参加、月１希望、仕事のため不定等）
・希望参加費
・ＯＳとバージョン
・エディタ
・処理系
（↑処理系は希望なければおまかせと書いてください）
また先生やってみたいという方は、下記を記入して送ってください。
・希望日（開催頻度も）
・希望報酬額（時給換算、月ＸＸ円等）
・対応できるＯＳ・処理系・エディタ
- 132 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 00:27:37 ]
- 先生のレベルを決めないで、
希望参加費を申告制にすると、
収集つかないんじゃないかな。
- 133 名前：lischemep ◆/uyHCgG7qA mailto:sage [2008/08/11(月) 00:47:39 ]
- >>132
なるほど。
勇み足過ぎたかもしれません。
まず、参加希望者から
・自分のレベル
・どんな課題がしたいか
を送ってもらうように訂正します。
lischemep at gmail.com
- 134 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 07:41:42 ]
- 最初の課題は開発環境構築じゃなくて処理系を選ぶこと。
- 135 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 08:09:45 ]
- >>131
お、面白そうだな。
確認だけど◆/uyHCgG7qAは先生じゃなくまとめ役ってこと？
「先生」の技量に全てが依存している気がする。
大学生でLisperを名乗れる奴ってどのくらいいるんだろう。
- 136 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 09:07:42 ]
- 131です
135さん
私は先生はとても無理です。
先生は学生でなくてもいいのですが
そうすると高額なセミナーになってしまう気がして。
社会人のSchemer/Lisperなら薄謝もらってもおそらく割に合わないでしょうし。
- 137 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 09:55:28 ]
- >>136
スキモノならボランティアでやってくれるんじゃないの？
もっと安くあげる方法はあると思う。
www.javaopen.org/jfriends/howto/
- 138 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 09:58:28 ]
- 自習じゃ駄目な理由は？
- 139 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 10:11:35 ]
- ここで聞けば良いのでは？
www.lingr.com/room/bpYrj7DtJnN
- 140 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 12:21:10 ]
- Lisp/Schemeは人気が低いわりに実装がやたら複雑だから人手が足りない。
移植したりライブラリを増やしたりできない。
勉強会やるとしたら言語仕様だけでなく実装についてやるべきだけど、
複雑な実装が乱立しているから難しい。
もちろん単純なScheme処理系もあるが、それは人気がなさすぎる。
たとえ言語が人気でも処理系が不人気なら意味がない。
複雑さの許容度は人気に比例するのだと思う。
複雑なものもいずれ必要にはなる。
でも今は必要ないんだよ。今一番必要なのは、人気と釣り合いのとれた単純な実装。
そのためならマクロを犠牲にしてもいい。
それに気づいた人はS式から離れていく。嫌いになった訳ではないがな。
- 141 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 13:11:44 ]
- >>140
で?っていう
- 142 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 16:49:10 ]
- >>140
自分の低能ぶりを直視できない人間だということを婉曲に表現した自己紹介ですね
- 143 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 18:28:33 ]
- >>140
言い訳をいろいろ考える才能はありそうですねｗ
- 144 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 21:36:40 ]
- 地元の大学でSchemeの授業があれば聴講したいの
だけど、残念ながら無し。
東京近辺に住んでいたら東工大の講義を聴講したい。
- 145 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 22:01:37 ]
- >>144
むかしなら、大学の授業の潜り込みは簡単だったんだけどね。
今は、わからない。
東工大もセキュリティは厳しくなってるからね。
- 146 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 22:53:18 ]
- >>140
釣られるけど、マクロの無いLispなんてLispじゃないだろ
そもそもCommonLispもSchemeもちゃんと仕様のある「まとも」な言語なんだけど。
- 147 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 22:58:56 ]
- Lisp 1.5 は Lisp じゃないなｗ
- 148 名前：デフォルトの名無しさん mailto:sage [2008/08/11(月) 23:46:28 ]
- 処理系のソースコードを気軽にいじれるならマクロなしでもいけるかも
Lisp1.5はそうだったかも
- 149 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 00:57:31 ]
- >>145
国立大は社会人受入れに寛容
なようなので正規に聴講生の
手続きをとって試験も受けて
単位もとりたいです。
でも、地方の大学でSchemeを
使った講義があるところは
限られてるみたいです。
- 150 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:02:10 ]
- マッカーシー博士の最初の論文
にあったLispで記述されたLisp
で仕組みがよくわかりましたよ。
故中西先生もこの論文だったか
ユーザーマニュアルだけを手がかりに
最初のLisp処理系を書いたと読んだけど。
- 151 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:05:10 ]
- マクロは無いくせにｗ、コンパイラは含んでいるというのは凄いと思う＞LISP 1.5
- 152 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:10:57 ]
- 他言語処理系に対するアドバンテージは
マクロだけだもんね
- 153 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:12:19 ]
- >>149
どうしてもね。その傾向はあるかもね。人工知能の分野もlispよりC++のほうが勢いがあったり
するらしいから、教える人が少なくなるんだろうね。筑波、東工ふくめて旧帝大あたりだったら
一つくらい授業がありそうだけど。それ以外の地方は確かに期待できないかもしれないね。
プログラムの筋はschemeをやる方が断然よくなるんだけどな。これは抽象化がうまくなるから
だろうと思う。高階関数を扱える言語をしっかりやってるかやってないかでセンスはずいぶん変
わるね。
- 154 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:12:58 ]
- >>152
んなこたあないｗ
- 155 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:33:56 ]
- Lispのアドヴァンテージはいくつか
考えられますが、一番はＳ式のもつ
プログラムとデータの同一性だと
思います。強力はマクロもその
特性のひとつでは？
- 156 名前：lischemep ◆/uyHCgG7qA mailto:sage [2008/08/12(火) 01:37:13 ]
- >>137
いいリンク紹介ありがとうございます。
やっぱり安く上げる方法考えた方がいいんですかね。
私自身はお金は無頓着なので。場所ももう少し探してみます。
課題本はあったほうがいいんでしょうか。
「この本やりたい」とかありましたら教えてください。
>>138
>>139
自習だとつまらないことでつまづいて長い時間考えることがあるからです。
ネット上で聞くということも出来ますが、
その場合状況説明のやりとりに時間がかかります。
私はもう結構な年なので、お金を払ってでも学習速度を上げたいと思ってます。
- 157 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:51:10 ]
- （意地悪い言い方で申し訳ないけど）自分の家庭教師が欲しい、ってことなのかな？
もしそうなら「自分と同じレベル募集」とか、はっきり言っちゃったほうが良いかも。ｗ
俺も先生は大学生とか限らないほうが良いと思う。
- 158 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 01:55:18 ]
- > その場合状況説明のやりとりに時間がかかります。
これを要領よくやる訓練も必要かと
- 159 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 02:12:45 ]
- >>151
マクロ機能は自分で好みのを書けってことだったんじゃないかな？
当時のマクロの実装は簡単だったしね。
- 160 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 02:42:42 ]
- >>149
私立だって簡単に聴講生になれるぞ。
金がかかるだけで。
- 161 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 02:47:46 ]
- >>159
最初の頃はFSUBR + EVALで一々手で書いた。
パターンが出来上がったのでdefmacroになった。
>>156
> 自習だとつまらないことでつまづいて長い時間考えることがあるからです。
本当はそれが大切なんだけどね。
より深く理解するし、それが出来る人が継続もできる。
壁に負ける人はいつも負け続ける。
- 162 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 02:56:09 ]
- それが大切だとしても若いうちだけだろ。
年取ってるなら金払ってでも学習速度を上げたいって言うのはわかる。
- 163 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 02:59:04 ]
- 生涯学習だな。カルチャー教室でやらないかな？ｗ
- 164 名前：lischemep ◆/uyHCgG7qA mailto:sage [2008/08/12(火) 06:13:10 ]
- >>157
家庭教師。つまるところそうなのかもしれません。
Lisp/Schemeにとっつきにくさがあると思ってて
同じ状況の人がいるだろうと思ってたのですがあまりいないみたいですし。。。
状況としてはThe Little Schemerの半ばで頓挫している状況です。
他にもプログラミングGaucheやANSI Common Lispなどをつまみ食いしてますが
途中で分からなくなってます。
色々当たっているうちに少しずつ分かったりしますが
時間がかかりすぎている気がしています。
このままだと数年かけて一冊片付くペースになってしまいそうです。
>>162
三十代になるとさすがに焦ります。
- 165 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 08:01:59 ]
- > 三十代になるとさすがに焦ります。
俺は164がなんでLisp/Schemeをやってみようと思ったのかが気になるな。
知的興味が理由なら年齢で焦ることはないだろうし。
近い将来に仕事で使う必要があるのなら焦る気持ちもわかる。
学習する動機によっておすすめの方法も違ってくると思うんだが。どう？
- 166 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 09:03:44 ]
- 書いてあるじゃん
挫折しそうだから
くじけそうだから
もう後がなさそうだから
- 167 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 09:45:28 ]
- 俺なんて、40近くになってScheme始めたぞ。
独学でSICPをしこしこ解いてるよ。
同時に数学の勉強も始めたんだが、こっちがきつい。
数学基礎論のやさしい教科書はないかな。
- 168 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 10:56:25 ]
- 目的がいまいちはっきりしない質問者はやがて身の上話を始める法則
>>167
> 同時に数学の勉強も始めたんだが、こっちがきつい。
> 数学基礎論のやさしい教科書はないかな。
数学基礎論の質問スレッド その4
science6.2ch.net/test/read.cgi/math/1207899938/
おおかた数理論理学か集合論の教科書を薦められると思うが
計算機科学との関連で何かもくろみがあるならこっちへ
science6.2ch.net/informatics/
- 169 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 12:54:29 ]
- 「数学」が何を指してるか知らんが、
基礎論は数学を勉強する支えにはならないぞ普通は。
集合論とか論理とかを学ぶなら基礎論には手を出していない
普通の教科書のほうが良い。
- 170 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 13:28:48 ]
- >>168
ありがとうございます。覗いてみます。
>>169
そうなんですか？
集合論とか論理学から、計算機科学方面へ進めていきたいと思っていたのですが。
私の「基礎論」という言葉の使い方がおかしいのでしょうか？
集合論や論理学そのものを学んだほうが良いということでしょうか？
- 171 名前：デフォルトの名無しさん [2008/08/12(火) 18:36:29 ]
- >>146
仕様があればまともな言語なのぉ〜？
- 172 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 18:40:24 ]
- 「まともな言語」の集合を定義してください
- 173 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 19:28:14 ]
- >>170
今、数学で「基礎論」といったら、逆数学とかあのへんのことを指すんじゃないかな。
少なくとも専門分野を「基礎論」と自己規定してる数学者は、だいたいそのあたりの
分野を研究してることが多い。(Harvey Friedman, Stephen Simpson, 田中一之氏, etc)
「基礎論」という分野が勃興してきた19世紀末と現在とでは、言葉のニュアンス
がかなり違ってきているので、注意が必要かと。
167氏はあるいはもっとルーズに、「基礎論」という言葉を「数理論理学」とほぼ同義で
使ってるのかもしれないが。
まあいずれにしろ、数理論理学は（少なくとも初歩の段階では）メインストリームの数学とは
直接関係しないことが多いね。幾何的モデル理論みたいに、数論への応用があったりする
分野もあることはあるけど、そういうのは非常に専門的な話題になってしまう。
（169氏が言ってる「数学を勉強する支えにはならない」というのはおそらくそういうニュアンスなのだろう。）
でも理論計算機科学に興味があるのなら、数理論理学は必須だから、（167氏言うところの）
「基礎論のやさしい教科書」を勉強するのは意味のあることだと思うよ。
とりあえずはこのあたりをご参考に。
ttp://www.kurims.kyoto-u.ac.jp/~hassei/reading_list.html#LOGIC
- 174 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 20:05:34 ]
- 計算機工学者のための計算機数学のとっかかりということなら、
島内さんの「数学の基礎」はどうかと思ったが、
www.amazon.co.jp/数学の基礎-島内-剛一/dp/4535601062
絶版で中古市場では高い！ヤフオクでも元より値が上がってる！
- 175 名前：デフォルトの名無しさん mailto:sage [2008/08/12(火) 20:22:59 ]
- 竹内外史とかのは基礎論だよな？
と板違いか。
- 176 名前：lischemep ◆/uyHCgG7qA mailto:sage [2008/08/13(水) 06:23:48 ]
- >>165
はじめのきっかけは、「普通のやつらの上を行け」を学生時代に読んでです。
知的興味もありますが、将来的には仕事で使いたいと思っています。
また、なるべくLisp/Schemeを広めていきたいと思っています。
それで初学者向けの勉強会が出来ないかと思いました。
目標としては、AllegroServeを使えるようになること、
On Lispを理解できるようになることです。
- 177 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 07:40:49 ]
- >>176
まだ、shemeやcommon lispに馴れていないならば、SICPよりもう少し簡単なもの
からお勧めするよ。
schemerなら、gauche本でもいいし、common lisperならAnsi Common Lispや岩波
の本でもいいし。
- 178 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 11:16:10 ]
- >>176
ポールグレアムって結局SchemeにもCLにも否定的じゃないか？
- 179 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 14:30:39 ]
- >>178
どちらかといえばSchemeにもCLにも肯定的だと思うよ。
（Lisp族以外の言語に比べれば）
- 180 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 16:20:52 ]
- PG
javaには否定的というのははっきりしてるし、C系に苛立ちを持ってるような記述も
みかけたことはあるかな。
- 181 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 16:46:20 ]
- CとPerlは人気の言語として色々条件を満たしているみたいな話があったような
- 182 名前：デフォルトの名無しさん mailto:sage [2008/08/13(水) 18:55:38 ]
- 40年も前から存在するのに
lispが全く存在感無い事について
想像力を働かせてみた方がいいと思うね
|
 |
