はてなようせいとまなぶ Schemeの形式的意味論
わからない…… わからない…… R6RSのAppendix Aに載っている形式的意味論がわからない…… Schemeの形式的意味論を理解するための冒険は、 R6RSを印刷して読みながら、実際にPrologとかで、 意味論にそったインタプリタを作ることよ わからない…… そんな面倒なことをする意味があるのかわからない…… 本当にそれで理解できたのかは筆者もわからない…… それじゃあ、簡単に説明をするからよく聞いてね。 けど、それでもR6RSを印刷したほうがいいわ。 それから、R6RSは「みんなもってる」ものなので、 自分のものだと分かるように、ちゃんと名前を書かないとだめよ。 「おなまえシール」を貼るというのも手ね。 もくじ なにをするの おおざっぱに もうすこしせいかくに きほん かきかえ むずかしいかきかえ ぶんぽう やくそくときほん ぷろぐらむのぶんぽう ぶんみゃくとあな ぶんみゃくの
この先生きのこるには
/halt/Snapshot – vimperatorをロケーションバーを使わないで運用する設定に続くツールバー削除エントリ。 ロケーションバーがなくなると、随分すっきりして画面が広くなるわけですが、私はブックマークツールバーに、「はてブ」とか「LDRに登録」とかのブックマークレットを登録して必要な時にくりっこしているのでこれは捨てられません。 しかしせっかくvimperatorを使っているというのにマウスをわざわざつれてきてlivedoor Clipするなんてvimperatorがかわいそうです。そこで、ブックマークの中からbookmarkletを抽出し、それをvimperatorのコマンドとして登録するプラグインを書くことで、ブックマークツールバーなしで運用できるようにしました。 commandBookmarklet.js (function(){ var filter = "java
Polipo ― a caching web proxy
Polipo is no longer maintained When it was first written, Polipo was probably the best HTTP proxy available. Since then, the web has changed, and HTTP proxies are no longer useful: most traffic is encrypted, and a web proxy merely acts as a dumb intermediary for encrypted traffic. Polipo will no longer be maintained. Here are some alternatives: if you need your HTTP traffic to originate from a rem
Programming Languages for Distributed Applications
Langphilia! / Study / Programming Languages for Distributed Applications 分散アプリケーション用のプログラミング言語 About {Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte}, Programming Languages for Distributed Applications, Invited paper for New Generation Computing, 1998-03-08. このページは、上記の論文の前半をてきとーに日本語訳したものです。 原文の著作権は原著者にあります。 このページの著作権は私にあります。 翻訳許可はもらっていません。 訳語対照表 安全性 (safety) 1級 (first-class) コードのように実行するだ
ぐるなび - レストラン・宴会予約 グルメ情報サイト
0:00 0:30 1:00 1:30 2:00 2:30 3:00 3:30 4:00 4:30 5:00 5:30 6:00 6:30 7:00 7:30 8:00 8:30 9:00 9:30 10:00 10:30 11:00 11:30 12:00 12:30 13:00 14:00 14:30 15:00 15:30 16:00 16:30 17:00 17:30 18:00 18:30 19:00 19:30 20:00 20:30 21:00 21:30 22:00 22:30 23:00 23:30 1名 2名 3名 4名 5名 6名 7名 8名 9名 10名 11名 12名 13名 14名 15名 16名 17名 18名 19名 20名 21名 22名 23名 24名 25名 26名 27名 28名 29名 30名 31名 32名 33名 34名 35名 36名 37名
i-revo お客様サポート 重要なお知らせ
i-revo お客様サポート 重要なお知らせ i-revoマイポータル終了のお知らせ（2017年3月31日） 日頃よりi-revoマイポータルをご愛顧いただき誠にありがとうございます。 このたび、当サイトは2017年3月31日付けにてサービスを終了いたしました。 併せて「プニマル」、「i-revo 占い」についてもサービスを終了いたしました。 2006年3月のサービス開始以来、 お客様および関係各社の皆様にはさまざまに、ご協力をいただきました。 ここに御礼申し上げます。 i-revoマイポータルのサービス終了につきまして、なにとぞご理解いただきたく存じます。 今後とも「i-revo」をよろしくお願い申し上げます。 全て見る
LDR Full Feedのsiteinfoを使ってフィードを全文入りにupgradeするPlagger::Plugin::Filter::EntryFullText::SiteInfo（2008/2/27仕様変更） - fubaはてな
LDRでgを押せば全文出てくるべんりなLDR Full Feedだけど、個人的には自作の自動抽出のをつかってるのでいいなーと思いながら指をくわえてその進化を見つめています。ただ本文XPathのsiteinfoはものすごく使えそうなので、とりあえず試しにPlaggerでただのりさせてもらうことにしました。siteinfoはキャッシュしてないのでちょっとまずいかもしれないけど、たぶんこのプラグインを使う人はほとんどいないので大丈夫でしょう。siteinfoの取得もPlagger::UAを使うようにしました。これでキャッシュできてる！ と思う…。 lib/Plagger/Plugin/Filter/EntryFullText/SiteInfo.pm 元のEntryFullTextは継承して全機能がそのまま動くようになってるはずです。今つかってるconfig.yamlのmodule: Filter
IE7とIE6を共存させる方法：まとめ
IE 7の自動アップデートに伴ってだと思うのですが、当サイトで紹介した「IE7とIE6の共存」シリーズのアクセスが増えているので、既存のエントリーをまとめました。 リンク先や手順などは以前紹介した方法ではなく、最新のものになっています。 IE7をベースに、IE6をスタンドアローンで起動する方法：その１ IE7をベースに、IE6をスタンドアローンで起動する方法：その２ IE6をベースに、IE7をスタンドアローンで起動する方法 Virtual PCを使用して、IE6 or 7を起動する方法 追記： スタンドアローンは、Windows XPが対象になります。 Vistaの場合は、Virtual PCを使用します。 IE7をベースに、IE6をスタンドアローンで起動する方法：その１ IE7をダウンロードして、インストールします。 日本語版「Internet Explorer 7」のダウンロード IE
livedoor Reader 開発日誌 : オープンソース版のRSSリーダーを公開 - livedoor Blog（ブログ）
情報を能動的に集める人のためのキューレーションツール、Live Dwango Reader（旧 livedoor Reader）とLDR Pocketは、ブログやメディアに貢献できるサービスを目指して参ります。 ※LDRトップなどへのアクセスで「Internal Server Error」と表示される方は、一度、http://www.livedoor.com でログアウトしてから、再度ログインをお試しください。 本日、「livedoor Reader」の英語版である「Fastladder」のオープンソース版を公開しました。 オープンソース版の「Fastladder」は、お使いのPCやサーバにインストールして使うタイプのRSSリーダーで、イントラネット内のRSSも読めるのが特徴です。 実行ファイルは「Fastladder.org」で公開していますので、ダウンロードしてお使いください。 また、
Merce Death-Sounds
/// Recommend! > 070809.mp3---7.6MB > Re-mix Cornelius x Merce Death x polo-Really x Google Map x YouTube (*it was called "Re-mix 2.0") We won the Cornelius music video contest! > 070106.mp3---4.9MB 060718 with jimanica > 060718_merce_jimanica.mp3---12.7MB 060428 GIG@youQan again! > 060428_merce_gig_01.mp3---25.9MB > 060428_merce_gig_02.mp3---10.9MB > 060428_merce_gig_03.mp3---10.3MB 0
printenv at xss-quiz.int21h.jp
printenv at xss-quiz.int21h.jp Your IP address: 133.242.243.6 () NameValue HTTP_ACCEPT*/* HTTP_CACHE_CONTROLno-cache HTTP_CONNECTIONclose HTTP_HOSTxss-quiz.int21h.jp HTTP_USER_AGENTHatenaBookmark/4.0 (Hatena::Bookmark; Analyzer) QUERY_STRING REMOTE_ADDR133.242.243.6 REQUEST_METHODGET REQUEST_SCHEMEhttp REQUEST_URI/
Cazperのつれづれ日記: ジェイコム男ことBNF氏は単なるデイトレーダじゃない【資金ジャブジャブの影響】
昨日自宅に帰ってきた際に、T氏から教えられた事の一部を書き残しておきます。 ジェイコム男ことBNF氏が4年前に↓のような発言をしていたようです。61 ：B・N・F ◆mKx8G6UMYQ ：04/01/31 22:38 ID:ONsb/PBy １月の介入総額７兆って・・・・・マジでいい加減にしてもらいたい 為替介入によって円からドルに変えられそのドルでアメリカの債権を 買う事によって市場に出た金によりアメリカの株価や住宅価格が堅調になり アメリカ人はそれを担保に借金をしてアメリカでの消費が伸びる それにより日本企業の業績もよくなる。 よって日本の輸出産業も目先の業績にとらわれ介入を望む。こういうこ事なのだろうか？ しかし、この目先の景気にとらわれたかのような政策は将来的にスタグフを 招く可能性があるのではないか？なぜならこの介入によって市場に出た金は 一次産品にも流れる可能性があるからだ。
Welcome to Apache™ Hadoop®!
A wide variety of companies and organizations use Hadoop for both research and production. Users are encouraged to add themselves to the Hadoop PoweredBy wiki page. 8 Aug 2018: Release 3.1.1 available This is the first stable release of Apache Hadoop 3.1 line. It contains 435 bug fixes, improvements and enhancements since 3.1.0 Users are encouraged to read the overview of major changes since 3.1.0
Kanasan.JS JavaScript 第 5 版読書会 #2: Days on the Moon
Kanasan.JS の JavaScript 第 5 版読書会 #2 へ行ってきました。今回は午前ライトニングトーク、午後読書会という二部構成。他の参加者の感想等は参加者のブログ記事一覧からどうぞ。参加人数が 50 人近くという大規模な読書会を企画し、無事成功に導いてくださった Kanasan さんはじめスタッフの方々、そして参加者の皆さん、本当にありがとうございました。 ライトニングトーク Lightning Talk 一覧および Lightning Talk 発表資料一覧から各 LT に関する情報が見られます。 Mozilla Developer Center 翻訳事始 私も LT に参加したのですが、JavaScript に関することなら何でも OK とあるのを見落としていてほとんど関係ない話 (一応翻訳作業の実演は Core JavaScript 1.5 リファレンスの arug
Aptana.com
Register now for Axway Summit 2024 and get energized to accelerate your digital transformation. Learn More Aptana Studio 3 is an open-source web development IDE, and while we are no longer actively maintaining the repository, it is still open-source and public so if you wish to download Aptana Studio 3 you can do so on GitHub.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Lift - Google Groups
http://good.kakiko.com/tensuke/
http://engei.s201.xrea.com/nyokiwasa/
Google Code Archive - Long-term storage for Google Code Project Hosting.
塩ぽんず | 倉敷鉱泉株式会社
