vallog
管理者に問い合わせしろっていう例のあれ。 VPN接続失敗。ネットワーク、事前共有鍵など設定を確認し、再度お試しください。問題が解決しない場合は、ネットワーク管理者にご連絡ください。 VPN connection faileVPN Connection failed. Please check your configuration, network, connection and pre-shared key then retry your connection. If the problem persists, contact your network administrator for help. ログメッセージ "No response from the peer, phase1 retransmit reaches maximum count" 今回はWindows11を22H2にア
僕でもわかる継続と部分継続 - まめめも
callcc と shift/reset についてわかるとこだけ書いてみます。 継続 callcc という操作は、現在から実行終了まで、継続をまるごと取り出します。例題。 p [1] + callcc {|k| [2] + k.call([3]) } #=> [1, 3] callcc では callcc がリターンしてから実行終了するまでの継続 k が取り出せます。k.call([3]) で継続が呼ばれると、いきなり「callcc が [3] を返した瞬間」に実行が飛びます。つまりこんな感じ。 p [1] + [3] あとは自明ですね。"[2] +" のあたりは無視されます。 部分継続 shift という操作は、現在から reset まで、継続の一部だけを取り出します。この継続の一部を部分継続といいます。例題。 p [1] + reset { [2] + shift {|k| [3] +
Scheme コードバトンまとめページ - higepon blog
バトン参加表明中 emasaka さん[done] leque さん[done] Kazuhiro MUSASHI (kazu634)さん[done] naoya_t さん @nkoguro さん(2月ならOK) Scheme id:higepon: 第1回 Scheme コードバトンのお知らせ gist: 273431 - GitHub id:yad-EL さん: Schemeコードバトンに参加しました - ヤドカリデンキ商会（第一倉庫） gist: 273551 - GitHub さっそくバトンの醍醐味であるダイナミックな書き換えが発揮され Gauche 向けに書き換えられました。second -> cadr ですが個人的には first, second が好き。 Gauche なら (use srfi-1) 。入出力のバッファリングは確かにはまるポイントかも。call/cc はわざと
kazkaz diary
_ [Haskell] hs-dotnet入れた。 PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs configure Configuring hs-dotnet-0.4.0... PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs build Preprocessing library hs-dotnet-0.4.0... Building hs-dotnet-0.4.0... C:\ghc\ghc-6.10.2\bin\ar.exe: creating dist\build\libHShs-dotnet-0.4.0.a PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs install Installing library
Clojure
Clojure is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool. The Clojure Programming Language Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.
(:on clojure)
MacBook Air 11インチ欲しい！ 当たったら毎日持ち歩きますよ。 MBPは正直重くて持ち歩く気にならない。 MacBook Air 11インチ欲しい！ 当たったら毎日持ち歩きますよ。 MBPは正直重くて持ち歩く気にならない。 ここ最近、Google App Engine(GAE)でCompojureのアプリを動かそうと試みていましたが、デプロイしたURLにアクセスすると Error: Server Error The server encountered an error and could not complete your request. If the problem persists, please report your problem and mention this error message and the query that caused it.と出てしまいま
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の人工知能研究所のホットな様子を垣間見た気がした。 本文では敬称を略した。登場人物の肩書はどんどん変化したので、
SICP in Clojure
Structure and Interpretation of Computer Programs adapted for the Clojure programming language Printer-friendly version This site exists to make it easier to use Clojure rather than Scheme while working through SICP. The folks behind SICP were kind enough to release it under a Creative Commons Attribution-Noncommercial 3.0 Unported License, which will allow me to annotate the text and adapt its so
Impromptu: Scheme ベースのライブコーディング環境 - Radium Software
Impromptu は Andrew Sorensen 氏によって作成されたライブコーディング環境だ。言語としては Scheme をベースとしており，それに映像や音楽を扱うためのライブラリ群と，リアルタイムにコードを記述し実行するためのエディット環境が統合されている。 実際に触ってみると，関数型言語とライブコーディングの親和性が，なかなか良いことが分かってくる。エディターの出来も良く，リアルタイムにコードを書きつつ実行するという作業をスムースに流れるようサポートしてくれる。 上のビデオでは， Impromptu のサンプルプログラムを参考にしつつ，簡単なアルゴリズム作曲のコードを組んでみた。ちなみに，ビデオ中に登場する "my:play" 等の関数は，作業を簡略化するためにあらかじめ用意しておいた関数なので悪しからず。 いくつかのデメリットもあるものの（最大の弱点は Mac OS 版しか存
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 氏は
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) (
紫藤のページ
紫藤のページにようこそ！ Lisp, Haskell, Python, Sather などの関数型言語の解説、小品プログラムを載せています。 ここでは関数型プログラミング言語をものすごく広い意味で使っており、 手続きをデータとして扱える言語を指します。 （Python, Sather などは普通はオブジェクト指向言語に分類されます。） また、xyzzy のマクロに関するメモもあります。 面白そうな割りに、web 上に文書が少ない題材を取り上げています。 リンクはご自由にお張りください。 更新ログ [Sep 15, 2014](Python) Set を用いたライフゲームの実装 を作成 [Jul 21, 2014]デコレータを用いた bottle.py のアクセスコントロール を作成 [Jul 13, 2014]Maildir のバックアップ を作成 [Jun 28, 2014]自宅サーバの
WebScheme - Scheme interpreter for web applications
WebScheme Scheme interpreter for web applications WebSchemeはJavaScriptで書かれた、ウェブアプリケーションのためのScheme処理系です。 デモ IE6.0およびFirefox 1.5にて動作確認しています。 数独 数独というパズルゲームを遊ぶプログラムです。 「load sample」をクリックするとプログラムをロードし、「eval」を押すと実行します。 数独（コンパイル済み版） Schemeのコードを事前にJavaScriptにコンパイルしておくことで、ロード時間を無くしたものです。 WebSchemeからGoogle Maps APIを呼び出すサンプル WebSchemeにはJavaScriptのオブジェクトを操作する機能があり、これを使って Googleマップを操作するサンプルです。 「load sample」
Scheme2Js
Scheme2Js is a Scheme to JavaScript compiler distributed under the GPL license. While some effort has been spent on being as close as possible to R5rs, we concentrated mainly on efficiency. Usually Scheme2Js produces JavaScript code, that is comparable to hand-written code. In order to achieve this performance, Scheme2Js is not completely R5rs compliant. In particular it lacks exact numbers. Schem
Sign in - Google Accounts
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.funclang.net/blog/
Tumblr
Tumblr
Efficient data transfer through zero copy
ラムダ算法