Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

タグ

2009年3月21日のブックマーク (2件)

  • やる夫で学ぶ相対性理論:ハムスター速報　２ろぐ

    スレ主さんからの投稿より。 1 ：愛のVIP戦士＠全板人気トナメ開催中：2008/06/19(木) 23:57:24.46 ID:DxFjSi2L0 　 　　　＿＿＿_　　 　　　／　　 　 　＼　　　　 　 ／　　─　 　 ─＼　　　はぁ…ひまだお…おっ！ ／ 　　 （●） 　（●） ＼　　有希ちゃんがいるお！ |　 　　 　 （__人__）　 　 |　　何の本を読んでるんだお… /　　　　 ∩ノ ⊃　　／　　　 (　 ＼　／ ＿ノ　|　 | .＼　“　　／＿＿|　 | 　 4 ：愛のVIP戦士＠全板人気トナメ開催中：2008/06/20(金) 00:00:06.60 ID:DxFjSi2L0 　　　　　　　　　　　　　　　　　　 -─――- ､＿＿ 　　　　　　　　　　　　　　　 '´　　　　　　　　　　　　 ｀丶、 　　　　　　　　　　　　　／　　　　　　　　　　　　　　　　　 ヽ

    Hayato
    Hayato 2009/03/21
    リンク

  • 「ラムダ計算、論理、圏」の予習・復習のために - (保存用) 檜山正幸のキマイラ飼育記 メモ編

    ※日付はダミー：実際の執筆・公開日は2009-03-14 最初にホワイトボードの写真があって、その直後に説明があります。（本編の「紙芝居：ラムダ抽象」とは、写真／説明の順序が逆ですね ^^;） 関数は昔「函数」と書いてたのよ。「函」は函館のハコだから「箱」の意味。で、箱の絵を描くわけだが、毎回リアルな箱やパイプを描くのは大変だから、四角（ボックス）と線（ワイヤー）で描くよ。 四角も面倒ならオダンゴ（丸）でもいい。このセミナー内では、関数の向きは上から下だとする。関数をテキストで表現するときは、<x | f(x) > のような書き方をする。入力変数（引数変数）がxで、f(x)のところには、fを表現する式を書いてもいい。 例えばこれは二変数（二引数）の関数。fは、2つの変数xとyからf(x, y)を算出するメカニズムを持つから、そのメカニズムを 式 2*x + y*3 とかで表す。 さて、関数

    「ラムダ計算、論理、圏」の予習・復習のために - (保存用) 檜山正幸のキマイラ飼育記 メモ編

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2025 Hatena. All Rights Reserved.