gauche.nightで話してきたことを、卒研配属された研究室の合宿先で話すことになった。gauche.nightと客層が全然違う(あんまプログラミング言語萌え！ な研究室じゃないし)から説明とか増量とかする必要ある。とかはまあいいんですけど「それでそのSchemeとかGaucheってどこで使われてるの？」みたいな定番の質問がまずある気がしたので「まさに今見てるプレゼンツールがGaucheで書いたものだよ！」メソッドで行こうかなと思った。 そういうわけで「Gauche + c-wrapper + SDL でつくるプレゼンソフト」。 gaucheでSDL使うなら、gauche-sdlとかもあるんですけど、なんか普通にtypoなバグあったりして、なんか微妙だなと。そこでc-wrapperという、Cのソースコードを読んでライブラリのバインディングを自動でやってくれてしまう鬼すごい子を知りまして

分裂君がまた大構想をぶち上げてくれました。しびれるぅぅ。 東京から直通電車で20?30分くらいのところに、経済特区を作る。 仮にJシリコンバレー特区と呼ぶことにする。 この特区では、英語が公用語。 役所、医療施設、学校、レストラン、スーパー、電車、交通標識など、あらゆるものが英語で運用される。 この特区内の企業に年収500万円以上で採用された外国人には、この特区内だけで働けるワーキングビザが発行される。 当面は、インド、中国、西欧、北米、旧共産圏などの高度知識労働者をこの都市に集めることを目指す。 はてブコメントが、例によって面白い。通例どおり批判的なコメントが多いわけだが。こういう状況を考えてみてほしい。あなたが 30歳で、中堅 SIer で働く中堅の SE だったとしよう。月150時間の残業をこなして、残業代込みでようやく年収500万円。まあ、ありがちな数字だと思うけど。しかし、電車で

Ruby on Rails 作者の David Heinemeier Hansson のブログエントリ "In it for long haul"が感動的だったので、ついカッとなって日本語訳してみた。以下は、心の目で読んだ超訳。正確さを求めるなら原文をあたってほしい。 今日 RailsConf '08 についてアナウンスしたけど、今回のカンファレンスで、僕は Ruby on Rails と丸5年間付き合ってきたことになるということについて、ちょっとばかし考えてみたんだ。 一番うれしいのは、いまだに Ruby on Rails と付き合うのがとても楽しいっていうことだ。このことにすごく意味があると思うのは、僕とみんながいまだにこのプロジェクトにかかわっていて、この先さらに5年以上かかわっていける感じだからだ。 自分の本当に好きなことを、好きだからというそれだけの理由でやるほうが、報奨金のため

このたび思うところがあって、シリコンバレーに行く決意をした。12年前に IT 業界に飛び込んで以来、ずっと憧れであった土地・シリコンバレー。向こうの人たちの話を聞くたびにいてもたってもいられない気持ちになった。私がなぜそこまでシリコンバレーに行きたいか、その気持ちはこのブログの読者の方々なら、よくお分かりのことと思う。 海部美知さんはうまいことを言ったものだ。「パラダイス鎖国」。これぞまさに今の日本の姿そのものだ。日本人たちは、ますます外国に興味を持たなくなってきている。聞くところによれば、日本が「飯がうまく、安全で快適な国だから」という。（本当にそんなに快適かしら、と私はおもったりもするのだが）若い人たちは、外国に行く意味を見失い、日本に閉じこもるようになったと。 だが、日本は世界でもっとも閉鎖的な国ではない。日本の上を行く「パラダイス鎖国」がある。それがアメリカだ。アメリカ人の多くは、

追記： 現在は IETester というソフトウェアを使うのがベストだと思います＞＜ 結論から言うと Jeremy Smith's blog: Success! IE 6, 7, and 8 Running on Same Machine (Plus 5.5 and 5.01) に書いてある通りで IE8 をインストール http://tredosoft.com/IE7_standalone の IE7 Standalone をインストール http://tredosoft.com/Multiple_IE の Multiple IE をインストール の順で、共存させることができました。 IE8 を入れるのを戸惑っている人は 入れてみたらいかがでしょうか。 ちなみに 以下のサイトからダウンロードできる Standalone IE6 は IE8 と共存できませんでした。 browsers.ev

暇をみつけては python の型推論をやっている (やろうとしている)。でも、いまだに本当にこれが「原理的に可能」なのかどうか疑問だ…。 http://www.unixuser.org/~euske/offline/memo/cur/cur.html#180812 「原理的に可能」とかについて． まず「原理的に可能」の意味を考える必要がある．「可能」ってなに?なにができたら「可能」なの? 型推論とかのプログラム解析の技術を評価する場合，二つの性質が重要になる．「健全性」と「完全性」．「型推論が健全性を持っている」というのは，「型が推論できたら，そのプログラムは正しい」ということ*1．「型推論が完全性を持っている」というのは，「正しいプログラムは必ず型が推論できる」ということ．MLなんかの型推論は，完全かつ健全である．非常に良くできた型推論アルゴリズムと言える．ただし，型推論アルゴリズムと

プログラム解析には二種類あって，「グローバルなもの」と「モジュラーなもの」がある．「グローバルなもの」というのはプログラム全体を見て処理する，ということ．フロー解析の類いは，グローバルだと思って良い．「モジュラーなもの」というのはプログラムの一部分だけを見て，答えが(部分的に)出てくるもの．例えば型推論とか． グローバルとモジュラーの違いっていうのは，つまり無限をどういうふうに扱うか，ということだと思う．型推論の話で言えば，プログラム全体が入力としてあるならば，多相型というのは問題じゃなくなる．多相型を持つべき関数がどういう風に使われているかを全て検出できるなら，関数をコピーしてやるだけで，多相型が扱えることになる．逆に，型推論みたいなモジュラーな解析の場合は，多相型を「任意の型に対して，ほにゃららの動作をする関数」という風に，明示的に無限を表現しなくてはならなくなる． そして，無限という

昨日は、仙台クリエイティブ・クラスター・コンソーシアム(sc3)の総会に行ってきました。 会員じゃないんですけど、総会後のセミナー目当てでｗ ヨコハマ経済新聞編集長の杉浦さんのセミナー、パネルディスカッションという内容。 すっごい勝手な個人的要約。 TDCもそうだけど、まずは場を作りましょう、繋がろう、情報の共有化を図りましょうという事なんだろうなと思いました。 話の中で印象に残った言葉、「自分たち事」。 他人事と自分事の間にあって、同じ関心事を共有する人とのつながり。これってまさにコミュニティの事だよねと。 終了後の懇親会にもちゃっかりと出席。色々な話を聞けて楽しかったです。 masatanzさん、waizさんありがとうございました。

FreeBSD Daily Topics 2008年3月21日FreeBSD 7 VMwareイメージ登場、6.3→7.0アップグレード、got BSD登場、[USENIXプロシーディングがオープンアクセスへ、PostgreSQL更新ほか heads-up FreeBSD 7.0 VMware Image Greg Larkin氏がFreeBSD 7.0 VMware Image AvailableにおいてFreeBSD 7をベースにして作成したVMwareイメージファイルを公開しています。VMwareイメージファイルは768MBの主メモリで調整されているほか、rootのパスワードは"password"、ZFSはデフォルトで有効になっており/usr/ports/がZFSプールに用意され、EthernetインターフェースはDHCPを使ってホストにブリッジされているとされています。 同VMwa

gc.cを読んでみたらこんな方針でMostly-copying garbage collectionが実現できるんじゃないかなと思うメモ。考慮していないことが起こって根本から崩れるかもしれないけど、それもまた風流(by 宇多田ヒカル)ということで。 struct heaps_slotにアドレスが移動禁止かどうかのフラグ(pin)を追加、あとヒープのどこが空いているか素早く探せるデータ構造(ここは何も考えていません。ビットマップみたいのかなー)を用意する。 ヒープをfrom, toの二つ(または、世代別をやるならもっとたくさん)に分ける スタック・レジスタ・rb_global_addressなどから直接さされているオブジェクトを含むヒープはpinをtrueにする。 ヒープに適切にpinが設定できたらトラバース開始 トラバースの枠組みは現状のmark処理が使えそう トラバースして、あるポインタ

Liquidity Trapの話はクルーグマンに語ってもらうのが一番。 How close are we to a liquidity trap? As of 10:38 this morning, the one-month Treasury rate was 0.57; the three-month rate was 0.825. Are we there yet? Pretty close. 18日の75bp利下げを折り込んでも、株価は低下している 100bpなら多少株価反発か 125bpならかなり反発するだろうけど、結局ドル安が激しくなって再び株価下落 詰んでますな... 関連 Now Presenting: Deflation! by Mish It's time to stop pretending. Deflation is here and it is now. もうとぼ

多くの人がお世話になっているコンパイラ gcc 。 この gcc の組織がどのように開発を進めているかという記事が Reddit に挙がっていました。 How Does the Gcc Organization Work? 原文を読んでもらうのが一番良いのですが、gcc が珍しい点として以下の項目があげられています。 20年間もアクティブなフリーソフトウェアプロジェクトであること。 多くのアクティブな貢献者がいること。 特定の1つの会社や組織と関連があるわけではないこと。 比較的インフォーマルな組織構造であること。 1人の中心的なメンテナがいるわけではない。 1997年に egcs プロジェクトとしてフォークするという大きな組織的転換を生き抜いたこと。そして結局それが開発のメインラインとなったこと。 「1人の中心的なメンテナがいるわけではない。」というのは意外ですね。

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

http://moucheokuno.blog26.fc2.com/blog-date-20070407.html 「うぬぼれる脳」 ISBN:4140910542 ライオンに出くわしてしまった。 (中略) 窮地におちいったハンターの一人が、リュックに手を伸ばして運動靴をとり出した。 「そんなものをどうするんだ？」と、もう一人が訊いた。 「ライオンより速く走るなんて絶対に無理だよ」。 「ライオンより速く走る必要はないさ」 と、一人めのハンターは靴のひもを結びながら答えた。 「君より速く走ればいいだけだ」。 素敵〜 http://homepage3.nifty.com/koha_hp/SCNews/hpblock161/SCNews161.pdf あなたにとって“運動靴”とは何かということに気付きなさい うーむ

プログラムを書いていると todo としてコメントを入れることがあります。 現時点ではこのコードは書けない 余裕のある時にやろう 汚いコードを書いていることに対する言い訳 など理由は様々。 todo コメントの例としては // todo check hogehoge hoge(); のようなものが挙げられます。 ふと思いついて「最も多くソースコードのコメント中に todo と書かれている言語は何か？」をGoogle Code Searchを利用して調べてみました。 行コメント限定ですが結果は以下の通りです。 lang todo % todo/all scheme 1.4% 1000/71000 c++ 0.2% 12300/6280000 c# 0.2% 13600/6280000 fortran 0.0% 100/233000 perl 2.1% 28600/1370000 php 1.

# -*- coding: euc-jp -*- RUBY_VERSION # => "1.9.0" GZIP_MAGIC = "\x1F\x8B" open("/tmp/compressed.txt.gz", "r") do |f| magic = f.read(2) # => "\x1F\x8B" magic == GZIP_MAGIC # => false GZIP_MAGIC.encoding # => #<Encoding:EUC-JP> magic.encoding # => #<Encoding:ASCII-8BIT> end Ruby 1.9だとエンコーディングが異なると同じバイト列の文字列でも == にはならない。何気なく↑のようなスクリプトを書いてるとハマってしまう。エンコーディングを導入したからエンコーディング変換とかはできるけど、余計なお世話な場合もあってこの仕様は

最近、id:Isoparametric さんちのエントリを見ていると泣きたくなってきます。 基底クラスがあるのに、 別々のリストに格納して、別々に回すとかどんだけだよ……。 偉い人が - 神様なんて信じない僕らのために とか、 そう、多くの場合多重継承禁止という事は即ち「インターフェイスも禁止」ってことだ。 Ω ΩΩ＜な、なんだってー！ 多重継承を禁止したらJava以下じゃないか！ - 神様なんて信じない僕らのために とか、 なんでC++のキャストを使わないの？ って訊いたら「めんどい」って言われた〜。 Cスタイルキャスト - 神様なんて信じない僕らのために Cの「ベテラン」は危険です。「ベテラン」いうても即戦力にならないですし、コード汚染しちゃったりもするし。そして、そういう「我が道」をなかなか直さない/直せないし。結局うちのチームでも、だったら（染まる気のある）新人・準新人の方がマシ、

ピーター・ドラッガーが90歳(!)を越えたころ書いた本である。あまりに感動的なので、その一部を要約する。 Part 3 自らをマネジメントする - 1章 私の人生を変えた七つの経験 1.目標とビジョンをもって行動する---ヴェルディの教訓 ヴェルディは80歳を超えてオペラ「ファルスタッフ」を書いた。 ヴェルディの言葉「いつも失敗してきた。だから、もう一度挑戦する必要があった」 失敗し続けるに違いなくとも完全を求めていくことの重要性。 2.神々が見ている---フェイディアスの教訓 誰にも見えない彫像の背中・・・しかし「そんなことはない。神々が見ている」 誰にも気づかれなくても完全を求めていくことの重要性。 3.一つのことに集中する---記者時代の決心 一時に一つのことに集中して勉強する。 4.定期的に検証と反省を行う---編集長の教訓 「集中すべきことは何か」「改善すべきことは何か」「勉強す

今回も参加しました。 今回のセッションは３つ。 hmoriさんによるjMaki xibbarによるRubyとActiveSupportを深く id:yuichi_katahiraさんによる日程調整アプリを作ろう 以上でした。 jMaki jMakiですが、ちょっとだけわかった気はするのですが、 やっぱりjavascriptを読みたい気がしました。理解が浅かったです。 すみません。どうなんだろ。主流になったらやりますけど。 現状はうーむ。 日程調整アプリ 今回は結構進めましたね。よかったのではないでしょうか。 ただ、これでブログを書いている人が本家を追い越してしまったのは笑った。w RubyとActiveSupport 私が進めたので、深く書きます。 まず、スライドですが、slideshareにあげました。 ただ、9枚しかないですし、解説はトークだったので深くはありません。 id:monya

サキとは彼女の自宅近く、湘南台駅前のスーパーマーケットで待ち合わせをした。彼女は自転車で後から追いつくと言い、僕は大きなコインパーキングへ車を停めた。煙草を一本吸ってからスーパーマーケットへ向かうと、ひっきりなしに主婦的な女性かおばあちゃんが入り口を出たり入ったりしていた。時刻は午後5時になる。時計から目を上げると、待たせちゃったわねと大して悪びれてない様子でサキが手ぶらでやってきた。 お礼に料理を作るとはいえ、サキの家には食材が十分足りていないらしく、こうしてスーパーマーケットに寄ることになった。サキは野菜コーナーから精肉コーナーまで、まるで優秀なカーナビに導かれるように無駄なく点検していった。欲しい食材があると、2秒間程度それらを凝視し、一度手に取ったじゃがいもやら豚肉やらを迷うことなく僕が持っているカゴに放り込んだ。最後にアルコール飲料が冷やされている棚の前へ行くと、私が飲むからとチ

要点： コーヒー豆（粉）は冷蔵庫（冷凍庫）で保管しましょう 続き（？） おいしいコーヒーの淹れ方（自宅編） コーヒー、好きですか？僕は大好きです。 しかし、コーヒーはオフィス向きではないな、と強く思っています。 オフィスでは、紅茶や緑茶などのほうがいいです。 なぜかというと、コーヒーをおいしく淹れるためには管理が非常に大変だからです。 僕自身は大変だと思わないのですが、同僚に口酸っぱく言っても一向に守ってくれないのであきらめました。 紅茶や緑茶の方がずっと管理が簡単です。 続きを読む

同じ話が続くんですけど、 はてな界隈でも似たような話を拾ったので言及。 ■amachang（天野）のような人間から殺される - ぼく最速戦記君劇場＠自宅の日記 Not Found - 技術日記 http://tech.g.hatena.ne.jp/itkz/20080321/1205990323 先日開発技法について天野と俺を含めた数名が議論したことがあった。 不特定多数の大規模開発においては、 技術の向上よりも少しでも確実な開発を行わなければならないという趣旨の発言を誰かがしたところ、 天野がそれはどうかと言った。 周囲の人間が何度も「大規模開発にはそれなりの事情がある」と説明をしたが一向に納得する様子が無く、 一時間後にようやく「わかった、事情があるのはわかった」と折れていた。 そもそも大規模開発の現状も知らず、 いくら説明をしても「でも技術の向上を優先しなければ」などと言っていたが、

シリコンバレー［に限らないが］のスタートアップ企業にとって大切なことは何だろうか。 スタートアップを考える起業家にとって二つの文書が必読だと Michael Arrington がいっている。「アリーナの男」［前出］と「持続可能な企業の条件」の二つだ。 TechCrunch: “Sequoia’s Gospel of Startups More True Than Ever” by Michael Arrington: 20 March 2008 TechCrunch Japanese: “Sequoia Capitalが説くスタートアップへの福音“: 21 March 2008［Namekawa, U 訳］ 後者は、ベンチャーキャピタルの雄 Sequoia Capital が手を差し伸べたいと考えるスタートアップの条件だ。 Apple、Google、Yahoo、Cisco Systems

晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…

InfoQ: Ruby 1.9 のSymbol#to_procと(入ったばかりの)Procのカリー化 それでもやはり疑問は残る。確かに、 (1..100).map(&:to_s)は (1..100).map{|x| x.to_s } よりも短く書ける(この例では5文字短かい)。しかし、これは複雑さを増すに見合ったものだろうか？ それともやりすぎだろうか？ Ruby 1.9 のSymbol#to_procと(入ったばかりの)Procのカリー化 やりすぎに 1 票。短く書けることよりも理解しやすいことのほうが重要だし、それに (1..100).map(&:to_s) は (1..100).map{|x| x.to_s } より遅い。 Symbol#to_proc の説明をみると、たいがいにおいて Enumerable#map (or collect) を使った例が紹介されている。ということは、

Python を使って驚いたことのひとつに、open したファイルを close しなくていいということがある。正確に言うと、close 自体は必要なのであるが、Python が勝手に close してくれるのでプログラマーが明示的に close しなくてもよい、ということである。 1: linenum = 0 2: def cat_n(filename): 3: global linenum 4: f = open(filename) # open するけど close してない 5: for line in f: 6: linenum += 1 7: print "%6d: %s" % (linenum, line), 8: 9: import sys 10: for filename in sys.argv[1:]: 11: cat_n(filename) なぜこんなことが可能かとい

時間は限られている 最近、とみに感じるのは、時間というものの有限性についてである。 私は、いつか死ぬ。私は、ある種の人たちのように、能天気に「80歳まで生きるだろう」と勝手に推定して安心することはできない。私は、80歳まで生きるかもしれない。あるいは明日死ぬかもしれない。それは、神の決めることであって、われわれ人間が決めることではない。 10年はたった 3650 日程度でしかない。私がこれから30年生きたとしても、10000日をわずかに越える程度である。あっという間ではないか。われわれはみないつか死ぬこと、われわれに与えられている時間が有限でしかないことに直面するのがひどく不快である。だから、われわれは、あたかもこの命が永遠に続くように振る舞い、時間を湯水のように浪費する。 だが、それは事実ではないのだ。時間は有限だ。 いいこともある。時間には、貴賎の差がない。確かに金持ちのほうがいい医療

Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode