例えばこのはてな自身はPerlで作られている (id:naoya:20040909)．これほどの高度かつ大規模なサイトの運営に利用されるというんだから，Perlというのはただもんじゃないというのが分かる（他にももっと色々）．Perl使いに良さを尋ねるとコミュニティの厚さ…

私の座右の銘は2つ，「語り得るものは明確に語り得る」と「神は細部に宿る」．ページトップに入れてみた． 前者は哲学者L. Wittgenstein (1889-1951) が「論理哲学論考Tractatus logico-philosophicus」という本に書いた言葉だそうだ．「総じて考えで捉え得…

... いかんなあいかわらず計算機関係のエントリが多い（笑 1年1学期に準必修の授業で熱力学があり，そこで熱力学のさわりを勉強した．その後，量子力学の授業のために統計力学の初歩（分布関数，相空間，エルゴード性がどうとか）も勉強したりした．しかし基…

たまたま先日Java2 SE 1.5がリリースされ，早速入れてみた．手元で分析しているclassファイルは新しいjavacでコンパイルしたものと前の1.4.3のjavacでコンパイルしたものが混じっている．するとclassファイルのヴァージョン番号が46.0から49.0に変わっている…

メソッド/フィールドディスクリプタを分析する機能をRuby版から移植した．面倒くさがって [:array "int"] とか使ってたせいで，（中途半端に）型にうるさいJavaに直すのにえらく苦労した．それに再帰関数の返り値で多値（というか多重代入）を使ってたせいも…

ふう，ちょっと間が空いてしまったな． 昨日は10年振りの規模とやらの台風が猛威をふるったが，夜までに収まったので拍子抜け（死者は結構出たらしいのでうかつなことは言えないが...）．今日は単なる「天気のすぐれない日」だった．

Java製javapクローンが大体できた．どっかで配列サイズの取得に失敗してぬるぽで落ちることがあるのでそのバグを潰さないといけない．あとディスクリプタを読み易く翻訳する部分もRubyから移植しないといけない．それにしてもclassファイル内でクラスの表現…

はてなのキーワードに「電磁気学」って入ってないのね... （「て」の欄を探したりもしたが...） はてな住人のチョイスがよく分からん．それはともかく久しぶりに物質中の電磁気学の復習を始めた．復習っていうか，前に勉強したときは結局きちんと理解できな…

今日もひどく寝坊してしまった... 新学期が始まってから2勝2敗 orz

うーむこの日記の存在がにゃあさん【猊下】にもうバレてしまうとは... 天網恢恢疎にして洩らさず，悪いことはできないものだな（ぇ

「集合と位相」は半分しか出られないんだが... まだ とかその辺．一応去年に松坂先生の本を買って半分くらい読んだ（つまり半分で挫折した）ことがあるんでかなり余裕がある．演習問題も今のところは全部解くペースでいけそう（松坂本の章末演習も以前多少や…

すっかり忘れている（汗 例の「一様な磁場内を荷電粒子が運動するとき，に従ってかかる力は，荷電粒子と共に動く座標系ではなので存在しない？」というパラドックス（？）．「荷電粒子と共に動く座標系」というのが言葉のトリックで，ここの座標変換を適当に…

物理数学とかその辺のタイトルを冠する3つ位の授業で微分方程式の同じような内容をやり始めた（いずれもこれまでの復習）．微分方程式のスキルは確かに重要とは思うけど，早く初歩を抜けてそれぞれの特色が出てくるとうれしいんだけどな．まぁそのうち...

眠い... やはり授業を受ける疲労は大きい．家に帰ったら片付けと翌日の支度だけして早く寝る生活を再び始めよう．

"most specific around-method" って久野/須賀訳「ANSI Common Lisp」のように「最も特定的な:aroundメソッド」でいいんか？

... というようなことをずっと授業中考えていた．だってまだ中身のある話が始まらないんだもん．

被りまくり．非線型最適化問題． 理学部の「代数と幾何」2コマを取れるだろうか．「集合と位相」は2コマ中1コマが必修「電磁気学」と被ってるが潜るのはアリか？ 「複素解析」も2コマ中1コマが必修「統計熱力学」と，さらに「形式言語理論」と被ってる... Te…

今日は体調が優れず，寝坊かつ早寝．冷えたからかな？ 寒さは得意なんだが．

とうとう冬学期が... そろそろ本気でかからないといけません．と言いつつ↑のようなことをして遊んでいたのだが...ドイツ語とかの教養の必修以外に工学部の専門科目も来るし，段々... 何と言うか... 時間が流れ去って行ったのを感じる．昔と同じような感覚で…

Jadを始めとする逆コンパイラではないので注意． Javaで言えば，逆コンパイラとはclassファイルを分析してその元となったjavaソース（に近いもの）を生成するソフトウェア．完全な逆コンパイラを作るには巧妙なデータフロー解析が必要で *1，そのスキルはま…

人々のすなるにきというものを我もしてみんとてするなり．（使い古されたネタ）