静的型情報を効果的に使うことで簡潔に書けるケースがあることを示したかったのです。 型付けについてのまつもとさんとみずしまさんのやりとり - Togetterまとめ これ、リアルタイムでiPhoneから眺めてたときは気づかなかったんだけど（外だったし）、要する…
Railsでウェブサービスを開発し始めて3日でやってられなくなって、JSで全部やっちゃうことにしたのがどう考えても間違いだった。だってRJSとか気持ち悪いもの使いたくないし。よく知らない言語でプログラミングしようとか思わない方が良いですね。Javaのがま…
http://d.hatena.ne.jp/soutaro/20100112/1263321849さっき『東京大仏』と検索してみたらずいぶん順位が下がっていました。嘘はよくないので、タイトルを戻します。
今更ですが、id:soutaroは就職活動中です - soutaroにっきの件について、報告します。同じようにやってみようとか、頭のおかしいことを考えてる人がいたら、参考にしてください。なかなか報告できなかったのは、進路についてついこの間まで決まっていなかっ…
卒業後の進路ですが、ホームサーチ株式会社の取締役となりました。社長と二人です。藤沢にいます。あ、学位も取れました。はくし（こーがく）です。
SATソルバっていうのは，充足可能性問題（SATisfiability problem）を解いてくれるソフトウェアのことで，SATソルバで数独を解くとか，以外と身近なところに応用があったりします．SATソルバは数独を解くだけじゃなくて，プログラムの停止性の判定に使うとか…
先月半ばに買ってから，けっこう聞いてます．どのくらい聞いたかと言うと，むしろ普通のベトベンとかチャイコとかコンチェルトを聞いたときに「あれ？？」ってなるくらい．山本直純フォーエヴァー~歴史的パロディー・コンサートアーティスト: 山本直純,古今…
この前，@ynkに教えてもらったのですが，ez-webで「東京大仏」と検索すると3位らしいので，タイトルを変えようと思います．デザインも大仏っぽいのにしようと思ったんですが，良いのがありませんでした．一番，近そうなやつでテーマ名「buddha」かと思ったら…
2009年のまとめっぽいのとか書きたいんですけど，いろいろと「2009年を振り返りました（キリッ」とか言ってられない状況ですので，もう少し落ち着いてからにします．さっき友達と食事しながらテレビ見てました．平成教育委員会だったと思う．クイズの出題に…
有料ですとか書いてあるのに、なんで俺、カラースター使えるの？いつのまにかうっかり購入しちゃった？なんだこれ。 カラースターのプレゼント カラースターとは - はてなキーワード なるほど。よくわからんけど、プレゼントされることがあるのね。
別のアドレスに届いたメールを転送したりとか，一つのメールアカウントから複数のメールアドレスでメールを送りたいことは良くあります．私は研究室のメールアドレスに届いたやつはsoutaro.comに転送しているのですが，研究室のに来たメールの返信はそっちの…
コンビに受け取りで買い物しようとすると「この受け取り先は初めてなので、クレジットカード番号を再入力してください」とか言われる。初めてじゃないよー。
まず、私は退学する気も除籍になる気もありません（笑）。 ぐぐってみると、この区別に悩んでいる人は多いみたいです。 大学 除籍とは - Google 検索 現在は除籍されても入学と在籍の記録は別途保管するところが多いようですが、入学と在籍の事実は認定しま…
でも基本的にGitに移行したいんですよね．githubが良さげで，お金払って良いので，プライベートリポジトリを作りたいんです．書きかけの論文とか，さすがにpublicなリポジトリには入れたくないものをどうするのかっていう問題ですね．Mercurialにもbitbucket…
ちょっと前に友人から入門Gitを安く譲ってもらったんですけど，そっちも読みつつ，結局いつもはMercurialを使っています．2年くらい前に，Subversionから移行して，そのままなんですよね．基本的にはGitに移行したいんです．でも，そもそも私がバージョン管…
iPhoneをアップグレードしたら、iPodの問題がちょっと改善されてた。iPodでクラシック音楽を聞こうとすると途方にくれる件 - soutaroにっき検索すると、ちゃんと作曲者のフィールドも参照してくれてるみたい。korngoldで検索してるのですが、Korngoldがアル…
さっき、熱いコーヒーが飲みたいなーって思って、学内のスタバに行ったんですけどね。RubyKaigiのタンブラー持って。で、コーヒー入れてもらったら、なんか店員さんがしゃべってて、店員さん同士で話してるもんだと思ったんだけど、どうも俺に向かって話しか…
なんか、Firefoxの起動に2分くらいかかる状態だったので。SQLiteのreindexとかすると良いらしいのでやってみたよ。 Firefox3のSQLiteをreindex（とvacuum）をしてみたよ - 雑木林とコンピュータのメモ帳 $ for f in `ls *.sqlite` do sqlite3 $f reindex don…
8時につくばを出る電車に乗れば最初から行けたんだけど、起きたら8時半でした。山上会館に着いたのが10時50分くらいで、ゴルフの話の最中。 OCaml Golf の話 / OCaml Golf (id:KeisukeNakano) コードを縮める細かいテクニックの話。初級編のテクニックはまあ…
ないしょの手紙アーティスト: エマーソン弦楽四重奏団,ヤナーチェク,マルティヌー出版社/メーカー: ユニバーサル ミュージック クラシック発売日: 2009/04/22メディア: CDこの商品を含むブログ (2件) を見るこのCDなんですけど、iTunesで買うととんでもない…
rescueで例外を捕獲するときに、どうやってテストするのか、積年の謎だったんだけど、結局ソースコード読むことにして解決した。===でテストしてる。===はcase式で値を比較するときに使われる演算子で、大体クラスCのC.===はそのクラスのオブジェクトに対し…
class A end $a = A class A ::A = String def f() p :f end def self.g p :g end def A.h p :h end end $a.new.f $a.g String.h まあ直感的かな。 class文の中でselfがいつ解決されるのか、ちょっと気になったのでした。
iPhoneを横向きに寝ながら使おうとすると、画面がくるくる回転してしまって、残念な感じになることは良く知られています。SafariなどのアプリケーションはiPhoneをさかさまにしても画面がさかさまにはならないので、Apple製のアプリケーションであれば、横向…
iPodは作曲家の情報を軽視しすぎ。あと、クラシック音楽の曲名は後半の方が重要なので、そっち表示してくれないと話にならない。 作曲家の情報 検索とかできません。表示もされません。一応、作曲家のリストがばーっと表示されて選ぶことができるようになっ…
W-ZERO3 (ades)が、あまりに頻繁に電源落ちるようになっちゃったもんで、iPhone買ってきました。32GB白。W-ZERO3 (無印)も、最終的には電源ボタンが反応しなくなっちゃったんですけど、その辺りが弱いんですかね……
cf. 「痛ンブラー」勢ぞろい : ギズモード・ジャパン
Emacsでプログラミングしてて、あれーこのデータ型のコンストラクタってなんて名前だったかなー、とか、この関数の引数ってどういう順番だったかなー、とか、ちょっとあっちを見てきてすぐ現在地に戻って来たい、なんてことはしょっちゅうあるのですが、これ…
We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil 私たちは、時間の約97%を占めるわずかな効率に関しては忘れるべきである: 時期尚早な最適化は諸悪の根源だ。 C. A. R. Hoare http:…
def g(x = [1].each {|x| return x }) 3 end puts g() 表示されるのは、1。これが実行できるんなら、 def g(x = (return 1)) 3 end もコンパイル時にrejectしなくても良いような気もするんだけど。
私の車の中には、Stravinskyスペシャルと呼んでるCDがあって、どの辺がスペシャルかというと「弦楽四重奏のための三つの小品」だけが9個入っているところです。デート向きのCDではないので、若干取り扱いに注意が必要です。昨日、シューベルトの交響曲『グレ…
