サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
補遺: PostScript の cvx とクロージャ - daily dayflower
PostScript でもクロージャはできるよ、というお話。以下のサイトを参考にしました。 歪 : PostScriptでクロージャ PostScript でクロージャ - 週1でも日記 一般的な LL 言語などを模倣してクロージャぽくカウンタを書いてみます。 /make-counter { << /counter 0 >> begin { /counter counter 1 add def counter } end } def ところが実行すると、 /counter1 make-counter def counter1 % => Error: /undefined in counter % Operand stack: % counter % Execution stack: % (略) このようにエラーになってしまいます。 これは、実行可能配列で指定されている counter とい
PostScript メタプログラミング入門 -
してみた。 動機 スタックの操作を roll とか pop とか dup とか exch とか書いて頑張るのが煩わしかった。メタプログラミングによる解決が求められる。 Haskell による実装 最初はプリプロセッサを書くつもりでいたので。 module Stack where import Control.Applicative data Operation = OpPop | OpRoll Int Int | OpIndex Int deriving Show stackConv :: [Int] -> [Int] -> Maybe [Operation] stackConv from [] = Just $ map (const OpPop) from stackConv (f : fs) (t : ts) | f == t && (f `elem` fs || f `notElem
Programming Language Comparison
by Jason Voegele What follows is my personal evaluation and comparison of many popular programming languages. It is intended to provide very high-level information about the respective languages to anyone who is trying to decide which language(s) to learn or to use for a particular project. You can find a similar comparisons from Google Note: N/A indicates that a topic or feature is not applicable
Constraint Handling Rules - Wikipedia
Constraint Handling Rules（CHR）は1991年にThom Frühwirthが発表した、ユーザ定義の制約が書けるように設計された宣言型プログラミング言語である[1] [2]。 多重集合の書き換え規則に基づく制約処理モデルを特徴とし、ルールにより制約をより単純な制約に書き換えることで、様々な制約下での解を求める。CHRはチューリング完全だが[3]、 独立した言語としてではなく既存言語の拡張機能として、主にPrologなどのホスト言語上に実装されたライブラリとして提供される。 CHRの典型的な応用分野はアブダクションなどの推論サービス、マルチエージェントシステム、自然言語処理、スケジューリング、型システム、ソフトウェアのテストと診断、セマンティックウェブなどである。 概要[編集] Constraint Handling Rules（CHR）はコミッテッドチョイス（co
WAM: Warren's Abstract Machine (Japanese)
AN ABSTRACT PROLOG INSTRUCTION SET (D.Warrenの抽象Prolog命令セット, WAM) Technical Note 309 Oct 1983 By: David H.D.Warren, Computer Scientist Artificial lntelligence Center Computer Science and Technology Division SRI Project 4776 Client: Digital Equipment Corporation Open Publication. Release of lnformation. 日本語訳: JAN/07/2010 last update: OCT/21/2010 竹岡尚三、安達彰典、林奉行、湯浅信吾、小宮山敦史、森下耕平 和訳について この文書は、Prologコンパイラ
An Introduction to the Common Lisp Object System
CLOS 1. Running Example (Also Gates.lisp handout) 2. Defining Classes A. defclass :initform (defclass Foo () ((Slot-1 :initform 3) (Slot-2 :initform '(A B))) B. make-instance C. slot-value, (setf slot-value), :initarg D. :reader, :writer, :accessor 3. Defining Methods A. Example1: built-in classes (defmethod Square ((X number)) (* X X)) (defmethod Square ((S string)) (format nil "~A~A" S S)) Note
SLOT DEMO PRAGMATIC : Situs Duta168 Menyediakan Game Gratis Terlengkap
Decrease quantity for SLOT DEMO PRAGMATIC : Situs Duta168 Menyediakan Game Gratis Terlengkap Tanpa Daftar Increase quantity for SLOT DEMO PRAGMATIC : Situs Duta168 Menyediakan Game Gratis Terlengkap Tanpa Daftar Slot Demo Pragmatic Gratis dan Terlengkap kini tersedia di situs Duta168. Rasakan sensasi bermain game online tanpa harus mengeluarkan uang sepeserpun. Situs Duta168 menyediakan permainan
経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
.NETでRuby開発を体験してみよう － ＠IT
ここ数年、Rubyプログラミング言語が世界中で人気である。特に最近の日本では、Ruby言語関連の書籍が次々と発売されるなど、ますます盛り上がっている。 マイクロソフトもこの人気言語Rubyの対応に積極的だ。具体的には「IronRuby」（アイアンルビー）という.NET上でのRuby言語の実装を開発中で、マイクロソフトが自身の次世代技術を発表する開発者向けカンファレンス「PDC（Professional Developer Conference） 2008」（2008年10月にロサンゼルスで開催）では「IronRuby: The Right Language for the Right Job」（IronRuby：正しい言語で正しい仕事を）というセッションが開かれている。このことからも分かるように、Ruby言語は.NET開発でも活用される1言語という地位をいずれ確立しそうである。 IronR
佐藤先生がErlang、Scala、Javaなどの並行処理を斬る！ - スティルハウスの書庫の書庫
ここ数日の佐藤先生のエントリが熱い！ Erlang、Scala、Go、Javaなどの現代の言語（Erlangは古いか）における並行処理の扱い方について、それぞれの歴史的背景や意義、得手不得手などがわかりやすく紹介されてます。80年代から並行処理やオブジェクト指向を研究されてきた佐藤先生ならではの視点ですね。ちょっと長くなりますが特に私が興味深かった部分を引用します（強調は私）： 佐藤一郎: Web日記 (2010年) 最近、興味深いのはオブジェクト指向言語のScalaやErlangが話題を集めていることでしょうか。どちらもActor Modelをベースにしているそうですが、オブジェクト指向言語の歴史でいうと、Actor Modelなどの並行処理用オブジェクト指向言語の研究が盛んになったのは1985年からの6,7年ぐらいだと思います(Actor Model自身はもっと古いですが)。そして19
Pharo – Le futur se construit aujourd'hui
Sur Cresus casino, vous pourrez jouer et pourquoi pas gagner beaucoup. Dans l’univers très concurrentiel des casinos en ligne, Cresus casino a su s’imposer grâce à sa stratégie de conquête. En effet, ce casino apporte constamment des changements sur sa plateforme et ses différentes offres. C’est l’un des rares casinos sur lesquels il est possible […]
Pharo - Welcome to Pharo!
A glimpse of Pharo$ wget -O- https://get.pharo.org/64 | bash $ ./pharo Pharo.image eval "42 factorial"TeaserSimple & powerful language: No constructors, no types declaration, no interfaces, no primitive types. Yet a powerful and elegant language with a full syntax fitting in one postcard! Pharo is objects and messages all the way down.Live, immersive environment: Immediate feedback at any moment o
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool
Learning APL
An Eiffel Tutorial (ET)
Ada Tutorial
2005年度「計算機科学実験及演習4(記号処理)」 実験資料 関数型プログラミング言語とインタプリタ
Python ライブラリリファレンス
Frequently asked questions - comp.lang.prolog