Content-Length: 230918 | pFad | https://b.hatena.ne.jp/hengsu/20090129#bookmark-11838196
セミナー補足：関数コードの実行エンジン - 檜山正幸のキマイラ飼育記 (はてなBlog)
セミナー終わって、みんなでご飯食べて、太田君の補習をしていたら、（僕にしては）だいぶ遅くなってしまったのですが、なにしろ事前にテンションあげていたので、すぐに眠れない。んでまー、本日の「Eの、いろいろな定式化」について補足します。（ほぼ参加者にしか通用しない話で申し訳ないのですが。） fが2引数関数で、f^ は、fの関数コード、ただしパラメータは残ってないとする。 E(f^, a, b) = f(a, b) -- Eは3引数 E(f^, [a, b]) = f(a, b) -- Eは2引数、第2引数はタプル E([f^, a, b]) = f(a, b) -- Eはタプル1引数、タプルは3項 E([f^, [a, b]]) = f(a, b) -- Eはタプル1引数、タプルは2項だが入れ子 関数コードf^とは、関数の計算手順を刷り込んだデータです。Eは、Exec, Eval, Engine
閉圏、弱いラムダ計算、弱い論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「モノイド圏、豊饒圏、閉圏と内部ホム」は自分用メモと思って書いたら、トラックバック／コメント欄で色々とやりとりがあって面白かったです。お相手してくださった皆様、ありがとうございます。 でまー、またゴニュゴニョ続けるのですけど、このての話（って、まだ話してないが）は、ランベック（J. Lambek）とかケリー（G. M. Kelly）あたりが大昔にやっていそうで気が引けますが、まー、練習問題ということで。 “そとの人”と“なかの人” 例え話で、閉圏（閉じた対称モノイド圏のこと）のなかに棲む生物を出したのですが、比喩だからピンとこない人もいるでしょう。でも、この比喩に共感できる人は、強烈で具体的なイメージを持てると思います。「そと」とか「なか」が何を意味するか、もう少し説明しましょう。 まず、“そとの人”は、神様のつもりになった我々人間。圏に対して何でもできます（つうか、そういう幻想を抱いてい
セミナー補足：教科書・参考書 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ラムダ関連の教科書・参考書を聞かれてもよく知らない、というのがホントのところです。が、知ってるものだけ挙げると、まず、正統的なラムダ計算の定番教科書は、 Barendrect, H. "The Lambda Calculus -- its Syntax and Semantics" (North Holland 1981) HINDLEY & SELDIN "Introduction to Combinators and λ-Calculus" (Cambridge, 1986) とかでしょう。しかし、これらは随分古いので今はもっと読みやすいものがあるのかも知れません。 Barendrect はよく引用されているようですが、僕は見たことがありません。HINDLEY & SELDIN は持ってますが、付録3の CARE OF YOUR PET COMBINATOR 以外はちゃんと読んでません
Ywcafe.net
Ywcafe.net This Page Is Under Construction - Coming Soon! Why am I seeing this 'Under Construction' page? Related Searches: High Speed Internet Free Credit Report All Inclusive Vacation Packages Accident Lawyers Cheap Air Tickets Trademark Free Notice Review our Privacy Policy Service Agreement Legal Notice Privacy Policy
不況と障害者雇用・続報: お父さんの[そらまめ式]自閉症療育
電子タイマー 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11頒布案内, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22完売報告 初音ミクで手あそび歌 1, 2 「おくちがみえるDVD」（ご提供終了について） おくちがみえる おうたの映像 マッチングカード 絵カード用テンプレート、第２弾 PECS用「待って」カード / 使い方 1, 2 いろいろ写真シート 写真サイズ「あいうえおカード」 いえるかな？あいうえおサポーター 「障害をもっています」ワッペン 子どもの行動記録ノート 排尿・排便管理シート 書籍「自閉症児と絵カードでコミュニケーション -PECSとAAC」日本語訳修正案 加配リクエストシート 書籍「やさしい応用行動分析」修正案 ABAでダイエット, 後日談 ブックレビュー一覧 オリジナル記事：療育と不動産 療育のためのセ
ここ最近のこと - hiroki_f’s diary
1月24日 ヒヤマセミナーに行って来た。 return0さんのまとめ：Diary?::2009-01-24 檜山さんの補足: セミナー補足：関数コードの実行エンジン - 檜山正幸のキマイラ飼育記 セミナー補足：報告記事とか後悔とか独り言とか - 檜山正幸のキマイラ飼育記 セミナー補足：教科書・参考書 - 檜山正幸のキマイラ飼育記 おもしろい閉圏、弱いラムダ計算、弱い論理 - 檜山正幸のキマイラ飼育記 タケヲさんのまとめ：2009-01-25 Snowglobe Models Snowglobe Models | The n-Category Café リンクを辿って見つけたもの インタプリタとコンパイラ - sumiiの日記 インタプリタとコンパイラですか… 「コンパイラは高級言語のプログラムをまとめてマシン語に翻訳します。一方で、インタプリタは一ステップごとに翻訳しながら実行します。」等
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fetched URL: https://b.hatena.ne.jp/hengsu/20090129#bookmark-11838196
Alternative Proxies:
QG Seminar: Winter 2007