Entries from 2006-04-01 to 1 month

関数型言語の勉強にSICPを読もう - (7) 1章 - 反復をマスターしたいけど・・・

「SICPを読もう - (3) 1章 - 手続きによる抽象の構築(1-30ページ)」で反復が分からないと書いたのですが、trace を使えば視覚的に関数の呼び出しが理解できるのでこれを利用してみました。 題材としては一番単純な factorial を取り上げます。 まずは再帰版 …

関数型言語の勉強にSICPを読もう - (6) 1章 - 小休止 traceを使えるようにする

dankogaiさんからトラックバック404 Blog Not Found:scheme - traceとslibで助け舟を頂いた。 このように、「知らないとなかなかたどり着けない情報」をご提供いただけることはとても幸せなことだと思います。 slibとtraceの準備 Ubuntuならこんな感じ。 apt…

関数型言語の勉強にSICPを読もう - (5) 1章 - 小休止 Schemeの情報源

Scheme・SICPの情報源です。 随時追加していきます。(お勧めがありましたらコメント欄に書き込みをお願いします。) 『計算機プログラムの構造と解釈 第二版』解答集(未完) 解答集です。とてもとてもお世話になっています。 Gauche ユーザリファレンス 関数…

関数型言語の勉強にSICPを読もう - (4) 1章 - 小休止 Schemeの環境整備

(4)の原稿が消失した(涙)ので書き直しました。 SICPでは、サンプルプログラム・演習問題はすべてSchemeで書かれています。SICPで学べる概念自体はSchemeという言語から切り離すことが出来るとは思うのですが、それでもやはりScheme環境の整備が必要です。 僕…

関数型言語の勉強にSICPを読もう - (3) 1章 - 手続きによる抽象の構築(1-30ページ)

1章の途中までは演習問題をノートに書いていたので記録が残っていないです。ごめんなさい。 9ページ (+ 5 1)と(* 5 2)に置き換えて簡約された。 →簡約ってなんだろうか?原文 This gives the same answer as our previous evaluation model, but the process …

関数型言語の勉強にSICPを読もう - (2) SICPを読む上で自分に課したルール

SICPを本気で読もうということで以下のルールを自分に課しました。 自分が人生で使える時間は限られているので厳しめになっています。 挫折禁止 挫折するのが一番駄目。人に聞いても良い。毎日1ページずつでも良いとにかく進む。 出来るだけ練習問題を解く …

関数型言語の勉強にSICPを読もう - (1) SICPを読み始めた理由

「計算機プログラムの構造と解釈-Structure and Interpretation of Computer Programs(以下SICP)」という本を読み始めました。 なぜ読み始めたかを書いておくと後から読み返して初心を思い出すことができると思うので書いておきます。 世の中ではにわかに関…

SICP

しばらくSICPを読みながら日記をつけていたのですが、日記を公開したほうが仲間が見つかるかもしれないので徐々に公開していこうと思います。 とりあえず3つ公開しました。

プロジェクト改善提案

今日は2つの提案をしました。 Subversionのリポジトリのレイアウト提案(sf.net/リポジトリ提案 - Mona PJ Wiki) ビルドテストの仕組みの導入(提案/ビルドテスト - Mona PJ Wiki) 特にビルドテストの仕組みはshadowさんの「自分のところ以外が原因でMakeがで…

昼食

最近社内で下流弁当とか下流ライスが流行っています。

higepos

sf.netにSubversion移行したら懐かしいソースがw。 http://svn.sourceforge.net/viewcvs.cgi/monaos/branches/higepospj/higepos/src/ うはっwww。これはやばい。 およそ4年前なので僕がid:secondlifeやid:kambaraのように夢や希望を抱いていたときですね(何

sourceforge.netでsubversionを使おう

ちょっと前から http://sourceforge.net(以下sf.net)ではCVSだけでなく Subversion も提供してくれるようになりました。 これを使わない手はないので Mona が移行したときの手順を公開しておきます。 アカウントとプロジェクトの登録 自分のアカウントを作る…

今日の1曲(Kiroro - Best Friend)

ITMSリンクメーカーで何種類か見た目が選べると更に良いと思った。キロロのいちばんイイ歌あつめましたposted with amazlet on 06.04.12Kiroro ビクターエンタテインメント (2006/03/29)Amazon.co.jp で詳細を見る

好きなジョーク

Will those In The cheaper seat clap your hands? The rest Of you can just rattle your jewelry.まぁそんな感じで雨の日ですね。

Messageエミュレート

sys/ipc.hを利用してMonaのメッセージをエミュレート。 とりあえずビルドは通った。 テストは明日。

水泳部

1km。 来週は水泳じゃない運動にするかも。

coLinuxの起動が遅い

サービスで登録しているcoLinuxが起動時に10分ほどHDDをがんがん読み書きして反応しなくなることがよくあって困った。 その間はsshもできないので原因をつかむにはコンソールでcoLinuxを起動しなければいけないんだけれども、それでやると再現しない。 怪し…

今日のtypo

pinf 192.168.xx.xx平和?*1 *1:僕は麻雀やりません。

sf.net

sf.netにてSubversionサービスが提供されているのでMonaを登録しました。 https://sourceforge.net/projects/monaos/ よっぽど問題が見つからない限りはSubversionに移行すると思います。 物申しておきたい方は今のうちに。

xrea

大変そう。アクセス解析が見れなくてつらいとかpop3が使えないとか結構困ります。

IPCとか

を利用してMessageエミュレートの準備とか。 全然関係ないけど会社でインスタンス変数をグローバル変数的に使うのはほげほげとかいう話があったね。 更に関係ないけどSICPを読んでいると自分の頭の回転の鈍さにびっくりする。 あとは脳内にたまったバッドノ…

購入

ONE PIECE 41 (ジャンプ・コミックス)作者: 尾田栄一郎出版社/メーカー: 集英社発売日: 2006/04/04メディア: ペーパーバック購入: 3人 クリック: 36回この商品を含むブログ (179件) を見るドラえもんプラス 5 (小学館プラスワン・コミックシリーズ)作者: 藤…

作業が

いろいろあってMona関係の作業ができてなくてごめんなさい。 やっと追いついてきました。 EDS1275さんのNICドライバ 割り込みががんがん来てCPUを使い切ってしまうとのこと。 割り込みステータスレジスタのクリアとかかな? fat_writeとfile_serverのビルド …

プログラマの皆さんホームディレクトリで ls してみようよ

会社で使っているPCのcoLinuxのホームディレクトリで ls *.plしてみた。 colinux% ls *.pl hage.pl hige.pl hige2.pl hoge.pl huga.pl time.pl うはっww。 やる気ないなぁ。いくら書き捨てのソースとはいえhageはひどいww。というわけでプログラマの皆さ…

malloc書くの流行っている?

今プログラマーの中ではmalloc/freeを実装するのが流行っているようです。(ぉ http://diary.okotama.org/?date=20060407#p03とか、id:shinichiro_h:20060404#1144138419。 mallocの実装は誰かから割り当てられたメモリ(例えばOSから割り当てられたメモリ)を…

Monaのfile_serverをLinuxで動かしたい

RamFSを導入予定のMonaのfile_server(FSをつかさどる親玉)ですが、こいつがLinuxで動いたら、RamFSの追加とかテストとか開発が楽になると思いつきました。 Monaでは、コンポーネントは「まずはWindows上やLinux上で開発・動作確認、移植」というの独特の文化…

「RamFSをFAT12」の妄想

FAT12をメモリ上に展開するRamFSをMonaに導入した場合を妄想してみる。~ まず実装・導入のコストがとても小さい。 以下に列挙するやりたいことへ到達するために、RamFSの部分は「この段階では」FAT12に留めておく。 RamFSをFAT12で実装する。 単純にユーザー…

今後

RamFS実装 ↓ スワップ IN/OUT ↓ File Serverいじる ↓ 汚い ↓ VFS ↓ 名前空間 →ウマー ↓ ウマーと決めました。

地上波デジタル

我が家に地上波デジタルが来た。 芸能人とかアナウンサーとか顔が見えすぎると困る人がいるだろうな。

関数型言語の勉強方法について

id:higepon:20060330:1143714380で関数型言語の勉強方法について人力検索で質問しました。 その結果、たくさんの回答(コメント欄での回答や、飲み会でのアドバイスも含む)をいただきました。ありがとうございます。 質問自体は単純で、逆に回答する立場から…