Subscribe: 「Scheme」を含むブログ
http://k.hatena.ne.jp/keywordblog/Scheme?mode=rss
Added By: Feedage Forager Feedage Grade B rated
Language: Japanese
Tags:
case  chibi scheme  expand  rules  scheme  star →  star  syntax case  syntax rules  syntax  → star    ⇒ gist  その 
Rate this Feed
Rate this feedRate this feedRate this feedRate this feedRate this feed
Rate this feed 1 starRate this feed 2 starRate this feed 3 starRate this feed 4 starRate this feed 5 star

Comments (0)

Feed Details and Statistics Feed Statistics
Preview: 「Scheme」を含むブログ

「Scheme」を含むブログ





 



そんな女トレより株主総会屋で絵画【多摩珍宝】

2018-04-14T08:24:41+09:00

ガガガゼット文鎮がふぁがぶりううんこう 1804140824 GAGAGA分頂点lリバンZ ヘパリーゼヘックサーイ ガガガ文庫 #第3世代総会や? 第三新地 しんてえんたらい 資本経営学会所属 さきーむ SCHEME スケヂュール ジュール熱 SCHEDULE 先以下、イカ君 08:25 マ、ガンガレッヤ! われわれはなじぇません 我々は負けませんでm、ん戦いませんか妻でわ。 集団統合 一人をいじ...



差分方程式

2018-04-22T15:11:13+09:00

courseraでPractical Time Series Analysisという時系列データを分析する講義を受けています。時系列のデータが、過去のデータから導かれるとき、順番に計算せずに一般解を求めるやり方があります。 この計算方法を知らず、授業を聞いていてびっくりしたのでまとめました。 問題 解くべき問題は、プログラミングの演習なんかでよく見る漸化式です。 gaucheで書くとこんな...



NextCloudのインストール

2018-04-16T22:51:37+09:00

CentOS7.4 Nginx (php-fpm) MariaDB 5.5.56 PHP7.1 NextCloud 13 EPELリポジトリのインストール # yum install epel-release REMIリポジトリのインストール #rpm -Uvh http://rpms.famillecollet.com/enterprise/remi-release-7.rpm PHP7.1のイ...



Chibi Scheme のゴミ集め

2018-04-15T13:50:00+09:00

Chibi Scheme の組み込み手続きは C 言語の関数で記述してあり、 C 言語の auto 変数をヒープ中の Scheme のセルに束縛しています。 そのため、 ゴミ集め時に C 言語のコール・スタックを調べる必要が生じ、 3 つの方式を処理系のビルド時に選べるようになっています。 Boehm GC による保守なゴミ集め組み込みマーク & スイープによる保守なゴミ集め組み込みマーク...



【番外編】定理証明手習いをAgdaで

2018-04-14T17:19:24+09:00

番外編ということで、定理証明手習いをAgdaでやってみた。 最初は、組み込み関数を普通に定義して、公理をpostulateで定義した。 そしたら問題が発生。 以下を考える。data Star : Set where NIL : Star TRU : Star N : Nat → Star S : String → Star C : Star → Star → Star ATOM : Star →...



prejudice 復習

2018-04-09T16:48:04+09:00

ニュージーランドがゲイに関する犯罪を犯した人の犯罪歴を消す法律が認められました。 Currently men who were convicted before homosexuality was decriminalised in 1986 still have the offence listed on their official records. About 1,000 people wi...



さよならcall/ccとwith-exception-handlerやguardへの置き換えの検討

2018-04-03T00:00:00+09:00

yuniではfull-continuationの提供を止めることにした。単純な理由はKawaがこれを提供していないことだが、じゃあこれに代えるプリミティブを何にするのかという点がちょっと悩ましい。 call/ccに対する批判はOlegのページが詳しい( http://okmij.org/ftp/continuations/against-callcc.html )。要するに現実的なプログラムで使う...



プラスチック対策に預け金返却システム

2018-03-30T00:00:00+09:00

Deposit return scheme in fight against plastic 28 March 2018 https://www.gov.uk/government/news/deposit-return-scheme-in-fight-against-plastic 政府はプラスチック汚染対策に預け金返却システムを計画していると発表 リサイクル率を上げ廃棄物が土地や海を汚染するこ...



健全なマクロ展開 - 変換世代マーク・リスト

2018-03-28T20:07:32+09:00

Dybvig syntax-case で識別子の意味を探すときに、 ラップから抜き出した変換世代マークのリストを使います。 このやりかたを明示リネーミング・マクロに利用するとどうなるのか興味を覚えたので、 試しに Hanson-Bawden に変換世代マークを取り入れてみます。 ⇒ Gist so-er-expand.scm 手間を省くため、 データ構造には Dybvib の syntax-cas...



Teach First briefed Scottish heads at Prince Charles event

2018-03-28T00:00:00+09:00

The controversy over a teaching charity promoted by the Prince of Wales has intensified after his officials invited Scottish headteachers to a private meeting with him and the charity’s executives. D...



2018-03-25

2018-03-25T00:00:00+09:00

青木裕さんへ ここ数日は10年以上も前の出来事を色々と思い出していました。 よく下北沢のピーチでお互いのデモを聴き合って「いいね!ヤバいね!」と騒ぎましたね。当時青木さんは打ち込みは苦手と言ってたけど、MPCだけで作ったとは思えない映画のサントラのような曲は衝撃的で忘れられません。 青木さんはよくディスクユニオンの袋をぶら下げて「キューブくん、いい曲見つけたよ!」と嬉しそうに様々な音楽を聴かせてく...



健全なマクロ展開 - syntax-rules (その 5)

2018-03-24T09:22:31+09:00

前回の syntax-rules マクロは、 Hanson-Bawden 構文クロージャ展開器で利用することを想定して作っています。 ⇒ Gist rsc-rules.scm ⇒ Gist rsc-expand.scm まず、 so-rules.scm から so-syntax-rules-macro をテキスト・ファイルに抜き出します。 そして、 テキスト・エディタで次のように文字列を一括置換し...



健全なマクロ展開 - syntax-rules (その 4)

2018-03-22T21:39:14+09:00

syntax-rules のパターンの省略記号は、 R6RS 以後、 正規リストとドッテッド・リストの両方の途中に導出可能になっています。 SRFI 149 の参考実装に採用している Chibi Scheme のものでは、 パターンの途中に省略記号があると、 パターンと比較対象式の両方を作り直して省略記号をリストの末尾へ移動してから、 パターン・マッチングを続ける作りになっています。 それに対して...



HP 35s でプログラミング

2018-03-21T09:12:56+09:00

仕事柄、ちょっとした計算や基数変換をする場面が多く、その度に Windows の電卓や、シェルから expr や、ちょっとしたループを伴う計算には awk を使っていたが、起動のオーバーヘッドもあり不便を感じていた。たまたま寄ったオフィス用品店で目に留まった関数電卓を見て、基数変換くらいは出来ても良さそうだよな、と思い幾つかの製品を手に取りキー配列を見てみると、Base やら A, B, C, D...



言語処理系間でライブラリを共用する難しさ

2018-03-18T00:00:00+09:00

comp.lang.schemeにも書いた https://groups.google.com/d/msg/comp.lang.scheme/GuHmoUNBplA/dykAeuE3CQAJ けど、処理系間でライブラリを共用するのはそれなりに難しい。 nmoshの次代ライブラリフレームワークであるyuniはこの問題に正面から取り組んでいる比較的珍しいプロジェクトで、独特のポジションに居るのではない...



健全なマクロ展開 - 構文オブジェクト (その11)

2018-03-18T12:23:14+09:00

syntax-case は、 シンボルに構文環境がくっついた識別子を使うことで健全性を実現します。 識別子を使って変換結果を作るのはマクロ変換子の役目で、 展開器が識別子に変換世代を区別する印を追加してくれます。 マクロ変換子が使う識別子はマクロの定義式から取り込んだもので、 定義式時点の構文環境が既にくっついています。 取り込んだ識別子をデータ扱いにしたいので、 識別子をクォートする構文で定義式...



健全なマクロ展開 - 構文オブジェクト (その10)

2018-03-16T21:59:25+09:00

構文環境をくっつけてある式を展開する so-expand-form は Clinger-Rees のものと同じです。 Hieb-Dybvig の方がチェックが厳しく作ってあって、 ペアの構文オブジェクトか識別子でないときは、 空リストか、 定数であることをチェックします。 (define (so-expand-form form) (cond ) (cond (else (error &qu...



健全なマクロ展開 - 構文オブジェクト (その9)

2018-03-15T20:04:56+09:00

これまで書いてきた展開器を流用しつつ、 Hieb-Dybvig を参考にした展開器を書いてみます。 Gauche 0.95 で動くことを目標にします。 以下、 Beutiful Code 25 章の Dybvig 「構造の抽象化: syntax-case マクロ」(英語版 PDF) と照らし合わせることを考慮し、 対応するコードをなるべく同じ順に並べておきます。 ⇒ Gist so-expand....



健全なマクロ展開 - 構文オブジェクト (その8)

2018-03-14T21:12:32+09:00

今度は syntax-case の構文オブジェクトが局所マクロの再帰定義をどう扱うかを調べます。 例にするのは、 syntax-rules に free-identifier=? の真似ごとをさせるマクロとします。 (let-syntax )) (test b))))) (foo? (syntax-rules () ))) 'FOO)) ; => (syntax-cadr:E1:...



健全なマクロ展開 - 構文オブジェクト (その7)

2018-03-13T07:47:26+09:00

前回までは syntax-case の構文オブジェクトが局所マクロの再帰展開をどう扱うかを見てみました。 今度はλ構文と局所マクロが識別子をどのように扱うかを調べます。 そのために、 R4RS 以後、 健全性の例の一つとして利用されている次のマクロ展開をとりあげます。 この例では、 cond 構文のリテラル => と、 λ構文の変数 => が異なる意味を持つため、 cond マクロ変換...