タグ

lambdaに関するsyokucyoのブックマーク (2)

  • λ組 〜It's a Wonderful Lambda〜

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

  • 予告:セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)

    「カリー/ハワード(Curry-Howard)のお絵描きを楽しもう」にて: シリーズ3回全体を総括しなきゃ、とか思っている間に4月になってしまいました。「次はどうしようか?」とかもいずれ書くつもりです セミナー前後の事務的処理がどうも苦手で、けっこうそれが負担で苦痛だったりするんですが、、、、4月もやります! なんとなく、そこはかとなく予告していたようにモナドシリーズの第1回。全体はたぶん3回。モナド以外のネタも考えたのですが、次の事情でやっぱりモナドにしました; ラムダ計算シリーズでは、背後にデカルト閉圏があることに言及はしましたが、それが何であるかはまったく説明できませんでした。僕も少しは心残りなんですが、僕より参加者の皆さんのほうがフラストレーションをつのらせたみたいです(苦笑)。アンケートにも「圏論をちゃんと取り上げて欲しい」という意見がありました(僕は意外に感じましたが)。 とい

    予告:セミナー「モナド」シリーズを開始します - 檜山正幸のキマイラ飼育記 (はてなBlog)
  • 1