リファクタリングとヒステリシス - カタチづくりを読んでヒステリシスという用語を知った。Wikipediaの例がイメージしやすい。 パテの塊を押しつぶし、変形させたとする。手を放しても元の形には戻らない。 ヒステリシス - Wikipedia なるほど、いままでに受…

勉強会のセッションやるために大阪に出向いていたのでついでにOFFにも参加してきた。そのときに @ranha にJavaのバイトコードを直接実行できるCPUがあったらどう思うかみたいなことを聞かれた。これがなかなか面白い話題なんだ。 PentiumとかCore 2とかのCPU…

月曜に祖父さんが危篤と知らせを受けて病院に駆けつけた。僕が駆けつけたときには祖父さんは意識はなく、見開かれた瞳は焦点を合わせることもなく、呼吸器をつけてただ息をするだけだった。そのままあっけなく祖父さんはとまってしまった。何の反応もなく呼…

もう先週のことだけど、Seasar Conference 2009 Whiteに行ってきた。最近はClassLoaderとか型システムとかがマイブームなので木村さんのHOT deployの話はとても興味深く聞いていた。あと、片山さんの変態的発想力も大好きで、LTでは爆笑していた。懇親会では…

村上春樹氏は正論に呪いをかけた。 一方で、ネット空間にはびこる正論原理主義を怖いと思うのは、ひとつには僕が1960年代の学生運動を知っているからです。おおまかに言えば、純粋な理屈を強い言葉で言い立て、大上段に論理を振りかざす人間が技術的に勝ち残…

プログラムにおける型システムってのは数学・論理学の型理論を基盤にしていて、抽象的なもやもやとした代物。この型システムの理論を現実に実装したものとして、多様なプログラム言語が存在するわけだ。 鶏と卵という話だとどっちなんだろう。実装が先でそれ…

JavaはCより速かった — ありえるえりあの実測データを興味深く眺めていた。 このあたりのジャンルは僕は専門ではないので聞きかじりになってしまうのだけど、Javaのホットスポットの場合、実行されているCPUなどの情報を元に、環境に合わせた最適化ができる…

長文日記を読んでて、ある人がある種の知性を持っていると計測することってのは、対人でチューリングテストを行うようなもんかもなーっと思った。チューリングテストってのはAIの知性の有無を判断するにはどうしたらいいかという論だ。対象物がAIか人間かは…

拝啓、会話などなしにソースコードの内側に潜って考えが読み取れる不思議な夜*1をみなさまいかがお過ごしでしょうか。 おとといの夜にtwitterが遅延していたのだけど、まるでよっぱらったオヤジが野球中継をみながら監督の采配にいちゃもんつけて俺ならこう…

「属人性？あれでしょ、その人じゃないとできないって奴」 じゃぁ問題。個人経営の病院があって、医者は一人しかいません。診察や医療行為は属人性が高いでしょうか？低いでしょうか？「その医者がいないとできないんだから属人性が高いんじゃないの」 違う…

面接というのは、ある種のチューリングテストのような代物で、僕らはあるレベルの知性を持っているかを判別される。*1このテストにマルコフ連鎖のように用語に対する解答パターンを用意して臨むことでクリアしようというのが無謀な試みであることはほどなく…

作りはテキトー。許可をもらってid:yuripopのうぃけたん＋シーサー絵を使わせてもらいました。参加の申し込みはjava-jaのページから。 http://java-ja.yoshiori.org/index.php?%E7%AC%AC%E5%8D%81%E5%9B%9B%E5%9B%9E

静的型では思いつくままに型を作る - プログラマーの脳みそで言ったは、Javaのような静的型付けの言語でのプログラミングの際に、型設計を事前に頑張りすぎないことが軽快にプログラミングするコツだということ。 事前に十分な型設計を行い、プロトタイピン…

JavaLL仮説とか僕は主張していたりするんだけど、みねこあさんとの対話から見えてきた誤解のひとつは、「静的型は最初に正しく型を作らないといけない」というもの。 静的型付け言語では、静的な情報こそが「本質」とされます。 (中略) だからプログラマは神…

ソフトウェア工学というのはなかなか曖昧なもので、wikipediaのソフトウェア工学の項が、いの一番に「分野の曖昧性と論争」という章から始まっているあたりなんか象徴的だと思う。 大雑把には「コンピュータのソフトウェアの開発方法を研究対象とする情報工…

エポック1234567890秒記念。はくたか1号で東京に向かっているところ。越後湯沢の手前ぐらい。

流れに乗り損ねたけども。 ソフトウェア工学は単一の方向を向いているものではない。というか、多様なジャンルがあるなかで「属人性を排除して開発者の能力を均一化しようとしている」なんて統一の目的感があるわけがない。 より高度なソフトウェア製品を作…

インフルエンザにかかって寝込んでましたよっと。 39度の発熱ってのは結構おそろしくて、自分自身では自分が発熱していることがわからなくなるという妙な感触。汗も全然書かないし、熱っぽい感じもしない。ただただだるくて、朦朧とする感じ。 たかだか2度程…

福井や金沢のときにも予告していた通り勉強会を開催します。第十四回 第1回チキチキ 地方巡業withひがやすを飲み会in富山 とりあえず日付は暫定で4/4(土)を予定。セッションいくつかやってからひがやすを飲み会に移行する流れを考えています。4/3〜4/5で全日…

生業としてプログラマをやっていると「仕事」として依頼されてプログラムを作ることになる。 システム開発ってのはお客さんのやりたいことを実現するのが目的になる。「じゃぁこういう風にしましょうか」って仕様が決まると、後は淡々と作ってテストして動作…

「感情論」の話。 感情論……感覚と情理によって説明する手法*1 論証論……論理と証明によって説明する手法 議論を巡るやりとり帳 - (旧姓)タケルンバ卿日記 という対立軸を提唱して、 Q.「感情論」は悪い手段なのか？ A.手段なので良いも悪いもない あくまで「…

三行で書けなくて申し訳ないが。論点を簡素に。ベーシックインカムでネットゲームを変える - プログラマーの脳みそ モンスター討伐でカネを手に入れるシステムを止めれないの？BI取り入れたらやれるんじゃないの？ →反論なし 通貨発行量が増えてゲーム内イン…

JavaはLLなんだよ。ΩΩ Ω＜な、なんだってー！ まぁそう言わず聞いてくれよ。そもそもLLは何かって話なんだけどさ。 Lightweight Language は「脳力」をより少なく消費する言語である 「脳力」はプログラミング活動中に消費される仮想的なパワーである 消費「…

件のゲーム内ベーシックインカムの話は、そういう設計にしたらメリットがあるんじゃないの？というアイデアを述べているだけで、現実のベーシックインカムとはなんら関係しない。私は別にゲーム内でベーシックインカムを実験して現実世界に還元させようとか…

宇宙での食糧としてカイコが最適だとする説が出ている。http://www.technobahn.com/cgi-bin/news/read2?f=200901152331 現代の日本の食生活では昆虫食はおおよそ失われた。ハチノコだとかイナゴの佃煮とかが例外か。多くの人が、昆虫を食えと言われたら顔を…

ベーシックインカムでネットゲームを変える - プログラマーの脳みその論に反論をいただいた。業界筋の方から意見を伺えるというのはとてもエキサイティングなことだ。 ゲームの一要素が機能不全に陥るのを気にしないって本当？ id:godnee氏によれば ゲーム内…

ネットゲームというのはひとつの新しい架空世界であって、その世界をどのように設計するのかというのは相応に難しい。現実世界の設計には政治家が頭を悩ませるわけだけども、ネットゲームの世界の神はプログラマである。世界を作りたければ、物理学だろうが…

またやってるよw エントリ全体に渡って「感情」「感情」と煩いが、こいつの言う「感情」とは罵倒を指しており、「感情を置いて議論をする」などと格好つけてはいるが、実のところは「俺をdisらないでくれ」と言っているに過ぎず、それは思い出すのも滑稽な、…

インドネシアはフローレス島の森には小人が住んでいるという伝説がある。近代でも嘘か真か目撃談があるのである。そんなフローレス島でホモ・フローレシエンシスの化石は発見された。身長は１ｍあまり。これはヒト属においても島嶼化が起こったのではないか…

「議論のデモクラシー」という用語は b:id:dame_kana 何を持って議論の成功／失敗かを決めるのか。議論のデモクラシーを「炎上」の一言で片付ける超然とした態度は「自分の論を終着点にしようとしてしまう」そのもの。 http://b.hatena.ne.jp/dame_kana/2009…