2006-12-01から1ヶ月間の記事一覧

原始帰納関数〜3つの関数と1つの手続きから広がる世界

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで - [・ _ゝ・]日記を書くはやみずさん 原始帰納関数って? 原始帰納関数とは、3つの基本関数 零関数 サクセッサー関数 射影関数 と、関数合成および原始帰納法により構成される関…

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を遅々としたペースで読み進めていて、これSchemeでやったらどうなるんだろうね、と思って始める。このエントリをインデックスにしていくよ。 原始帰納関数〜3つの関数と1つの手続きから広が…

Common Lispのリファレンスは何処?

Franz Inc Product Documentation Common Lisp Documentation SBCL 1.5.1 User Manual

8086アセンブラ

ASM

冬休みはアセンブラ。とりあえずHello Worldに成功。 CDSEG SEGMENT ASSUME cs:CDSEG, ds:DTSEG, ss:STSEG START: mov ax, DTSEG mov ds, ax mov ah, 09H mov dx, OFFSET MSG int 21H mov ah, 4CH int 21H CDSEG ENDS DTSEG SEGMENT MSG DB "Hello World", 0…

Subversionの不満

何が原因かよくわかんないし、調べる気もないのだけれど、自宅サーバーのSubversionレポジトリに一気に大量のファイルをコミットしようとすると、途中でエラーを吐いてコミットに失敗してしまう。今までは手作業で数回に分けてコミットしてたけど、いい加減…

Common LispでWebアプリケーション

http://pieterbreed.blogspot.com/2005/07/common-lisp-web-application-tutorial.htmlあした読む。

動的☆言語

PHP

PHPの自動型変換はちょっと気をつけなきゃいけないなぁ、と前から思っていたけどこんなにすごかったとは。 えと。世間様でよく「PHPは型のない言語」だとかなんとかいう風評が流されておりますが。とんでもハップンでございます。PHPは、素晴らしく「型の厳…

年賀状をつくる

実家に帰ってきた次の日。年賀状をつくろうかなと思ったので、実家のパソコンの年賀状ソフトを立ち上げる。自分の住所録を見ると、登録件数3件。ちょwwwww

年末まったりチャット

結城浩さんがまたチャットを開催していたので、23時くらいから参加したよ。[結] 2006年12月 - 結城浩の日記なんと、はやみずの振ったネタが「一番ウケた掛け合い」に選ばれている。

カタンカタン

池袋某所でカタンしてます。

あばばばばばばばば

オレンジニュースにactiveCollab日本語情報サイトががががががが。アクセスログを見るといつ掲載されたかが一目瞭然

死ぬかもしれない(誇大妄想

今日の朝からずっと左手の薬指の第一関節から先が痺れている。

これはひどい松本零士ですね

著作権保護期間は延長すべきか 賛否めぐり議論白熱 (1/3) - ITmedia NEWS死後著作権保護期間の延長賛成派の意見は感情的過ぎじゃないか? 「ヨーロッパで死後70年保護されると聞くと『同じような物を作っているのになぜ日本だけ50年なんだ』と思う。『日本も…

ビックサイト行ってくる

初めて中に入る。

PukiWikiでスパム防止

AkismetによるPukiWikiへのspam(スパム)防止機能 : アークウェブのブログこれは使えそう。

計算論とかラムダとか

最近ラムダっぽいことばっかり考えているので、ふつうの会話ができなくなりつつあります。そういうことを話す相手がいなくてイライラしたときは、SICP読書会でそういう話ができるので助かっています。計算論 計算可能性とラムダ計算 (コンピュータサイエンス…

OODB

私は『Final Fantasy: The Spirits Within』の全体の進行を manage するデータベースの管理を任されてまして、それを Lisp で書いていたんです。Lisp ベースの OODB を使って。ベースとなっているのは ObjectStore で、Franz がその上に Lisp の皮を被せた A…

学生科学賞1日目

やってまいりました。第50回日本学生科学賞。今回は、50回の節目ということでビックサイトにて開催されています。今日は、トロフィーの袋詰めなど裏方作業。明日は受付とか生徒の誘導とかISEF派遣者へのISEF紹介とか。夜のフジテレビを車の中から。

コンピュータプログラミング

http://www.iba.k.u-tokyo.ac.jp/~hasegawa/hokou/hokou.htm「採点はスクリプトでするので、出力の形式が違うと採点されないから注意してください。行末にスペースが1個あるだけでもだめなので、注意してください。細かいことは明示します。」それ正規表現で…

それPla

わざとPlaggerのインストールを難しくしている甲斐がありましたね!miyagawaさん 韓国語で「それPla!」ブログ | TAKESAKO @ Yet another Cybozu Labsちょwwwww

数学演習

試験を返していたみたいですね。ふつうに忘れてた。

人生は選択の連続であるらしい

0時帰宅。数学演習の予習に一切手をつけていない。どうする俺?どうする?→RSS読んで寝る

Practical Common Lispを読み進める

なにこの副作用の雨あられ。これがCommon Lispスタイルなのかっ。Common LispのほうがSchemeより圧倒的に便利な匂いを放っているけど、その代わりSchemeのような高潔な感じの美しさはないのかな。

EmacsのLisp環境SLIMEをインストールしてみた

Practical Common Lisp で紹介されているCommon Lisp用のEmacsメジャーモードのSLIMEをインストールしてみた。詳しくはあとで書くHugeDomains.com - Shop for over 300,000 Premium Domains

elasticなレイアウト

CSS

ユーザーの画面サイズはお構いなしのfixed layout、ユーザーの画面サイズに合わせて変化するflexibleレイアウトに加えて、ユーザー表示している文字サイズに合わせて変化するelasticレイアウトというものがあるらしい。 ユーザーが選択したフォントサイズに…

Common LispでY Combinator

書こうとしたら変なエラーがいっぱい出てやめた。funcallとかウザスウザス。やっぱりSchemeの簡潔さはすばらしい。

数奇

ttp://d.hatena.ne.jp/scinfaxi/ : 黎明日記なにで見つけたかは忘れたけど、Schemeのコンパイラ書くぞとか言ってるひとがいたのでGoogle Readerに登録してウォッチしてたら、Shiroさんとかささださんとか名の知れた人が降臨したり、俺の知り合いまで降臨した…

第43回素人くさいSICP読書会

読書会 赤坂の某ラボさん会場提供ありがとうございます。今日も前回に引き続き音読。これ写経するのだるいなーと思っていたら、すぎもとさんから「結局次の問題では使わない」とネタばらしばあったため写経しないことにした!これだからLazynessなやつは困る…

年賀状

そろそろ準備しようかな。まだいいかな。

あまりよくない火曜日

べつによくないことがあったわけではない。むしろデートとかしていた。