タグ

2008年3月2日のブックマーク (4件)

  • Amazon.co.jp: 計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24): 高橋正子: 本

    Amazon.co.jp: 計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24): 高橋正子: 本
    nusp
    nusp 2008/03/02
  • Algorithmic Language Scheme

    プログラミング言語Scheme 富山大学理学部数学科 木村 巌<iwao@sci.toyama-u.ac.jp> 最終更新日:2003年8月26日(更新箇所) Schemeとは Schemeは、Guy Lewis Steele Jr.とGerald Jay Sussmanによって創始された、静的なスコープを持ち、真に末尾再帰的なプログラミング言語であり、Lispの一方言でもあります.他に例を見ないほど明快かつ簡潔な意味論を持ち、また、表現の仕方がほぼ一意に定まります.広い範囲のプログラミング・パラダイム、例えば命令型、関数型そしてメッセージ交換型、は、Schemeにおいて簡便に表現できます.("Rivesed5 Report on the Algorithmic Language Scheme"序文より). このページの目的 このページの目的は、Schemeに関する情報を収拾し、それらを広

  • invokeの意味・使い方・読み方

    【他動】〔~を〕思い起こさせる、引き起こす、かき立てる、誘{さそ}い出す、呼{よ}び覚ます《コ》〔コマンドやサブルーチンを〕呼{よ}び出す、〔プログラムを〕起動{きどう}する〔法令{ほうれい}を〕発動{はつどう}させる、行使{こうし}する ・The U.S. government might invoke temporary import curbs recognized by the World Trade Organization. : 米国政府は、世界貿易機関{せかい ぼうえききかん}によって承認{しょうにん}されている暫定輸入規制{ざんてい ゆにゅう きせい}を発動{はつどう}するかもしれません。〔神の加護{かご}などを〕祈願{きがん}する、祈{いの}る、求める【レベル】10、【発音】invóuk、【@】インヴォウク、【変化】《動》invokes | invoking | inv

    nusp
    nusp 2008/03/02
    ~を思い起こさせる、引き起こす、かき立てる、誘い出す、呼び覚ます
  • サービス終了のお知らせ

    サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

    nusp
    nusp 2008/03/02
    行動・生活などの自由を厳しく束縛するもの