[B! scheme] kohagiのブックマーク

GREE Engineer's Blog coming soon...

コンテンツへスキップナビゲーションに移動 Engineers' Blog Awards 2024 を実施しました！2024/06/26yutaka.sashimaこんにちは、開発企画部の佐島です。 Engineers' Blog Awards 2024 という技術ブログ執筆者を称える社内イベントを開催しましたので紹介したいと思います。開催背景きっかけは昨年の新卒エンジニア研修 […] InfoGREE Engineers’ Bash 2024 を6月19日(水)に開催しました！2024/06/26yutaka.sashima 勉強会こんにちは、開発企画部の佐島です。 GREE Engineers’ Bash 2024 という社内限定イベントが昨年に引き続き開催されましたので紹介させて頂きます。（GREE Engineers’ Bash については […] InfoSlackオート

kohagi 2008/09/07

lisp
scheme

リンク

はてなようせいとまなぶ Schemeの形式的意味論

わからない…… わからない…… R6RSのAppendix Aに載っている形式的意味論がわからない…… Schemeの形式的意味論を理解するための冒険は、 R6RSを印刷して読みながら、実際にPrologとかで、意味論にそったインタプリタを作ることよわからない…… そんな面倒なことをする意味があるのかわからない…… 本当にそれで理解できたのかは筆者もわからない…… それじゃあ、簡単に説明をするからよく聞いてね。けど、それでもR6RSを印刷したほうがいいわ。それから、R6RSは「みんなもってる」ものなので、自分のものだと分かるように、ちゃんと名前を書かないとだめよ。「おなまえシール」を貼るというのも手ね。もくじなにをするのおおざっぱにもうすこしせいかくにきほんかきかえむずかしいかきかえぶんぽうやくそくときほんぷろぐらむのぶんぽうぶんみゃくとあなぶんみゃくの

kohagi 2008/03/14

scheme

リンク

ホワット・ア・ワンダフル・ワールド Continuation based Distributed Computing

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