ラムダ計算とチューリングマシンの違い 2009-04-13 - きしだのはてな
ぼくもYコンビネータがわかるようになるまではそうだったのだけど、Yコンビネータを使うとどのような処理ができるのかがよくわからなくて悩んでいる人が多いように思う。他の人のブログを見ても、名前をつけずに再帰ができるのがすばらしいとか書いてあったりするのだけど、それによってどういう処理ができるのかわからずにいた。 結論をいえばYコンビネータには、なにかの処理を便利にする能力はない。関数であらゆる計算ができるということが示せれば、あとは用なしだ。理論の礎としてうまってしまえばいい。 結局、Yコンビネータによってどのような処理ができるかというのは、ラムダ計算の要素のメリットをチューリングマシンの中に見出そうとしてるといえる。 ラムダ計算とチューリングマシンは、どちらも計算モデルという点では一致しているけど、全く違う。 無限であるか有限かの違いといってもいい。 チューリングマシンでは、データの量と処理
ハローキティは世界を征服する？AK-47 ハローキティ仕様 ｜デジタルマガジン
ハローキティは世界を征服する？AK-47 ハローキティ仕様 2007年10月23日 2:30 by.Shinohara ダイア、パソコン、そして時計。様々な高価なものがハローキティで彩られましたが、ついに紛争地帯まで侵出してきました。どこまでいけばキティは満足するのでしょうか？ AK-47 カラシニコフ突撃銃。ミハイル・カラシニコフ氏が開発したこの突撃銃はその氏の名前をとって「カラシニコフ」と呼ばれ親しまれており、これまで数多くの紛争地帯で数え切れないほどの人の血を吸ってきました。銃としては名誉なことです、たぶん。 そんな血生臭いAK-47に可愛らしいハローキティカラーが登場します。その名もHK-AK-47(ハローキティ カラシニコフ)。弾を発射できるのかできないのかの記述は残念ながら見つけられませんでしたが、すぐにでも実践で使えそうな感じがします。 「戦争なんて嫌い！」
サイトのURLを診断できる『URL Investigator』:phpspot開発日誌
URL Investigator サイトのURLを診断できる『URL Investigator』。 PagerankやTrafficRank、Whoisや、被リンク数チェックなどをAjaxな軽いＵＩで調べられます。 関連エントリ サイトのブックマーク件数などを一挙に調べられる『SocialMeter』
rev="canonical"
海の向こうで一気に議論が過熱したrev="canonical"ネタ。ざっくりまとめると、TwitterやSMS等の文字数制限のあるメディアで長いURLを投稿するためによく使われてるURL短縮サービスはアレだよね……というところから始まって、じゃぁ個々が自前で短いURLを用意してやって機械的に辿れる仕組み、rev="canonical"を使おうぜ！ という感じ。 URL短縮サービスの提供する短いURLは、on url shortenersで触れられているようにいくつもの問題点がある。一番身近なのはスパムの温床になっていること。インバウンドリンクの追跡が不可能であることなんかも気になる人が多いかもしれない。この話題が再燃した一番大きな原因はDiggBarの登場で、そこらへんの細かいところは短縮URLは必要悪か、単なる悪か。に詳しい。 「短縮URLは必要悪か、単なる悪か。」の最後で触れられている
「1998-2008 日本の研究機関ランキング」発表、トップは東大 | スラド
ストーリー by kashibat-svt 2009年04月13日 17時01分 「健闘してる」と見るか「まだまだ」と見るか 部門より トムソン・ロイターが「日本の研究機関ランキング」を発表した。 このランキングは1998年から2008年までの11年間を対象に、トムソン・ロイターの学術論文/引用動向データベースEssential Science Indicatorsのデータから各研究機関の論文引用パフォーマンスを分析したもの。総合ランキングはトップが東京大学（11位）で、以下、京都大学（30位）、大阪大学（34位）、東北大学（64位）、(独）科学技術振興機構（80位）と続いている（カッコ内は世界ランキング）。 また、材料科学や物理学、化学、生物学・生化学についても順位が掲載されており、材料科学では東北大がトップ、物理学および生物学・生化学では東大がトップ、化学では京大がトップとなっている。
資本主義の後ろ半分 : 404 Blog Not Found
2009年04月13日20:00 カテゴリValue 2.0 資本主義の後ろ半分 ああ、わかってない。 The rich under attack | The Economist ウォールストリート日記 : 業界批判：ウォールストリート不要論？ 困ったことに、吊るし上げる方も吊るし上げられる方もわかってない。 問題は、だれがいくら貰っているんじゃないんだ。 問題は、どこにどれだけ遣っているかの方にあるんだよ。 このことは、自著でも指摘した。 「弾言」 P. 104 金持ちの最大の罪は、お金を使わないこと。 で、ウォールストリートの成金たちが、どこで金を遣ったか。 ウォールストリートなんですが、これが。 で、その金がさらにどこに行ったか。 それを知るのに一番手っ取り早いが、これ。 グリーン革命(上下) Thomas L. Friedman / 伏見威蕃訳 [原著:Hot, Flat and
catalystのサンプルアプリとソースを公開してみる - 新だるろぐ跡地
モダンPerl入門を読んで色々勉強したので、サンプルアプリを作って自宅サーバで公開してみる。 http://niget.net/ ソースはgithubで晒し中。 http://github.com/hirafoo/niget/tree/master 誰かの参考になったり、disられたり、あれこれ議論したり、何かが起こったりするのを期待中。 とりあえず、このアプリの使い方とか。 ニコニコ動画の任意の動画のURLを入力 適当バリデートを通ったらDBに保存 5分に1回cronが走る。内容は、ニコニコ動画のAPIを叩いて、動画本体のURLと動画の名前を取得 APIは2個ある。本体のURLを取得する部分は小飼 弾さんのスクリプトを使わせてもらった 取得した内容をDBに保存。取得済みの動画は削除。 あとは動画本体を落とせばいいじゃない 以上。 まーサンプルアプリだしね！ でも、本体URLを取得できるw
心理学専攻してるけど、何か質問ある？
1 名前：以下、名無しにかわりましてVIPがお送りします：2009/04/12(日) 18:40:28.49 ID:W9YwHkvo0 何もないのか、それはすまなかった。 2 名前：以下、名無しにかわりましてVIPがお送りします：2009/04/12(日) 18:41:33.46 ID:F/1ocy0KO 将来の職業は？ >>2 ちょい前までは相談員やってたよ。 臨床心理士じゃないからカウンセラーは厳しいかな。大学院を検討してる。 心理学っていっても全部が臨床心理学じゃないから、 カウンセラー以外にもデザインや広告に行きやすいね。 49 名前：以下、名無しにかわりましてVIPがお送りします：2009/04/12(日) 19:24:58.20 ID:OaDWb15k0 >>1 スペック晒しても大丈夫ならお願いします。 >>49 26歳。発達臨床心理学専攻。元相談員。 他に何があればいいだろう
文化庁 | 文化審議会著作権分科会基本問題小委員会（第1回）の開催について
4．傍聴について 文化審議会著作権分科会基本問題小委員会は，原則として一般に公開する形で開催する予定です。 傍聴申込み受付期間：4月13日（月）9時30分から4月16日（木）17時まで 傍聴の可否については，4月17日（金）までにEメールにて連絡させていただきます。受付期間外に届いたものは，登録できませんので，御留意ください。 また、傍聴を登録されました方は、必ず本開催案内を印刷の上持参し、入館手続きにおいて係員に提示してください。 （1）報道関係傍聴者の受付 ・報道関係傍聴者席 10席 ・傍聴を希望される方は、下記Ｅメールアドレスまで、件名に「基本問題小委員会（第１回）傍聴希望」と明記の上、�@氏名、�A所属機関、�B連絡先（申し込みいただいたＥメールアドレスと異なる場合）、�C撮影希望の有無（テレビカメラの場合はその旨を記載）を御連絡ください。 ・撮影の有無について、
「食糧危機」をあおってはいけない - 池田信夫 blog
先進国で「食糧危機」が起こる確率はゼロであり、「食糧安全保障」などという政策を掲げているのは日本だけだ。こんなことは経済学の常識だが、日本では山下一仁氏のような改革派まで「中国の爆食で食糧危機が来る」という類の話をするのは不可解だ。著者は戦時中の食糧不足の経験が原因ではないかと推測しているが、そんな世代はもう影響力はないだろう。単に政治家とマスコミが馬鹿なのではないか。 中国の食糧輸入増はブラジルなどの増産で埋め合わされ、輸入量は減り始めている。「人口爆発で数十億人が餓える」というのも嘘で、2040年ごろをピークとして世界の人口は減り始める可能性がある。農地にはまだまだ余裕があり、農業技術の生産性も今の数倍になる余地がある。問題は食糧の絶対量ではなく、それを買う経済力である。2007〜8年の穀物価格の暴騰によって途上国は食糧危機に見舞われたが、日本ではあんパンが10円値上げになっただけだ
社員の幸せを露骨に追求する会社 年功序列、終身雇用、低成長——伊那食品工業が問う「会社とは何か」：日経ビジネスオンライン
「成長」にあえて背を向けている企業がある。この会社が重視しているのは従業員の幸せと企業の永続。そして、それを実現するために持続的な低成長を続けている。人事制度は終身雇用の年功賃金。地域社会への投資も惜しまない。それでいて、10％を超える高い利益率を維持している。 私たちの足元は経済危機に揺れている。強欲の虜になったグローバル資本主義はバブルを膨らませ、金融危機を引き起こした。今の経済危機は強欲がもたらした1つの末路とも言える。であるならば、この会社の生き方は、危機後の資本主義に、そして企業経営に、1つのヒントを与えるのではないだろうか。 48年という長きにわたって増収増益を続けた企業がある。本社は長野県伊那市と、決して地の利に恵まれているわけではない。しかも、扱っているのは「寒天」という地味な成熟商品だ。にもかかわらず、1958年の創業以来、階段を上るように、一段一段、着実に成長してきた。
エライ先生とは誰か、社会学は守るべきか - akehyonの日記
太郎丸博氏がブログに書かれた「阪大を去るにあたって: 社会学の危機と希望」http://sociology.jugem.jp/?eid=277を読んだ。力の入った文章であるし、アンテナでみた範囲だけでも、小谷野敦氏や筒井淳也氏もコメントを書いている。ブックマークもたいへんな数になっているようだ。太郎丸氏の主張を要約すれば、もっと学会発表と学会誌を大切にしようというもので、まさに正論であるし、大筋のところでは異論はない。だが、いくつか細かな違和感もある。 まず、ここで批判の対象とされている「エライ先生」というのが、どんな人を念頭に置かれているのか、つかめそうでつかめない。社会学者でネームヴァリューがあり、著書も多い人と言って思い浮かぶのは見田宗介氏、大澤真幸氏、宮台真司氏といったところだが、それでよいのか、確信は持てない。 私はたとえば、見田「まなざしの地獄」「現代社会の理論」、大澤「虚構の
反“貧困問題”の思想まとめ - Chikirinの日記
貧困問題について議論する際、よくでてくる反論をまとめてみた。 反“貧困”ではなく、反“貧困論議”の考え方です。＝「貧困なんて、寄ってたかって真剣に議論するほどの問題でもないでしょ」的意見の方のその理由集、みたいなもんです。 (1)自己責任論 貧困に陥ったのは社会の責任ではなく本人の責任である、という説。本人の勤務態度の悪さや努力不足、貯金をしてこなかったことなどを責める場合が多い。従来は反貧困問題の理論として最もオーソドックスな意見であったが、最近は「まだそんなことを言っているのか？」と勉強不足や認識不足を指摘する声が強くなり、急速に姿を消しつつある。 (2)絶対的貧困の不在説 日本における貧困層は、アフリカ難民などの貧困さと比べれば全く貧しくなく、日本には本当の意味での貧困問題は存在しない、とする説。すなわち「生存のための必要最小限カロリーの摂取に困るレベル」の貧困者の数は日本では社会問
404 Not Found
実名などの個人情報を公開することは大変危険です。 実名さえ分かれば、住所や電話番号などを調べることが可能なのです。 TELECOREというテレコア株式会社が運営する個人情報紹介サービスをご存知ですか。 このサイトを利用すれば、あなたの住所や電話番号を調べることができてしまうかもしれません。 私の住所や電話番号は簡単に検索することができてしまいました。 TELECORE（テレコア）無料電話番号検索サービス ■TELECOREで個人情報を検索する方法 「無料検索ログオン」と書かれたボタンをクリックすると、個人情報を検索するページへ移動します。 このサイトで個人情報を調べる方法は、大きく分けて3つあります。 1. 都道府県と市区町村を入力し、苗字を入力し、検索ボタンを押す。 2. 都道府県と市区町村を入力し、苗字と名前を入力し、検索ボタンを押す。 3.
[WLAN]: Linux の無線 LAN 対応関連
<Home> → <My Glossary Index> → <[WLAN]> → <[WLAN]: Linux の無線 LAN 対応関連> 作業中 この page は <[WLAN]: 無線 LAN 総合窓口> の特設 page です。 お勧め本は <[WLAN]: Recommended Books> に纏めています。参考にどうぞ。 お勧め [【Wireless】Linuxで無線LAN【IEEE802.11】(Linux＠2ch)] [802.11セキュリティ - フォーラム] [無線LAN動作状況(kmuto)] [Linux & Wireless LANs] [Jean Tourrilhes On Linux Wireless LAN(Slashdot.org)] Linux での無線 LAN 情報が纏まっています。お勧め。 Linux driver 配布場所 [Project I
私の Linux 入門記 無線LANの設定
どの無線LANを選ぶか 私は、Ｌｉｎｕｘ で無線LAN を使ってみようと思い、インターネット上でいろいろと情報を集めました。最大の問題は、どの無線LAN が Linux 上でうまく動いてくれるかということと、はたして設定がうまくできるだろうかということにありました。インターネット上にある設定に関する情報は１～２年まえの機種についてのものがほとんどで、現在（２００３年４月）店頭に並んでいる製品についてのものは少なく、またメーカーもサポート対象外ということで、この段階でかなり迷いました。 しかし、最悪のばあい Windows で使えばよいと思って、「Corega PCCL-11」を購入しました。アクセスポイントは、ルーター機能が欲しいので、「Corega BAR WL ブロードバンド・ルーター」にしました。この機種を選んだ理由は、使用されているチップが 「Intersil PRISM 3.0」
＠IT：NdisWrapperでWindows用無線LANドライバが動作しない場合は
LinuxでWindows用無線LANドライバを利用するにはで、NdisWrapper（http://ndiswrapper.sourceforge.net/）とWindows用ドライバによる無線LAN PCカード（以下無線LANカード）の利用方法を紹介した。 NdisWrapperを利用する際は、まず使いたい無線LANカードのコントローラの動作実績を調べる。NdisWrapper Wiki（http://ndiswrapper.sourceforge.net/mediawiki/）には、NdisWrapperでの動作実績（List of cards known to work）が公開されている。このページでは、無線LANカード単位だけでなく、そのカードのコントローラも掲載されている。以下のように、lspciコマンドなどでコントローラのメーカーや型番を調べ、それを元に検索するといいだろう。
＠IT：LinuxでWindows用無線LANドライバを利用するには
多くの無線LAN PCカードには、Linux用のドライバがない。制御チップの仕様は公開されないため、第三者がドライバの開発を行うのも難しい。このような状況を打破すべく開発が進められているのが、NdisWrapper（http://ndiswrapper.sourceforge.net/）だ。 NdisWrapperは、Windows用の無線LANドライバをLinuxで利用できるようにするためのソフトウェアである。原稿執筆時点では、NdisWrapper 1.2が公開されている。すべての無線LAN PCカードがNdisWrapperで動作するわけではないが、挑戦してみる価値はあるだろう。「NdisWrapperのWiki」（http://ndiswrapper.sourceforge.net/wiki/）や「無線LAN動作報告」（http://kmuto.jp/open.cgi?%cc%b5
【Wireless】Linuxで無線LAN【IEEE802.11】 -r4
1 ：login:Penguin：2008/06/24(火) 23:36:14 ID:niL+UDpA IEEE802.11(a,b,gなども含む)をLinuxで使うための情報を交換するスレッドです。 The linux-wlan(tm) Company http://www.linux-wlan.com/ Linuxで無線LANを使うにあたって参考になりそうなリンクは これから集めていきます。とりあえず >>2-4 あたりに USB 接続の無線LANアダプタに関するリンクを貼ります。 2 ：login:Penguin：2008/06/24(火) 23:37:43 ID:niL+UDpA 【Wireless】Linuxで無線LAN【IEEE802.11】 http://pc.2ch.net/test/read.cgi/linux/1035009811/ 【Wireless】Linuxで無線
B木 - naoyaのはてなダイアリー
昨年から続いているアルゴリズムイントロダクション輪講も、早いもので次は18章です。18章のテーマはB木(B Tree, Bツリー) です。B木はマルチウェイ平衡木(多分木による平衡木)で、データベースやファイルシステムなどでも良く使われる重要なデータ構造です。B木は一つの木の頂点にぶら下がる枝の本数の下限と上限を設けた上、常に平衡木であることを制約としたデータ構造になります。 輪講の予習がてら、B木を Python で実装してみました。ソースコードを最後に掲載します。以下は B木に関する考察です。 B木がなぜ重要なのか B木が重要なのは、B木(の変種であるB+木*1など)が二次記憶装置上で効率良く操作できるように設計されたデータ構造だからです。データベースを利用するウェブアプリケーションなど、二次記憶(ハードディスク)上の大量のデータを扱うソフトウェアを運用した経験がある方なら、いかにディ
[高校生の経済学] 経済学の10大原理 - 池田信夫 blog
おとといの記事には、意外に大きな反響があって驚いた。トレードオフというのは経済学では超基本的な概念で、マンキューの入門書の「10大原理」のトップにあがっている：人々はトレードオフに直面している あるものの費用は、それを得るために放棄したものの価値である 合理的な人々は限界的な部分で考える 人々はインセンティブに応じて行動する 取引はすべての人を改善することができる 市場は経済行動を組織化するよい方法だ 政府はときどき市場結果を改善することができる 一国の生活水準は財とサービスの生産能力に依存する 政府が紙幣を印刷しすぎると物価が上昇する 社会はインフレーションと失業の間の短期トレードオフに直面している しかし一般には、トレードオフという概念そのものが知られていないらしい。弁護士が依頼人だけを擁護したり、政治家が自分の党派だけが正しいと主張するのは、いわば職業病なので仕方
運用管理もOSSで、NECが「Hinemos」サポート － ＠IT
2009/04/10 NECは4月10日、企業基幹業務におけるオープンソースソフトウェア（OSS）の利用拡大に向け、OSSミドルウェアのサポートサービスを強化することを発表した。 NECはこれまでも、レッドハットが提供するWebアプリケーションサーバ「JBoss」やCRMソフトウェア「SugarCRM」など、OSSミドルウェアを活用したサービスを提供してきた。新たに、OSSの統合運用管理ソフト「Hinemos」を活用したシステム構築・保守サポートサービスを開始する。 Hinemosは、NTTデータが開発し、オープンソースとして公開している運用管理ソフトウェアで、監視・性能管理やジョブ管理、スケジュール管理といった商用製品並みの機能を備えている。NECでは、Hinemos導入時の事前検証やシステム設計、チューニングなどを行う「システム構築サービス」と、運用時の問い合わせ・障害対応などを行う「
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ニコニコ動画に有料のアダルトチャンネル
IT市場での引きこもり脱出へ、夏野剛氏らが「超ガラパゴス研究会」
Ubuntu日本語フォーラム / networkmanagerへの設定追加について（ご協力お願い） : viewtopic.php?id=3513