数理科学的バグ撲滅方法論のすすめ 第4回 関数型言語とオブジェクト指向，およびOCamlの"O"について
関数型言語とオブジェクト指向は相容れない，という説をよく聞く。たしかに「オブジェクトは状態を持つ」「関数型プログラミングでは，できるだけ破壊的代入を行わない」とすれば，二つの概念は矛盾しているようにも思われる。また，技術的観点以外にも，「とかくシンプルさを好む多くの関数型言語プログラマが，何かと物事を複雑にする（と思われている）オブジェクト指向を嫌っている」という面があるかもしれない。 しかし，個人の好き嫌いはさておき，実際問題として，関数型言語とオブジェクト指向は大いに関係がある。むしろ，基礎理論については，ほとんど同じコミュニティの人たちが取り組んでいる，と言ってもいい。例えば，以下のような研究が，1980年代から現在に至るまで行われている。 関数型言語のモデルであるλ計算という体系において，オブジェクトを表現する研究（参考リンクなど） λ計算にならい，（プロトタイプベースの）オブジェ
Hackers and Painters(ハッカーと画家)
ハッカーと画家 ---Hackers and Painters--- Paul Graham, May 2003 Copyright 2003 by Paul Graham. これは、Paul Graham：Hackers and Painters を、原著者の許可を得て翻訳・公開するものです。 <版権表示> 本和訳テキストの複製、変更、再配布は、この版権表示を残す限り、自由に行って結構です。 (「この版権表示」には上の文も含まれます。すなわち、再配布を禁止してはいけません)。 Copyright 2003 by Paul Graham 原文: http://www.paulgraham.com/hp.html 日本語訳：Shiro Kawai (shiro ＠ acm.org) <版権表示終り> Paul Graham氏のエッセイをまとめた『ハッカーと画家』の 邦訳版が出
naoyaのはてなダイアリー - Perl のクロージャ
いつもお世話になってるあの人とかあの人とかが山口家の逆襲->perl-解説->クロージャというクロージャの解説ページをブックマークしてるのをきっかけに、 Perl のクロージャについて自分もちゃんと理解できてるのかというのを考えてみましたが、どうも微妙です。 クロージャについて、何でいまいち理解しきれてない感じがあるのかというと、クロージャがどういうものであるかは知ってるけど、クロージャをどういう時に使うと良いのかが具体的にあれとこれという感じで思い付かないからなのではないかと思った。 なので、Perl でクロージャを使ってる実装とかを見て、どんなときに使われるものなのかをリストアップして理解を深めてみよう..のコーナーです。 クラスにデータを保持するためのクロージャ 僕がぱっと思いついたのは Class::DBI の中で使われている Ima::DBI におけるデータベースハンドラのキャッ
Can Your Programming Language Do This? : Joel on Software
I’m Joel Spolsky, a software developer in New York City. More about me. Read the archives in dead-tree format! Many of these articles have been collected into four books, available at your favorite bookstore. It’s an excellent way to read the site in the bath, or throw it at your boss. Ready to level up? Stack Overflow Jobs is the job site that puts the needs of developers first. Whether you want
はてなブログ | 無料ブログを作成しよう
絵の超初心者ド下手くそ人間が、20日間絵を描いて感じたこと わたしは、「文の人」だ。絵を描くのは大の苦手。 そんなわたしが、ひょんなことから絵を描き始めた。 そうしたらおもしろくなって約20日間、なにがしかを描きつづけている。 未知の領域での挑戦は、発見が多い。 また、ここまで絵を描けない人間の挑戦は、あまりネッ…
ITmedia D Games：大人を意識――SCEの新ブランド「PLAYSTATION Signature」立ち上げ (1/2)
ソニー・コンピュータエンタテインメント（以下、SCE）は、上質なライフスタイルにこだわり、自分らしく“PlayStation”を取り入れる大人達に向けたグッズブランドとして、「PLAYSTATION Signature」を立ち上げると発表した。 PSPとの親和性をテーマに、シンプルでスタイリッシュなアイテムを青山から発信したいと意欲を見せる。「さりげない中にも主張のあるデザインで、こだわった素材と丁寧な仕上げによって作られたグッズを“ここでしか買えない”ものとして展開していく」とのこと。 場所は東京都港区青山にあるプレイステーション スクウェア内1階に設置され、PSP周辺機器のほかにも、財布やクルーネックニットなどのファッション、レザーノートカバーやボールペンなどのステーショナリー、ワイングラスやフォトフレームなどのインテリアものなど扱う商品は多岐に渡る予定。中でも目玉はEMILIO PU
デジモノに埋もれる日々: 「予告」は未来の自分を縛る？ モチベーションのコントロールの難しさ
日曜コラムです、こんばんは。 はてなブックマークで「あとで書く」というタグをよく見かけます。 これは文字通り、対象の記事に何かひと言言いたいことがあって、 「これに関する記事をあとで何か書きますよ～」という意思表示です。 私の記事でも、ブクマして頂いた際にときどき、この「あとで書く」タグを 付けていただくことがあります。そんなとき私は、 あとで書くキター！ ｗｋｔｋ ということで、「あとで実際に何が書かれるのか」を楽しみに待っていたり します。ところが、ところが、この「あとで書く」タグは、結構な確率で あとで何も書かれなかったりします。 えー、放置プレイですか ｡･ﾟ･(ﾉД`)･ﾟ･｡ 「あとで書く」という宣言に拘束力なんてあるハズがありませんし、 そもそもこの「あとで書く」という意思がどの程度の強い気持ちを持って 書かれているのかはわかりませんが、少なくとも、私が自分で確認したもの を
mk.com記録書庫
AFTERTOUCH surreal SxGx maniac cinema&book; review *めぐりあうたびに溺れて 見失うたびに胸焦がしてた* InverseDiaryFunction SxGx ｷｪｪｪｪ Ｎ山家の人々 Dairy ☆質問ﾀﾞｲｱﾘｰ☆ ネタ帖 むらみぃ 世の中とあたしの繋がり GOOBERS ++今日のechiko++ ロストマインドガール * mayumi blog * モウソウｔagebuch 読書感想日記☆ネタバレ注意警報！ 癌と煙草と酒と 俺の道 toro's bｌog. ++ torog ++ ココアシガレット・アンダーグラウンド Deportare gorf net AFTERTOUCH surreal ２ちゃんねるの超怖い話 maniac cinema&book; review CARLTON1976 平凡な日々 秘密のホンネ ゴリラ秘話。 Ｌ
Perlで日付・時間を操作 - DateTime モジュールの使い方 (iandeth.)
Perlには、日時の加・減算を扱うモジュールが標準でついてきません。僕の仕事場ではずっと、同僚が作ったオリジナルモジュールを皆で使いまわしていたのですが、今になって、世間的 (CPAN) にはどんなものがあるのか気になって調べてみました。※参考になったのは miyagawa 氏のメールマガジンの過去記事と、perl.com の The Many Dates and Times of Perl なるエントリでした。 今回は数ある日付関連モジュールの中から、Dave Rolsky氏の DateTime モジュールについて、その基本的な使い方について簡単にまとめたので共有してみます。 同氏は上記 perl.com 記事の執筆者であり、この前の YAPC::Asia で DateTime project について講演してくれていた人です。気合の入ったモジュールを作ってくれた事に感謝。 目次 基本
イミフｗｗｗうはｗｗｗｗおｋｗｗｗｗ 一番カワイイと思うAA
【特選】 ・最近人気あるスレ 名スレは自分で探すもの と↓の更新なしの言い訳＞＜ ・月別特選スレ ・俳句書いてけ ・みんなのうたで萌えた ・ジャムパン仕掛けた ・すげぇ発見したかも ・新ジャンル「児玉 清」 ・最強のエロゲムービー ・野菜をレイプする ・ライアンですが ・スプー 映画予告 ・クイズこれなんてエロゲ ・ＤＥＬＬユーザー驚愕 ・胸を隠してる女の子 ・立体的に見える画像 ・5 0 の 事 実 ・警察署でジョジョ立ち ・きんたま袋のシワ ・良かった、童貞で ・１分で絵描いてみるか ・1000行ったら生きる ・スラムオナニー ・彼氏いない女の子おいで ・ひぐらしがなくですの ・暴君ハバネロにチンコ ・酷いよ圭ちゃん…くっ… ・ガチャピンチャレンジ ・ポッポのようすが… ・孤独のカレーパンマン ・絶対に事故らない車 ・奇妙な英単語ジョジョ単 ・節子…ドロップやない ・新ジャンル「ツン辺
暗号化してバックアップする「iPodBackup」 - ネタフル
Download of the Day: iPodBackupというエントリーより。 Mac OS X only: Free software iPodBackup saves an encrypted disk image of your home directory to your iPod, for secure and easy data backup. iPod“を”バックアップするのではなく、iPod“に”バックアップする「iPodBackup」というソフトです。 ホームディレクトリを暗号化し、セキュアかつ簡単にiPodにバックアップすることができます。って、いいですね、このソフト。 もちろんバックアップは取りたいけれど、外付けHDDを購入するのもアレだし、でも手元にはiPodがあるし、という時に最適です。というよりむしろバックアップするために大容量のiPodが欲しくなったりし
イミフｗｗｗうはｗｗｗｗおｋｗｗｗｗ 死亡フラグはわかるけど、生存フラグってある？
【特選】 ・最近人気あるスレ 名スレは自分で探すもの と↓の更新なしの言い訳＞＜ ・月別特選スレ ・俳句書いてけ ・みんなのうたで萌えた ・ジャムパン仕掛けた ・すげぇ発見したかも ・新ジャンル「児玉 清」 ・最強のエロゲムービー ・野菜をレイプする ・ライアンですが ・スプー 映画予告 ・クイズこれなんてエロゲ ・ＤＥＬＬユーザー驚愕 ・胸を隠してる女の子 ・立体的に見える画像 ・5 0 の 事 実 ・警察署でジョジョ立ち ・きんたま袋のシワ ・良かった、童貞で ・１分で絵描いてみるか ・1000行ったら生きる ・スラムオナニー ・彼氏いない女の子おいで ・ひぐらしがなくですの ・暴君ハバネロにチンコ ・酷いよ圭ちゃん…くっ… ・ガチャピンチャレンジ ・ポッポのようすが… ・孤独のカレーパンマン ・絶対に事故らない車 ・奇妙な英単語ジョジョ単 ・節子…ドロップやない ・新ジャンル「ツン辺
Google Toolbar for Firefox – Google Toolbar
Google Toolbar for Firefox has been discontinued For details, see the announcement. There will be no further updates or security fixes to Google Toolbar for Firefox. For this reason we strongly recommend discontinuing the use of the toolbar. Also see our Help Center for suggestions on add-ons and built-in browser features that provide functionality similar to the toolbar. We’d like to thank everyb
おもてなしの空間 - firefoxのキーバインドをemacs風にしてみる
3/18 日(http://d.hatena.ne.jp/amt/20050318/firefox)に、firefox のtextarea のキーバインドのみ emacs 風にしてみたのだが、これをやるとfirefox 上の他の操作も、emacs を意識したキーバインドにしたくなってくる。 Google ってみると、vi-like なキーバインドを公開しているヒト(http://www.calmar.ws/firefox/index.php#keyconfig)はいるのだが、emacs-like なのは見付からなかった。仕方ないので、自分で検討してみた。 以下の話は keyconfig extension を導入していることを前提 keyconfig extension は、http://extensionroom.mozdev.org/more-info/keyconfig より最新版を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Just another Linux geek – Fortiter Et Recte
Google School - Lifehacker
Yahoo! JAPAN
2log.net
Going My Way: Google Personalized Homepageにタブ機能を追加するモジュール
dfltweb1.onamae.com – このドメインはお名前.comで取得されています。