読者です 読者をやめる 読者になる 読者になる

だまんです。

プログラミングや写真や本や読書会のことや、日常のこと。

めも: Narrowingとか

3.13.4 Programming † Often, programming with variables leads to conceptually simple, terse and elegant code at the cost of an acceptable loss of efficiency. The logic variables of a program and/or a query are not much different from the va…

やっとCurryらしい説明がでてきた気がする

本日翻訳したCurryチュートリアルより: 3.5.4 非決定論的関数 関数はさらに非決定論的にも書けます。非決定論的「関数」は、数学での関数とは意味が違ってきます。なぜなら複数の違う値を、同じ入力に対して返すことがあるからです。たとえば病院の案内シス…

「parallel conjunction」ってなんじゃ。「constrained」ってなんじゃ。

さっき、でぽん(id:mac_de_pon)が翻訳してくれたところを読んでたら Description Ident. Fix. Prec. Type Boolean equality == 4 a -> a -> Bool Constrained equality =:= 4 a -> a -> Success Boolean conjunction && R 3 Bool -> Bool -> Bool Boolean di…

MCCの構成を眺めていきたい

ソースなんて、ふつうは全文読破する必要ないのかもですが。とはいえ、そもそもMCCの動作のフローがさっぱりなので、せめて、ざっくりとでも全体像はつかみたい。 で、おもむろにコンパイルにつかったフォルダ「curry-0.9.11」を開いてみたんですが…。 あれ……

「入門Haskell」途中まで読んだ

やっと、ちょっとは書けるようになった。HaskellといいつつMCCのcyiで動かしてんだけど。 rev :: [a] -> [a] rev [] = [] rev (x:xs) = (rev xs)++[x] rev> [rev[x1,x2]|x1<-[1,2,3],x2<-[1,2,3],x1/=x2] [[2,1],[3,1],[1,2],[3,2],[1,3],[2,3]] とか。 ちな…

思わぬところでXcode 3.1が必要に

きょう、 $ sudo port -Rv install ghc を実行したら、なぜかひっかかった。 エラーメッセージ見たら On Mac OS X 10.5, ghc 6.10.3 requires Xcode 3.1 but you have Xcode 3.0. だそうな…。(うぜえ…。) しょうがないので、Xcodeを3.1にアップデートするこ…

ひさしぶりに翻訳

ひさしぶり、半月ぶりくらいにJCUG Wikiのチュートリアルをいじった。 また、同じ関数で、真偽値を、(初期的には不明な)引数と比較できます。: However, we can do more and use the same functions to compute Boolean values for some (initially unknown)…

やばい!JCUGの和訳プロジェクト進められてないよ!

連休のあいだに英訳ができちゃったらしい。 うひょー!GWに、おれがクルマの後部座席で眠りこけたり、うどん食ったり、たこ焼き食ったり、お好み焼き食ったりしてるあいだに…。 ネット、こえー。 …とかいってる場合じゃないわけですよ! 若干似たようなこと*…

@2bbbにトキメキ, ノイズ, アイドル, ポカリを使った総ての組み合わせを返す…

@2bbbに トキメキ, ノイズ, アイドル, ポカリを使った総ての組み合わせを返すHaskellプログラムを書きなさい とかいわれても頑張る気力がないので、さっさとごめんなさいして、残念なコードを書きました。 noiseidol = [(w1,w2,w3,w4) | w1 <- ["tokimeki","…

みんなの翻訳

みんなの翻訳というサービスがスラドで紹介されていた。 Web上の多様な情報源をシームレスに活用できる翻訳支援エディタ「QRedit」と、 翻訳コミュニティ支援と翻訳情報発信基盤、 翻訳メモリ共有といった翻訳者支援および翻訳情報共有の基盤メカニズム、 さ…

たまには勘違いししたっていいじゃない。

僕ら, 凄いカッコいい事を言ってるんじゃなかろうか! そうだ、そうに違いない。 じっさい現在のJCUGに足りないのは1年ぐらいのスパンの中期的な目標。D@iはちょっと壮大すぎるし。チュートリアルは「終わり」が見えすぎている上に、サイエンス的な新規性が…

高専カンファレンスLTで発表予定のプレゼン(kosenconf-006tokyo)

http://die-at-india.g.hatena.ne.jp/keyword/%E9%AB%98%E5%B0%82%E3%82%AB%E3%83%B3%E3%83%95%E3%82%A1%E3%83%AC%E3%83%B3%E3%82%B9LT(kosenconf-006tokyo) を、急遽「はてなグループ」ごと無断で作り、発表することにした。(Keynoteがない的な理由で。) tw…

華麗にrev.curry

インストールは前回した。今回こそサンプルプログラムを動かす。というわけでTerminalを起動。 ダウンロードしちゃう $curl -LO http://www.informatik.uni-kiel.de/~mh/curry/examples/rev.curry cyiを起動する。 $cyi と打ち込むと、cyiが起動してPrelude…

Curryにへんしん!

とりあえずインストール 環境はInterl Macなのですが、 埋もれた日々の足音.tar.gz » ヘタレCurry奮闘記 インストール編 115,781 に従えばいいらしいと言われた。 で、ここまでやったところで、 まずは,AquaCurryのページへ行って,Downloadから.AquaCurry…

Creative Commons License ©2007-2016 IIDA Munenori.