Implementing functional languages: a tutorial - Microsoft Research
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations `come alive’, by helping the reader to develop, modify and experiment with some non-trivial compilers. The unusual aspect of the book is that it is mea
Index of
[Data of Report] Report Number:TR0003 Date of Registration:1983.02 English Title:A Subeset of Concurrent Prolog and Its Interpreter Japanese Title:*** English Auther:Ehud Y.Shapiro Japanese:*** Name of Organization to which auther belogs:Weizmann Institute [index] 0 Table of Contens 0003_003.gif 0.1 Abstract 0003_006.gif 1 Introduction 0003_006.gif 2 Logic Programs and Sequential Prolog 000
初心者のための記号論：目次
＜訳者より＞ 本テキストは英国のウエールズ大学のダニエル・チャンドラー博士による記号論への入門書のオンライン版であり、インターネット上で公開されているものです。このオンライン・テキストは評判が良く、１９９５年公開以来のアクセス回数は５６万回（２００４年２月時点）にもなっています。 訳者は２００２年４月まで３５年間、企業の研究所に勤務していたシステム分析が専門の技術者ですが、記号論の本の中に、「システム」という言葉がたびたび出てくることから記号論に興味を覚え、インターネット上で調べていたところ本テキストと出会いました。記号論の主要トピックスをソシュールの記号学および構造主義をベースに、丁寧に説明しており具体的な例も多く観念的でないことから、記号論を勉強してみたいと思っている人、記号論の勉強を始めたがよく分からず挫折した人にとって良い参考書になるのではないかと感じました（残念ながら、日本では、
Hanoimania!
Amit, Singh, Amit Singh, Art, Computer Art, Drawing, Painting, Sketching, Oil Painting, Crayons, Pastels, Pencil Colors, Audi, TT, Roadster, Quattro, Empeg, Rio, RioCar, MP3, IrDA, Debian, ARM, Embedded, Fitness, Hanoi, Hanoimania, Sega, Dreamcast, Sega Dreamcast, Nintendo, Gameboy, Advance, Nintendo Gameboy Advance, Motorcycling, Honda, CBR600F4, Operating Systems, Unix, Linux, FreeBSD, Solaris,
NetLogo Home Page
NetLogo is a multi-agent programmable modeling environment. It is used by many hundreds of thousands of students, teachers, and researchers worldwide. It also powers HubNet participatory simulations. It is authored by Uri Wilensky and developed at the CCL. You can download it free of charge. You can also try it online through NetLogo Web. Getting Started with NetLogo Are you new to NetLogo or prog
404 Blog Not Found:TuringとChurchの狭間で
2006年04月16日13:53 カテゴリMath書評/画評/品評 TuringとChurchの狭間で The Emperor's New Mind Roger Penrose [邦訳:皇帝の新しい心] なんでひげぽんが反復がすぐにわからなかったかを憶測すると、「変数とは代入すべきもの」、という手続き型言語の呪縛が思い立つ。ひげぽんは別にがっかりする必要はない。hyukiさんさえそれに引っかかっていたんだから。 その証拠を、以下にお見せする。 [結]2005年8月 - www.textfile.org sub fix { my $G = shift; return $G->( sub { my $x = shift; return fix($G)->($x); } ); } これはPerlで実装した不動点関数で、全く問題なく動く。しかし、hyukiさんも知らぬ間に一つ「反則」を犯しているこ
mrubyのmrb_gc_arena_save()/mrb_gc_arena_restore()の使い方 - Matzにっき
_ 新PC GitHubスポンサーの収入がありそうな気がしたので(注文時点では未取得)、デスクトップPCを購入することにした。 意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、 Ryzen9 3900 (12 core) 64GB memory 1TB SSD (M.2) Radeon RX560 で、先週届いて、早速Linux (Mint XFCE)をインストールしたのだが、しばらく使っていると突然落ちる。どうもグラフィック関係らしく、sshでログインして使っていると落ちない。GPUのベンチマークプログラムglmark2を実行すると即死。 で、購入先に相談したら、グラフィックボードの不良の可能性がありますね
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.sra.co.jp/people/aoki/
LispNYC
XSB