SICP

Scala で Church 数を書いてみた(途中)

Scala 座があるので,Scala を使ってみようということで, Church 数を書いてみた.が,書けなかったという話.コメントアウトしてある型パラメータ版だと, Nothing は,A に入りません.って怒られるのです.これはどうやって解決したらいいんですかね? …

Java 版チャーチ数を書いてみた(改)

ということで,以前書いたJava 版チャーチ数を更新しました.以前のバージョンだと戻り値の型がjava.lang.Integer 決め打ちだったのが 気になっていたので,それをtype variable にして外に追い出しました.簡単な説明 無名オブジェクトを作ってクロージャと…

Java でチャーチ数を書いてみた(途中)

ということで,Java を勉強し直すということにして,チャーチ数を書いてみた. 色々納得がいってないので後で書き直す. interface F { public Integer proc(Integer x); } abstract class Church { abstract public F proc(F f); public static Church ZERO…

sicplite #8 にいってきた

遅刻をしました 正直 Erlang Super Lite と間違えていた(来週です もう脳からして Erlang 脳になったと思ったのに(自己満足 2.43 を考えていた accumlate-n が Ruby の Enumerable::zip っぽい accumulate-n を勘違いしていた → tree をmap っぽくするものだ…

sicplite #7 にいってきた

超ムーミン 口がlite でも,やるときにはやる fold で書くとか 個人的に Gauche の fold の引数と Haskell の foldl の引数の順序が違う気がする(未検証 accumulator って,fold-left だよね fold って,inject? inject (Ruby) は,fold-left だと思う. PHP…

Church 数を書いてみた

Emacs Lisp で書いてみる. とりあえず,Hello World から. ; -*- mode: emacs-lisp; coding: utf-8-unix; -*- ; hello.el (princ "Hello, world!\n") $ emacs -script hello.el $ emacs -batch -l hello.el # for emacs 21 or beforeちょっと調べたら,lex…

SICP Lite #6 にいってきた

http://groups.google.co.jp/group/sicp-lite http://atnd.org/events/1857 会場近くの喫茶店がわからない というか会場 1F の喫茶店が17時までとかヒドス 開始時刻で 9 人でも 18 人まで増えた. 遅刻大杉 #sicplate で遅刻報告とか 昼とんかつとか そろそ…

SICP Lite #05 にいってきた

http://groups.google.co.jp/group/sicp-lite http://atnd.org/events/1654 人数が多過ぎる.33人とか hashtag: #sicplite twitter: @sicp_lite 人多杉なので,1章組3つ,2章組1つの4グループに分けました 2章組に入りました. 目標の場所を指定して, 10分…

SICPLite 懇親会に行ってきた

楽しかったとりあえず単語だけ SICPLite で友達ができました 二年前に電車でSICP を読んでいた学生に声をかけて,危険人物と思われたらしい Python 好きな人が多いらしい みんな紫色のTシャツを着る流れ お前はまだEmacs を使っていないのか?というお婆ちゃ…

SICP 読書会 にいってきた

チャーチ数ってなんじゃい wikipedia:Λ計算 http://www5d.biglobe.ne.jp/~y0ka/2006-07-31-6.html とか,そんなに単純じゃない御様子 -> チューリングマシンとノイマンコンピュータ せっかく加速会をやったので,その範囲まで終わっておきたかった かなり急…

SICP 勉強会 加速会 #01 にいってきた

参加された方お疲れ様でした. 参加者は,7名でした. 場所は,地下鉄堀田駅近くかう楽(こうらく)さんでした. 個人的な成果としては,2.7-2.15 までの回答をアップした. tekitou さんが良いヒントをくれた ジョナサンへの評価を見直した 近くにあるの気付…

チャーチ数の続き2

C++ での実装がよくわからなくなってきたので,勉強するとして とりあえず,関数型で書いてみた. #!/usr/bin/env escript main(_) -> Zero = fun(_) -> (fun(X) -> X end) end, One = add_1(Zero), Two = add_1(One), io:format("zero = ~p~n", [display_ch…

CSNagoya SICP 勉強会 09th やりますよ

今回も,アートピア(ナディアパーク) 9F です. 済みません,場所の都合で今回は 金曜日 になります. 曜日が変わっていますので,気を付けてください. 『CSNagoya SICP勉強会 第09回』日時: 2009/04/17(金) 19:30〜21:30 場所: ナディアパーク内 名古…

チャーチ数の続き

せっかくインストールしたので,IronPython スクリプトを書いてみよう. #!ipy def make_zero(): def _(f): def _(x): return x return _ return _ def add_1(n): def _(f): def _(x): return f(n(f)(x)) return _ return _ def plus(m, n): def _(f): def _…

CSNagoya SICP 勉強会 08th にいってきた

参加者6人でした.参加された方ありがとうございます. 問題 2.1 でみんなの回答を比較したりできた. やっぱり議論した方がおもしろいよね. 抽象化ということはわかるけど,数値計算は苦手 逆もまた真なり 多様性が善? 白い人は遅れてやってくる 平面上の…

チャーチ数をつくってみた

SICP の問題2.6 を見ていたら書きたくなったので,別の言語で写経してみた. #!/usr/bin/env perl # -*- mode: perl; coding: utf8; -*- use strict; use warnings; use Perl6::Say; my $zero = sub { my ($f) = @_; sub { my ($x) = @_; $x; }; }; sub add_…

SICP 勉強会 加速会 #01 をやるよ

ということで,前から言っていた加速会をやります. もっと安いところで,合宿気分を満喫しようと思っていたのですが, 予約で一杯らしいので,諦め. 「CSNagoya SICP 勉強会 加速会#01」目的: 準備会の長いやつです.寝落ちするまでSICP を自習します. (…

CSNagoya SICP 読書会 08th やりますよ

ということでいつもの告知です. ナディアパーク,木曜日に戻ってきました. 気軽に参加してください. PDF を印刷してくればタダで参加できますよ. 『CSNagoya SICP勉強会 第08回』日時: 2009/04/02(木) 19:30〜21:30 場所: ナディアパーク内 名古屋市…

SICP 読書会 をやってきた

やる前は,参加者零名の記録樹立かとヒヤヒヤした というか,告知が遅かった所為かもと思いました これを反省材料にして,次回の予定を先に書く 4/2(木) アートピア 第二研修室 19:30 〜 21:30 の予定. そういえば先日,うどんを食べに行こうと思ったら,移…

CSNagoya SICP 読書会をやります

いつもの木曜じゃなくてすみません.以下告知.『CSNagoya SICP勉強会 第07回』日時: 2009/03/16(月) 19:30〜21:30 場所: ナディアパーク内 名古屋市青少年文化センター(アートピア) 第五研修室 URL: http://www.bunka758.or.jp/02shisetsu/02shisetsu_…

SICP 勉強会をやります

メールからテンプレをコピペ『CSNagoya SICP勉強会 第6回』日時: 2009/03/05(木) 19:30〜21:00 場所: 女性会館 第二和室 URL: http://www.city.nagoya.jp/kurashi/shisetsu/gakkou/shougai/jyoseikan/ 参加費: 無料 定員: 15名 宿題: 問題1.34から問…

csnagoya SICP 読書会にいってきた

Topics PCトラブルにより,滑り込みの宿題時間が削られた とわいえ,そこまで進まなかった 説明が下手だって言われた ブログの説明はわかりやすいんじゃね?って言われた csnagoya ではあまりやってなかった lingr を使ってみた チャンネル名が sicp って,…

宿題

前回やったところも一緒に1.1 省略 1.2 字が潰れてるから省略 1.3 (define (sum-of-squares a b) (+ (* a a) (* b b))) (define (f a b c) (if (< a b) (if (< c a) (sum-of-squares a b) (sum-of-squares b c)) (if (< b c) (sum-of-squares c a) (sum-of-s…