よくわかるcall/cc
内容に直接関係しないのですが、「スタックのコールバック」。@aharisuさんが言っていたのはたぶん「コールスタックの破棄」的なことだったかと。コールスタックごと吹き飛ばす的な。違ったかな。 継続 - Wikipedia 「ある時点での状態」を変数に束縛して、後からそこへ戻るといったことも可能になる。Schemeの継続は関数の形をとっており、これは「その関数を呼ぶことにより、そこに渡された引数をcall/ccで囲まれている式全体の値として継続に“注入”できる」と定義されている。継続 プログラムの実行順序を制御する概念継続 既に終了したスタックフレームを黄泉の国か ら引きずり出してスタックにぶちこめるわけである。普通の人間が「おっ、ここはCall/CCを使えば カッコ良く実装できるね！」などと思いついたりすることはまずありえないScheme/継続 - Wikibooks 継続を用いれば大域脱
vallog
Gauche が 0.9.1 になってっから（？）、それまで gauche.experimental.apps モジュールにあった ^ とか ^x とかが使えるようになっているみたいです。引数をリストで受け取る時とか笑顔の顔文字みたいになりますよね。(^ _ ^) みたいな。 これで Y コンビネータもすっきりー！ (define Y (^c ((^f (f f))(^g (c (^ x (apply (g g) x))))))) ということで以前書いた Y コンビネータ関連エントリ。 vallog: メモ化された Y Combinator vallog: pluggable Y Combinator vallog: pluggable Y Combinator 2 vallog: また出てきたYコンビネータ。Y!。 vallog: TSS length, Y!, Y-bang vallo
Yコンビネータ 継続編
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
http://www010.upp.so-net.ne.jp/okshirai/scheme-20070402222203.txt
Scheme 過去◇現在◇未来 前編 bit/April 1996/Vol. 28, No.4 p4～9 Guy L. Steele Jr. 訳 井田昌之 ---------------------------------------- はじめに ――― 訳者より Schemeの開発者の一人であるGuy L. Steele博士が、1995年7月10日にLisp協議 会のシンポジウムで講演を行なった。場所は青学会館である。本稿は、その講 演を元にまとめたものである。その内容は、開発の当事者でしか語れないもの が多く、たとえば、Schemeの発端のいきさつには、Carl Hewitt先生も大きく関 係している点など、訳者にとっても、なるほどと新鮮で興味深いものであった。 当時のMITの人工知能研究所のホットな様子を垣間見た気がした。 本文では敬称を略した。登場人物の肩書はどんどん変化したので、
Impromptu: Scheme ベースのライブコーディング環境 - Radium Software
Impromptu は Andrew Sorensen 氏によって作成されたライブコーディング環境だ。言語としては Scheme をベースとしており，それに映像や音楽を扱うためのライブラリ群と，リアルタイムにコードを記述し実行するためのエディット環境が統合されている。 実際に触ってみると，関数型言語とライブコーディングの親和性が，なかなか良いことが分かってくる。エディターの出来も良く，リアルタイムにコードを書きつつ実行するという作業をスムースに流れるようサポートしてくれる。 上のビデオでは， Impromptu のサンプルプログラムを参考にしつつ，簡単なアルゴリズム作曲のコードを組んでみた。ちなみに，ビデオ中に登場する "my:play" 等の関数は，作業を簡略化するためにあらかじめ用意しておいた関数なので悪しからず。 いくつかのデメリットもあるものの（最大の弱点は Mac OS 版しか存
紫ログ:GaucheでR風に行列演算を記述する - livedoor Blog（ブログ）
【C.M.ビショップ「パターン認識と機械学習(PRML)」読書会の情報はこちら】 行列に関する操作は、R をマスターする基本です。関連する Tips を脈絡なくできるだけ集めたいと思います。お気づきの正統派・裏技テクニックをお寄せください。一部重複はむしろ好ましいと思います。 PRMLに出てくるアルゴリズムを実装するには行列演算が書きやすくないと辛いので、Rの記法を参考にしながら試行錯誤中。 夢見ている書式仕様 matrix(): 要素ベクトルを与えて行列を作る： matrix(1:12, nrow=3, ncol=4) → (%matrix (iota 12 1) :nrow 3 :ncol 4) → (%matrix (%: 1 12) :nrow 3 :ncol 4) matrix(1:12, nrow=3) # 自動的に ncol=4 とされる → (%matrix (%: 1 1
紫ログ:PRML: §1.1 多項式曲線フィッティング - livedoor Blog（ブログ）
【C.M.ビショップ「パターン認識と機械学習(PRML)」読書会の情報はこちら】 Rを参考にして書いた、Gaucheで行列演算を記述するためのオレオレライブラリを使い、１章の最初の多項式曲線フィッティングから復習コーディング中。 訓練データ集合（sin(2πx) + ガウス分布ノイズ）と元の曲線: 次数M=0〜9でフィッティング: 次数M=9、N=15とN=100の比較: 次数M=9、ペナルティ項つき: ソース: (require "./lib/random") (require "./lib/util") (require "./lib/gd-graph") (require "./lib/mac") (require "./lib/matrix") ;; [0..1]の範囲で均一に分布する乱数 (define rand-0to1 (make-uniform-rand 0 1)) ;;
御手洗特急途中下車
2010年01月(1) 2009年12月(4) 2009年11月(1) 2009年08月(1) 2009年07月(2) 2009年03月(4) 2008年11月(2) 2008年10月(2) 2008年09月(6) 2008年08月(14) 2008年07月(4) 2008年06月(5) 2008年05月(7) 2008年04月(3) 2008年03月(9)
Future Language TV - ヤドカリデンキ商会（ブログ版）
主催者のid:ranhaさんと会場を貸してくださったチームラボさんありがとうございました 自分の感覚では「いいイベントだけどアウェーなイベント」（例 RubyKaigi）と「なぜかホームの感じがするイベント」がある。今日のFLTVは後者。別に、自分が発表したからじゃなくて 参加者全員が「未来を考える」という軸を共有していた気がする。プロパガンダやポジショントークの類がほとんどなかったのがよかった。この手のテーマでありがちの「ウソくさい未来」をでっち上げようとする空気がなかったのもよかった m0h1canさんのドリクラ貧乳名刺をゲット わたし 「真っ黒Scheme」 内容が薄いプレゼンだったので順番を最初にしてもらった 前座として場をあたためるくらいはできたかな タイトルは「メタメタScheme」のほうがよかったと後で思った 真っ黒SchemeView more presentations
Lambda Gate -- various LISPs
λ門 Updated $Date: 2008/01/19 08:38:39 $ 様々な LISP LISPs in research TUPLE (Toyohashi University Parallel Lisp Environment) は、 Common Lisp に超並列計算機の機能を付加したもの とのことです。 NUE (New Unified Environment) の TAO は、LISP 専用機 ELIS の核言語です。 Thomas Mahler 氏の pLISPは an experimental Implementation of parallel functional Programming. It is based on massive parallel graph-reduction machine だとのことです。 Gregory J. Chaitin 氏は
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Lisp好きの小部屋
2011年05月23日 Lispで充足可能かどうかのチェック またまた論理学の話題です。与えられた論理式の集合が矛盾しているかどうかのチェックをしてみました。といっても単純に?xと(not ?x)の形式を共にふくんでいないかどうかのテストをしている だけなのですが。 (defun convert-to-truth (x) (if (null x) nil t)) (defun without (x list) (remove-if #'(lambda (i) (equal x i)) list)) (defun satisfiablep (logical-seqs) (not (some #'identity (loop for logical-seq in logical-seqs do (format t "check ~A in ~A~%" `(not ,logical-seq) (
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Tumblr
はやみず
kazuya_aの日記 OpenGLとかSchemeとか
http://sicpinclojure.com/
SISC for Seasoned Schemers
IBM Developer
Efficient data transfer through zero copy
ラムダ算法