タグ

ブックマーク / lambda.bugyo.tk (3)

  • はてなようせいとまなぶ R5RS表示的意味論

    わからない…… わからない…… R5RSの7.2節に載っている形式的意味論がわからない…… R5RSの形式的意味論を理解した気分になるための冒険は、 多すぎる記号の前に逃げ出さないことよ。 ちなみに著者は5回くらい逃げ出したらしいわよ。 わからない…… 理解した「気分」になることに意味があるのかわからない…… そもそも何度も逃げ出した人の文章を信じていいのかわからない…… R5RSの形式的意味論が理解できた気分になればこんないいことがあるわ。 賢くなった気分になれる 他人に自慢できるかもしれない 以前よりお酒がおいしく飲める気がする あと、この文章は鵜呑みにしない方がいいわよ♪ もくじ はてなようせいと学ぶってコンセプトだけど、 数学的な内容ならこの私「さんすうロボ」の出番じゃないのか? 知名度が低いのがいけないのか!? 敵は知名度なのか!? ひょうじてきいみろん かんたんに もうすこしせ

    tarao
    tarao 2011/09/01
  • プログラマは○学生

  • λ組 〜It's a Wonderful Lambda〜

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

    tarao
    tarao 2010/03/28
    京都ではよくあること
  • 1