トップ 最新 追記

じじぃの日記、ツッコミ可

Twitter: @jijixi_org
Xbox Live: jijixi

初心者が書いた OCaml 入門
Spotlight tips サイト内リンク集
1970|01|02|
2003|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|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|11|
2011|05|
2012|01|

2006-10-01 [長年日記]

% [clip] 「otsune 氏は mohta2.0 ないしは void2.0 である」 (某日記)

新事実。でも妙に納得した。

% [OCaml][clip] Interpolation - Ruby風の string interpolation 構文 (晩ごはんの履歴)

mmatsuoka さんが作ってる Camlp4 モジュールを全部入れると、OCaml が OCaml でいられなくなりそう。 bf リテラルまである謎言語のできあがりだ(笑

つーか、わしはいい加減 Camlp4 をちゃんと憶える努力をすべきじゃないのか。 でもどうしてもマクロに対しては潜在的な恐怖感が……


2006-10-04 [長年日記]

% [clip] あずまんが大王オープニング パロディ (イミフwww)

烏龍茶噴いた。


2006-10-08 [長年日記]

% [clip][C++] C++ for Haskeller (J)

天才だと思った。 腹抱えて笑ったよ。

でも、ある意味こういう遊びができる C++ の懐の深さはスゴイってことだよなあ。 ……どうスゴイのかはさておき。


2006-10-10 [長年日記]

% [雑談] し〜ご〜と〜が〜な〜い〜

無いんです。 よって、お金も無いです。 いよいよこれは、職を探さなきゃダメかもわからんね。 ……つーかダメでしょ、人として...orz

さて、どーしたもんかなあ。

% [OCaml][Mac] OCaml on MacOSX/PPC64

実は最近になってようやく Caml-list を購読し始めたんだけど (遅すぎ)、どうやら今の CVS trunk には ppc64 版が入ってるらしいね。

3.10 のリリースっていつなんだろ。 とか言ってないで、とっとと CVS 版を試してみた方が良いのかな。 どうせ 3.10 が出ても、godi が対応するまでしばらくかかるだろうし。

% [OCaml][Mac] OCaml on MacOSX/PPC64 インストール

結局やってみたり。 特に面倒なこともなく、すんなり完了してしまって、あらまあ。 一応以下手順。

% mkdir ocaml-current
% cd ocaml-current
% cvs -d :pserver:anoncvs@camlcvs.inria.fr:/caml login
% cvs -d :pserver:anoncvs@camlcvs.inria.fr:/caml co ocaml
% cd ocaml
% ./configure -cc 'gcc -arch ppc64'
% make world
% make opt
% make install

ごくごく普通。

% [雑談] イーサネットハブが死んでショボーン

今まで使っていたスイッチングハブがおかしくなり、まともな速度が出なくなってがっくり。 とはいえ、所詮安物だし 5 年近くは保ったんだから十分元は取ったとも言える。 でもショボーン。

とりあえずイーサネットが繋ってないとモニタレスのマシンがいじれないので、そこらをほじくり回して死蔵されていたバカハブを発掘して急場をしのぐ。 あーもー、お金無いってのに、もうもう。

……あー、なんつーか、別にこのバカハブでも十分じゃね? (ひ、日和ってやがる!!)


2006-10-12 [長年日記]

% [Mac] Mac OS X 10.4.8 から、ユニバーサルアクセスのズーム機能が control+ホイールでできるようになっている件

hetimaの日記より。

なにー!! さっそくやってみる (なぜか使いもしないのにユニバーサルアクセスがオンになっている、わしのマシン)。 ……うわー、楽しげ。 実用度の方は別としても(の

% [雑談] 『の』って何だよ、『の』って

もはや何の誤植なのかもわからん。そんな無意識の『の』。

でも、眺めてるうちにだんだんと『頭を垂れた植物』に見えてきたのは病気だろうか。 しばらく『orz』の代わりに使ってみるのも良いかもしれん。

% [Haskell] GHC 6.6 が出たというので早速オフィシャルサイトを見に行ってみましたよ

おお、いきなり Mac 版のバイナリがある!! ……と思ったら Intel 版だけかよ(の

注:『(の』は『orz』と同じ意味です。勝手に言ってるだけだけど。

なんだよー、オードリーたん PPC 版も頼むって。 つーか 6.4.2 だって結局提供されてないってのにー。

ふん、良いんだ良いんだ、どうせ PPC なんて消えゆく運命ですよ。 今さら PPC64 サポート入れる OCaml の方が変態なんでしょ、ええ、ええ、わかってますとも。 まああれだ、64bit の Intel Mac が出るのはきっと 10.5 に合わせてのことだから早くても来年の始めだろ。 それまでの間は Mac OS X で 64bit 版 OCaml がいじれるのは PowerPC G5 搭載機を持ってるやつだけだ。 良いだろー。

すごい勢いで負け惜しみな上に、GHC とは全然関係ない話になった(の

注:『(の』は『orz』と…しつこい

% [雑談] ファイターズ、リーグ優勝おめでとう

おめ。

最後の方の展開は高校野球みたいだったな(苦笑

% [clip] GBA「FF5」、新ジョブ予言士がひどすぎる件について (ぁゃιぃ(*゜ー゜)NEWS 2nd)

これはホントにひどいw

どう考えても、予言じゃなくて余計な災厄を呼び込んでます。 あと、動画がどう見てもエミュ使って撮ってるのをスルーできないのは、スルー力が足りないでしょうか。

本日のツッコミ(全5件) [ツッコミを入れる]

Before...

% gami [Mac OS X 10.4.8 から、ユニバーサルアクセスのズーム機能が control+ホイールでできるようになっ..]

% jijixi [残念ながら、わしは知りません。]

% jijixi […と思ったら気付きました。 システム環境設定のキーボードとマウスのマウスタブに、これの設定があるんで、たぶんこれを変..]


2006-10-13 [長年日記]

% [clip] Multitasking is inefficient (Radium Software Development)

半分ネタでこういうこと考えたりしたこともあったんだけど (過去の日記)、マジメにそういうの研究してる人っているんだなあ。

% [clip][game] プロジェクト シルフィード (AB3)

ストーリーの説明のとこが笑う。

普通は「次はどんな展開が待ち受けているのだろう」とハラハラしながらストーリーを追うものだが、このゲームに限っては「次の展開も予想通りでありますように」とおかしな方向に期待のベクトルが向いてしまう。そして、その期待を始めから終わりまでほとんど裏切らないところが凄い。

これはこれでやってみたい(苦笑

% [game] ステラアサルト

ところで 32X のステラアサルトって、どんなゲームだっけ? ……と気になったので、押し入れをごそごそ探って発掘を試みる (持ってるんだ…)。

ああ、そうそう、デカい戦艦をちまちま攻撃して沈めていくのが楽しいゲームだったよ。 久しぶりにちょっとやってみたいけど、さすがにスーパー 32X をセッティングするまでの気力は無い(苦笑

% [雑談] なんかトラックバックスパムがちらほら来るようになった

そういや何も対応とかしてないんだっけか……めんどくせーなあ。


2006-10-15 [長年日記]

% [clip] 体験した怖いバグ (日刊スレッドガイド)

ちょっwww >>81


2006-10-16 [長年日記]

% [雑談][Haskell] 2ch の Haskell スレより

818 Name: デフォルトの名無しさん [sage] Date: 2006/10/15(日) 18:27:18 ID: Be:
    で、GHC6.6にアップデートした方がいい? 

819 Name: デフォルトの名無しさん [sage] Date: 2006/10/15(日) 21:38:13 ID: Be:
    >>818
    詳しくみてないがエラストテネスのふるいが3割速くなった 

820 Name: デフォルトの名無しさん [sage] Date: 2006/10/15(日) 21:57:12 ID: Be:
    >>819
    凄いな。
    ついでにエラトステネスのふるいも計測してみて 

821 Name: デフォルトの名無しさん [sage] Date: 2006/10/16(月) 08:07:28 ID: Be:
    main = print $ f [2..] !! 7000 where
    f (x:xs) = x : f [y | y <- xs, y `mod` x /= 0]

    これで -O3 つけてコンパイルで
    6.4.2
    ./a.out 7.000s user 0.020s kernel 99% cpu 7.045s real
    6.6
    ./a.out 10.369s user 0.012s kernel 99% cpu 10.397s real 

822 Name: デフォルトの名無しさん  [sage] Date: 2006/10/16(月) 08:30:36  ID:  Be:
    逆だね

なんか色んな意味でシュールっつーか、妙に笑えた。


2006-10-17 [長年日記]

% [Cygwin] setup.exe を空回ししてやればパッケージが勝手にアップデートされるのって、案外知られてないんだろうか?

…と某所を見てふと思ったのであった。 わしは適当に思い付いた時 setup.exe を動かしてるので、それなりに最新が保たれてるのだが。

つーか、できればコマンドラインからアップデートする方法が知りたくて、それを cron で回すとかしたいわけなんだけど、誰かやり方知らないっすか?


2006-10-19 [長年日記]

% [clip] 毒が仕込まれてた (Sukima Windows Plus)

可愛いすぎる。 子犬とか子猫って、ほんとにメシ食いながら寝こけたりするからなあ(笑

% [clip] プログラマによくあるスペルミス (アルファルファモザイク)

せっかくの >>17 のネタに >>20 のマジレスが痛々しい(苦笑

他には >>202-205 がツボった。


2006-10-20 [長年日記]

% [雑談] ポテリッチ ガーリックが旨すぎる件

にんにく好きにはたまらないおいしさ。 特に最後に残るガーリックフレークが!!(ポテチの立場は?)

% [clip] 動物ネタ注意だ!ふわははは! (アルファルファモザイク)

な…なんて恐しい呪いだ!!

本日のツッコミ(全1件) [ツッコミを入れる]

% しばしば [>特に最後に残るガーリックフレークが!! 激しく同意。ガーリックフレークだけもっと食べたい。]


2006-10-21 [長年日記]

% [game] PSU 日記、エピソード2編

10 月に入って一度もログインしてなかった PSU を、久々にやってみた。 まあ、要するにエピソード2とやらが気になったってことなんだけども。

なんつーか、わりとアリガチな展開って気がするけど、それなりにおもしろそうではある。 次の配信が来週ってことは、大体二週間に一本のペースみたいだけど、もうほとんどやる気無いのにエピソード2のためだけに金を払うのも微妙にアホらしいなあ。 ってことで、あんまり先が気になりすぎないように、次回配信分はやらずにそのまま放置ってのが正しいような気がした。

% [雑談] さっきのエントリって、なんか話の展開がおかしいぞ(苦笑

思いつくままに書き殴って、推敲とかちゃんとしないから(の

「それなりにおもしろそうではある。」って肯定的な流れなのに、次の文で脈絡なく否定的な流れに変わってるのがキモすぎる。 でもチラシの裏だから直さない(ぉぃ


2006-10-22 [長年日記]

% [雑談] 日本シリーズ第二戦

いやぁ良い勝ち方したなあ。 この勢いで札幌で勝負を決めてほしいもんだ。


2006-10-24 [長年日記]

% [雑談] 日本シリーズ第三戦

すんごくおもしろかった。 結果的な点差ほど内容に差は無かったと思うんだけど、やっぱ球場の雰囲気の異常さが勝負を分けたんじゃない?(苦笑

しかし八回の稲葉のホームランは何だよ。 あの場面なら普通ストレートを待つんじゃないのか。 そこであのカーブを、どうしてあんなに完璧に打てちゃうのかと問い詰めたい。

このまま札幌で優勝を決めちゃったりすると、豊平川に飛び込んで凍死するヤツが出るに違いない(やめれ)。 つか、この時期に川に飛び込んだりしたら、ほんとに命にかかわるから気をつけようね。


2006-10-25 [長年日記]

% [OCaml][雑談] Pervasives.None なんて存在しなかった

soutaro さんとこを見て、「え? Pervasives を通して使えないの?」と思ったんだが……

% ocaml
        Objective Caml version 3.10+dev10 (2006-10-04)

# Pervasives.None;;
Characters 0-15:
  Pervasives.None;;
  ^^^^^^^^^^^^^^^
Unbound constructor Pervasives.None

うぼーー、時代が…時代がそれをゆるさなかったっス…(時代は関係ありません)。

てっきり組み込み型って Pervasives に定義されてるのかと思ったら、ほんとに組み込みでトップレベルな名無しモジュールに定義されてるだけなのね (何言ってるのかわかんなくなってきた)。

% [雑談] 日本シリーズ第四戦

リーチ。 ってか、両チーム合わせて 23 残塁ってアリエナス。

さて、ファイターズが優勝したいなら「残り三つのうち一つ勝てば良い」とか思っててはダメだろうな。 "明日" 勝たないと。 スコアボードに表われているほど戦力差は無いから、明日ドラゴンズが勝つと一気に息を吹き返して地元でスパっと逆転される可能性が高い。

……とはいえ、明日は川上が先発だろうし、簡単には行きそうにないねえ。


2006-10-26 [長年日記]

% [雑談] ファイターズ日本一おめでとう

いやぁ、勝ったねぇ。勝ったよ。

しかし、今年の北海道は高校野球にしろプロ野球にしろ盛り上がりすぎだな。 楽しいけど疲れる(苦笑

つーか、サッカーももう少しがんばって欲しいっすねー、とか言ってみる。


2006-10-27 [長年日記]

% [雑談][Mac][OCaml] Core 2 Duo って 64bit CPU だったのかー

ショック。 すでに Mac OS X で 64bit は PowerPC G5 の専売特許じゃなくなってたなんて……ぐすん。

でも OCaml に限れば、今のところ (configure を斜め読みした感じでは) ia64 な darwin は存在しないっぽいんで、まだ大丈夫 (何が?)。


2006-10-30 [長年日記]

% [OCaml] class and printf

Caml-list のネタ。 なんとなくエスパー能力を発揮してみると、class ['a] foo では質問者の意図に合致しないんじゃないかという気がしなくもない。

# class ['a] foo ch = object
    method f : ('a, out_channel, unit) format -> 'a = Printf.fprintf ch
  end;;
class ['a] foo :
  out_channel -> object method f : ('a, out_channel, unit) format -> 'a end
# let obj = new foo stdout;;
val obj : '_a foo = <obj>
# obj#f "%s\n" "hoge";;
hoge
- : unit = ()
# obj#f "%d\n" 1;;     
Characters 6-12:
  obj#f "%d\n" 1;;
        ^^^^^^
This expression has type (int -> 'a, 'b, 'c, 'a) format4
but is here used with type
  (string -> unit, out_channel, unit) format =
    (string -> unit, out_channel, unit, unit) format4

こうなってショボーンだったり。 こういうときは……

# class foo2 ch = object
    method f : 'a. ('a, out_channel, unit) format -> 'a = Printf.fprintf ch
  end;;
class foo2 :
  out_channel -> object method f : ('a, out_channel, unit) format -> 'a end
# let obj2 = new foo2 stdout;;                                          
val obj2 : foo2 = <obj>
# obj2#f "%s\n" "hoge";;
hoge
- : unit = ()
# obj2#f "%d\n" 1;;     
1
- : unit = ()

こうっすね。

% [雑談] まあわしがあーだこーだ言わんでも、速攻でツッコミ入ってたな

そんなもんでがす。


トップ 最新 追記

日記ってのは本来、自分で読み返すためにあるもんだよなあ……
もしくは有名人になったら死後に本になったりとかか?

RSS はこちら

jijixi at azito.com