衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基本用語を知りたいときはコチラ、… って、……、ゴメン！[/追記] 内容： はじめに 本の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使
JavaScript: 文字列のreplaceメソッドの第3引数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
次のJavaScript断片を実行すると： var s = "私が塾長である。私が江田島平八である。"; alert(s.replace("私","ワシ")) 「ワシが塾長である。私が江田島平八である。」と表示されます。二箇所の「私」を「ワシ」に置き換えるには、g（global）オプションが必要です。Firefoxだと次のように書けます。 var s = "私が塾長である。私が江田島平八である。"; alert(s.replace("私","ワシ", 'g')) 表示は「ワシが塾長である。ワシが江田島平八である。」となります。 ところが、Chromeで同じことをしても、replaceの第3引数 'g' は効かないのです。表示が変わりません。replaceメソッドの第3引数ではなくて、正規表現のオプションとして指定する必要があります。 var s = "私が塾長である。私が江田島平八である。
sedにおける改行の表現とシェルの複数行入力 - 檜山正幸のキマイラ飼育記 (はてなBlog)
んもう、毎度忘れること； sedで改行を表現するには、バックスラッシュに続けてホントに改行を入れるのです ＞自分。 # コロンを改行に置換する s/:/\ /g 何度、s/:/\n/g と書いたことか。 コマンドラインから使うときは、シェルが「"」「'」「`」など引用符の開き閉じを認識しているので、引用符内で改行しても第二プロンプト（$PS2）が出て、コマンドライン入力を続けられます。よって、引用符内ならホントの改行もOK。 $ echo $PATH | sed -e 's/:/\ > /g' | less
構文解析のオハナシを少し - 檜山正幸のキマイラ飼育記 (はてなBlog)
工作員お手伝いのショー君がid:aiue3という投げやりなIDでダイアリーを書いていたようです。http://d.hatena.ne.jp/aiue3/20061120#1164006565 のなかに再帰的下向き法（recursive decent; 再帰下降法）というのが出てくるので少し補足しておきましょう。 お馴染みの算術式（arithmetic expression）を素材にします。'+'は足し算, '*'は掛け算、そして'-'は引き算ではなくて符号反転の単項演算子とします。 式 ::= 数 | 和 | 積 | 符号反転 | '(' 式 ')' 和 ::= 式 '+' 式 積 ::= 式 '*' 式 符号反転 ::= '-' 式 これでも、構文的に正しい算術式を定義できます。しかし、3 + 5 * 2 が (3 + 5) * 2 なのか 3 + (5 * 2) なのかはわかりません。
シェルスクリプトのセミコロンの打ち所がわからん - 檜山正幸のキマイラ飼育記 (はてなBlog)
bashでの話。 for x in 1 2 3 do echo $x done この4行のスクリプトは特に問題もありません。行数を減らすため、改行をセミコロンに置き換えてみます。まずは1行目と2行目を、セミコロンをはさんでくっつける。 for x in 1 2 3; do echo $x done これはOK。さらに2行目と3行目をくっつける。 for x in 1 2 3; do echo $x; done これもOK。となると、次もOKでしょうよ、当然。 for x in 1 2 3; do; echo $x; done ガーン、ダメなんだってぇ。 syntax error near unexpected token `;'doの直後のセミコロンを取ればいいそうです。 for x in 1 2 3; do echo $x; done ウーム、「改行 ←→ セミコロン」という単純なルール
もう一度、ちゃんとJSON入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
僕自身も僕の周辺もJSONをよく使います。でも、細かい点でけっこうミスをやらかしています(苦笑)。このエントリーで、JSONを使う上で注意すべきこと／間違いやすい点をすべて列挙します。 内容 兼チェックリスト： 仕様原典さえ読めば完璧（のはずだが） 数値の前にゼロを付けてはいけない 16進数表記も禁止だよ 数値の前にプラスを付けてはいけない 小数点からはじまる数値はダメ 用語法が違うよ：プロパティとメンバー メンバー名には常に文字列を使う 空文字列""もメンバー名に使える 配列要素はキッチリと並べよう 文字列を囲むには二重引用符だけ 文字列内のエスケープが微妙に違う 仕様にないエスケープは構文エラー undefinedもNaNもありません ラッパーオブジェクトは使わないのが吉 型システムとtypeofに関する注意 最後に 仕様原典さえ読めば完璧（のはずだが） JSONは、小さくて簡単な仕様
シェル（bash）のfor文の違いを吸収するMakefileの書き方 - 檜山正幸のキマイラ飼育記 (はてなBlog)
GNU bashにもいろいろなバージョンがあります。最新は 3.2.* らしいです。1.14.* なんて古いのもまだ使えます。さて、次のfor文はシェルのバージョンにより挙動が違います。 $ for x in ; do echo $x; done GNU bash, version 3.00.15(1)-release (i686-redhat-linux-gnu) だと何も実行されませんが、エラーでもありません。GNU bash, version 2.04.0(1)-release (i686-pc-msys) だと、次のエラーになります。 sh: syntax error near unexpected token `;' この違いはMakefileを書くときも問題になります。 dothis: for x in $(LIST); do\ echo "$$x";\ done のように書い
EmacsでJavaScriptソースを快適に読むために：js2-modeとエグズーベラントCtags - 檜山正幸のキマイラ飼育記 (はてなBlog)
「横道にそれすぎ」に書いた事情で、EmacsでJavaScriptソースコードを読む環境を少し整えようかと。 次の2つのツールを導入してみよう、っと。 js2-mode： http://code.google.com/p/js2-mode/ エグズーベラント（EXUBERANT）Ctags： http://ctags.sourceforge.net/ 内容： より良いEmacs JavaScriptモード -- js2-mode 強烈なタグファイル作成ツール -- エグズーベラントCtags エグズーベラントCtagsを調べてみる EmacsでJavaScriptソースを読む ●より良いEmacs JavaScriptモード -- js2-mode 以前（2006年7月）、ひげぽんさんの記事で、「ecmascript-mode.el ＜ javascript.el みたいだ」と書いてあった
JavaScriptでハマった件：さすがにJavaScriptだな、ウム - 檜山正幸のキマイラ飼育記 (はてなBlog)
「横道にそれすぎ」で騒いでいた「JavaScriptプログラムが動かない／解決できない」件。結局、僕の単純ミスでした。return [b];と書くべきところをreturn b;と書いていたのが原因でした。 ですが、この間違いがなかなか発見しにくかった事情が、いかにもJavaScriptらしいと笑ってしまいました（苦笑い）。 画面表示では区別できない値 まず、ブラウザのalertやRhinoのprintだと、次の3つの表示は区別できません。 alert(true); alert([true]); alert("true"); typeof演算子と組み合わせたり、nullでないオブジェクトならtoSource()メソッドを適用するなどしないと、[true]や"true"をtrueと誤解しかねません。次のコードで、最初の3つは同じ動作をしますが、後の3つは異なる動作をします。 if (true)
CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。 米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴染み。 この2つは、実は同じものなんだよ。なんで、誰もこのことを言わないんだろうね？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayのこの記事、面白いのだ
みにくいアヒルの子 -- コンピューティング・サイエンスとJavaScript - 檜山正幸のキマイラ飼育記 (はてなBlog)
擬似コード記述のような、説明に使える“動く”プログラミング言語を探していて、一時はGroovyを候補に考えていました。が、最近はJavaScriptでいいやと思ってます。実際、ゲーデルの不完全性定理の説明にはJavaScriptを使ってるし。 構文のフレーバは伝統的な手続き型なので、説明なしに誰でもだいたい理解できます。 print("Hello world.");これをみて理解に苦しむ人はいないでしょう（もっとも、ブラウザで実行すると理解に苦しむことになるが(苦笑)）。説明が必要でも、JavaScripの構文解説ならいくらでもそこらにありますし。 function式があるので、生のラムダ式の代わりにJavaScriptが使えます（なんならこれを参照）。メソッドも関数でラップできますから、そうしたいなら、純関数的に書くこともできます。 functio apply(func, args) {
カリーをもっと -- ラムダで考えるカリー化 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「もっとかしこいカリー化」で紹介した、nanto_viさん、kilreyさん、KENZさんのコードはいずれも、ラムダ式によるカリー化の表現と正しく対応しています。最初からラムダ計算で考えればよかった。「なんでそんなことに気が付かないんだ？」と言われそうですが、それはですね； 僕みたいに後知恵で理屈をこねるヘタレと、直観で判断しても正しい結果を得るエキスパートの違いですがね。テキスト処理の方法を思いついたら、そのまま無反省にやってしまったよ、僕は。＜＜実は脊髄野郎だろ で、以下、後知恵でヘタレ理屈こねます、コネコネェ。 内容： JavaScriptからfunctional風疑似言語へ 多変数関数のラムダ計算： 構文の定義 あらためてカリー化の定義 ラムダ計算規則と計算例 curry関数がカリー化になっていること 補足または蛇足 自分的には、式のモーフィングがニャンカ面白い。 ●JavaScr
もっとかしこいカリー化 - 檜山正幸のキマイラ飼育記 (はてなBlog)
来たよ、来ましたよー。 僕がJavaScriptやブラウザの話を書くと、誤解・誤認の指摘や役に立つ情報の提供が、コメントやトラックバックで来ます。 （http://d.hatena.ne.jp/m-hiyama/20051210/1134187007）このジンクス(?)は正しかった。 うーん、テキストつぎはぎは、やっぱダサイな -- いいんか? これで （http://d.hatena.ne.jp/m-hiyama/20051213/1134446855）と、カリー化するのに、関数ソーステキストをいじくり回すってのは、いくら何でも汚すぎるとは思っていたのですが、、、 まずは： http://nanto.asablo.jp/blog/2005/12/13/176033 nanto_viさん、これはカッコいい（クール!）です。ちなみに、nanto_viさんは鋭く役に立つコメントをくださる方です
JavaScriptでカリー化 - 檜山正幸のキマイラ飼育記 (はてなBlog)
JavaScriptでカリー化。ありがち、つうか実際にあるでしょうね。小ネタと思ってやりはじめたら、意外と混乱した。一種のメタプログラミングのはずだが、実際にはテキスト加工処理。 内容： カリー化ってなに？ カリー化を行う関数を作る：準備 カリー化を行う関数を作る：テキストのパッチワーク カリー化を行う関数を作る：組み立て ●カリー化ってなに？ 2引数の関数f(x, y)に対して、「gがfのカリー化」だとは、f(x, y) = g(x)(y) が常に成立すること -- ゴチャゴチャ説明するより実例実例： functio sum(x, y) { return x + y; } このsumのカリー化の例： function curried_sum(x) { return function (y) {return sum(x, y);} } curreid_sum関数は1引数で、戻り値として関数
シェルのリダイレクトを「こわいものなし」というくらい完全に理解しよう - 檜山正幸のキマイラ飼育記 (はてなBlog)
「Java BlockingQueueで遊ぶ：パイプラインごっこ」でパイプラインの話をしたので、本来の、つまりUnixのパイプやリダイレクトを少し調べてみました。 たまに話題となる some-command >file 2>&1 と some-command 2>&1 >fileの挙動の違いについて、「シェルはコマンドラインリダイレクトの指定を右から左に解釈実行する」なんて説明が見つかりました。んなバカな！ パージングは左から右にするものですよ。パーズツリーを逆順にたどることはできるけど、そんなことする必然性はなんにもないよ。 次の記事を読むと、「右から左」なんて事情じゃないことが分かるでしょう。 UNIXの部屋 検索: リダイレクト シェルのリダイレクトにまつわる失敗 さてここでは、複雑なリダイレクト処理も完全に理解できる処方箋を示しましょう。例えば、次のコマンドラインが何をするか分かる
檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算
「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて： 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記] ※印刷のときはサイドバーが消えます。 内容： JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ！ β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については「もっともお手軽な対話的JavaScr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
