Project MAC ("Switzerland") MIT Project on Mathematics and Computation "Neutral, but heavily armed." (Disclaimer) Project Mac, associated with the MIT Computer Science and Artificial Intelligence Laboratory, builds a wide spectrum of intelligent computational tools to help scientists and engineers understand mathematical models of physical processes.

LISP（リスプ）は、プログラミング言語である。前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い[1]。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータプログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くの

Perl Internationalization and Haskell: An Interview with Autrijus Tang Sep 8, 2005 by Edd Dumbill Author’s note: Autrijus Tang is a speaker at this October’s European Open Source Convention. In the fine tradition of the OSCON, he is a Perl hacker, entrepreneur, internationalization geek, and self-proclaimed “Net activist, artist, and anarchist.” AT EuroOSCON, Tang will speak about Pugs, a Perl 6 i

Recently I talked with Stevan Little about the Moose project. You can listen to the interview, or, thanks to cPanel, you can read the transcript below. Josh McAdams: Welcome to Perlcast. This is your host, Josh McAdams. I'm here with an interview with Stevan Little, the creator of Moose. Heather Hendrix-McAdams: The transcription of this show was underwritten by cPanel. cPanel is currently hiring

目次 2005年8月31日 - Perl版の「メモ化(memoization), 再帰関数定義関数, 最小不動点」 / スマトラ沖地震・津波 / 2005年8月30日 - Windowsで、手早くPerl6で遊ぶ / 他の人から学べない「何か」 / 2005年8月29日 - ミルズの外科手術チーム / 2005年8月27日 - POPFile / 2005年8月26日 - 今日も仕事 / 2005年8月25日 - 今日も仕事 / 2005年8月24日 - 今日も仕事 / 人月はなぜ神話か / 2005年8月23日 - 説明文を書く2つのフェーズ / 秋は勉強の季節 / 2005年8月22日 - 仕事 / プログラマのダイエット / 2005年8月21日 - ジェネリクス・クイズ(2) / 2005年8月19日 - ジェネリクス・クイズ(1) / テストが困難な性質 / 2005年8月18日

Simon Peyton Jones [editor], Microsoft Research, Cambridge Lennart Augustsson, Sandburst Corporation Dave Barton, Intermetrics Brian Boutel, Victoria University of Wellington Warren Burton, Simon Fraser University Joseph Fasel, Los Alamos National Laboratory Kevin Hammond, University of St. Andrews Ralf Hinze, University of Bonn Paul Hudak, Yale University John Hughes, Chalmers University of Techn

#!/usr/bin/env ruby # $Id: hiki.cgi,v 1.10.2.6 2004/06/26 14:11:23 fdiary Exp $ # Copyright (C) 2002-2004 TAKEUCHI Hitoshi BEGIN { $defout.binmode } $SAFE = 0 $KCODE = 'e' $path = File::dirname(__FILE__) HIKI_VERSION = '0.6.5' begin require 'cgi' require './hikiconf' require 'hiki/global' require 'hiki/command' require 'hiki/util' require "hiki/db/#{$database_type}" include Hiki::Util load_config

News • SVN • Trac • IRC • Download • Documentation • Mailinglist Welcome to Kwiki 2.0 The Rebirth of Kwiki WhatIsKwiki? WhatIsKwiki20? WhyKwiki20? Using Kwiki KwikiHelpIndex InstallingKwiki2 UpgradingToKwiki2 KwikiFormattingRules KwikiConfiguration KwikiDocumentation KwikiPlugins KwikiThemes Various unorganized topics InfrastructureChanges KwikiBootstrapProcess SpeedRefactorings EditingFeatures No

Perl6 で配列操作 いやなブログ: 配列操作の比較表: Ruby, Python, JavaScript, Perl, C プログラムを書いていると、他のプログラミング言語の記憶とごっちゃになって、「配列の後ろに要素を追加するのは push だっけ、 append だっけ」などと混乱することがあります。特に Ruby, Python, JavaScript はコードの書き方が似ているので、この問題が起きがちです。 ということで perl6 (pugs) で調べてみました。 RubyPerl6 a = [1, 2, 3]@a = (1, 2, 3) a.length@a.elems a.empty?@a.elems == 0 a.push(x)@a.push($x) a.unshift(x)@a.unshift($x) a.pop@a.pop a.shift@a.shift a.conc

Thoughtstream | Home Thoughtstream About us Courses Seminars Events Resources Contact us

Lispの最大の特徴は、S式と呼ばれるカッコだらけの表記法だろう。 そのほかにも色々特徴とされる事柄はあるけど、 たいていの特徴については、 同様の特徴を持ってて広まっている言語が他にもある。 だからわざわざLispを使う理由はあんまりないと思う。 多分Lispを使いたくなるかどうかは、 S式を(カッコに辟易しつつも)好きになるかどうかにある。 「Lispは、うっとうしい大量のよけいなカッコといっしょに さまざまな物を手にいれました。その後、 ほかの人々も大量のカッコ以外の全てを手に入れました」 リスト 名前が LISt Processorから来ているだけに、 Lispにとってリストはものすごく重要だし、 プログラムの構造とも深く結び付いている。 でもデータ構造としてのリストは、 MLや Haskellのような関数型言語でも重要で、 例えばリストのパターンマッチングとか リスト操作に関する

Schemeとか関数型言語を使う人は、ラムダ計算が好きだったりする。 実際にラムダ計算をするのは別に好きではないと思うけど。 日本にも、 ラムダ算法騎士団の 総本山 があったりする。 Schemeのlambdaでも実際のlambda計算みたいな事ができる。 ; *** car、cdr、cons *** ; car、cdr、consが、lambdaだけで書ける事は、わりと有名。 ; (car、cdr、consが書けるというのは、 ; (eq? x (car (cons x y))) ; (eq? y (cdr (cons x y))) ; が成立するという事。) ; 次のようになる。 (define _cons (lambda (x y) (lambda (z) (z x y)))) (define _car (lambda (z) (z (lambda (x y) x)))) (defin

IEあるいはIEエンジンのブラウザ(Sleipnirとか)を使っていて、どうもページの描画速度が遅い気がする―もっと正確には最初にページを開いたときより遅くなった―と感じたことはないだろうか？　特にあなたがJavaScriptを多用したページを開いているならば、もしかしたらIE特有のメモリリーク問題(IE memory leaks problemG)が原因かもしれない。 余談ですが、前回のmoblogエントリーは、自分のブログにモブログしたつもりが間違ってこちらにエントリーしてしまいました。気が向いたら移動しておきます。 で、本題ですが、この問題はより多くの利用者が（IEエンジンの）タブブラウザーを使うようになればなるほど顕在化してくると思われるのでメモしておこうと思います。ppBlogでもJavaScriptは欠かせませんし。最初に言っておきますが、この問題はIE4-6に特有のもので他の

仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ

Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2

New: How to Get New Ideas | Read | Will | Truth Want to start a startup? Get funded by Y Combinator. © mmxxiii pg

更新履歴過去分等 2006/11/28 : Links modified (Linkを修正しました。) 2005/07/16 : Link added in Clean site (Linkを追加しました) 2005/06/04 : "How to use Clean IDE" updated (Clean IDEの使い方を更新しました) 2004/12/03 : Functional programming in Ruby modified (Rubyで関数プログラミングを一部修正しました) 11/26 : Programming language concept added (プログラミング言語の基礎概念を一部追加しました) 2004/11/02 : Clean related sites linked (Clean関連サイトのリンクを追加しました) 09/21 : Object I

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations o

GaucheのFAQの叩き台、にしてみる。 一般的な質問Q. Gaucheって何て読むの?Q. なんでGaucheって名前にしたの?Q. gosh の 'O' はどこからきたの?Q. 世の中にはたくさんScheme処理系があるのに、何故また新たな処理系を作ったの?Q. Gaucheはどこで手に入りますかQ. たくさんバージョンがあるんですが、どれを使えば良いのでしょうQ. Gaucheのライセンスは？Q. GaucheのマニュアルはありますかQ. Gaucheに関するメイリングリストはありますかQ. Gaucheを使っててバグを見つけたんですがQ. Gaucheの開発を手伝いたいのですがコンパイル・インストールに関する質問Q. Gaucheはどういったプラットフォーム上で使えますかQ. rpmパッケージはありますかQ. configureにえらく時間がかかるんですが、何とかなりませんか。な

成績について Schemeの成績はレポートのみ(出席は取らない) レポートは完全にできていなくても提出できた分をそれなりに評価する 課題について 提出は hara2001-scheme ＠ ui.is.s.u-tokyo.ac.jp へメールで送ってください 送信されたE-mailに対して自動的に返信メールが送られます 添付ファイルではなくメール本文に直接貼ってください (ただしどうしても文字化けしてしまう人はテキストファイルを添付してください) Subjectは "Report (課題番号) 学生証番号" で送ってください 例: Report (1) 123456 課題の本文の先頭に Scheme演習 第1回レポート 理科I類2年 123456 須木 異夢 という形式で名前等を書いてください 締め切りは次のScheme演習の前日 授業で出題する前に課題を提出してもかまいません (質問も受

Automatic colored rows - Example for BiteSize Standards テーブルの背景って次のイメージのように行ごとに交互に色分けされていると見やすいですね。 かといって、サーバサイドでアイテムを回して、１個１個設定するのも結構面倒だったりします。 リンク先のサンプルでは、JavaScriptを使って、trエレメントを探索し、交互にクラスを割り当てていくことで、自動でテーブルに色をつけてるようです。 これで、テーブルはシンプルにHTMLでコーディングでき、サーバサイドの技術なしで見やすいテーブルが作成できますね。

やることがないちょっと手が空いたので前回に引き続きAjax + PHPで簡単なツールを作ってみました。 今回のツールはWebページのキャプチャ(スクリーンショット)を取ってそれをサムネイル画像に変換するものです。 使い方はとても簡単で"WebページのURL"に適当なサイトのURLを入力し、 "イメージ作成"ボタンを押してしばらくするとそのページが画像として表示されます。 少し変換に時間が掛かるので表示されるまでジッと待っていてください。 最近は検索サイトなどで検索結果とそのページのサムネイルを同時に表示してるところもあるので 実は結構需要があるのかなと思います。手動でキャプチャしてサムネイル作るのも面倒だし。 WebページのURL： サムネイルの大きさ:

ヒマ少し時間があったので画像をHTML(アスキーアート?)に変換するツールを作ってみました。 使い方は"画像のURL"に変換したい画像のURLを入れて"文字"に適当な一文字を入れます。 で、"HTML変換"ボタンをクリックするとその画像が"文字"で表されたHTMLとして表示されます。 デフォルトでミクシィのロゴ画像が変換されるようになっているのでとりあえずそのままボタンを押してみてください。 どうしても画像が表示できない環境や画像を含めたHTMLを無理矢理一枚のHTMLに収めたい かなり特殊な状況下にいる人には使えると思います。 画像のURL： 文字： 大きさ：ピクセル 縮小：% ニアレストレイバー バイリニア 表示： 画像 ソース

Turn your camera phone into a scanner, copier, and fax. Clean photos of documents, whiteboards, and business cards. Extract any text and contact information. Store, search, and share online.

http://www.scanr.com/ ミーティングの後、ホワイトボードの内容を手書きで写し取ったりするのはとても面倒。 もっと手軽な方法が欲しい方には、このscanRはぴったりだと思う。 scanRでは、携帯電話等でとった写真をメールで送信すると、そこに写っている文書をもとにPDFファイルを作成してくれるサービスを提供している。 例としてはこんな感じ。(左がもとの写真、右がPDF化されたもの) 暗い写真でも読みやすくなっているし、ホワイトボードの写真からテキスト部分のみを抽出してくれるようだ。 また、写真から抽出された単語をもとにタグ付けしてくれる機能もあるとのこと。 日本語への対応については不明だけど、scanRを上手く活用すれば会議後の作業効率が向上するかも。 極私的ポイント！ 携帯で撮影→送信、といった具合にシームレスな操作で出来る 画像補正をしてくれる フリーで利用できる

あのサイトとあのサイトってどっちがすごいんだろう？ なんてときに良く使われるのがAlexaだ。独自の手法で調べたトラフィック情報によってどちらがどうアクセスされているかの目安をグラフにして知ることができる（あくまで目安、だが）。 ただそのグラフ、とっても便利なのだが、たどり着くまでに何クリックかしなくてはいけなくて面倒だ。 そこで登場したのがAlexaholicである。 このサイトでは比較したいサイトを最大5つまでいれてAlexaのグラフをボタン一発で生成してくれる。特定の業界のプレイヤーの勢力を調べる一助として便利なツールだ。 クリック数の最適化。そんなことを考えてみるとまだまだ便利ツールは考えられそうですね。

ドットインストール代表のライフハックブログ

This domain is registered at Dynadot.com. Website coming soon. nyasoku.com 2024 著作権. 不許複製 プライバシーポリシー

書籍『Rubyソースコード完全解説』はインプレスダイレクトで御予約・御購入いただけます。 書籍紹介ページ： http://direct.ips.co.jp/directsys/go_x_TempChoice.cfm?sh_id=EE0040&spm_id=1&GM_ID=1721 HTML 版 『Rubyソースコード完全解説』の本文を HTML 形式で無償公開しています。 (2004-02-17) 全章を公開しました。 初校の修正を紙上で行ってしまったたため、現在公開しているのは初校段階の原稿です。 従って書籍では修正されているところがまだ修正されていない場合があります。 順番に修正していくつもりではいますが、いつ修正できるとは断言できません。 予め御了承願います。 なお、その逆に一部の章が出版時より新しい場合もあります。 オンラインで閲覧 tar.gz 形式でダウンロード zip 形式で

This infrastructure is considered to be beta. Everything should be usable, to a certain degree.

Kawa.netxp [JavaScript] Animation.Cube - サイコロ回転エフェクト (rotating cube animation) Animation.Cube クラスは、JavaScript のみでサイコロ回転風の アニメーションエフェクト(rotating cube animation)を実現するライブラリです。 事前に画像ファイルを加工(拡大縮小や分割処理)せず、JavaScript のみで リアルタイムにアニメーション処理を行います。 2画像の切替えエフェクト処理用、または、 サイコロの4面に貼り付けた画像をループで回転させるような処理に利用できます。 画像の拡大縮小処理が入っているため、 ラスタスクロール よりもマシン負荷が高いようです。 Opera だと少しスムーズなようです。 画像サイズを抑えれば、Celeron 2.4GHz 機でも十分に回転してく

livedoor Readerサービス終了のお知らせ 2014年12月をもちまして、LINE株式会社が提供するlivedoor Readerの運営を終了しております。 長きに渡りご愛顧をいただきまして、誠にありがとうございました。 livedoorホームへ戻る

無料の公開家計簿サイトです。家計簿や商品レビューを通じて、あなたのお買い物を記録をしてみませんか？　また、商品やお店のページには、いろんな情報が掲載されているので、欲しい商品、行ってみたいお店の比較・検討にも便利です！散財.comの家計簿は、ココが楽しい！ ・「贅沢は敵だ！でもステキだ！」って思いません？「散財.com」はそんなアナタのための無料家計簿。家計簿で節約も散財もバッチリ管理！ ・家計簿を始めてもいつも三日坊主。そんなアナタでも長続きできるのが「散財.com」の家計簿です。家計簿を公開して、みんなとツナガル。楽しい発見が「散財.com」の家計簿にはあります！ ・家計簿だけじゃない。買い物の日記や商品レビュー、みんなで作る商品のコミュニティであなたの買い物が楽しくなる。ツナガル家計簿サイト「散財.com」で、今すぐ買い物ライフを満喫しよう！

Final Charter for Working Group Atom defines a feed format for representing and a protocol for editing Web resources such as Weblogs, online journals, Wikis, and similar content. The feed format enables syndication; that is, provision of a channel of information by representing multiple resources in a single document. The editing protocol enables agents to interact with resources by nominating a w

GDataってもっと注目されてもいいんじゃないの＆非公式開発者ガイド GoogleがGoogle Data APIs (Beta) Developer's Guideを公開しました。 Google Data APIs (略称はGData)というのは何かというと、RSSとAtomを組み合わせてそれを拡張したもので、フィードを取得したり、Atom publishing protocolを使ってデータを作成したり更新したり、また全文検索などのデータの問い合わせをできるようにしたプロトコルです。 GoogleのAPI戦略に新たな動き、GDataで「Google Calendar」のAPI公開 (MYCOM PC WEB)に簡単な説明が載っているので引用します。 REST、Atom 1.0およびRSS 2.0をベースにした新しいプロトコルである。GDataをサポートするサービスから情報を取得する場

■Web 2.0がユーザーに与えたインパクト 以下は、連載の第4回、第5回で見てきたキーワードを、ユーザーの視点から言い換えてみた表です。Web 2.0が、このようなインパクトをユーザーに与えるようだ、ということがわかります。

Index of /autobuild/yarv NameLast modifiedSizeDescription Parent Directory  -

What's new? What's this? DownloadLatest revision 0.4.1 Old tarballs HEAD License How to install?Requirement Build and Install run benchmarksrun all benchmarks run a specific benchmark YARV Benchmark for each options Documentation and ReferenceWiki Bug Tracking System (BTS) Common in English in Japanese ContactMailing ListEnglish (yarv-dev-en) Japanese (yarv-dev) YARV commit mail IRC Channel Mail a

Summer of Code

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

SchemeScript is a Scheme/Lisp editor plug-in for Eclipse. It is part of the SchemeWay project.The goal of this plug-in is to provide a robust Scheme/Lisp editor to the professional Scheme/Lisp developers who also happen to use Eclipse for Java programming. Also, the plug-in can be subclassed and extended to provided custom editors for Scheme/Lisp-based languages.SchemeScript embeds the Kawa