YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。
不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証明の一部 停止問題の解決不可能性についてのチューリングの証明 LISP式がエレガントであることを証明できないというチャイティンの証明 ライプニッツ「役に立たないパラドックスは無い」（チャイティン「知の限界」） ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっただろう」（ホフスタッター「メタマジック・ゲーム」） 次の2冊の本はLispといってもSchemeのようなオリジナル言語が使われている。ここではCommon LispとEmacs Lisp、M
Practical Common Lisp
that book is dead sexy —Xach on #lisp (more blurbs) This page, and the pages it links to, contain text of the Common Lisp book Practical Common Lisp published by Apress These pages now contain the final text as it appears in the book. If you find errors in these pages, please send email to book@gigamonkeys.com. These pages will remain online in perpetuity—I hope they will serve as a useful introdu
OOエンジニアの輪！ 〜 第 21 回 川合史朗 さんの巻 〜
Hope is a good thing, maybe the best of things, and no good thing ever dies. （希望は良いもの、おそらく最上のものだ。そして、良いものは決して消えない。：『ショーシャンクの空に』より） 高林さんとのつながり -- 今回は、高林さんからのご紹介ですが、どういったつながりですか？ 実は、直接お会いしたことは一度もないんです。一番最初はですね、Paul Graham の『Beating the Averages』 っていうのを、私が翻訳（邦題『普通のやつらの上を行け』）させて頂きまして、それの感想をメールで頂いたのがきっかけです。それから、私が開発している Scheme 処理系(Gauche)を使って頂いています。 -- 川合さんにとって翻訳って、あれは自分で読んで面白いものをみんなに見てもらう、っていうところですか？
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
Y Combinator
In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory. You already know that in some cases it is not necessary to give a procedure a name. For example, ((lambda (x) (+ x 1)) 6) adds 1 to 6 without naming the procedure that does it. But, what about a recursive procedure? For example, (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n 1)))))) whi
Practical Scheme
このページでは、プログラミング言語Schemeの紹介、および 自作のSchemeのライブラリやアプリケーションの紹介をしてゆきます。 特に、ファイルをパーズしてテキストファイルを生成したりとか、 プロセスを監視したりとか、ちょっとしたGUIをでっちあげる と言った、職業プログラマとしてやってく上で避けて通れない雑用に便利な ライブラリが中心になる予定です。 SchemeはLisp系の言語で、見かけはLispに良く似ています。 Lispと聞いたら人工知能用言語だとか、もう古くさい言語だとか思われることも 多いんですが、CommonLispで書かれた実用的なアプリケーションはいろいろ ありますし、Schemeも拡張言語としてそれなりに使われています。 ただ、いかんせんマイナーな言語であることは間違いなく、メンテできる人が居ない とか他に分かる人が居ないという理由で採用が見送られることがあるのは
『計算機プログラムの構造と解釈』について
最終更新日: 2000-12-02 (公開日: 2000-12-02) ちょっと感傷的。「今年」は 2000年のこと。 目次 ことはじめ 2.2.4節の図形言語 書評 関連リンク集 ことはじめ 今年の4月に『 計算機プログラムの構造と解釈 』(SICP)を知った。これはす ごい本である。MITの入門コース用の教科書らしいのだが、僕にとっ ては難しい (一応は情報科学が専門の大学院生なんだが)。が、難 しい以上に楽しい。本物の計算機科学を感じる。perl だとか CGI だとか、くだらんことをやっていないで、もっと早く読むべきだっ た。 この本では、プログラミング言語として Lisp の 1つの方言である Scheme を採用している。僕は Lisp を長い間、敬遠してきた。あ んな括弧の多い言語、 IQの高い人間じゃないと理解できないに違 いない、そもそも実用性がないんじゃないか、と思って
CLiki: index
Welcome to CLikiCLiki is a Common Lisp wiki hosted by The Common Lisp Foundation. CLiki contains resources for learning about and using the programming language Common Lisp, and information about DFSG-compliant free software implemented in Common Lisp. CLiki Resources Getting Started - Practical tips and basics for newcomers to Lisp Free Software Common Lisp implementations Development tools Curre
Common Lisp's Loop Macro Examples for Beginners
CLTL's Loop Reference HyperSpec's Loop Reference Peter Karp's Loop Tutorial Iteration for each element in a list: > (loop for i in '(1 2 3) do (print i)) 1 2 3 Iteration for each cdr of a list: > (loop for i on '(1 2 3) do (print i)) (1 2 3) (2 3) (3) Iteration for each element in a vector: > (loop for i across #(1 2 3) do (print i)) 1 2 3 Iteration for each key of a hashtable: > (setf h (make-has
文書とか (OpenSSH, djb, Python, Lisp/Scheme ...)
OpenSSH 関連 djb 関連 Python 関連 / Pygame 関連 Lisp/Scheme 関連 実用もの 資料 どうでもいいもの 著作権について: 翻訳物に関してはもとの著者に著作権があります (翻訳に際して生じた著作権は主張しません)。 新山自身が書いたものに関しては出典を残すかぎりどのように利用していただいてもかまいません。 OpenSSH 関連 お知らせ: OpenBSDプロジェクトは2014年3月から多国語の文書翻訳がなくなり、英語に一本化されています。 OpenSSH 日本語マニュアルページ OpenSSH 各種コマンドの man ページの翻訳です。 PuTTY と OpenSSH の設定 Windows 用の SSH クライアント PuTTY を OpenSSH と相互運用させる手続きを 音声つきで解説したものです。 Theo de Raadt インタビュー (2
The Common Lisp Cookbook
This is a collaborative project that aims to provide for Common Lisp something similar to the Perl Cookbook published by O'Reilly. More details about what it is and what it isn't can be found in this thread from comp.lang.lisp. The credit for finally giving birth to the project probably goes to "dj_special_ed" who posted this message to comp.lang.lisp. If you want to contribute to the CL Cookbook,
Common Lisp/データ構造 -- ファイヤープロジェクト
Lispを学んでどうするのか…emacsをカスタマイズしまくることぐらいしか思い浮かばないが,その思想等を学ぶことは何かと役に立つはずだ.というわけで,Emacs LispはおいといてCommon Lispをやってみる. 基本編 データ構造 詳細入門編 基本編 なにはともあれCommon Lispでいろいろな式を書いてみる. 準備 2003-07-20T15:13+09:00 matsu 実行環境についての記述とサンプルのための入出力についての記述. 式と評価 2003-07-20T15:13+09:00 matsu 式の記述方法とその評価. データ 2003-07-20T15:13+09:00 matsu Lispにおけるデータについて概観する. 変数の定義と代入 2003-08-24T22:00+09:00 matsu Lispにおける局所変数,大域変数,大域定数の定義と代入について.
Common Lisp: loopマクロ用法抄
GrahamのANSI Common Lispでは嫌われていて碌に説明のないloopマクロ。一方、Practical Common Lispでは対照的に好んで用いられていて、全編に渡って頻繁に使われている。しかしloopマクロは難しいという意識があるのかその説明は第22章とかなり後回しにされており、ちぐはぐな感を受ける。ここでは、LOOP for Black-Belts という題のつけられたその章で解説されているloopマクロの用法を整理してみた。 ANSI Common Lispでの黒魔術扱いに敬遠していたloopマクロだったが、こうして整理してみるとそれほど難しく考えずとも便利に使うことができそうだ。 目次 繰り返し 計数繰り返し コレクション内繰り返し 変数更新しながら繰り返し ループ終了条件の追加 アクション 集約 ループ内ローカル変数 任意の式の実行 条件分岐 ループ中断 その他
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
