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にア
Shibuya.js: ActionScript でクロージャ、継続渡し : torus solutions!
Shibuya.js Technical Talk #2 で、 発表をさせていただきました。ありがとうございました。 5 分の中にいろいろ詰め込もうとしたら、 訳の分からない発表になってしまいました。 発表者やスタッフのみなさんお疲れさまでしたー。 今回の発表では、 まず ActionScript（JavaScript）でのクロージャと継続渡しスタイルの実装方法の説明をし、 その後、 A* アルゴリズムというグラフの最短経路探索アルゴリズムを例にとって、 クロージャや継続渡しスタイルの便利さをアピールしようとしました。 発表資料 当日使った発表資料をおいておきます。 スライドの PDF デモの Flash（SWF） デモの ActionScript ソース Flash 8 を持っていれば、次の Fla ファイルを使ってデモを試すことが出来ます。 （Flash 8 の体験版 でも OK です
Y Combinator
このファイルで、我々は、再帰手続き理論の重要な成果の一つであるYコンビ ネータを導出する。手続きに名前を与える必要がない場合があることが知られ ている。たとえば、 ((lambda (x) (+ x 1)) 6) は、それを行なう手続きを名付けることなく1を6に加える。しかし、再帰手続 きはどうだろうか? たとえば、 (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n 1)))))) は数nの階乗を計算するが、手続きの最終行で自身に再帰できるようにするた めに名前"fact"が必要であるように思える。しかし、我々はそれは必要でない ことを理解し、そのプロセスにおいて、Schemeを使うことに関する多くの勘を やしなうだろう。我々は一ステップずつ進み、各ステップで"fact"をわずかに 変更する。 Step 1. 最初のアイディア
Write Yourself a Scheme in 48 Hours - Wikibooks, open books for an open world
Write Yourself a Scheme in 48 Hours is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. This book proceeds at a very brisk pace, which might occasionally lea
還暦プログラマの挑戦(Haskell に挑む→F#による言語造り)
Haskell HASKELL Wiki の Write Yourself a Scheme in 48 Hours １．Overview ２．First Steps: Compiling and running ３．Parsing [言語を作るぞ その１] ４８時間でSchemeを作っちゃおうって ・・・sigh かつて、10分でやろうってのを、とてもじゃない、10分じゃできなかった例がある。さてこいつはどのくらいかかるんだろう。 そもそも、Schemeはやったことがない。 無謀といえば無謀なんだけど、「parser」の一言につられ、かじり始める。 さて、どうなることやら １．Overview ウェブ上のHaskellの記事は、ほとんどが言語マニュアル的なアプローチをしている。 それらは、会話環境で、シンタックス、言語構造や、ちょっとした関数を説明するだけで、関数やプログラ
happyabc.org
Ваш сайт на www.happyabc.org Создайте свой сайт при помощи наших сервисов: Готовые сайты на популярных CMSКонструкторы корпоративных и сайтов визиток: REG.RU, EcwidПодробнее Ваш хостинг для www.happyabc.org Выберите хостинг в соответствии с требованиями по нагрузке для вашего проекта: Хостинг сайтов для Linux и WindowsСерверы VPSОблачный хостинг JelasticПодробнее Ваша почта на @happyabc.or
Church numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足
Church Numerals と Lambda Calculus アルゴリズムとデータ構造入門 補足 後半は佐藤雅彦先生に教えてもらいました. SICP Exercise 2.4 〜 Exercise 2.6 誤解を恐れずに大雑把にいうと, λ計算では名前つきのシンボル (名前付きの手続き) による再帰呼出しや special form が使えないところが Scheme と違うところです. そのため, λ計算を Scheme で行うためにはいろいろな工夫が必要となります. そのポイントは closure (閉包) と呼ばれる構造です. 自然数 n の Church numeral を c(n) とすると, c(n) f x = (f ... (f x)), ただし, f は n 回出現. となることを利用します. まず, c0 と successor を定義します. (SICP Ex.
Sixx Scheme 1.0 リファレンス
Sixx Scheme の Sixx は Scheme In XX (20) kb の略で、それから分かるように非常に小さな Scheme 処理系である (実際には 20KB は越えているが、30KB よりは小さい。携帯 Java で動くかどうかは知らないが、移植するとしてもかなり容易であろうと思う)。R4RS のサブセット (JScheme から拾ってきた r4rstest.scm で、大文字小文字の部分以外はすべてクリア。その部分も、同じく大文字小文字を区別する R6RS が同じ値なので意味的にはクリア。なお、もちろんだが R5RS や R6RS に由来する部分はこれではテストされない。とりあえずこれをクリアするためにあちこちパッチ当てしたので現状 30KB をちょっと超えてしまったが、そのうちにまた 20KB 台に戻せるものと思う) だが、JVM 上の素直な処理系なので日本語も通る
GaucheからdRuby経由でRubyライブラリを叩きまくるの巻 - aike’s blog
Gaucheはじめました。Scheme言語については前からどんなものかくらいは知っていたけど、ちょっと本格的に使いこなしたくなって取り組んでます。Gaucheは手軽な上に日本語ドキュメントもたくさんあって楽しいですね。でもやっぱりWindows環境だといまいち未サポートの機能が多いんだよなあ。Cygwinはあんまり好きじゃないのでMinGW版を使いたいのに。 そんなわけでGaucheからdRubyへ通信してしまえば、ひょっとして使い慣れたRubyのライブラリが全部利用できるのでは、というのが今回の発想のはじまり。 たぶんTCPでメソッド名と引数を送信しているんだろう、という予想の元にdRubyのソースを見てみる。ふむふむ、一番単純なパターンはそれでいけそう。とりあえずシリアライズをしてるMarshalモジュールをShemeで書き直せばよさげ。整数と文字列ぐらいが扱えればよしとしよう。Mar
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
リストの内包表記 - みずぴー日記
30分プログラム、その56。リストの内包表記 for Scheme。 実際は、40分ちょっとかかってたりする。 内包表記(list comprehension)って? 内包表記がこれであっているのかちょっと自身がないので詳しめに、動作解説をしてみる。 Haskellのやつと動作が違うようならツッコミ希望。 まずは、単純にリストから要素をとってくる場合は次のように書ける。 (list-of x (<- x (iota 10))) ; => (0 1 2 3 4 5 6 7 8 9) またとってきたやつに対していろんな演算を行なうこともできる。 (list-of (* x 2) (<- x (iota 10))) ; => (0 2 4 6 8 10 12 14 16 18) (list-of (+ x 1) (<- x (iota 10))) ; => (1 2 3 4 5 6 7 8 9
trotrの日記
gistに書けば良かったかも。 listを一連の流れの連鎖ではなく候補からの選択と捉えてみると、別な形のマクロが思い浮かぶ。 (やり過ぎ良くない…ただ、実験ということで) 例えば、こんな感じ。clojureの->,->>にならい、初期値を取りそれをもとに選択を行うようになっている。 (define (f x p val) (and (p x) val)) (define (QandA Q) (@maybeL Q (f symbol? 'symbol) (f integer? 'int) (f list? 'list) (f identity 'unknown))) (map QandA '(10 aa (aa) #(aa))) ; => (int symbol list unknown) 他の構文とは異質なものなので、それをはっきりさせるために@をつけている。 code (use util
(: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.と出てしまいま
よくわかるcall/cc
内容に直接関係しないのですが、「スタックのコールバック」。@aharisuさんが言っていたのはたぶん「コールスタックの破棄」的なことだったかと。コールスタックごと吹き飛ばす的な。違ったかな。 継続 - Wikipedia 「ある時点での状態」を変数に束縛して、後からそこへ戻るといったことも可能になる。Schemeの継続は関数の形をとっており、これは「その関数を呼ぶことにより、そこに渡された引数をcall/ccで囲まれている式全体の値として継続に“注入”できる」と定義されている。継続 プログラムの実行順序を制御する概念継続 既に終了したスタックフレームを黄泉の国か ら引きずり出してスタックにぶちこめるわけである。普通の人間が「おっ、ここはCall/CCを使えば カッコ良く実装できるね！」などと思いついたりすることはまずありえないScheme/継続 - Wikibooks 継続を用いれば大域脱
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.h7.dion.ne.jp/~samwyn/ChickenDoc/The%20User&
サービス終了のお知らせ
http://www.funclang.net/blog/
Tumblr
Tumblr
