解答・コメントを送る方法
コメントを送るには2つの方法があります。
- 匿名でコメントを書くログインせずにコメントを書くことができます。 名前は「匿名」となります。
- アカウントを作成してコメントを書くアカウントを作成すると、記名での投稿ができます。 また、プロフィールページが作成され、 簡単なプロフィールや 統計情報が表示されるようになります。
投稿ボタンを押す前に以下の文章を確認してください
- 当サイトへの投稿は クリエイティブ・コモンズ・ライセンス BY(表示)および、その解釈に同意するものとみなされます。各ページには下のようにライセンス表示が行われます。
- あなたの投稿したコード・コメント・トピックが再利用・添削されることを望まない場合は、投稿をお控えください。
- 自分が書いていない、ウェブサイトや書籍などからの無断コピーは著作権の侵害です。著作権者の了解を得るか、自分で0から書いてください。
- 著作権の侵害、名誉毀損、など投稿内容に問題がある場合、削除することがあります。
- これらのことにあなたはあらかじめ同意したものとみなされます。
Post comment
Post a comment to the following challenge:
与えた条件を満たす候補
(Nested
Flatten)
As a reply to the following comment: mz: (#2526) [show]

mz #2526() [ Clean ] Rating-1/1=-1.00
module xop import StdEnv;($) infixr 1;($) a b :== a b;(>>.) infixl 0;(>>.) a b = \ w -> (\ (_, w) -> b w) (a w);(>>=) infixl 0;(>>=) a b = \ w -> (\ (x, w) -> b x w ) (a w);liftM m :== \ lst -> \ w -> (m lst, w);join del [x:xs]= (toString x) +++ del +++ (join del xs);join _ [] = "";putStr str = \w -> (stdio >>= liftM ( fwrites str) >>= fclose) w;Start w =snd $ main w; main = putStr $ join "\n" $ map (join ",") $ xop [And, Or, Not, And] tf = [True, False] :: XopOp = And |Or |Not xopisNot Not = True xopisNot _ = False xop :: [XopOp] -> [[Bool]] xop oplis = foldl (\ knil x -> if (xopSatisfaction oplis x ) [x:knil] knil) [] $ crossProduct $ take n $ repeat tf where n = length oplis + 1 - length (filter xopisNot oplis) xopSatisfaction x org= lp x org where lp [And:Not:xs] [y:y2:ys] = lp xs [y && (not y2):ys] lp [And:xs] [y:y2:ys] = lp xs [y && y2:ys] lp [Or:Not:xs] [y:y2:ys] = lp xs [y || (not y2):ys] lp [Or:xs] [y:y2:ys] = lp xs [y || y2:ys] lp [] [y:ys] = y lp _ [] = abort "test" crossProduct x :== cp [] x where cp knil [[x:xs]:ys] = (cp knil [xs:ys]) ++ cp [x:knil] ys cp knil [[]:ys] = [] cp knil [] = [knil]Rating-1/1=-1.00-0+
[ reply ]