言語の実装は関数型言語で、は本当か - camlspotter’s blog
表題の様なことがちょっと気になったので、型無λ計算の big step semantics (戦略は正格評価)を実装しました。まあ要するにしょぼいインタプリタですね。 FP でλ計算を実装する まず、普通に関数型言語(OCaml)で実装してみました。 λ式の型は t (term) λ式には整数定数と加減をプリミティブとして追加 λ式を評価すると value になる(計算止まらない場合はさようなら) value には引数を待っているプリミティブがある open List (** primitives *) type prim = Add | Sub (** terms *) type t = | Int of int | Var of string | App of t * t | Lambda of string * t | Prim of prim (** semantic values
特異値分解入門(1) - NtRand
An Excel Add-In Random Number Generator Powered By Mersenne Twister Algorithm ENGLISH RSS 特異値分解入門(1) May 20, 2010 互いに相関を持った正規乱数のセット（多変量正規乱数）を生成すること、これが金融工学のモンテカルロシミュレーションにおいて最も重要な技術となります。 系列の正規乱数列を生成する場合を考えます。 これらの乱数列の相関構造を記述するのが相関行列と呼ばれる の正方行列 です。 最終的に という形に分解することが目標となります（ここで t は転置行列です）。分解して得られた行列 を使って実際に相関乱数を生成する方法については、これも一般的な数値計算の教科書に載っていますのでそちらをご覧ください。 すぐ後で説明するように、この分解にはコレスキー分解を使えと、多くの教科書で教えて
妻「コーヒー飲む？作ろうか？」 夫「あるならもらおうかなぁ」 → 妻激怒「ニ度と夫に話しかけない」 : 痛いニュース(ﾉ∀`)
妻「コーヒー飲む？作ろうか？」 夫「あるならもらおうかなぁ」 → 妻激怒「ニ度と夫に話しかけない」 1 名前： 河津掛け(岡山県)：2013/11/04(月) 11:10:19.72 ID:+r2OhQ7Y0 頑張ってみて、だめだったら離婚だよね 中二長男、小５長女、小１長男の三児の母です。主人とうまくいきません。うまくいかない原因を冷静に考えた結果、私が「こう答えて欲しいなぁ」と、期待し過ぎているからだと思いがいたりました。 私:コーヒー飲む?作ろうか? 夫:あぁ、そうだなぁ、あるんなら、もらおうかなぁ。 はぁぁぁぁぁぁ? ないんですけどぉぉぉぉ? ないからこれから作ろうかと、聞いてるんですよ、あなたのために。 いらなきゃ、私はすぐ目の間にある麦茶で十分なんですから。 これは、ほんのほんのささいなひとこまです。「こんな事でいらいら?」だなんて、 思わないで下さいね。どんどん書くと、個人が
教訓は「他人が評価できるようにアウトプットせよ」だと思う - 発声練習
やっぱり高校生は今のうちにしっかり勉強しとけ（前半） やっぱり高校生は今のうちにしっかり勉強しとけ（後半） Togetter：茂木健一郎に騙されて通信制高校からAO入試受けた結果ｗｗｗｗ まず、多くの本を読んだ。上京する前から本は読んでいた方なのだが、上京してからは大型書店がたくさんあったこともあり、大量に購入してむさぼり読んだ。内容としては社会問題（震災、ボランティア等）や政治経済、自己啓発書、著名な経営者が書いた本などが主であった。 次に、自由に使える時間を利用して、様々な講演会に出かけた。これは東京でだからこそ出来る代物であろう。政治家、各省庁の役員、NPO団体の代表、大学教授や評論家、新聞記者さんなどが開催する講演会やシンポジウムである。僕は前もって作った名刺（といっても名前と電話番号、メールアドレスしか描いてない素朴なものだった）を持って行き、終了後に社会人に混じって名刺交換に励
Googleレベルの学生が起業した「Preferred Infrastructure」 ― ＠IT
2008/03/24 検索エンジン開発の分野で有名になりつつある企業にPreferred Infrastructure（PFI、東京都文京区）がある。目を引くのは10人の社員がいずれも東京大学大学院、京都大学大学院の出身者、もしくは在学中ということ。東京大学大学院の情報系研究科出身者の多くが近年、Googleに入社していることは有名だが、PFIは、いわば、Googleに行かなかったGoogleレベルの学生たちが起業したといえる。エンジニア率100％のPFIは日本のテクノロジ・ベンチャーの姿を変えるだろうか。 PFIの代表取締役社長 西川徹氏は「ACM 国際大学対抗プログラミングコンテスト（ACM/ICPC）の世界大会に出場したメンバーと一緒に何かやりたかった」と起業の動機を話す。起業したのは2006年3月。資本金は30万円。当時の社員は6人で全員が学生だった。オフィスはなく、Skypeで話
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
絵描き鍛冶