- 1 名前：潜伏していた1 mailto:sage [02/02/16 16:55]
- 何とか生き残れました。
前スレ
pc.2ch.net/test/read.cgi/tech/996131288/l50
関連 >>2 以降
- 339 名前：デフォルトの名無しさん mailto:sage [02/07/27 01:15]
- <!--
すぐに出せるようにと思ったんで、
今後の更新予定とかをコメントでつけてましたが、
それらは全部削除しました。
まあ確かにそんなものをつけるべきではないのかもしれませんね。
-->
コメント変わった？
ここ読んでる？
- 340 名前：デフォルトの名無しさん [02/07/27 01:35]
- >>329
の書き込みは要するに自作自演書き込みって事でしょ。
- 341 名前：デフォルトの名無しさん [02/07/27 01:35]
- 世間が狭いだけでは
- 342 名前：デフォルトの名無しさん mailto:sage [02/07/27 09:03]
- >>339
削除した理由が、
「まあ確かにそんなものをつけるべきではないのかもしれませんね。」
誰かに注意を受けたと取るのが一番か。
- 343 名前：デフォルトの名無しさん [02/07/27 09:34]
- 書評も的を射ていないっぽ
- 344 名前：デフォルトの名無しさん mailto:sage [02/07/27 14:07]
- スレ違い。
- 345 名前：デフォルトの名無しさん [02/07/27 18:13]
- CLEANを紹介したのはエライが、
自作自演とか、偉そうにWeb作ってるのはイクナイ。
- 346 名前：デフォルトの名無しさん mailto:sage [02/07/27 23:11]
- なぜ自作自演？
とか書くと、これも自作自演と勘違いされるのだろうか？
>偉そうにWeb作ってるのはイクナイ
作っている分だけ偉いです。
ヒガミはイケナイネ。
- 347 名前：デフォルトの名無しさん [02/07/28 08:06]
- Ｃｌｅａｎのページ作ってる奴はここを読んでるやうだな。
Ｃｌｅａｎってば名前しか知らなかったので、ページ作ってくれたのは非常に
よろしいと思う。イイ。
だけど、自分の理解が怪しいこととかまで、無理して書いてないかの？
斜めにしか読んでないが、なんか外してるところがある気がちょっとする。
>>339とかもどうかと思われ。
- 348 名前：デフォルトの名無しさん [02/07/28 08:29]
- Haskellの話をしよ〜ぜ。
- 349 名前：デフォルトの名無しさん [02/07/29 00:25]
- Haskell がメインの開発言語になってる会社ってありますか？
- 350 名前：デフォルトの名無しさん [02/07/29 08:46]
- >>349
Galois Connections
www.galconn.com/
- 351 名前：デフォルトの名無しさん mailto:sage [02/07/29 10:31]
- もし、今後 Haskell 本とか書くヒトが居たら、是非
「本書の内容の正否・当否についての質問・意見は、明確で
具体的な理由をつけて、匿名ではなく、hoge@hoge.jp まで
お願いします。また、これら以外のことに関する本書への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」
とでも、表 2 カバー裏あたりに書いとけば良いかも :-)
- 352 名前：デフォルトの名無しさん [02/07/29 10:38]
- >>351
なんだそれは。
Ｃｌｅａｎのページ作った人ですか？
突っ込まれたから、ぼやいている？
Haskellのページとかschemeのページは前からあるけど、
だれも苦情は言わないし、ありがとうしか言わない・・ですが？
- 353 名前：デフォルトの名無しさん mailto:sage [02/07/29 10:38]
- 「本書の内容の正否・当否についての質問・意見は、明確で
具体的な理由をつけて、匿名ではなく、hoge@hoge.jp まで
お願いします。また、これら以外のことに関する著作者への
批判・評論は刑法230条又は231条等に触れる恐れがあり
ますのであくまでも自己責任でお願い致します。」
こうだな、正確には。
- 354 名前：デフォルトの名無しさん mailto:sage [02/07/29 10:52]
- >>351
バイアスかけるのは止めてね
Haskellのスレだし。
- 355 名前：デフォルトの名無しさん [02/07/29 11:30]
- >>351
おまえ私怨か？
- 356 名前：デフォルトの名無しさん [02/07/29 13:33]
- >>351マンセー（ｗｗ
- 357 名前：デフォルトの名無しさん [02/07/29 17:34]
- Haskeﾙﾝ
- 358 名前：デフォルトの名無しさん mailto:sage [02/07/29 20:55]
- ああ、DUAL!ってやつ？
- 359 名前：デフォルトの名無しさん mailto:sage [02/07/29 23:02]
- ?
- 360 名前：デフォルトの名無しさん mailto:sage [02/07/30 18:13]
- >>352
ぼやきか・・・
それはもしかしたらイタイ発言ではなかろうか
- 361 名前：332 mailto:sage [02/07/30 20:28]
- なんか俺のカキコのせいで荒らされちゃってますね、スレの皆さんごめんなさい。
もう夏休みに入ってるって事をすっかり忘れてました。
- 362 名前：デフォルトの名無しさん mailto:sage [02/07/31 00:54]
- >>361
お前のような万年厨も問題だがな
- 363 名前：デフォルトの名無しさん mailto:sage [02/07/31 02:40]
- >>362
ハー。
人の振り見て・・・ということで。
- 364 名前：デフォルトの名無しさん mailto:sage [02/07/31 17:02]
- >>363
厨
- 365 名前：石敢當 [02/08/02 22:28]
- Haskell 98 Report が本になるみたいですね。
- 366 名前：デフォルトの名無しさん mailto:sage [02/08/02 23:01]
- >>365
母さんソース
- 367 名前：デフォルトの名無しさん mailto:sage [02/08/02 23:08]
- じゃ、誰かものすごい勢いで日本語版も
出版してくれよな。
- 368 名前：デフォルトの名無しさん [02/08/03 08:55]
- 気づいたら最初のスレが立ってから一年過ぎてる。
最初のころはHaskellスレ限定コテハンも何人かいて妙にまたーりとしていた
気がするのだが、最近廃れっぷりが激しいな。最初のころのような勢いも無いし。
懐 古 う ざ い
よね。
すまん。逝ってくる。
- 369 名前：デフォルトの名無しさん mailto:sage [02/08/03 09:25]
- ネタがないんじゃよー
誰かお遊びで作ったプログラムとか貼ってくれませんか？
- 370 名前：デフォルトの名無しさん [02/08/03 15:03]
- 関数型言語初心者です。
Haskellでクイックソートのコードを以前見かけて、こんなにシンプルになるのかと感動しました。
では、バブルソート(二重for文で大小比較の単純なやつ)はどうなるのでしょうか。
iとjを引数にして二重に再帰を繰り返し、takeやdropで切り貼りするしか無いのでしょうか？
もっと効率のいいやり方があるのでは、と思うのですが…
- 371 名前：デフォルトの名無しさん mailto:sage [02/08/04 05:06]
- >>370
それらしいものを書いてみようとしたら
選択ソートとバブルソートが混ざったような中途半端なものになった。
bubbleSort :: Ord a => [a] -> [a]
bubbleSort xs = bs xs []
bs [] _ = []
bs [x] rest = x : bs rest []
bs (x1:x2:xs) rest = bs (min x1 x2 : xs) (max x1 x2 : rest)
つか効率を気にすればするほど選択ソートっぽくなると思う。
- 372 名前：デフォルトの名無しさん [02/08/04 05:20]
- このスレってほとんどコード出てきてないのな。
- 373 名前：デフォルトの名無しさん mailto:sage [02/08/04 07:27]
- Haskellは犬ですか？
- 374 名前：デフォルトの名無しさん mailto:sage [02/08/04 13:54]
- Haskellerと言ってもその程度。
- 375 名前：370 mailto:sage [02/08/04 16:19]
- 何故>>371でソートになるのか悩んで、紙に書いてようやく理解しました。
最小値を取り出して、それを x : bs rest [] で先頭に結合しているわけですか。
bs xs i j なんて関数を作って手続き型そのままにやろうとした俺とはえらい違いです。敬服。
- 376 名前：370 mailto:sage [02/08/07 22:54]
- 数日間が空いてはっと気付く…
>>371のコードですと、要素数に比例してスタックを消費してしまいませんか？
(半端な知識ですが、末尾再帰になってなく見えます。書き直せないところが厨ですが…)
関数型言語の場合、スタック消費は気にしない方がいいのでしょうか。
- 377 名前：デフォルトの名無しさん [02/08/10 10:05]
- >>376
関数型言語では基本データ構造のリストが再帰的（末尾再帰ではない）に
定義されているわけで、そもそもスタックを消費しまくることを前提に
作られているでしょうから、スタックの消費をあまり気にしなくていい言語と
して使えるはず。
Haskell のような遅延評価が基本の言語では、自然な再帰のアルゴリズムの
プログラムを、末尾再帰のアルゴリズムのプログラムに書き換えることも、
計算のオーダーが変わるようなもの以外は、あまり、気にすることはない
気がします。
- 378 名前：デフォルトの名無しさん [02/08/10 11:42]
- よく関数型言語で Xs, とかYsってvariableなんだけど、なんでXsなの？
この最後のＳはどっからでてきたの？Ｘ，Ｙ，Ｚ，Ｗ，Ｖとかでいいじゃん。
Ｓなんてつけなくても
- 379 名前：デフォルトの名無しさん mailto:sage [02/08/10 12:14]
- x:xs
複数形のsです。
- 380 名前：日曜Haskellerオヤジ [02/08/11 06:22]
- ものすごい久々です、
現在はプログラミング基礎論の勉強がてら一緒に Haskell もお勉強モードな土日です。
>>368
特に初心者がやるときには、英語を勉強しつつ Haskell の勉強もしようとすると
忙しくなりすぎて、とりわけ社会人だと極度のんびり勉強モードになってしまいます。
そうすると、どうしてもネタが尽き気味になりますよね、
和書の入門書がぜひとも欲しいところです。
大学院の学生さんたちの誰かが執筆してくれればいいんですが、だれか書きませんかね？
Haskell は離散数学とか圏論とかとセットにすると非常に面白い本ができると思うのですがどうでしょう？
あと、圏論の専門本も是非とも欲しいところですね、これも本当にない、
まったくと言って良いほど本がない、あっても絶版ばかりで手に入りません。
シュプリンガーフェアラーク出版の「代数学とは何か」に書かれてあるのが、
手に入りかつ、知っている範囲なのですが、
これは数学の専門書でプログラマには少々というかかなりの難解ぶりです。
自分がなんとか読めそうと感じられる範囲では、
ここ www.etl.go.jp/etl/divisions/~yoshiki/ut97/
にあるんですが、これも内容を充実して製本された本が欲しいところです。
初心者向きといえば、以前工科大のページがあったんですが
消滅してしまっているようです、越田センセまた何かページつくってくれないかな・・
- 381 名前：デフォルトの名無しさん [02/08/11 07:14]
- プログラムはじめてやるのにラムダカルキュラスは難しすぎる
- 382 名前：デフォルトの名無しさん mailto:sage [02/08/11 09:07]
- nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html
はぎゃー先生のページ面白い
- 383 名前：yuki [02/08/20 07:38]
- ====================================================================
すみません。初心者なのですがこんな質問に誰か答えていただけるのでしょうか？
function type は
[Key] -> [Token] -> [(Field, Value)]
type Token = String
type Field = String
type Value = String
type Key = String
Key で Token を検索して、結果があればFieldとValueでOutput すると言う
ファンクションです。例えば、
[key] = ["Name","Title","Address"]
[Token]="Name",":","Yamada","Taroh",";","Title",":","Mr",";","Address",":","Tokyo","Shinjuku",";"]
output
[("Name","Yamada Taroh"),("Title","Mr"),("Address","Tokyo Shinjuku")]
になります。
TokenのArrayの中で、Fieldのあとは必ず ':', Valueのあとは ';'
になってます。それと、ｏｕｔｐｕｔのｆｉｅｌｄは単語ごとにスペースでくぎられた１つのｓｔｒｉｎｇになります。
誰か、アイデアでもいいので下さい。
すみません何分初心者なもので。 レスお待ちしてます。
=======================================================================
- 384 名前：デフォルトの名無しさん [02/08/20 08:36]
- >>383
その区切り線には宗教的意味か何かでもあるのか？
- 385 名前：デフォルトの名無しさん mailto:sage [02/08/20 09:14]
- >>383
宿題は自分でやりましょうね。
- 386 名前：デフォルトの名無しさん mailto:sage [02/08/20 11:42]
- Haskellって、
学校の授業でどのくらい使われてるの？
- 387 名前：日曜Haskellerオヤジ [02/08/20 12:50]
- 宿題だとすると・・・そのまま答えを書いたらまずいかな(笑
私だったらこんな感じで作りますかね。
見ているとスペースのところで文字列が切断されていて非常に感じが悪いのでそれをまず結合します。
つづいてこの文字列リストから ":" , ";" を取り除いて出来上がり
- 388 名前：日曜Haskellerオヤジ [02/08/20 12:52]
- おまけ
結合すべき文字列は直後が ";" ":" でないことに着目すると簡単に作れるでしょう。
- 389 名前：383 mailto:sage [02/08/20 12:55]
- 「Haskell言語プログラミングレッスン <上> Haskell言語を始めよう」
「Haskell言語プログラミングレッスン <下> 関数型言語を始めよう」
出版準備です。
- 390 名前：デフォルトの名無しさん mailto:sage [02/08/20 13:02]
- 出版準備？大丈夫かよオイ
- 391 名前：デフォルトの名無しさん mailto:sage [02/08/20 13:04]
- ﾈﾀだろ…
- 392 名前：日曜Haskellerオヤジ [02/08/20 13:11]
- よく見てみると、単に複数文字列があるだけじゃなくて、
レコードみたいになっていますね ';' ':' ブラウザはの見分けがつかない
間違っているので上記２レスは無しということでお願いします
';' でいったん文字列リストのそのまたリストに分解して
先頭を順序対の左
上記を取り除いた上での、先頭と末尾を取り除いた文字列の結合を右の順序対として
リストを作ればよいみたいですね。
- 393 名前：日曜Haskellerオヤジ [02/08/20 13:25]
- >>389
本当ならうれしいですね、ちょっと作ってみましょう、しばらくかかります。
- 394 名前：デフォルトの名無しさん [02/08/20 13:27]
- 個人的には関数の型が気にいらんな。
type Assoc = [(Field, Value)]
lookupAssoc :: [Key] -> Assoc -> Assoc
をつくれ、としたほうが抽象化のレベルがあうのでないか。まあ、
parseAssoc :: [Token] -> Assoc
をつくって
lookupTokens :: [Key] -> [Token] -> [(Field, Value)]
lookupTokens keys tokens = lookupAssoc keys (parseAssoc tokens)
とすれば元の題意にはあうだろうが。
- 395 名前：デフォルトの名無しさん mailto:sage [02/08/20 14:00]
- >>389
題名的には上下逆だろ。
- 396 名前：日曜Haskellerオヤジ [02/08/20 15:52]
- 関数型言語の素人のコードなので変かも知れませんが大体こんな感じになります。
本できたら、このスレッドに報告してくださいね、買います。
type Token = String
type Key = String
type Field = String
type Value = String
hoge_key = [ "Name" , "Title" , "Address" ]
hoge_token = [ "Name" , ":" , "Yamada" , "Taroh" , ";" , "Title" , ":" , "Mr" , ";" , "Address" , ":" , "Tokyo" , "Shinjuku" , ";" ]
-- ここが本体
func :: [Key] -> [Token] -> [(Field, Value)]
func k t = receive [] t
where
receive xcomplete remain
| remain == [] = xcomplete -- 全部完了
| nokey = receive xcomplete raw_recs -- キー無し
| otherwise = receive (rec:xcomplete) raw_recs -- 成功
where
-- 先頭レコードのその以外のレコードの定義
( raw_rec , raw_recs ) = sprit_records remain
-- キーと ':' と結合前の値のリスト定義
-- 必要ならコロンのチェックをすること
( key : ( colon : value_token ) ) = raw_rec
-- キーがあるかどうかの定義
nokey = (has_member k key) == False
-- 値の定義
value = cat_value value_token
-- 整形済みレコード
rec = ( key , value )
- 397 名前：日曜Haskellerオヤジ [02/08/20 15:53]
- 続きです
-- トークン分解と ';' の取り除き
-- 末尾 ';' チェックはしていないので必要なら無限再帰防止策をとること
sprit_records :: [Token] -> ( [Token] , [Token] )
sprit_records token = receive ( [] , token )
where
receive ( x , (y:ys) )
| y == ";" = ( x , ys )
| otherwise = receive ( x ++ [y] , ys )
-- 空白を入れながら文字列の結合をする
cat_value (x:xs) = receive x xs
where
receive complete remain
| remain == [] = complete
| otherwise = receive ( complete ++ " " ++ x ) xs
where
(x:xs) = remain
-- キー名があるかどうかチェック
has_member (key:keys) x
| x == key = True
| keys /= [] = has_member keys x
| otherwise = False
- 398 名前：383 [02/08/20 20:19]
- 日曜Haskellerオヤジさん ありがとうございます。
なんか、本を出すことで盛り上がってるみたいなのですが。。
すみません、>389 は私ではないです。誰かがネタでやったみたいです。
なのに、期待して答えて頂いて感謝してます。
それと、すぐ宿題ってばれましたね（苦笑）。事実、海外でＩＴを勉強してる学生です。
これはアサイメントで来週提出で7問中、1問だけとけてる状態です。そして、苦肉の策で
このスレに質問をしてみました。そして、みなさんにヒントを頂き感謝してます。
みなさんはかなりの知識をお持ちのようで、私なんてＪＡＶＡの教科は自分では得意だと
思ってやってましたが、haskelになると途端にややこしくなり、自分の頭の悪さを、思い知らされてます。
数学の知識がさらに必要となってきてますね。
日曜Haskellerオヤジ さん、参考になりました。ありがとうございます。
ついでにこのアサイメントの全容を貼っときました。（期待しつつ）。自分でやるつもりです。
海外は教科をパスするのがきついですね。
www7.big.or.jp/~mb2/bbs/up/img-box/img20020820192929.zip
また、質問があればさせていただいていいですか？
お礼のレス遅れてしまってすみません。なんか、私の使ってるプロバ、規制されてるんです。うー
だから、友人にメールで送って、それからレスしてもらってるので。すみません。荒らしではないですよ。
- 399 名前：デフォルトの名無しさん mailto:sage [02/08/20 20:25]
- 日曜オヤジさん、カコ（・∀・）イイ！！
- 400 名前：デフォルトの名無しさん [02/08/21 09:00]
- >>383
hogehoge ks ts
= filter (\ (k,v) -> elem k ks) $ map hogera $ hoge ts
where
hoge [] = []
hoge ts = case break (";" ==) ts of
(_,[]) -> [ts]
(xs,_:ys) -> xs : hoge ys
hogera ls = case break (":" ==) ls of
(_,[]) -> (unwords ls, "")
(x,_:y) -> (unwords x, unwords y)
- 401 名前：デフォルトの名無しさん [02/08/21 09:02]
- uge
- 402 名前：日曜Haskellerオヤジ [02/08/21 22:12]
- >すみません、>389 は私ではないです。誰かがネタでやったみたいです。
やっぱりそうか(笑)
関数型は脳の回路がスイッチしないとやっぱり大変です、
普段の仕事では普通の言語を使っているので、土日に関数型に切り替えると毎週のように戸惑います。
JAVA 等で使われているオブジェクト指向的な考え方が頭の中に残っているとうまく組めません。
関数型プログラムのコツは写像を追うことと、
自分が欲しい結果を細部に分解しながら欲しいものを定義してゆくことだと思います。
しかし、これは考えても無駄で、なれるしかないです
>また、質問があればさせていただいていいですか？
どうぞ、このスレッドは最近ずっと寂れていたようですし、私が答えなくても
だれかが答えてくれると思いますし、私も書いてみます。
#ダウンロードしようと思いましたが、ファイルはもうアップローダーに残っていないみたいです。
- 403 名前：デフォルトの名無しさん mailto:sage [02/08/22 03:18]
- まずfという関数があり、それはトークンの列を受け取って題意の処理を行うと仮定します。
1. 次の関数
g v [v1, ..., vn,":"]++xs=(v++" "++v1++" "++...++" "++vn,f xs)
を作りましょう。
2. gを使って関数fを定義します。関数fは、もしｎがリストｋに現れていたら
f [n,";",v1, ..., vn,":"]++xs = (n,v1++" "++...++" "++vn):f xs
そうじゃなかったらf xsを返します。fの定義はkのスコープの中で行われるものとします。
3. 最後に二つの関数をまとめてansを作りましょう。ansはキーのリストとトークンのリストをとり、
f,gを内部で定義してfにトークンのリストを渡します。
宿題の答えを書くのもアレなので、こういうかたちにしてみました。
- 404 名前：デフォルトの名無しさん mailto:sage [02/08/22 03:23]
- >>403
> 2. gを使って関数fを定義します。関数fは、もしｎがリストｋに現れていたら
2. gを使って関数fを定義します。関数fは、もしｎがキーのリストｋに現れていたら
でした。舌足らずですた。
- 405 名前：デフォルトの名無しさん mailto:sage [02/08/26 10:16]
- 東大の「こ・何とか」って人は何人？
- 406 名前：デフォルトの名無しさん mailto:sage [02/08/29 13:10]
- nisseicom.co.jp
- 407 名前：日曜Haskellerオヤジ mailto:sage [02/08/30 00:01]
- >>403
ん、お盆休み明けてのぞいてみれば、だれもレスを付けていないのか・・・
今週末ちょっと考えて見ます。
- 408 名前：日曜Haskellerオヤジ [02/08/31 17:37]
- やっと週末、必死こいて圏論勉強中の日曜Haskellerオヤジです。
ちょっと読んでみたんですが、正直題意が良くわからなかったです。
これはレスつけられないのでは、と思いました。
出題は、宿題のパターンでよいとは思います。ただし、宿題は自分の良心で自分でやりましょうね。(笑
ちなみに、引数に使ったラベルに意味説明を入れたほうが良いと思います。
いきなり v とか v1 とかで説明されてもわかりにくいです。
v1 v2 ... は入力トークンで、末尾は ":" です、
そのリストを [v1 , ... vn , ":" ] とします。
みたいな感じで書いた方がよいのではないかと感じました。
v はキー・・・・なんでしょうか？
あと、２については、 f の中に g が見当たりません。
( v ++ " "++v1++" "++...++" "++vn,f xs) = (n,v1++" "++...++" "++vn)
なんでしょうか？
- 409 名前：デフォルトの名無しさん [02/08/31 17:43]
- 正直ハスケルってどこで使うの？別に煽りじゃなくて、
どういうところで使われてるか不思議で。shcemeとかは
dr schemeのチュートリアルで結構仕事があるみたいなことを
書いてあったけど。
- 410 名前：デフォルトの名無しさん mailto:sage [02/09/05 10:28]
- >>409
学校
- 411 名前：デフォルトの名無しさん mailto:sage [02/09/07 12:25]
- >>410
(小)
- 412 名前：デフォルトの名無しさん mailto:sage [02/09/07 12:25]
- >>400 kakoii! tuka hutuu dakedo, >>396-397 no ato ni miruto kakoii!
- 413 名前：デフォルトの名無しさん [02/09/07 12:42]
- www.sampou.org/nobsun/journal/?0320
そこでいう setter って x {foo = "chample"} みたいなのじゃないんすか?
data Foo = Coo { foo :: String, bar :: Integer} deriving Show
x = Coo { foo = "sample", bar = 12345 } -- 初期化
main = print x >> print (x {foo = "chample"})
と、こんなところで半年近くも前の話に質問をしてみるテスト。
- 414 名前：デフォルトの名無しさん [02/09/07 13:11]
- >>413
君はこういう (www.bier-reise.com/cooking/recipe/go-ya/chample.htm)
つもりなのかもしれんが、"チャンプル" でなく "チャンプルー" と伸ばすこともあり、
chample よりは champloo って書くべきものなのだよ。
- 415 名前：デフォルトの名無しさん mailto:sage [02/09/07 15:41]
- >>352
なんだそれは。
- 416 名前：デフォルトの名無しさん [02/09/07 23:10]
- ここらへんで一丁Haskellで
七行プログラミング part2
pc3.2ch.net/test/read.cgi/tech/1018840143/
に乱入して、関数型言語の恐ろしさを見せつけてやりませんか？
Haskellなら相当な事が出来そうですが（今↑ではやりのRLEとかも）
- 417 名前：デフォルトの名無しさん mailto:sage [02/09/07 23:28]
- おまえがやって見ろよ
- 418 名前：デフォルトの名無しさん mailto:sage [02/09/08 02:11]
- >>416
大して戦果をあげれないと思う。入出力とか弱いし。
Haskell 向きなのを何か考えればアレかもしれんが。
- 419 名前：デフォルトの名無しさん mailto:sage [02/09/09 13:38]
- モナドパーサ
- 420 名前： [02/09/18 03:35]
-
- 421 名前：デフォルトの名無しさん mailto:sage [02/09/18 06:54]
- 7行プログラミングってPerlが一番凄そう。
- 422 名前：デフォルトの名無しさん mailto:sage [02/09/18 16:41]
- むしろperlはそのための言語。
- 423 名前：司馬乱 [02/09/27 23:46]
- >>408
久しぶりにこのスレ覗いてみたら寂れてますねー．
コンピュータサイエンス向けの日本語の易しい圏論の本って需要あるのかな？
- 424 名前：日曜Haskellerオヤジ [02/09/30 14:31]
- そーですねー、淋しいです。
>コンピュータサイエンス向けの日本語の易しい圏論の本って需要あるのかな？
取り合えず私にはあります、だれか作ってー
離散数学に興味を持ったところ、そのまま勢いでこれも面白くなってきています。
もっとも、一般位相はしらないわ、集合論はしらないわで大変ですが・・・
Haskell という言語はこういうものを勉強するときに便利ですね。
- 425 名前：デフォルトの名無しさん mailto:sage [02/09/30 16:02]
- www.mail-archive.com/haskell@sampou.quickml.com/index.html
- 426 名前：石敢當 [02/09/30 22:16]
- >>423
なぜコンピュータサイエンスに圏論なのか、圏論を勉強すると
プログラムを作成するにあたりどんな嬉しいことがあるのか、
などについて序章あたりに書かれているような本だったら買いたいです。
英語で書かれたのを１冊持っていますが、なかなか読み進めません。
ありがたみを実感できる章にたどり着けばはずみがつくと思うのですが・・。
- 427 名前：デフォルトの名無しさん [02/09/30 22:58]
- >>426
その本とはなんでしょう？
さしつかえなければ教えてください。
- 428 名前：デフォルトの名無しさん [02/09/30 23:17]
- 圏論ですか、下の本で見たときがあります。
情報数学講座7 プログラム意味論 横内寛文 共立出版 1994.6
それにしてもプログラミング処理系は、実用的にするため色々な拡張が施され
ています。そのため純粋な数学との間には大きな溝が出来てしまってい
るような気がします。
- 429 名前：デフォルトの名無しさん mailto:sage [02/10/01 00:43]
- これが圏論だっていうコードを見れば
分かるようになるかも。
- 430 名前：デフォルトの名無しさん mailto:sage [02/10/01 23:00]
- Frege構造って何？
- 431 名前：石敢當 [02/10/02 01:07]
- >>427
Bird & de Moor の "Algebra of Programming" です。
- 432 名前：司馬乱 [02/10/02 01:08]
- コンピュータサイエンスの場合，圏論の代数的な面を強く出すよりは
論理や型理論と一緒にやる方がいいと思いますが（代数は等式論理なので）
どうやって動機付けするのがいいのかな．
圏論には多分
- プログラムの意味論を厳密に議論するための言葉を提供してくれる
- 様々なプログラミングのメタファーを提供してくれる
という二つの面があると思いますが，お互いに依存しあっているので
最後まで引っ張っていく書き方というのは結構challengingかも．
きちんと書くと今度は厚くなりそうだし．
- 433 名前：司馬乱 [02/10/02 01:27]
- >>431
たしかallegoryとか使っているやつですか？
- 434 名前：石敢當 [02/10/02 22:07]
- >>433
はい、そうです。
>>きちんと書くと今度は厚くなりそうだし．
執筆する側としては厚い本を書くのは大変だと思いますが、
読む側としては多少厚くても難解な薄い本よりはずっと
ありがたいです。もっとも、431の本をなかなか読み進めない
一番の理由は十分な間を取れていないからで、難解とか言う
以前の問題です。
- 435 名前：デフォルトの名無しさん [02/10/02 22:17]
- >>432
というような会話を、約10年程前にしてたんですけど、
相変わらずそのスジでは必須科目(ｗなのですか？
- 436 名前：デフォルトの名無しさん [02/10/02 22:34]
- 多分、答えないと思うけど(ｗ
- 437 名前：日曜Haskellerオヤジ [02/10/04 00:02]
- >>429
圏論というのは、集合論の代わりになるもので、集合論が「要素」の論理
であるのに対して、圏論は「要素」と「要素」の間の関係の論理です。
集合論を置き換える為の物のようです。( 多分(^^; )
圏論って定義は分るんですけれど、その意味しているところは難解です、いまだに分りません。
しかも定義も注意深く定義を読まないと、いきなり変なところにはまり込んでしまいます。
私は ob(C) が「点」とか書かれていて最初こんがらがっていました。
ついでに射も最初はこんがらがってました。
#といいますか、全部だ・・・
もし分らないのが圏論の定義なら
しょうもない集合でいいので一個具体的に作ってみると少しづつ分ってきます。
たとえば { {false,true} , {0,1} } ＝ ob(C) から出発して
全部作ってみるといいですよ。
#ちかごの感じるんですが
# 圏論 : 関数型
# 集合 : オブジェクト指向
#「点」が中心の時がよいのか「射」が中心の時がよいのか
#時々強烈に的確に記述できる関数型の特徴の正体が見えたような見えないような・・・
- 438 名前：デフォルトの名無しさん [02/10/04 02:09]
- わたしの、数学から見たイメージでは、
集合論：構成的（実装を扱う）
圏論：公理的（インターフェースを扱う）
射の位相空間での実装は連続写像、群での実装は準同型写像って感じ。
インターフェースのみを使って記述すれば、そのインターフェースを
持っているどんな実装でも成り立つものを作ることができる。
また、インターフェースを前に出すことで、性質を明確に記述でき、
性質の比較ができる。
などのことが、圏論のメリットと感じます。
コンピュータサイエンスで圏論がどう使われているのかは知りませんが。
いや、数学でもあまり知らないんだけど。
- 439 名前：デフォルトの名無しさん [02/10/09 23:28]
- >>423 >>432
もしかして書く気ですか?
|
 |
