関数型プログラミング言語Haskell Part3

関数型プログラミング ..

554:デフォルトの名無しさん
05/05/01 23:37:45
>>553
thenとかelseはどこいった？

555:デフォルトの名無しさん
05/05/01 23:43:22
シンタックスを定義できなてもマクロと言えると思うが。

556:デフォルトの名無しさん
05/05/01 23:49:16
↑それで消費者が納得すると思ってんのか？

557:デフォルトの名無しさん
05/05/01 23:52:37
>>555
関数マクロと言うべきか。

>>548の回答としては、

Ｑ．LISP Macro みたいなことできますか？
Ａ．できません。

558:デフォルトの名無しさん
05/05/02 00:05:54
haskellでは
a `lambda` (a + 1)
の様な表現ができないのが本質的っぽいね。

559:デフォルトの名無しさん
05/05/02 00:11:04
つまり、遅延であろうがなかろうが、LISPのようなマクロを書けるかどうかは
引数評価を自分でコントロールできるかどうかにある。
少なくともLISPのマクロ内に出てくるシンボルみたく、引数の一部を
評価せずにキーワードそのものとして扱うみたいな仕組みがないと。

560:デフォルトの名無しさん
05/05/02 00:25:50
「遅延評価」の意味で「評価」と言うと意味が違うと思う。
引数の評価をコントロールするだけならhaskellでもできる。
「解釈」と言えばいいのかな？

561:デフォルトの名無しさん
05/05/02 00:39:06
LISPのマクロはdefineを含むコードを生成できるけど、Haskellではそのような真似はできないはず。

562:デフォルトの名無しさん
05/05/02 13:13:17
HaXmlで下のinputからoutputのような出力を得たいんですがどのようにすれば
良いでしょうか？

---input---
<function name='deleteBy' type='(a -> a -> Bool) -> a -> [a] -> [a]'>
<description>
similar to <f>delete</f>, but it allows the programmers to supply
their own equality test
</description>

---output---
["deleteBy", "similar to delete, but it allows the programmers to supply
their own equality test"]

<description>の中の<f>の処理がうまく行かず下のような結果になってしまい
ます。<description>の中のテキスト部分だけを抜き出したいです。別リスト
にしないで1つの文字列として。

["deleteBy", "similar to ", "delete", ", but it allows the programmers to supply
their own equality test"]

563:562
05/05/02 13:22:01
コードとサンプルデータを載せます。

import System.IO
import System.Environment
import Text.XML.HaXml
import Text.XML.HaXml.Pretty (content)

main :: IO ()
main =
do ~[arg] <- getArgs
h <- openFile arg ReadMode
str <- hGetContents h
case xmlParse "list.xml" str of
(Document _ _ (Elem _ _ contents))
-> mapM_ print $ map getCont contents

getCont = map content . contFilter

contFilter :: CFilter
contFilter = f `o` (tag "function")

f = cat [ ("name"?) , multi txt `o` (keep /> tag "description") ]

564:562
05/05/02 13:22:59
<module name="List">

<function name='deleteBy' type='(a -> a -> Bool) -> a -> [a] -> [a]'>
<description>
similar to <f>delete</f>, but it allows the programmers to supply their own equality test
</description>
<example>
<in>deleteBy (\x y -> y `mod` x == 0) 4 [6,8,10,12]</in>
<out>[6,10,12]</out>
</example>
</function>

</module>

565:デフォルトの名無しさん
05/05/17 14:30:17
今月の文章は先月の和田先生のよりわかりにくいなあ。
例題をどう解くかの説明が全くなくて、説明もHaskellの説明にはなってるけど
例題のプログラムの説明としてはかなり端折られてるのが原因かな。

566:デフォルトの名無しさん
05/05/17 22:34:11
バイナリファイルを弄りたいんですけど
Haskellでビット演算の関数とか演算子とか
あれば教えてください。

567:デフォルトの名無しさん
05/05/17 23:38:07
:browse Bits

568:デフォルトの名無しさん
05/05/18 22:14:20
>>567
ありがとうっす

569:デフォルトの名無しさん
05/05/20 23:02:42
モナドって全然わかない

570:デフォルトの名無しさん
05/05/20 23:16:00
↑日本語もわかない人

571:デフォルトの名無しさん
05/05/21 01:33:08
最近自分は悟った。

モノイドとか圏論とかの背景思想を無視して
使う立場だけからいうと
モナドは数珠繋ぎ強制ギプスみたいなものだと。

(IO Char)とか(IO Int)とかの型は
CharやIntの値がくるまれたカプセルみたいなもんだ。
ちなみにIO ()の()はCでいうvoid型
return xx とやると普通の値もIOモナドで包むことができる。

572:デフォルトの名無しさん
05/05/21 01:33:49
ただしIOモナドは一度くるんだら中身を取り出す方法がない。
IO型の関数を普通の関数と組み合わせても型違いで
コンパイルエラーになる。
(IO ()ももちろん型違いでエラー）

そこでモナドの中身の値を
橋渡しするアダプタ(>>=)を使う。

結局>>=や>>で(IO ｘｘｘ)型の関数同士やreturn xxで
数珠繋ぎにするしかないように強制される。

573:デフォルトの名無しさん
05/05/21 01:42:17
そいつは面倒だあ

574:デフォルトの名無しさん
05/05/21 01:43:08
IOモナドってGPLみたいだなとか思った。

575:デフォルトの名無しさん
05/05/21 01:48:49
数珠つなぎのしくみや値を包みこむ性質を利用して
他にもいろいろなモナドがあるし自分でも作れる（かもしれない）

Stateモナドは数珠繋ぎを利用して
IOモナドみたいな状態遷移を自分で作れる。

Maybeモナドは値を包むほうが主眼のモナド
実際の値の代わりにNothingというダミーを
突っ込んでおくことができる。
データベースのNULL値みたいに使える。

576:デフォルトの名無しさん
05/05/21 01:57:53
モナドと聞くと王監督の顔が思い浮かぶのは何故？

577:デフォルトの名無しさん
05/05/21 02:24:06
>>571
>CharやIntの値がくるまれたカプセルみたいなもんだ。
俺にはこの表現がなじまない。
カプセルってのは中身が取り出せてこそのものだよな。
だから、「CharやIntにに関係する何か」くらいの認識しかできない。

578:デフォルトの名無しさん
05/05/21 12:13:59
自分でIO型の関数作れば
前のIO関数から>>=で渡された
中身の生の値をちゃんと自由に扱える。

「取り出す方法が無い」んじゃなくて
「>>=を使って（間接的に）取り出すしか方法が無い」が
正しいかも。

579:デフォルトの名無しさん
05/05/21 12:15:56
monadic I/Oの意味論を破壊して喜ぶって、マゾですか？

580:デフォルトの名無しさん
05/05/21 12:16:44
そーゆーのには、
C言語とアセンブラがお勧め(w

581:デフォルトの名無しさん
05/05/21 12:30:25
>576
ﾜﾛｽ
俺も思いついた

582:デフォルトの名無しさん
05/05/21 16:33:47
もな～ももなど？

583:デフォルトの名無しさん
05/05/21 20:30:44
>>549
そのとおりだよね。

584:デフォルトの名無しさん
05/05/21 20:44:49
>>583
だからー、
その件はLISPマクロのようには書けないって話だろーが

585:デフォルトの名無しさん
05/05/21 21:04:10
>>559
名前渡し？遅延評価ってそういうことなのでは？

586:デフォルトの名無しさん
05/05/21 21:12:59
名前をキーワードとして扱う？CLtL4の仕様ですか？ｗ

587:566
05/05/21 21:23:20
某バイナリファイルのヘッダ構造体の読み込み関数が
だいたい目処がたってきますた。

ところでdata宣言で作った構造体？にたいする
Javaのシリアライズみたいな仕組みやライブラリって
Haskellにはないんすかね？
リフレクションみたいな仕組みがないと無理？

ファイルフォーマットをリストで与えて結果もリストで返すみたいなのは
できそうだけどそれじゃせっかくの強力な型システムが活かせないような、、

588:デフォルトの名無しさん
05/05/21 21:25:51
>>585
あ、違うか
名前渡してないもんね
普通の意味の値の他に名前も値にできるようでないと圏論的には不完全なようなキガス

589:デフォルトの名無しさん
05/05/21 21:28:21
とゆーことは変数のポインタでいいのかどうか

590:デフォルトの名無しさん
05/05/21 21:39:32
＞圏論的には不完全

というと？

591:デフォルトの名無しさん
05/05/22 16:51:02
ちょっと質問です。

二項関係 r の反射的・対称的・推移的閉包に (x,y) が属するかどうかを判定する関数
inEqvCl ってのを書いてみたんですけど、もうちょっとすっきりした書き方とかないでしょうか？

inEqvCl :: Eq a => (a,a) -> [(a,a)] -> Bool
inEqvCl _ [] = False
inEqvCl (x,y) s = chk s y x
　where
　　chk lst v u | v == u = True
　　　　　　　　| v `elem` ux = True
　　　　　　　　| otherwise = or $ map (chk lst' v) ux
　　　where
　　　　lst' = [ p | p <- lst, u /= fst p, u /= snd p ]
　　　　ux = do p <- lst
　　　　　　　　if u == fst p && u /= snd p
　　　　　　　　　 then return $ snd p
　　　　　　　　　 else if u == snd p && u /= fst p
　　　　　　　　　　　　then return $ fst p
　　　　　　　　　　　　else fail ""

実行例
(2,1) `inEqvCl` [(0,2),(3,4),(5,4),(1,5),(5,0),(6,7),(8,7)]
=> True
(1,6) `inEqvCl` [(0,2),(3,4),(5,4),(1,5),(5,0),(6,7),(8,7)]
=> False

592:デフォルトの名無しさん
05/05/22 21:57:54
>>591
こんなのでどうかな。
題意を理解していないので間違ってたらｽﾏｿ
import　List

inEqvCl　::　Eq　a　=>　(a,　a)　->　[(a,　a)]　->　Bool
inEqvCl　_　[]　=　False
inEqvCl　(x,　y)　s
　　|　x　==　y　=　True
　　|　y　`elem`　ns　=　True
　　|　otherwise　=　any　con　ns
　　where
　　　　ns　=　map　snd　$　filter　((==x)　.　fst)　　exts
　　　　exts　=　s　++　map　(uncurry　$　flip　(,))　s
　　　　con　n　=　inEqvCl　(n,　y)　(s\\[(x,　n),　(n,　x)])

593:デフォルトの名無しさん
05/05/22 22:23:13
面白そうなのでオレもやってみた。

-- 同値類のリストを算出
classify :: Eq a => (a, a) -> [[a]] -> [[a]]
classify (x, y) [] = [[x, y]]
classify (x, y) (c : cs)
| x `elem` c = (y : c) : cs
| y `elem` c = (x : c) : cs
| otherwise = c : classify (x, y) cs

inEqvCl :: Eq a => (a, a) -> [(a, a)] -> Bool
inEqvCl (x, y) lis = (not . null) (filter (f x y) (foldr classify [] lis))
where f x y c = x `elem` c && y `elem` c

いろいろ最適化の余地があるが。

594:デフォルトの名無しさん
05/05/22 22:32:57
あ、>>593 間違ってるわ。これだと [(3, 4), (1, 3), (2, 4)] とかで
うまくいかない。

595:591
05/05/22 22:42:11
>>592-594

ありがとうございます。
やっぱり短く書けるんですね。

596:デフォルトの名無しさん
05/05/23 22:10:44
無限のリストだと止まらなくなるかな

597:シミュレーション板GPスレから来ました
05/05/24 01:12:59
PolyGP: A Polymorphic Genetic Programming System in Haskell
↑のプログラムソース PolyGP.tar って、uclのサイトから消えている様ですが、
どこかにバックアップないでしょうか?
よろしく、おながいします。

598:591
05/05/24 05:44:25
とりあえず問題が2つありました。

1. 反射的閉包なんで、inEqvCl (x,x) [] == Trueにならないといけない。

>>592さんのからinEqvCl _ [] = Falseを取り除けばOK。

2. (\\)は最初の1つしか取り除かないので、最初の集合に対称なものがあると拙い。

(\\)の代わりに下の(//)を使って対処。

(//) :: Eq a => [a] -> [a] -> [a]
xs // ys = [ x | x <- xs, x `notElem` ys ]

>>596
無限リストは今回は対象外なので問題ないです。(^^;

599:デフォルトの名無しさん
05/05/27 00:42:11
Haskellの配列の更新(//)は一部変更でも配列全部作り直したり
してるんですか？
リングバッファとかに使っても大丈夫ですか？

600:デフォルトの名無しさん
05/05/27 01:42:54
600

601:599
05/05/27 22:02:30
>>599
自己レス
URLﾘﾝｸ(d.hatena.ne.jp)
ここみるとだめっぽい感じでした

GCが仕事してくれること期待して
配列ガシガシ使い捨てにでもするか

602:デフォルトの名無しさん
05/05/27 22:21:03
いつまでたっても関数型のボトルネックだな＞配列・構造体
これが解決しない限り関数型が栄えることは無い

603:デフォルトの名無しさん
05/05/27 22:21:57
俺達でwadlerを唸らせる解を考えよう

604:デフォルトの名無しさん
05/05/28 01:00:55
配列も、マクロな視点で見ればただの変数に変わりない
だから、修正された瞬間複製するのが妥当な戦略だろう
しかし、オリジナルが参照されないとわかっているなら複製する必要ないから複製を省略する。
ここまで考えてふと思いついた。
すなわち差分をもっとけばいいんじゃないかと。
配列n番目更新しますた！更新しますた！という情報を各インデクス毎に持っとくわけよ
配列を全て更新しおわたとしても、またさらに更新するかもしれない
その場合はまたその差分を作るわけよ
するとどうだい？
差分として分解された各配列の要素はまるでりすｔ(ry

おれには難しすぎたようだ！

605:デフォルトの名無しさん
05/05/28 01:13:09
>>602
Uniqueness Typing

606:デフォルトの名無しさん
05/05/28 05:03:54
配列や構造体もモナドにしたら？

607:デフォルトの名無しさん
05/05/28 08:38:44
starray とかいうモナドがあると聞いたが
漏れは調べてないので諸君調べて報告してくれ

608:デフォルトの名無しさん
05/05/28 11:15:19
マクド

609:デフォルトの名無しさん
05/05/28 13:50:31
>>606
つIOUArray

610:デフォルトの名無しさん
05/05/28 14:11:18
伝説のモナド

611:デフォルトの名無しさん
05/05/28 14:23:54
ナボナ＠亀屋万年堂
URLﾘﾝｸ(www.navona.co.jp)

これのことでしょ？

612:デフォルトの名無しさん
05/05/28 20:20:45
>>607
それはスタレイました

613:デフォルトの名無しさん
05/05/28 20:52:42
>>28で紹介されているURLﾘﾝｸ(rrr.jin.gr.jp)のRWikiがNot Foundで見れません。

どうしたらよかとですか？

614:613
05/05/28 20:54:47
自己解決しました。
://pub.cozmixng.org/~the-rwiki/rw-cgi.rb にありました。

615:デフォルトの名無しさん
05/05/30 20:59:12
ハスケルを勉強したい時にはどうしたらいいですか？
日本語の丁寧なチュートリアル文献がありますか？
>>1のは難しいですよ

616:デフォルトの名無しさん
05/05/30 21:15:20
>>615
1. haskellで適当なコードを書く
2. -ddump-realCをつけてコンパイル
3. 1と2の結果を見比べる

617:デフォルトの名無しさん
05/05/30 21:46:39
>>615
URLﾘﾝｸ(www.geocities.jp)
とか。

618:デフォルトの名無しさん
05/05/30 22:05:26
>>616
これなかなか良いね。

619:デフォルトの名無しさん
05/05/30 22:21:34
>>615
URLﾘﾝｸ(www.sampou.org)
とかはどう？

620:デフォルトの名無しさん
05/05/30 22:29:19
>>616
Cに落とさなくてもcore言語レベルでいいんじゃない？

621:デフォルトの名無しさん
05/05/31 09:34:43
mona do !

622:デフォルトの名無しさん
05/06/02 00:38:18
monadius

623:sage
05/06/02 14:55:24
Hugsなんだけど

Main> -1 ってやると
-1

Main> ( - 1) 2 とやると

ERROR - Unresolved overloading
*** Type : (Num a, Num (a -> b)) => b
*** Expression : fromInt (-1) 2

　んん？(-) は単項演算子なのか！？

しかしMain> ( - ) 1 2 とやると
-1 とかえってくる。

(-)は二項演算子ってことになってるんじゃなかったのか！？

URLﾘﾝｸ(www.sampou.org)
>negate は Haskell では唯一採用された前置演算子です。
>これを (-) と書くことはできません。
>それは、こう書けば、減算関数になってしまうからです。

どうなってるの？＞識者の方々

624:デフォルトの名無しさん
05/06/02 15:56:22
-1
(- 1)
(- 1) 2
の - はnegateのことで単項演算子

(-) 1 2
((-) 1) 2
(1 -) 2
1 - 2
の - は二項演算子

625:デフォルトの名無しさん
05/06/02 17:54:00
>>624
それって上の引用の記述と矛盾してないかって事。

HugsはHaskell98モードでも再現したよ。
上の記述が古いのかHugsの独自仕様なのか、、、

実際-1と書けたほうが便利だけどね。

一瞬
「(\x -> x - 1) を自動的に -1 に変換してるのかHaskell凄えな」

と思ったけど
型が全然違うし。

626:デフォルトの名無しさん
05/06/02 19:21:51
括弧のついてない - はその直前に第1引数になるものがなければ単項演算子として解釈されるってだけなんじゃないの。

627:デフォルトの名無しさん
05/06/02 20:15:18
>>623
原文は
>negate is the function applied by Haskell's only prefix operator, minus; we can't call it (-), because ...
だから、誤訳かと。
一応報告しておいた。

628:デフォルトの名無しさん
05/06/02 23:01:09
>>625
>それって上の引用の記述と矛盾してないかって事。

どこが？

629:デフォルトの名無しさん
05/06/02 23:12:15
誤訳なのか？　"minus"が抜け落ちてるけど大意は変わらない気がするが。
単にセクションと単項のマイナスが構文上区別できなくて、その場合は単項マイナスの方を優先するってだけの話じゃん。
URLﾘﾝｸ(www.sampou.org)
より
> - は文法上、特別扱いで、(- exp) はセクションではなく、前節で説明したように前置の符号反転演算子の適用である。

630:623
05/06/02 23:25:28
誤訳か誤読かはともかく納得しますた。
これから安心して-1って書けるよ

631:デフォルトの名無しさん
05/06/02 23:27:07
最近すげぇ低レベルの話題ばっかなのは、
やっぱ新入生？？

632:デフォルトの名無しさん
05/06/02 23:31:21
ヒント：ネタ切れ

633:623
05/06/03 01:25:03
レベル低くてゴメンよ
配列の更新についてネタ振ったのも自分

学生じゃないけど
最近Haskellに挑戦してるのさ
初心に帰って楽しい。
ところでソースアップできるところないすか

634:デフォルトの名無しさん
05/06/03 01:35:40
>>629
>>623の表現だと単項マイナスが存在しないように読めるから、誤訳といっていいと思う。

635:デフォルトの名無しさん
05/06/04 14:08:09
33 名前：名無しさん＠毎日が日曜日 Mail：投稿日： 05/06/03 21:46:40 ID： M3Iswrux

type Dame = Human

jobHunting :: Dame -> [Company] -> Maybe Future
jobHunting _ [] = Nothing
jobHunting d (c:cs)
　| hasShokureki d = Just Saiyou
　| (age d) < 25 = Just Saiyou
　| otherwise = jobHunting d cs

636:デフォルトの名無しさん
05/06/04 18:42:44
>>602
そんな貴方に APLやJやKはいかが?
関数型言語スレで話題になってたと思うが、過去ログ倉庫入りかも。

637:デフォルトの名無しさん
05/06/04 21:35:16
APLやJやKは、関数型言語の源流というだけで、今更な言語。
APL挙げるくらいなら、KRCやFを挙げるよな、まともな人間なら。

638:デフォルトの名無しさん
05/06/04 21:56:08
Lisp -> ML -> Haskell ってながれじゃないの？

639:デフォルトの名無しさん
05/06/04 22:13:17
？
現在の関数型言語ブームの源流は、
Fortran、BNF、1977年チューリング賞受賞者John BackusのFL(F言語)
で　　す　　が　　何　　か　　？

640:デフォルトの名無しさん
05/06/05 03:19:55
い　い　え　何　も　？

641:デフォルトの名無しさん
05/06/05 04:13:34

Ｃ＋＋　　→　くそ
Ｃ　　　　　→　くそ
Ｊａｖａ　　→　くそ
Ｆｏｒｔｒａｎ　→　くそ
ＭＬ　　　　→　ゴミ
Ｈａｓｋｅｌｌ　→　ゴミ
Ｏｃａｍｌ　 →　クズ
Ｒｕｂｙ　　 →　クズ
Ｌｉｓｐ　　　→　クズ
Forth　　 →　クズ
λ-Ｃａｌ　　 →　アホ
π-Ｃａｌ　　 →　アホ
μ-Ｃａｌ　　 →　アホ
φ-Ｃａｌ　　 →　アホ

642:デフォルトの名無しさん
05/06/05 04:14:31
ｺﾋﾟﾍﾟうざ

643:デフォルトの名無しさん
05/06/05 04:24:33
>>637
関数型言語の源流というよりは、配列計算言語の源流でわ?
SとかRとか(SASとかSPSSとか)、影響うけてるでそ?

644:デフォルトの名無しさん
05/06/05 09:50:00
>>現在の関数型言語ブーム
え、今、ブ、ブームなんですか......　よい時代に生まれたことを感謝します。

645:デフォルトの名無しさん
05/06/05 10:06:10
空前のブームのため、Haskellプログラマは企業から引っ張りだこです。

646:デフォルトの名無しさん
05/06/05 10:17:20
>>645

　　／￣￣￣￣￣ミ
　 /　　 ,――-ミ
　/　　／　／　　＼ |
　|　 /　　　,（･）　（･） |
　 (6　　　　　　つ　　|
　 |　　　　　　＿＿_　 |　　／￣￣￣￣￣￣￣￣￣￣
　 | 　　　　 /＿＿/ ／　＜なわけねーだろ！！
／|　　　　　　　　／＼　　＼＿＿＿＿＿＿＿＿＿＿

647:623
05/06/05 16:30:18
とりあえずLha展開関数動いたよ。
URLﾘﾝｸ(www3.atwiki.jp)

だれかモナドを２つ以上同時に使う方法教えて下さい。

648:デフォルトの名無しさん
05/06/05 16:56:31
>>647
モナド変換子で合ってる。

649:623
05/06/06 01:12:37
URLﾘﾝｸ(www.sampou.org)
やっぱりこの辺りは避けて通れませんか。

モナドをやっつけたと思ったらまた難物が、、、

650:デフォルトの名無しさん
05/06/06 23:25:48
ええっと、haskellよりmathematicaの方が有能だしいいのでは関数型として？

651:デフォルトの名無しさん
05/06/06 23:33:24
放置。

652:デフォルトの名無しさん
05/06/07 05:06:03
Haskellで数式処理システム作ろう！とかいう噺があったやうな…?

653:デフォルトの名無しさん
05/06/07 05:44:29
>>649
こんどはＣＩＡか？

654:デフォルトの名無しさん
05/06/07 22:43:11
いや、FBIです

655:デフォルトの名無しさん
05/06/10 17:09:38
649>>URLﾘﾝｸ(haskell.org)に簡単なつかいかたとかあるよ。がんばれ!

656:デフォルトの名無しさん
05/06/29 17:18:46
WinXPにHugsを導入したんですけど、読み込みまでは行くみたいなんですけど
実行してみると結果が表示されません。
例えば
myfactorial :: Int -> Int
myfactorial n
| n == 0 = 1
| otherwise = n * myfactorial (n-1)
というファイルを読み込んで
myfactorial 5
と入力しても何も結果が表示されずに
Main>
という状態に戻ってしまいます。何か原因があるのでしょうか。

657:￢656
05/06/29 22:55:14
XPでやってみたところ、GUIのやつ(WinHugs)が駄目なようです。
オプションあたりが怪しいけどｻﾊﾟｰﾘ

658:デフォルトの名無しさん
05/07/04 22:20:14
ghcでControl.Monad.Readerをインポートすると
Monad ((->) r)のインスタンス宣言（中味はReaderと同じ）が
付いてくるっぽいんだが、いったいこれは何なんだ？
かなり便利だから積極的に使いたい気もするけど、
ドキュメントされてないみたいだし。

import Control.Monad.Reader

-- 3で割れて、かつ5で割れない自然数
t = filter (liftM2 (&&) ((==0) . (`mod`3)) ((/=0) . (`mod`5))) [0..]

659:デフォルトの名無しさん
05/07/04 23:50:56
Vital 使ってる人居ます？
URLﾘﾝｸ(www.cs.kent.ac.uk)

660:デフォルトの名無しさん
05/07/10 19:53:36
I/Oをマクロは解決しないか

661:デフォルトの名無しさん
05/07/11 23:39:29
FpLの抽象構文を拡張して、利用者定義関数が算術式と論理式とを混在してとることができるようにするにはどうすればよろしいですか？評価意味論を適当に拡張するらしいのですが・・・

662:デフォルトの名無しさん
05/07/11 23:40:00
名前呼びを用いると、ある式eに対してD,ρ├ e ⇒ A ｋとなる数字ｋが存在するけれども、値呼びを用いると、D,ρ├ e ⇒ A ｋとなる数字が存在しない宣言の例ってありますか？

663:デフォルトの名無しさん
05/07/12 07:34:27
まず元ねたを書け。話はそれから。

664:デフォルトの名無しさん
05/07/19 18:29:38
圏論の基礎　日本語訳　S.マックレーン
URLﾘﾝｸ(www.amazon.co.jp)

665:デフォルトの名無しさん
05/07/19 20:19:44
"Catefories for Working Mathematician" (働く数学屋のための圏論)　の題名が
「圏論の基礎」になっちまうんだとしたら、

"Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)"
の題名はどーなるんだ？
「一週間で判る！くもんしきけんろん (いちねんせいむけ)」か(笑

666:デフォルトの名無しさん
05/07/19 20:31:23
>>664
買っちゃった。

667:デフォルトの名無しさん
05/07/19 20:43:25
>>666
でどうよ？

>>665
"Basic Category Theory for Computer Scientists (Foundations of Computing)"
「圏論の超基礎」つうのもある・・・

668:デフォルトの名無しさん
05/07/19 20:47:40
"Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)"
「論理＆数学ラブ♥な人のための、カテゴリー・ロジックと型理論」
なんつう分厚い数学書も買うには買ったけど、これは完全に死蔵本だな、たぶん。

669:デフォルトの名無しさん
05/07/19 20:49:10
ってな意味で、いきなり訳書を読めるアンタ(>>666)、
幸せ者だぞｺﾞﾗｧ！！！

670:デフォルトの名無しさん
05/07/19 21:17:36
>>667
誤植が多いみたい。

671:デフォルトの名無しさん
05/07/19 22:24:11
誤訳じゃなくて誤植ってのが泣けるね。

672:デフォルトの名無しさん
05/07/19 23:39:47
「できる圏論」

673:デフォルトの名無しさん
05/07/19 23:40:57
モノイダル圏とか分からない件

674:デフォルトの名無しさん
05/07/21 16:22:11
URLﾘﾝｸ(www.sampou.org)
暇だからこれ読んでたんだが、ユーザ定義型のデータ構築子と型構築子の意味が分らん。
誰かなんかC,C++の似たような概念の用語で分りやすい説明キボンヌ。

675:デフォルトの名無しさん
05/07/21 18:51:43
データ構築子 <=> classのコンストラクタ
型構築子 <=> template

676:デフォルトの名無しさん
05/07/21 21:21:07
型構築子はtypedefでは？

677:デフォルトの名無しさん
05/07/21 21:34:50
typedef　は多相(総称？)型の定義ができんでしょ。

678:デフォルトの名無しさん
05/07/21 23:42:00
CやC++でプリミティブと言われてる型は、Haskellでは全て列挙型
という見方をするの？

data Int = -65332 | ... | -1 | 0 | 1 | ... | 65332
という例が載ってるけど、こんな感じに、
新たに型を作る。作られる型がデータ構築子
そのときに型のデータのインスタンスを列挙する。列挙されるのがデータ構築子。

こんな感じでいいのかな？頭悪くてすいませんねｗ

679:デフォルトの名無しさん
05/07/21 23:43:28
×新たに型を作る。作られる型がデータ構築子
○新たに型を作る。作られる型が型構築子

680:デフォルトの名無しさん
05/07/21 23:52:20
しかし新たに型を定義する式のためのキーワードがdataで、
Cのtypedef風なものにtypeが使われてるのはなんかちょっと違和感あるというか。
typeはいいとして、なんでdataなの？

681:デフォルトの名無しさん
05/07/22 00:54:47
>>680
データ型宣言だから、では駄目かい？

682:デフォルトの名無しさん
05/07/22 08:43:46
>>681
厨房臭いんですが、dataってのは納得できないですね。
それはまあいいとして、このスレはちょっとレベルが違いすぎるので、
初心者はこっちで質問することにしました。どうもです。

関数型言語Part IV
ｽﾚﾘﾝｸ(tech板)

683:デフォルトの名無しさん
05/07/22 08:52:28
言語に特有の質問なんだから、このスレのほうがいいんじゃないか？

684:デフォルトの名無しさん
05/07/22 13:15:03
SMLはtype　synonym宣言に'type'、データ型宣言に'datatype'を使う。
Haskellはそいつを参考にしたが、'datatype'は長いので'data'にした。
というのも考えられるかも。

685:デフォルトの名無しさん
05/07/22 13:45:51
OCamlなら全部typeで済ませられるぞ(逆に言うと宣言の見掛け上区別できない)。

686:デフォルトの名無しさん
05/07/27 20:28:46
Peyton Jonesの本が面白すぎて夜も眠れません。

687:デフォルトの名無しさん
05/07/28 01:59:51
HaskellからCleanに宗派変えてみる。

688:デフォルトの名無しさん
05/08/13 00:17:46
ここでは、こういうネタはスレ違い？
URLﾘﾝｸ(www.geocities.jp)

本家からもリンクされてる。
Monadius
A shoot 'em up game using OpenGL. Takayuki Muranushi also wrote a couple of other games in Haskell.
URLﾘﾝｸ(www.haskell.org)

689:デフォルトの名無しさん
05/08/26 17:04:35
_|_って何から来てるんですか？
数学？

690:デフォルトの名無しさん
05/08/26 18:12:56
>>689
うん

691:デフォルトの名無しさん
05/08/26 20:28:34
どの分野か教えてもらえますか？これも圏論？

692:デフォルトの名無しさん
05/09/06 17:46:57
越田先生＠東京工科大のレジュメ URLﾘﾝｸ(www.teu.ac.jp)

ってのは、今はどこで見れるの？

693:デフォルトの名無しさん
05/09/06 18:33:49
URLﾘﾝｸ(www.teu.ac.jp)
もう読めないのかも。Internet archiveにはあるか？

694:デフォルトの名無しさん
05/09/06 19:48:40
>>693
亡くなられたのか……まだ若いのに。

プログラム工学VI 授業関連資料
URLﾘﾝｸ(web.archive.org)

695:デフォルトの名無しさん
05/09/07 00:28:33
>>693
うへー、マジカヨ。
ご冥福をお祈りいたします。

696:デフォルトの名無しさん
05/09/07 00:32:24
貴重な(ry

697:デフォルトの名無しさん
05/09/07 01:58:27
この人のチュートリアルをどこかにページにそのままうｐしたらまずいのかな？
需要はかなりあると思うのだが。

698:デフォルトの名無しさん
05/09/07 14:24:35
それより誰かが成書に仕上げて印税が遺族に行くようにできるとよいな。

699:デフォルトの名無しさん
05/09/07 19:19:39
おいおい越田先生、死んだのかよ。面識なんてもちろんないけど
チュートリアル何度も読んでたから、泣けてくるじゃネーか
合掌(-人-)

700:デフォルトの名無しさん
05/09/13 02:08:53
>>693
ひさしぶりに覗いたら悲しい知らせが。
南無。　そしてありがとう。

701:デフォルトの名無しさん
05/09/15 09:54:51
URLﾘﾝｸ(mono.kmc.gr.jp)

702:デフォルトの名無しさん
05/09/16 03:51:24
Ruby 2.0 勝手に実装してくれよ

703:デフォルトの名無しさん
05/09/16 04:46:06
実装できるほどの仕様が決っていないのでは?

704:デフォルトの名無しさん
05/09/19 17:14:40
ここでPugsの話題が出ないのが謎
本家よりずっと先にリリースって、すげーと思わない？

705:デフォルトの名無しさん
05/09/21 02:03:18
すげー過疎

とりあえずVersion　6.4.1リリースage

706:デフォルトの名無しさん
05/09/24 00:34:03
引数のパターンマッチング
guard
if-then-else
case-of

って基本的には同じですか？

707:デフォルトの名無しさん
05/09/24 01:44:59
引数のパターンマッチングと case-of はほとんど同じと考えてよい。
if とパターンマッチは違う。

パターンマッチには真理値で条件を与えることができる。これはガード部とか
言われる。 guard がそのことを指して書いたのであれば、 if と似ていると
は言えるかもしれない。

guard 関数はぜんぜんまったく関係ない。

708:デフォルトの名無しさん
05/09/24 11:29:13
if b then t else f
は
case b of {
　　True -> t;
　　False -> f;
}
の省略記法。この意味では同じといえると思う。

709:デフォルトの名無しさん
05/09/24 16:38:46
その4つは束縛変数を導入できるかという点で区別することもできるね。

710:デフォルトの名無しさん
05/09/24 19:55:50
ここにいる奴って、普段何してるんだよ

haskellでオナニーできてるか？

711:デフォルトの名無しさん
05/09/24 21:19:20
昨日STGで2回…

712:デフォルトの名無しさん
05/09/24 23:20:51
monadﾀｿ(;´Д`)ﾊｧﾊｧ

713:デフォルトの名無しさん
05/09/26 18:07:59
★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くな★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だぁい好きなあの人に告られたり、
成績がどんどん良くなって、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回っ★～彼方の願い星～★
このレスを見た人は、超ラッキーな人♪
でも、このレスを見ただけじゃ何も起らないよ。
効果を実感したいなら、このレスを５回違うスレにレスしてね♪
だ
これが本物の、初代ＨＡＰＰＹメールです♪ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪って、先生に褒められちゃったり．．．。
次々とＨＡＰＰＹな事が訪れます♪
此の頃変なのがいっぱい回ってますが、これは本当です!!
これが本物の、初代ＨＡＰＰＹメールです♪

714:デフォルトの名無しさん
05/09/28 23:39:39
Emacsのハスケルモ～ドって使いにくくないですか?
特にインデントが何回も叩かないと希望の位置にこない。

715:デフォルトの名無しさん
05/09/29 00:00:52
haskell-mode、出来はすごく良いと思うけど。
インデントはすくなくとも手で揃えるより楽だし、ローテートしてくれるのは良いよ。
関数定義も補完してくれるし。
ただcase ～ of のインデント位置のポリシーだけは気にいらないな。あれは of の前で改行することを想定しているのだろうか。

716:デフォルトの名無しさん
05/09/29 00:29:05
そうですか。もうちょっと頑張って使い込んでみます。
あと、M-x turn-on-haskell-hugs して C-c C-l するとEmacsが固まって
C-g打つまで帰ってこなくなるんですが、何か設定が必要なのでしょうか?
Hugs.Base>
というプロンプトで一回 :load して、プロンプトが
Main>
になった後はすんなり動くんですが。

Emacsのバージョンは21.3です。

717:デフォルトの名無しさん
05/09/29 01:20:23
Haskell-modeは優秀だと思う。

718:デフォルトの名無しさん
05/09/29 01:40:00
>716
そういう症状は体験したことがないなあ。自分はおおむね
URLﾘﾝｸ(www.haskell.org)
のように設定している。
でも最近はもっぱら ghci で hugs を使ってませんねぇ。

719:デフォルトの名無しさん
05/09/29 12:16:49
716ですが原因を特定しました。

私の環境ではhugsを起動した直後のプロンプトは
Hugs.Base>
なのですが、huskell-hugs-start-processでcomint-prompt-regexpに設定する
パターンが"^\? \\|^[A-Z][_a-zA-Z0-9]*> "となっていて
ドットを含まないためのようです。これを修正すると問題は解消しました。
(せめてdefvarしていて欲しかった……)

hugsもhaskell-mode.elもFreeBSDのportsで入れたのですが、みなさんの
hugsではプロンプトは別の文字列なのでしょうか?

720:デフォルトの名無しさん
05/09/29 20:46:48
>719
少し前(200311_1)には
Prelude>
だったが、今は確かに
Hugs.Base>
になってるね。

721:デフォルトの名無しさん
05/09/29 22:28:13
Haskell 使おうっと思ってんだけど、サンプルプログラムがなきゃ分からん。

いきなり Pugs, Rtype, Monadius だと手ごわすぎるので、もうちょい下のレベルで、
おすすめを教えて頂戴。

ウェブアプリを作ることがほとんどなので、Wiki, Blog(Diary), BBS 辺りが理想なんだけど。

722:デフォルトの名無しさん
05/09/29 22:57:36
>>721
俺は特に何かをお薦めする程わかっちゃいないが、取り合えず
URLﾘﾝｸ(www.haskell.org)
を紹介しとく。

723:デフォルトの名無しさん
05/09/29 23:04:55
>>722
さんきゅ。

とりあえず、

Flippi: a Wiki clone written in Haskell
URLﾘﾝｸ(www.flippac.org)

でも見てみるよ。

724:デフォルトの名無しさん
05/09/30 11:39:06
「連載: Haskellプログラミング」のメモ化のところがよーわからん。
State s t、withState、bindStateのところで詰まってしまった。
誰か日本語でわかりやすく説明して!

725:デフォルトの名無しさん
05/09/30 17:42:10
Stateモナドの知識がないと難解だと思う。

type State s t = s -> (t, s)
というのは、現在の状態を受け取って新しい状態とさらに何かを返す関数。
だから、State s t型の値を「状態を変更してついでに値を生み出す仕掛け」と見ることができる。
ここで、「状態を変更せずに常に決められた値xを生み出す仕掛け」は

\state -> (x, state)

と書ける。これがwithState x。
一方、「起動されたとき仕掛けxと仕掛けyが順に起動されたかのように振る舞う仕掛けthenState x y」は
次のように定義できる。

thenState :: State s a -> State s b -> State s b
thenState x y = \s0 ->
　　let (_, s1) = x s0 in -- xに初期状態s0を与えて起動、中間状態s1を得る。xによって生成された値は無視。
　　y s1 -- yに中間状態s1を与えて起動、終状態と値の組を得る。これはそのまま合成されたしかけの戻り値となる。

thenStateではxによって生成された値を無視したが、この値に基づいて
次に何をするか決めることができないと面白くない。そこで、yとして単なる仕掛けではなく、
「xによって生成された値を受け取って仕掛けを返す関数」を渡すことにする。

bindState :: State s a -> (a -> State s b) -> State s b
bindState x y = \s0 ->
　　let (result, s1) = x s0 in -- xを起動し…
　　(y result) s1 -- …次に(y result)を起動

726:デフォルトの名無しさん
05/09/30 22:49:12
すごくわかりやすい! あなたとても賢いね。
どうもありがとうございました。

State s t を状態遷移図での状態aから状態bへの矢印とイメージしました。
withState x は、状態遷移図で状態aから同じ状態aへ戻る矢印(出力x)ですね。

727:デフォルトの名無しさん
05/10/01 11:13:33
Haskell はなかなか自分の思い通りにかけるようにならない orz

728:デフォルトの名無しさん
05/10/01 14:23:21
Cとかと違ってプログラマのほうに能力がないと何もできんよな……

729:デフォルトの名無しさん
05/10/01 20:48:54
Haskellで書くとバグがなくなると聞いたんですが本当ですか？

730:デフォルトの名無しさん
05/10/01 22:48:41
バグは出にくいが慣れないうちは普通にコンパイルを通すだけで苦労する。

731:デフォルトの名無しさん
05/10/01 23:21:49
>>729
俺も最初はランタイムエラーは絶対出ないものと思ってたけど
guardとかの場合わけ漏れとか
パターンマッチの不整合エラーがたまにある、、、

ぬるぽとかと比べて感覚的に頻度少ないけどね。

732:デフォルトの名無しさん
05/10/01 23:59:39
>>729
いいえ

733:デフォルトの名無しさん
05/10/02 00:42:37
整数をゼロで割ると実行時エラーになるし。

完全でないパターンマッチは、ghcなら警告を出させることもできるから、
あとはプログラマの問題という気がするが。

734:724
05/10/02 05:03:11
「連載: Haskellプログラミング」の9月号分を読んで
なんとなく理解したところでは
Haskellで評価の順序を強制するためにはCPSのように書くことが必要で、
Monadは継続に付加情報を(連続的にというか玉突き的にというか)持ち回る道具、
do構文はそれを手続き型のように書く構文、
というところだろうか?

735:デフォルトの名無しさん
05/10/02 08:35:39
Monadは全てを記号論的に処理する枠組み
doは状態遷移を隠蔽するモナド関数
で合ってる？

736:デフォルトの名無しさん
05/10/02 09:44:07
>>734
Stateモナドについてならその理解でいいと思う。
ただし、モナドの意味論は個々のモナドでかわる。モナドそのものは
「do記法で書くことのできるひとまとまりの計算の構成を支援するもの」くらいではないかな。
たとえばIOモナドは副作用が存在しうるような場合の計算の順序の保証する。
Maybeモナドは途中でNothingになるかもしれない計算のまとまりを構成する。
などなど。

あとは「モナドのすべて」を読むといいと思うよ。
URLﾘﾝｸ(www.sampou.org)

737:デフォルトの名無しさん
05/10/03 20:52:08
　　　 /＼
　　／　　＼　　今このとき,モナドは立ち上がる
　　 /∧＿∧　＼　　　　
　／（　´∀｀）　 /＼
　＼（　　　　）／　　＼　　　
　　＼　　　/ 　　　＼
　　　　＼／　　　　　　＼
　　　　　　　　　 ∧∧∧∧＼
　　　　　　　　　（　 ´／）　））ヽ∧
　　　　　　　　／　／　　/ ´∀） ∧∧
　　　　　　 ○(　　ｲ○　（　　　,つ, ,ﾟДﾟ) 　
　　　　　　　／ヽ　 )）ヽ　 )ヽ　)と　　, ｲ
　　　　　　（_／（_/(_／（_/ﾉ（_/⊂ﾉ> )Ｊ
　　　／￣Y￣｀|/￣＾Y￣ヽ/￣￣Y

738:デフォルトの名無しさん
05/11/01 01:17:46
純粋関数型言語を業務で使ってみたい。

739:デフォルトの名無しさん
05/11/01 01:23:35
ぜひ使ってくれ

740:デフォルトの名無しさん
05/11/02 01:11:11
あなたの業務が研究・教育ならいくらでも…

741:デフォルトの名無しさん
05/11/03 10:35:10
hasktags って使える？
誰か、 GHCmacs でも作ってくえ。

742:デフォルトの名無しさん
05/11/12 10:24:33
行列をhaskellで実装する場合、単位元ってモナドで表現する？

743:デフォルトの名無しさん
05/11/12 19:00:45
連載　Hakellプログラミングの８月号にのってる
両替問題の最初でつまづいてしまいました。

cc ::Amount -> [Coin] -> Count
という関数を
a < 0でないとき
cc a (c:cs) = cc (a-c) (c:cs) + cc a cs
と定義してますが、なぜこれで指定した金額aの両替の組み合わせ個数になるんですか？

初歩的な質問で済みませんが教えてください。

744:デフォルトの名無しさん
05/11/12 19:11:23
>>743
貨幣cを一つ以上使う場合の数は、cを一つ使った後の両替を考えて、cc (a-c) (c:cs)
貨幣cを一つも使わない場合の数は、cc a cs
この和が求めるものになる。

745:デフォルトの名無しさん
05/11/12 19:30:54
>>744
なるほど。
うまく考えるものですね。
ありがとうございました。

746:デフォルトの名無しさん
05/11/12 20:31:08
簡単な例を作るといいよ
10円を 5円と 1円で両替して樹形図を書く

747:デフォルトの名無しさん
05/11/12 21:27:57
高校でやったろ? 順列と組み合わせ。

748:デフォルトの名無しさん
05/11/12 21:38:52
>>747
お前がいまやってるんだろ？ww

749:デフォルトの名無しさん
05/11/13 02:16:56
母関数を使えば簡単に計算できるのに

750:デフォルトの名無しさん
05/11/13 09:14:43
>>748
今頃やってるとしたら遅すぎると思うんだが。
夏頃やってたような。昔の記憶だが。

751:デフォルトの名無しさん
05/11/13 22:17:02
>>749
母関数から特定の項を取り出す手間とボトムアップに解を構成する手間はいっしょ

752:デフォルトの名無しさん
05/11/14 06:49:45
>>751
母関数から特定の項を取り出すのは紙と鉛筆で簡単にできるでしょ。
わざわざプログラムなんて書く必要もない。

753:デフォルトの名無しさん
05/11/14 20:09:53
>>752
詳しく頼む。

俺は Polya の本にその母関数の一般項の計算には DP を使うと書いてあったので、無理だと思ってたんだが。

754:デフォルトの名無しさん
05/11/14 23:45:35
>>753
組み合わせ論の入門書やConcrete Mathに出てるようなんじゃだめなの？

755:752
05/11/15 00:16:35
>>754
Concrete Math の p.331 から 2 ページくらいで計算されてるやつ？

この例の最初のところに「一般の効果の場合に計算するのはとても難しい」とあるし，
その下で計算されてる {1, 5, 10, 25, 50} の特殊例においても「trick」と称される
計算をしないといけないし，さらに，最終結果に残ってる A_k は多項式を実際に展開しないと求まらない．

というわけで，これは一般性が無いという意味で >>744 が母函数から簡単に出るという
説明にはなってないし，特殊例を含めても >>752 の「簡単」ってのはどうかと思う．

コレじゃないならポインタください．

756:デフォルトの名無しさん
05/11/15 21:19:55
Haskellのデータ構築子が非正格なのは便利なんだけど、
一般の関数が非正格で嬉しいことってある？
デフォルトで正格でも良いような気がするんだが。

757:デフォルトの名無しさん
05/11/15 21:44:13
以下の二つが大きいそうだ
・相等性についての議論が楽になる(単純に置換するだけでOK)．
・制御構造を自分で設計できる．
　cond　p　x　y　|　p　　　　　　　　　=　x
　　　　　　　　　　　　|　otherwise　=　y　　　　　　　　　　　
　recip　x　=　cond　(x　==　0)　0　(1/x)
　は正格なら　recip　0　=　bot,　非正格なら　recip　0　=　0．

758:デフォルトの名無しさん
05/11/15 22:37:48
>>757
反応ありがとう。

>・相等性についての議論が楽になる(単純に置換するだけでOK)．
なるほど。気付かなかった。
でも、現状だとIntのaccumulator引数付きのちょっとした末尾再帰関数なんかを書くたびに
明示的に正格評価を指定しないとパフォーマンスに打撃があるわけで、
「議論が楽になる」って利点はこのコストに見合うんだろうか。

…などと思うのは俺が言語を使うだけの立場だからかな。

>・制御構造を自分で設計できる．
これはどちらかというと特殊なケースだから、非正格をデフォルトにする理由としては弱いと思う。

759:デフォルトの名無しさん
05/11/15 22:56:10
もともとは研究者の研究者による研究者のための言語だから、
コストパフォーマンスより性質を重視してるんじゃない？
ていうか、非正格の言語を統一する目的で作られた言語だしね。

正格がデフォルトの言語はMLを始めすでにいっぱいあるから
そっちを使ったらどうかな。

760:757
05/11/15 23:37:37
>>758
俺は前者も後者も重要と思ってるんだけどね。まあとりあえず前者について少し強く推しておく。

「three x = 3 」と定義したときに、「 2 + three x == 5 」が成立するかどうかを判定することを考える。
これを非正格に評価するとthree x を単純に 3 に置き換えて 2 + 3 == 5 にして、成立する、と結論が出るんだけど、
正格評価だと、x が絶対 bot にならないなら成立、そうでないなら不成立、というようにドメインまで考えないと駄目になる。

特に函数が複雑に組み合わさってる場合に、どこかで bot になる可能性があるとかそういうことを考えるのはしんどいし、
上の函数でもそうだけど、 bot 以外で成立、とかいうのは本質的に成立にしちゃったほうが有意なケースが多いんだわ。

761:デフォルトの名無しさん
05/11/16 00:02:49
相等性？(0.6 + 0.000000000000000041) == 0.6
浮動小数は代数的ではないとはいえ、言語的にこれでいいでしょうか？

次ページ