プログラムの実行はどのようにして行われるのか、Linuxカーネルのコードから探る （2017/7/20） C言語の「Hello World！」プログラムで使われる、「printf()」「main()」関数の中身を、デバッガによる解析と逆アセンブル、ソースコード読解などのさまざまな側面から探る連載。最終回は、Linuxカーネルの中では、プログラムの起動時にはどのような処理が行われているのかを探る エンジニアならC言語プログラムの終わりに呼び出されるexit()の中身分かってますよね？ （2017/7/13） C言語の「Hello World！」プログラムで使われる、「printf()」「main()」関数の中身を、デバッガによる解析と逆アセンブル、ソースコード読解などのさまざまな側面から探る連載。今回は、プログラムの終わりに呼び出されるexit()の中身を探る VBAにおけるFileDial

不動点オペレータY 階乗関数は、 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1)))))) のように、再帰的に定義できる。 再帰的定義を行なう場合はdefineやletrecを使うけど、 代わりにletを使うと再帰的定義はできない。 defineやletrecをどうしても使いたくないなら、多少工夫がいる。 例えば、factの引数を増やすという方法がある。 (let ((fact (lambda (self n) (if (= n 0) 1 (* n (self self (- n 1))))))) (fact fact 10)) ⇒ 3628800 (中略) 不動点オペレータYを使うと次のように書ける。 (let* ((Y (lambda (g) ((lambda (s) (g (lambda (x) ((s s) x))

λ組とは λを愛しλによって結びつけられたメンバーが日々λ的な発想の元λを探求する集団。 烏御堂と共に『魔法言語 リリカル☆Lisp』を制作した。 命名の動機は「団体名が必要だったのでつけた。λ計算とは何の関係もない」とのこと。 作品 魔法言語 リリカル☆Lisp Lispインタプリタとアドベンチャーゲームの融合を図ったという奇妙なもの。 AVG作成用スクリプトエンジンであるNScripterの上で、 LispインタプリタNScLisperを動かしている。 地獄Scheme JavaScriptで実装されたSchemeっぽいインタプリタ。 メンバー (2008年時点) zick 講義をさぼりつつも、好奇心のままに邁進してゆく自由人。ついこの間まで未成年だったのに今ではすっかりいける口である。アクティブムードメーカー。 LISPに触れるまではゲーム開発などを楽しんでいる口だったが、興味を持ち

とある方からの勧めで、「Three Implementation Models for Scheme」を読み始めました。 180ページもあって「うげー」という感じだったのですが、1ページあたりの文字の量が少なく、 また、内容もソースが多くて読みやすかったのでむしろ「ほへー」という感じでした。 --- 4章まで読み終わったので、適当なまとめを書いておきます。 Schemeは関数と継続がfirst class objectで末尾呼出、代入のサポートも必要 => 従来のコンパイラ/インタプリタの手法が使いにくい 全てをヒープにおくことによってコンパイラとVMを作ることができる => ただし、動作が遅い スタックを使えば速い(変数などもスタックに入れる) => first classの関数、継続、末尾呼出、代入はそのままではサポートできない スタックを継続オブジェクトに丸ごとコピーするこ

田無の権兵衛とｋ先生をお借りいたします、竹内郁雄先生。 田無の権兵衛：（突然、玄関先で大声）　たのもーう。 Ｋ：　なんだ、騒々しいな。やや、田無の権兵衛ではないか。達者であったか。ささ、上がりなさい。 久しぶりじゃのう。今まで何をなさってたのかな。 田無の権兵衛：　実は昭和の終わりごろ、Lispの修行をするためにインドに旅立ちました。 山奥に篭って修行すること25年。やっと少しはLisp道を極めたように思い、懐かしい日本に帰ってまいりました。 Ｋ：　おお、それは難儀であったな。久しぶりの再会じゃ、今夜はLisp話を酒の肴に語り明かそうではないか。 田無の権兵衛：　それはかたじけない。そうそう、日本に帰ってきて驚いたのです。日本人はみんなスーパーコンピューターを 所有しているですか？ Ｋ：　いや、いくら日本人が猛烈に働いて豊かになったとは言え、スーパーコンピューターを個人で所有している

通常のScheme-modeでもプログラムをしやすくするために 調整してくれるが、特殊形式や構文についてはあまり多くは 対応していない。以下のような設定を .emacs に仕込んでおくと便利 (put 'and-let* 'scheme-indent-function 1) (put 'begin0 'scheme-indent-function 0) (put 'call-with-client-socket 'scheme-indent-function 1) (put 'call-with-input-conversion 'scheme-indent-function 1) (put 'call-with-input-file 'scheme-indent-function 1) (put 'call-with-input-process 'scheme-indent-functi

「継続の書(Book of Continuation): 8面以降でもコンティニューできるようになる」 (「レインボーアイランド」) Schemeには継続を扱うための関数 call-with-current-continuation (別名 call/cc) がある。 でもここでは blockという(機能としては違いの無い)構文を定義して、 それを使って説明していく。 blockの定義は、 (define-syntax block (syntax-rules () ((_ name e1 e2 ...) (call-with-current-continuation (lambda (name) e1 e2 ...))))) とか、 (define-macro (block name . body) `(call-with-current-continuation (lambda (,n

正誤表 2000年5月25日現在１件 目次 まえがき 訳者まえがき １．はじめに １．１．Schemeのシンタックス １．２．Schemeの名前付け規約 ２．Scheme入門 ２．１．Scheme環境との対話 ２．２．単純式 ２．３．Schemeにおける式の評価 ２．４．変数とlet式 ２．５．lambda式 ２．６．トップレベル定義 ２．７．条件式 ２．８．単純な再帰 ２．９．代入 ３．続Scheme ３．１．拡張シンタックス ３．２．さらに再帰 ３．３．継続 ３．４．継続引き渡しスタイル ３．５．内部定義 ４．変数のバインド ４．１．変数参照 ４．２．lambda ４．３．局所的なバインド ４．４．変数定義 ４．５．代入 ５．制御操作 ５．１．制御操作 ５．２．プロシージャの適用 ５．３．逐次化 ５．４．条件式 ５．

プログラミング言語Scheme 富山大学理学部数学科 木村 å·Œ<[email protected]> 最終更新日：2003å¹´8月26日（更新箇所） Schemeとは Schemeは、Guy Lewis Steele Jr.とGerald Jay Sussmanによって創始された、静的なスコープを持ち、真に末尾再帰的なプログラミング言語であり、Lispの一方言でもあります．他に例を見ないほど明快かつ簡潔な意味論を持ち、また、表現の仕方がほぼ一意に定まります．広い範囲のプログラミング・パラダイム、例えば命令型、関数型そしてメッセージ交換型、は、Schemeにおいて簡便に表現できます．（"Rivesed5 Report on the Algorithmic Language Scheme"序文より）． このページの目的 このページの目的は、Schemeに関する情報を収拾し、それらを広

Next: 1 Schemeインタプリタの実現 Up: Software IV Top ソフトウェア特論 講義資料 Scheme言語とインタプリタ 稲葉 雅幸 1 Schemeインタプリタの実現 1.1 シンボルとアトムの処理 1.2 スペシャルフォームの処理 1.3 通常の手続き（関数）の処理 1.4 特殊シンボルと組み込み手続き（関数）の初期化 2 インタプリタの実行例 2.1 関数の定義 2.2 再帰関数の定義 2.3 手続きを引数とする手続きの定義と実行例 3 マクロ機能の追加 3.1 マクロを取り扱うインタプリタの構造 3.2 マクロの展開 3.3 マクロの定義 3.4 マクロ定義用手続き 4 任意個数の引数指定機構の実現 5 Schemeインタプリタ 6 クロージャの実現 7 Tail-recursiveインタプリタ 8 Continuation（継続） 8.1 Call/CC

Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています． 具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています． もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています． キーワード : equivalent tra

#lang racket/gui (define my-language 'English) (define translations #hash([Chinese . "你好 世界"] [English . "Hello world"] [French . "Bonjour le monde"] [German . "Hallo Welt"] [Greek . "Γειά σου, κόσμε"] [Portuguese . "Olá mundo"] [Spanish . "Hola mundo"] [Thai . "สวัสดีชาวโลก"] [Turkish . "Merhaba Dünya"])) (define my-hello-world (hash-ref translations my-language "hello world")) (message-box "" my

Last update 1999/08/07 Scheme処理系の制作 第1回 (C)平山直之 無断転載は禁止、リンクはフリー 誤字脱字の指摘は歓迎 ゲームとスクリプト はい、また例によって行き当たりばったりな企画です。 といっても、相当長い間私の心の大きな部分を占めていた問題ではあります。 それは言語の処理系の必要性についての問題です。 ゲーム制作、特にRPG・アドベンチャーなどの「シナリオ」の重要性が高いものを作るのに必要不可欠なものに、「イベントスクリプトの処理系」というものがあります。ネットでもこうした「イベントスクリプトの処理系」について考える人が少なくないのも、こうした必要性の表われと言えるでしょう。 しかし、こうした処理系は、それぞれのプログラマが独自の文法でプロジェクトごとに作り直しているのが現状です。これが、コードの再利用、ひいては「気楽にゲームを作る」上での大きな障害に

フレームに対応したブラウザが必要です。