history

青木日記 RSS

<前の日 | この月 | 次の日>

2003-05-09

RHG 読書会

そういえば予告を書いたことはないような気がする。 明日土曜日に第 5 回ですよー。範囲は 12 章から。 特に混んでるわけではないので飛び入りでも余裕でいけます。

そういえば場所を書いたページって RWiki くらいしかないんですね。 新宿・曙橋の(株)タイムインターメディアの会議室を借していただいてます。 場所は以下のウェブサイトの地図を見てください。

SKKにて

▽おーむ [SPC]
▼Ω [SPC]
▼王蟲

王蟲?!

href 0.1

ここ数日の成果。

% href
Control.Exception Control.Monad Data.Char Data.List
System.Directory System.Environment System.IO Text.Regex
 
% href fold
Data.List.foldl Data.List.foldl1 Data.List.foldr Data.List.foldr1
 
% href foldr
Data.List.foldr
foldr (f init xs) :: (a -> b -> b) -> b -> [a] -> b    PRELUDE
 
    xs の最後の要素と init から始めて、
    xs の後ろから二番目の要素と最初の返り値、
(以下略)
 
% href Dat
Data.Char Data.List
 
% href Data.List
---- module Data.List
!! ++ \\ all and any break concat concatMap cycle
delete deleteBy deleteFirstsBy drop dropWhile elem elemIndex
elemIndices filter find findIndex findIndices foldl foldl1 foldr
foldr1 genericDrop genericIndex genericLength genericReplicate
genericSplitAt genericTake group groupBy head init inits insert insertBy
intersect intersectBy intersperse isPrefixOf isSuffixOf iterate
last length lines lookup map mapAccumL mapAccumR maximum
maximumBy minimum minimumBy notElem nub nubBy null or partition
product repeat replicate reverse scanl scanl1 scanr scanr1
sort sortBy span splitAt sum tail tails take takeWhile
transpose unfoldr union unionBy unlines unwords unzip unzip3
unzip4 unzip5 unzip6 unzip7 words zip zip3 zip4 zip5 zip6
zip7 zipWith zipWith3 zipWith4 zipWith5 zipWith6 zipWith7
 
% href Data.L cyc
Data.List.cycle
cycle (xs) :: [a] -> [a]    PRELUDE
 
    リスト xs の最初と最後をつなげ環状にしたリストを返す。
(以下略)

とまあ、見ての通り Haskell 版の ReFe です。

プログラム書くのもかなり苦労しましたが、 リファレンスマニュアルを書くのも結構苦労しました (笑)

つーわけで、欲しい人はもってってください。

本日のツッコミ(全4件) [ツッコミを入れる]
たむら (2003-05-09 10:23)

そういえば、「鶴瓶(つるべ)」も一発変換ですた>SKK

なかだ (2003-05-09 11:52)

cannaでは「おうむ」です。

あおき (2003-05-09 23:18)

結構変なもんが変換できますよね。
「なか卯」とか。

はら (2003-05-12 12:35)

すんばらしー!まさにこういうのが欲しかった。(まだ動かせてないですが。)

名前
メールアドレス

<前の日 | この月 | 次の日>
2002|04|05|06|07|08|09|10|11|12|
2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|04|05|06|09|10|
2009|07|
2010|09|

Copyright (c) 2002-2007 青木峰郎 / Minero Aoki. All rights reserved. LIRS