します。いろいろと。メールだけ送って今日は休業。 大学の電気系統も休んでるんだから休んでもいいよね、と言いながら、中の人たちはサーバーの管理とか大変そうです。ありがとうございます。

「ギャンブルの負けをギャンブルで取り返そうとするのは良くない」と言われます。じゃあつまり、負けたら働けと言うことですね。確かに健全だけれども、勝った場合はやっぱりギャンブルをやり続けるわけで、そうなると一部の勝者のために他の敗者は働くわけ…

そろそろ3年生は0x3F800000とか言われたら、「ああ1.0ね」とか言えるようになっているんでしょうか。1.0や2.0や0.5は基本ですが、10.5とかのエンコードandデコードがすらすら言えるようになったらそれは病気です。 まあすでにfibが動作しているところもある…

明日は停電です。皆様、へんな時間に登校なさらないよう。

MLとかそういう話は危険。とりあえず、分かってないことは分かってないと書いた上で、分かっていることを分かっていると書かないとヤバい。今更だけど。 せっかく突っ込みを入れてくれているので、良い方向になるようにしないと。

単純に、関数の部分適用が(従来の)SMLでは出来ないのねーと言う話をしてたつもりだったのですがー。 id:sumii:20061027:1161939598 まあ、Ocamlの型推論機構は、確実なようにしか推論してないよというのは一応分かっている・・・つもりです。id:wpw氏の演習…

http://www-sato.cc.u-tokyo.ac.jp/SATO.Hiroyuki/FortranDAY.htmFortran2003って・・・まだ開発していたのかFortranは。そっちのほうが驚きだが。それなのに相も変わらず使われ続けるFortran77って一体。それを考えると、未だにPerl4の文法で記述している某…

えっと、id:sumiiさんの解説を待ったほうがいいんだと思うんですが、まずOcamlとSMLとSML#はそれぞれ異なる型推論を行っている、という事自体はあってますよね？SML#についてはまあ置いておくことにして、OcamlとSMLで違うと言うこと自体が(昨日の段階では)…

鍵盤をタッチペンで演奏するトレーニングがあるのだが、昨日それをやっていたら非常に鬱になった。理由が全然分からなかったのだが、曲を聴いていると不安になる。途中まで聞いてようやく分かった。 その曲は、「線路は続くよどこまでも」で、思い出したのは…

http://www.tokyo-np.co.jp/flash/2006102601000419.html よくわかんないなー。賃金が支払われないのに働くんでしょうか。 働かない理由が賃金にあるわけじゃないってのはそうなんでしょうけど、正直仕事しなくて金が入るなら仕事しないって人は多いわけで、…

正直知らんかった。 - fun f x y = (x, y); val f = fn : 'a -> 'b -> 'a * 'b - f 1; stdIn:2.1-2.4 Warning: type vars not generalized because of value restriction are instantiated to dummy types (X1,X2,...) val it = fn : ?.X1 -> int * ?.X1 - i…

単位は欲しいですよね、と言ってみる。特に必修の単位は。 高校の時って、そんな単位がどうのこうの、とかは考えたこともなかったけれど。どうせもらえるものだし。っていうかあの高校も家庭科を調理実習とか社会見学で置き換えたり、保健体育を生物とかで教…

http://www.tnlab.ice.uec.ac.jp/daihinmin/参加するかどうか分かりませんが、個人的にはこのゲームは「大貧民」ではなくて「大富豪」と呼びたいところ。すなわち大富豪的プログラミング。メモリの使い方とかきっとｶｺｲｲ。追記： ルールが複雑。8切りはあるし…

それを読むために今日は大学に来たというのに、Journalは読めるけどConferenceの論文は読めないと言う罠を仕掛けられた。 S田先生がいるかもしれないので、ちょっと頼みに行ってみようか。

アレ、id:kosakにも移植をしてもらったりしたわけですが、研究室で話をしたところ。 例えばadd(int x, int y)が int add(int x, int y){ return x + y; } と int add(int x, int y){ x += y; return x; } では、コンパイラがどのように解釈するかによって何…

いや、無理だから。

http://nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/h/curry解説+X86での実装ｷﾎﾞﾝﾇ 情報元: id:n314:20061022:1161504834ところで int func(x, y) int x, int y ってのは動かないんだよね？確か。C99あたりからだったか。gccはコンパイルできたけれど。 後…

また体内時計が(ry 今日は、ひょっとしたら地下に4年生が来るかもしれないので、降りていってみよう。

あなたは明白な「skr」「shinh」「void」「static」「argv」に加え、「kosak」「Hack」「namasute」「日記」「座標」という患部を取り除き、36% の shinh を除去することに成功した！しかしゆめゆめ油断してはならない。 shinh はいつもそこにいるのだから…

タイトルが仰々しいのだけれども、例えばこういうケースを考えてもらいたい。 あるシステムには管理者がいる。ただし、管理者の数は5人が上限である。各管理者には1から5までの番号(view_id)が振られる。 各管理者に対して、とある操作をしたかどうかのログ…

IRCの発言数が一瞬にして膨れ上がった。

で出発。30分もあればいけるだろう。自転車だし。 なんか、IRCってのは常時しゃべり続けるようなものではないらしいと言うことが分かった。

とあるシミュレーション関係の本を借りてみた。借りてみたとは言っても、研究室においてある物だから、距離的には数メートルなんだけれど。で、この本は2002年に発刊で2004年に第3版が出ていて、CD-ROMが添付されている。この中に、プログラムのサンプルなん…

http://shinh.skr.jp/ncheck/?q=http%3A%2F%2Fd.hatena.ne.jp%2Fsucceed

何がやばいって、納期が10日間でWebサービスのアプリケーションを作れというのがやばいと思う。それを可能にするのがRuby on Rails(, Catalyst, Zope and so on)なのだと言うのは納得するが、だからといってそんな横暴を許してはいけないと思う。そりゃあよ…

まあそこそこに。

はっきり言って具体的に何を書いたのか正直覚えていない。眠かったから。

モンテカルロ法は非常に有用であって、まあ大体多くの問題を解くときにそれなりの効果が得られる。精度を良くする為には試行回数を増やす必要があるが、そうは言っても各試行は独立なので並列化することも出来るし、まあ良いのだろう。 が、そんなもの使うべ…

申し込み忘れた。どうしたものか・・・

Overloadが問題になることは少ないと思うのだけれど、Overrideはエラーになりやすいと思う。特に型チェックの無い言語では。だから、Overrideキーワードを作って、Overrideの時には明示するというのが良いのではないかと思った。 しかしながら、やはりOverlo…