30分プログラム、その799。anarchy golf - Buffaloにインスパイアされました。 "Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo"という文法的に正しい英文を出力するプログラムです。 使い方 16> buffalo:main(). "Buffalo buffalo Buffa…

30分プログラム、その798。数字から漢数字への変換をやってみました。 1以上1億未満の数字にのみ対応してます。 使い方 *Main> kanji 10 十 *Main> kanji 42 四十二 *Main> kanji 12345 一万二千三百四十五 ソースコード import qualified System.IO.UTF8 as…

Scala座で発表するはずのスライドの作成状況が危機的になっております。 というわけで、明日(8/31)に名駅付近でもくもく会をやります。暇な人とか、逆にタスクがいっぱいある人とかは、一緒に作業しましょう。 いっしょに夏休みの宿題をかたづけましょう。 …

CoqUn2010View more presentations from mzpi. 強者の集うCoq庵 : ATNDで無謀にも発表してきました http://www.ustream.tv/recorded/9222006に動画もあるらしいです。怖くて確認できてないですけど。

OCamlミーティングが終った直後であれですが、来週9/4(土)にScala座というイベントがあります。 「Scalaあるところにkmizuさんあり」と評判のkmizuさんも来るので、暇な人もそうでない人も来るといいと思います。 ちなみに、ボクも空気を読まずにScalaで型推…

名古屋開催だったのに東京の人が多くて驚いた 第一級モジュールの話はよくわかんなかったですけど、すごそうな気がしました OCamlTシャツありがとうございます ラムダプラスありがとうございます

OCamlAPISearchの紹介View more presentations from mzpi.OCamlMeeting 2010 NagoyaでOCamlAPISearchのLTをしてきました。半年前に書き捨てたコードなので、よく覚えてなかったです。もうちょいコード読んで記憶を取り戻してから発表に挑むべきだった気がし…

30分プログラム、その797。anarchy golf - Carriage no returnにインスパイアされました。 使い方 - no_return "abc\ndef"; val it = "abc\n def" : string ソースコード fun lines s = String.tokens (fn c => c = #"\n") s; fun unlines xs = String.conca…

30分プログラム、その797。anarchy golf - Roman numeralにインスパイアされました。 ローマ数字をIntに変換します。面倒だったので、I,V,Xにしか対応していません。 使い方 scala> Roman.toInt("II") res39: Int = 2 scala> Roman.toInt("IIV") res40: Int …

30分プログラム、その796。anarchy golf - Substract from a Googolにインスパイアされて、Googolからの引き算をやってみます。 きっと、32bitの整数しか扱えない処理系でやるとエキサイティングなんでしょうけど、Gaucheだとあっさりできてしましました。ス…

30分プログラム、その795。anarchy golf - asunderにインスパイアされました。 入力中のアルファベットの出現回数を数えます。たぶん暗号解読に便利な頻度表の作成に便利なんじゃないですかね(適当)。 使い方 $ echo abc | python asunder.py A: 0 B: 0 C: 0…

30分プログラム、その794。id:mzp:20100814:bwtの続きでブロックソートの復号。 ブロックソート - Wikipediaには『復号は簡単』って書いてあったけど、普通に難しかったよ! あとなんかキレいに書けなかったよ! 使い方 $ perl block_sort.pl 3 ccoaa cacao ソ…

30分プログラム、その793。anarchy golf - BWTにインスパイアされて、ブロックソートによる符号化にチャレンジしてみました。 復号は明日やります。 使い方 1> bwt:bwt("cacao"). {3,"ccoaa"} ソースコード -module(bwt). -compile([export_all]). shift(N, …

30分プログラム、その792。anarchy golf - delete wordsにインスパイアされました。 使い方 *Main> deleteWord "golf" "flogwaiurhgm" " waiurh m" ソースコード replace :: Eq a => a -> a -> [a] -> [a] replace _ _ [] = [] replace old new (x:xs) = if …

Proove Mark&Sweep GC with CoqView more presentations from mzpi.CSNagoya 第5回GC本読書会 - nariさんスペシャル - : ATNDでだらだらとLTしてきました。Coqのコードは少なめにして、Coqの魅力について語るのを目標にして作ってみました。が、もうちょい練…

30分プログラム、その791。anarchy golf - Duplicate charactersにインスパイアされました。 使い方 - dup_str "hello";; val it = "hheelllloo" : string ソースコード fun dup [] = [] | dup (x::xs) = x :: x :: dup xs; fun dup_str str = String.implod…

30分プログラム、その790。AAがZのあとにでてくるExcel順ソートを書いてみました。 Excelの列ラベルはZのあとにAAがでてくるから、辞書順ソートじゃうまくいかないよねー、というお話。[twitter:@ueda51]さんのつぶやきにインスパイアされた気がするけれど、…

um2010 - OCaml.jp 去年は東京で開催されたOCamlMeetingですが、今年は名古屋で開催されるそうです。上記URLでプログラムも公開されていますが、かなり豪華なことになっています。 http://igeta.cocolog-nifty.com/blog/でおなじみのF#のいげ太さん。Windows…