takano32 - mail:ruby -rbase64 -e'puts Base64.decode64 %q(dGFrYW5vMzJAZ21haWwuY29t)' Diary
Logそうか、評価器に興味があるのかCPS 準備運動Lisp との出会いから今までこの頁についてLisp 実装のリンクAwkSmalltalkCJavaECMAScriptGauche-devel-jp mailing list 投函記事の履歴 Log そうか、評価器に興味があるのか (2004/06/03 14:57:34 JST) これまで漠然と感じていたけど、評価器 (Evaluator) のつくりにこれほどまでに執着するのは、計算とは何か? というテーマというか問いにすごくひかれるものがあるからだとようやく気がついた。だから大学の講義で松山隆司先生が黒板に書かれた「思考=計算」(たしか第一階述語論理の講義) や山崎進先生の Computational Logic のゼミや意味論 (Semantics) や計算モデルに対して身体が反応したんだと思う。評価器をつくることは、ある計算モデ
沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。
Ingrid.org This Page Is Under Construction - Coming Soon! Why am I seeing this 'Under Construction' page? Related Searches: song lyrics Health Insurance Free Credit Report Best Mortgage Rates Credit Card Application Trademark Free Notice Review our Privacy Policy Service Agreement Legal Notice Privacy Policy
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く