タグ

ブックマーク / dankogai.livedoor.blog (385)

  • ようこそevalparkへ : 404 Blog Not Found

    2017年03月17日10:30 カテゴリevalparkOpen Source ようこそevalparkへ え?もう番ですか…? Welcome to Evalpark! Welcome to ようこそ evalpark ! パークレンジャーの弾です。ここ404 Blog Not Foundではご無沙汰しております。 年度末のドッタンバッタン大騒ぎも落ち着いてきたので、 evalpark を開園します。 #!/bin/sh -v freebsd-version uptime ps aux id env which awk which node which perl which python3 which ruby # fizzbuzz for i in `seq 1 30` do if [ `expr $i % 3` -eq 0 ] && [ `expr $i % 5` -eq 0 ]

    ようこそevalparkへ : 404 Blog Not Found
  • 404 Blog Not Found:TuringとChurchの狭間で

    2006年04月16日13:53 カテゴリMath書評/画評/品評 TuringとChurchの狭間で The Emperor's New Mind Roger Penrose [邦訳:皇帝の新しい心] なんでひげぽんが反復がすぐにわからなかったかを憶測すると、「変数とは代入すべきもの」、という手続き型言語の呪縛が思い立つ。ひげぽんは別にがっかりする必要はない。hyukiさんさえそれに引っかかっていたんだから。 その証拠を、以下にお見せする。 [結]2005年8月 - www.textfile.org sub fix { my $G = shift; return $G->( sub { my $x = shift; return fix($G)->($x); } ); } これはPerlで実装した不動点関数で、全く問題なく動く。しかし、hyukiさんも知らぬ間に一つ「反則」を犯しているこ

    404 Blog Not Found:TuringとChurchの狭間で
    keloinwell
    keloinwell 2014/11/08
    SchemeいじりながらLambda Calculusとはなんぞや、と学んでいる
  • きもいとしきものども、汝らの名は - 書評 - 寄生蟲図鑑 : 404 Blog Not Found

    2013年08月11日19:30 カテゴリ書評/画評/品評SciTech きもいとしきものども、汝らの名は - 書評 - 寄生蟲図鑑 寄生蟲図鑑 目黒寄生虫館(監) 出版社より献御礼。 なんてぐろい。 なんてきもい。 なんて いとしい 世界で唯一の寄生虫専用博物館として名高い、公益財団法人目黒寄生虫館。その目黒寄生虫館が監修したのが書「寄生蟲図鑑」である。寄生虫ファンにはこれ以上の紹介は不要だろう。 よって以下は、寄生虫という存在が、グロテスクで気色悪い、駆除すべき対象としてしか見なしていない方に向けて書かれている。 まずは現実から。 よくこそ世界でただ一冊のビジュアルブックへ 寄生虫に感染するのは人間だけではありません。おそらくすべての動物は寄生虫をもっています。意外に思うかもしれませんが、寄生される動物(宿主といいます)より寄生虫の方が確実に種類が多いのです。単に種類が多いというだ

    きもいとしきものども、汝らの名は - 書評 - 寄生蟲図鑑 : 404 Blog Not Found
  • ロングピース社への対義提言 - 作評 - 翠星のガルガンティア : 404 Blog Not Found

    2013年07月01日22:30 カテゴリ書評/画評/品評Art ロングピース社への対義提言 - 作評 - 翠星のガルガンティア 翠星のガルガンティア 翠星ちきゅうに、つかの間の静けさがもどった。 警告:以下、ネタバレ全開マキシマイズ 作「翠星のガルガンティア」を、公式サイトはこう紹介している。 「翠星のガルガンティア」アニメ公式サイト | ストーリー 遠い未来、遥か銀河の果て。人類は、異形の怪生命体ヒディアーズと種の存続を賭けた戦いを続けていた。激しい戦いの最中、少年兵レドは乗機である人型機動兵器チェインバーとともに時空のひずみへと呑み込まれる。人工冬眠から目覚めたレドは、忘れられた辺境の惑星・地球へと漂着したことを知る。表面のほぼすべてを海に覆われた地球で、人々は巨大な船団を組み、旧文明の遺物を海底からサルベージすることで、つつましくも生き生きと暮らしていた。ここはそんな船団の一つ、

    ロングピース社への対義提言 - 作評 - 翠星のガルガンティア : 404 Blog Not Found
    keloinwell
    keloinwell 2013/07/10
    参考となるSFが何かを知りたかったので、とっても嬉しい。
  • 人類よ、これが本当の人類滅亡だ : 404 Blog Not Found

    2012年12月21日03:00 カテゴリTipsLightweight Languages 人類よ、これが当の人類滅亡だ Gene Mapper Fujii Taiyo めでたく人類かマヤ暦が終了したところで、当の人類滅亡について考察してみました。 人類ではなくて、電脳ですが、人類が滅亡する頃には電脳なしに人類がやっていけるとは思えないので。 ふと思い立って 64bitPerl で 'print scalar localtime 0x1_0000_0000' してみたら sizeof(time_t) == 4 な環境でも 'Sun Feb7 15:28:16 2106' って出てなう— Dan Kogai (@dankogai) December 20, 2012 GEEK以外の方のために解説すると、これ、いわゆる2038年問題です。 1970年から2038年までしか作らなかっ

    人類よ、これが本当の人類滅亡だ : 404 Blog Not Found
    keloinwell
    keloinwell 2012/12/21
    21億年後にコンピューターは存在しているのだろうか。
  • ナニワ研究道 - 書評 - 山中伸弥先生に、人生とiPS細胞について聞いてみた : 404 Blog Not Found

    2012年10月14日15:00 カテゴリ書評/画評/品評SciTech ナニワ研究道 - 書評 - 山中伸弥先生に、人生とiPS細胞について聞いてみた 山中伸弥先生に、 人生とiPS細胞について聞いてみた 山中伸弥 / 緑慎也 出版社より献御礼。 マウスでの確立(2006)から6年、ヒトでの確立から5年、初の一般書「iPS細胞 ヒトはどこまで再生できるか?」から4年。今では書店の棚の一列ぐらいは埋まるほど出ているiPS細胞に関する書籍であるが、ノーベル賞受賞でこれが棚一つ分ぐらいになるのは確実だと思われる。 しかし人による語り下しはその中でも格別である。しかも書に限れば、「上の」方にではなく「下の」方に。ずばぬけて平易なのである。オビに「中学生から読める」とあるが、これは誇大広告どころかずいぶんと控え目な表現。小学校高学年からOK。語り聴かせるのであれば低学年でも大丈夫。全年齢

    ナニワ研究道 - 書評 - 山中伸弥先生に、人生とiPS細胞について聞いてみた : 404 Blog Not Found
  • 本当はガテン系の物理学 - 書評 - ヒッグス粒子の謎 : 404 Blog Not Found

    2012年09月26日12:00 カテゴリ書評/画評/品評SciTech 当はガテン系の物理学 - 書評 - ヒッグス粒子の謎 出版社より献御礼。 ヒッグス粒子の謎 浅井祥仁 こういうを待っていた! まさに blog.livedoor.jp/dankogai/archi… に相当するようなこれぞが見当たらない。ワシが売るから誰か書いて!<@yukiskywalker @dankogai ヒッグス粒子あたりについて理解するとっかかりになるような新書があればご教授いただけませんでしょうか?— Dan Kogai (@dankogai) July 4, 2012 という一冊ではないか。 書「ヒッグス粒子の謎」は、CERNの中の人、厳密にはCERNに出向している日の実験物理学者が著したタイトルどおりの一冊。 ポイントは、著者が実験物理学者であるというところにある。 404 Blog No

    本当はガテン系の物理学 - 書評 - ヒッグス粒子の謎 : 404 Blog Not Found
  • 軽さの重さ - 0th impression - iPhone 5 : 404 Blog Not Found

    2012年09月21日21:30 カテゴリ書評/画評/品評 軽さの重さ - 0th impression - iPhone 5 というわけで初日に入手したので感想を。 入手したのは、AU版ブラック32GB。 はい。理由0. blog.livedoor.jp/dankogai/archi… で入手したAU端末が両方ともいらない子化していたので機種変したかった 1.残りの家族がSBで、SIM差し替えによる端末融通が利かなくなる2. テザリング< @matsuyamaaaaa @dankogai AUですか?— Dan Kogai (@dankogai) September 14, 2012 機種変更だしWebで事前手続きはすべて済ませたしつつがなく手に入ると思いきや、「お客様には割賦販売はできないようです」と来たもんだ。一体誰に向かって言ってるんだAU?ビューカードの審査蹴られて以来だなあ。と

    軽さの重さ - 0th impression - iPhone 5 : 404 Blog Not Found
    keloinwell
    keloinwell 2012/09/21
    ふむ。
  • 中年コーダーが教える本当にクリーンなコードの作り方 - 「リーダブルコード」の書評に代えて : 404 Blog Not Found

    2012年09月18日15:00 カテゴリ書評/画評/品評Art 中年コーダーが教える当にクリーンなコードの作り方 - 「リーダブルコード」の書評に代えて リーダブルコード Dustin Boswell / Trevor Foucher 須藤功平・ 角征典 訳 [原著:The Art of Readable Code] 遅まきながら出版社より献御礼。 基的に、以下のスライドを一冊のにすると書になる。 クリアなコードの作り方 - How to make clear code なのに「リーダブルコード」を読了した時の気持ちと、共訳者による以上のスライドを見た時の気持ちは180度違った。前者ではとても嬉しくなったのに、後者ではとても悲しくなったのだ。 なぜそうなったかを書くことで、書に何が書かれているのかを紹介することにする。 クリアって cat /dev/null > dirty.

    中年コーダーが教える本当にクリーンなコードの作り方 - 「リーダブルコード」の書評に代えて : 404 Blog Not Found
  • tips - GIMPでJPEGの蚊を退治して"PNG"化する : 404 Blog Not Found

    2012年09月05日03:00 カテゴリTips tips - GIMPでJPEGの蚊を退治して"PNG"化する このためだけにGIMPをインストールしておく価値あり。 可逆対非可逆 我々がふんだんに画像や音楽や動画をネットでやりとりできるのは、非可逆圧縮(Lossy compression)のおかげ。これがなかったらとうの昔にネットはパンクしています。静止画や音声はとにかく、動画ともなれば無圧縮ではネットどころかハードディスクすらついていけないほど。 うぶんちゅ! 瀬尾浩史 たとえば以下の画像。片方が可逆圧縮(Lossless compression)のPNG、そしてもう片方が非可逆圧縮のJPEGで圧縮してありますが、どっちがどっちだかおわかりいただけますか?画像をクリックした先に1246x1635ピクセルの元画像があるのでそちらも確認してみてください。 ぱっと見た目にはまるで同じ画像

    tips - GIMPでJPEGの蚊を退治して"PNG"化する : 404 Blog Not Found
  • 備忘録 - Mountain Lion を最低限文化的にしつけるためにやったこと : 404 Blog Not Found

    2012年07月26日09:45 カテゴリTips 備忘録 - Mountain Lion を最低限文化的にしつけるためにやったこと つつがなくリリースされました。 感想は 404 Blog Not Found:iOS多くして獅子山昇る - 品評 - OS X Mountain Lion Preview Release とほぼ変わらず。その後 Dictation とかが追加されましたが、これで「iOSには出来るのにOS Xには出来ない」ことが大部分解消されていい感じです。 とはいえ、「今まで動いていたものが動かなくなる」ことは、OSのアップグレードにはつきもの。entryは、それを再び動くようにするための備忘録です。 (追記あり) InstallESD.dmg の保全 App Storeからインストーラーをダウンロードしたらインストーラーが起動しますが、インストールボタンを押す前に In

    備忘録 - Mountain Lion を最低限文化的にしつけるためにやったこと : 404 Blog Not Found
  • (define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp : 404 Blog Not Found

    2012年07月16日01:45 カテゴリ書評/画評/品評Math (define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp 素数夜曲: 女王陛下のLISP 吉田武 出版社より献御礼。 夏休み一つかけて取り組みたい吉田独習が、これでまた一つ。 404 Blog Not Found:This is THE -e^πi - 書評 - オイラーの贈物 新装版 404 Blog Not Found:伝われ、i - 書評 - 虚数の情緒 しかし、今度は紙と鉛筆に加えて、パソコンのご用意も。 書「素数夜曲」は副題が「女王陛下のLisp」なのだが、実質「素数夜曲」と「女王陛下のLisp」の合冊だといってよい「付録」となっている後者の分量は、「主題」のそれを上回る。 目次 - 東海大学出版会|書籍詳細>素数夜曲より 増補改訂版・序 第0夜 梟は黄昏に飛翔する 第1夜 素数のメロディー

    (define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp : 404 Blog Not Found
    keloinwell
    keloinwell 2012/07/21
    買っちゃおうかな
  • English - 丁寧は謙譲にあらず、命令形は命令にあらず : 404 Blog Not Found

    2012年07月11日18:00 カテゴリLogosCulture English - 丁寧は謙譲にあらず、命令形は命令にあらず What? 英会話で丁寧に頼む7つの表現と丁寧度を9秒でマスターする方法 | わいわい英会話 相手の意思を聞くWillより身体的能力を聞くCan の方が丁寧です。 Would you give me a break? そんなことを英語で言っている人を、私は見たことがない。 その代わりに言っているのは、丁寧の度合い(politeness)において would = could > can = will ということである。 English Grammar | LearnEnglish | British Council | ability, permission, requests and advice Instructions and requests: We us

    English - 丁寧は謙譲にあらず、命令形は命令にあらず : 404 Blog Not Found
    keloinwell
    keloinwell 2012/07/17
    WouldとCouldの使い分け。Wouldには言い手の意志が入って、Couldの方がより丁寧な言い回しって捉えてたけど、謙譲って見方、いいかも。
  • 数学vs数学者 - 書評 - 数学ガール/ガロア理論 : 404 Blog Not Found

    2012年06月03日19:00 カテゴリ書評/画評/品評Math 数学vs数学者 - 書評 - 数学ガール/ガロア理論 第五作にしてついに出版社より献御礼。 数学ガール/ガロア理論 結城浩 ミルカさん、すごくいい。 でも ミルカさん、ちょっとずるい。 書「数学ガール/ガロア理論」は、もはや定番となった「数学ガール」シリーズ第五作。 404 Blog Not Found:書評 - 数学ガール 404 Blog Not Found:孤独解消型数学入門 - 書評 - 数学ガール/フェルマーの最終定理 404 Blog Not Found:自己、無限、自由 - 書評 - 数学ガール/ゲーデルの不完全性定理 404 Blog Not Found:見事な取捨選択 - 書評 - 数学ガール/乱択アルゴリズム 「数学ガール」シリーズは、シリーズ化された第二作以降は「散策型」と「踏破型」を繰り返して来

    数学vs数学者 - 書評 - 数学ガール/ガロア理論 : 404 Blog Not Found
    keloinwell
    keloinwell 2012/06/06
    1-4巻まで読んでいるので、5巻も読みたい。送料が高くなるけど、買ってしまおうか。
  • news - 「俺、核融合発電所が出来たら結婚するんだ」 : 404 Blog Not Found

    2012年04月09日15:45 カテゴリNewsSciTech news - 「俺、核融合発電所が出来たら結婚するんだ」 新・核融合への挑戦 吉川庄一 / 狐崎晶雄 こういう記事を見て、知っている人ほどこう感じるのではないか。 レーザー核融合、連続反応に成功 光産業創成大学院大など   | 静岡新聞 光産業創成大学院大(浜松市西区)は4日、浜松ホトニクスやトヨタ自動車などとの共同研究で、レーザー核融合反応を「爆縮高速点火」による手法で100回連続して起こすことに成功したと発表した。同手法での連続反応は世界初。効率良く大きな熱エネルギーを生み出す手法での達成に、同大学院大の北川米喜教授は「レーザー核融合発電の実現に向けた第一歩を踏み出せた」としている 何匹目の狼か、と。 404 Blog Not Found:マクロエンジニアリング受難世代「核融合への挑戦」、私は新旧双方を持っている。旧版の

    news - 「俺、核融合発電所が出来たら結婚するんだ」 : 404 Blog Not Found
  • 備忘録 - iCloud の Back to My Mac でSSHログインする : 404 Blog Not Found

    2011年11月18日12:00 カテゴリTipsiTech 備忘録 - iCloud の Back to My Mac でSSHログインする MobileMeの頃から存在していたのですが、iCloud化によりBack to My Mac(どこでもMy Mac)という素敵機能が無料で使えるようになりました。 Back to My Mac - Wikipedia, the free encyclopediaBack to My Mac is a feature introduced with Mac OS X 10.5 Leopard that uses Wide-Area Bonjour to securely discover services across the Internet and automatically configure ad hoc, on-demand, point

    備忘録 - iCloud の Back to My Mac でSSHログインする : 404 Blog Not Found
  • 書評に代えて - 日本人の9割に英語はいらない : 404 Blog Not Found

    2011年09月05日09:00 カテゴリ書評/画評/品評Logos 書評に代えて - 日人の9割に英語はいらない 出版社より献御礼。 日人の9割に英語はいらない 成毛眞 よくぞ言ってくださった9割。 残りの1割を、これから書く。 書「日人の9割に英語はいらない」の内容を一言でまとめると、「英語勉強している暇があったら、を読め」、ということになる。このこと自体に異論はないし、私も同様の主張を何度もblogで繰り返して来た。しかし、それをマイクロソフト株式会社元社長(1)が、成毛眞(2)として言ったことに意義がある。 (1)に意義があるのは、その方が遥かに多い人が耳を傾けるから。人というのは何を言ったかではなく、誰が言ったかを気にする生き物である。「英語勉強しろ!」と五月蝿い親や上司を黙らせるには、あなたが直接言うより「マイクロソフト株式会社元社長もそう言っていた」の方が遥かに

    書評に代えて - 日本人の9割に英語はいらない : 404 Blog Not Found
    keloinwell
    keloinwell 2011/09/15
    英語勉強は、必要な人はするべき。でも必要ないなら、したい人だけすればいいと思う。日本語で言葉を扱う土台ができてないと、いくら頑張っても英語はうまくならないように思う。
  • 待った甲斐 - 書評 - がまんできない人のための 真の忍耐力養成ドリル : 404 Blog Not Found

    2011年08月14日14:00 カテゴリ書評/画評/品評Value 2.0 待った甲斐 - 書評 - がまんできない人のための 真の忍耐力養成ドリル がまんできない人のための 真の忍耐力養成ドリル ココロ社 編集部より献御礼。 こういうを、待っていた。 これこそ、(ライフ)ハッカーが最も苦手とし、しかし「ふつうの奴らの上を行く」のに最も欠かせない力なのだから。 書「がまんできない人のための 真の忍耐力養成ドリル」は、「超★ライフハック聖典」「プラス思考をやめれば人生はうまくいく マイナス思考法講座」の著者の、ニンタイ力の成果。 を上梓するというのもまた、ニンタイ力なくしてなし得ないのだ。 目次 ■第1章 諸悪の根源は忍耐力不足にあり! - トレーニングに入る前に ■第2章 忍耐力養成2週間トレーニング - 読むだけでみるみる身につく! 【基礎的な忍耐力を身につける4日間】 1日目

    待った甲斐 - 書評 - がまんできない人のための 真の忍耐力養成ドリル : 404 Blog Not Found
    keloinwell
    keloinwell 2011/08/18
    ココロ社さんの本か。読んでみたい。/忍耐の話をしていながら、danさんはimpatientと。
  • 情報の質に関するただ一つの原則 : 404 Blog Not Found

    2011年08月01日18:45 カテゴリLogos 情報の質に関するただ一つの原則 内田樹発言の劣化がさらに進んでいるのは、個人的印象ばかりとは言い切れない。 ネット上の発言の劣化について (内田樹の研究室) 個人的印象だが、ネット上での匿名発言の劣化がさらに進んでいるように見える。 以下の通り人も認めているから、というのは冗句であるが… 「オレはこう思う。」とか「オレはこれを知っている。」といったタイプの情報は、そのコンテンツの正否にかかわらず「質の悪い情報」である。 スルーしようとも思ったのだが、そうし難い質(「しつ」より「たち」)の悪さがこの発言にはあるので、1 entryを割く事にする。 何が質が悪いかというと、「情報の質」というのは誰が決めるかを、180度勘違いしていること。 発信者、ではない。 受信者、なのである。 もし発信者に情報の質を決められるのだとしたら、Van Go

    情報の質に関するただ一つの原則 : 404 Blog Not Found
    keloinwell
    keloinwell 2011/08/04
    書いた/話したことへの責任を取らない無責任な発言は気にする必要はないと思う。ただ、そうした発言にナイーブになってしまう発信者が多くいるのも確か。
  • ほんと馬鹿 - 書評 - 科学的とはどういう意味か : 404 Blog Not Found

    2011年07月20日13:15 カテゴリ書評/画評/品評SciTech ほんと馬鹿 - 書評 - 科学的とはどういう意味か 科学的とはどういう意味か 森博嗣 編集部より献御礼。 ここ数年、いや今世紀に入ってから、これほど「そうだそのとおり」とうなづきながら読み進んだ一冊は他にない。 なのに、どうして?いや、だからこそ! そんな馬鹿な。 語源通りの意味で。 書「科学的とはどういう意味か」は、以下の主張を新書一冊分かけて展開したもの。 P. 186 科学は発展しすぎた、科学が環境を破壊し、人間は当の幸せを見失っているという指摘はよく聞かれるところである。しかし、この場合の「科学」とは、そのまま「社会」や「経済」と言い換えてもほぼ同じ意味であり、単に風刺的姿勢で、警告を発している気になっているだけの物言いである。言葉は何とでもいえる。しかし、言葉では何一つ解決しない。 よくぞ言ってくださ

    ほんと馬鹿 - 書評 - 科学的とはどういう意味か : 404 Blog Not Found