Design Principles Behind Smalltalk (in Japanese)
17 August 2004 Quenya 5 April 2004 Маяковский 20 February 2004 国会の議長になったら...Viscuit...になったら...備忘録 10 January 2004 German irregular verbsGerman 9 January 2004 When I become a real mayor, I'll.. 4 January 2004 AdventsKalendar 3 January 2004 chomswiki Swiki 14 December 2003 読みたい本 9 December 2003 気になるものUser Interface 2 December 2003 tide triple helix oral history Smalltalkプロジェクトは私たち一人一人が持つ創造性を計算機によって支
GC撲滅への道 - GC Advent Calendar - miura1729の日記
Garbage Collection Advent Calendarの5日目の記事です。 私はGCが嫌いです。GCは幼稚で礼儀知らずで気分屋で 甘やかすといつまでも動き、ほったらかすとセグフォする。 そんなGCのために、私達人間は何もする必要はありませんよ ♪ ということで、GC撲滅の1方法としてLinear Lispなるものを紹介します。Linear Lispは線形論理という論理に基づいたLisp処理系です。 元論文はこれです。 Lively Linear Lisp -- 'Look Ma, No Garbage!' http://home.pipeline.com/~hbaker1/LinearLisp.html 線形論理については、ここのページが感動的なほどわかりやすいです。 線形論理って何？ (情報科学演習 III 課題紹介（小林研究室）) http://web.yl.is.s.u
Zoologger: The world's smartest insect
Which way? (Image: Andre Konieczny/Imagebroker/FLPA) Species: Bombus terrestris Habitat: Throughout Europe and north Africa, outsmarting salespeople Anyone who has used an in-car satnav will be familiar with Jane, the calm voice that tells you to turn around because you’ve gone the wrong way. Many users will also be familiar with the response: yelling “Shut up, Jane!” while performing illegal turn
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
スライド「再帰プログラムの幾何」
Geometry of Recursive Programs 2006 9 15 I. 2 • • • • • 3 — • • • 4 5 6 recursion I II III IV 7 II. 8 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) F F(f)(x) ≡ if x = 0 then 1 else x × f(x−1) fact = F(fact) 9 fact(4) (fact = F(fact)) = F(fact)(4) (F ) = if 4 = 0 then 1 else 4 × fact(4−1) (4 �= 0) = 4 × fact(3) (fact = F(fact)) = 4 × F(fact)(3) (F ) = 4 × (if 3 = 0 then 1 else 3 × fact(3−1)) (3 �= 0
ヒビルテ(2002-06-22)
curry howard ×17 / 獣姦小説 ×12 / Curry-Howard ×10 / curry-howard ×8 / curry howard isomorphism ×7 / Lectures on the Curry-Howard Isomorphism ×7 / Curry-Howard isomorphism ×6 / 天子な小生意気 ×5 / Curry-Howard Isomorphism ×5 / Curry－ Howard ×5 / curry-howard isomorphism ×4 / "Lectures on the Curry-howard Isomorphism" ×3 / λ 形式意味論 ×3 / ブール代数 証明 ×2 / ペアノ算術 ×2 / Lectures on the Curry-howard Isomorphism ×2 / lec
不動点演算子ふたたび - sumiiの日記
（追記：Ｙコンビネータって何に使うの？） Yコンビネータ（Curryの不動点演算子）を説明するのがプチブーム（死語）らしいので、ふたたび挑戦。 まず、ふつーに再帰関数factをSchemeで定義してみる。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))この定義は、右辺にfact自身が出現するので、再帰的定義なのであった。ここから右辺にfactが出現しないようにするのが目標。とりあえず、factを関数の引数として外から受け取るようにしてみる。 (define make-fact (lambda (my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))))これは( (make-fact fact) 10)みたく使えるが、make-factを呼び出す際に
翻訳:コンビネータ論理チュートリアル
このページは、Combinatory Logic Tutorialの翻訳です。 http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書きと感想コンビネータ論理チュートリアル 訳者による前書きと感想 訳してみたものの、ちょっと、たったこれだけの説明では、はじめてコンビネータ論理を知った人が読んで充分に理解できるとは思えない。 どうも、この文書は、原文の上位ディレクトリにあるLambda tutorialを読んだ後に読むべきものっぽいようだ。 しかし、流石にこっちまで訳す気力は無い。 そういう訳で、これだけを読むよりは、Unlambdaのチュートリアルを読んだ方がずっと、コンビネータ論理を理解
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
los : 汎用計算機上のLisp Machine -その1:取り敢えず動くまで-
Kazunori Ueda 理論と実際のギャップ: 並列プログラミング
http://pllab.jaist.ac.jp:8080/education/i217-2002/theory.html
http://blog.picsy.org/archives/000199.html