トップ «前の日(01-30) 最新 次の日(02-01)» 追記

日々の流転


2002-01-31

λ. Amaya

ちょこちょこっとデバッグ。しかし、状況は変わらず。

CVS版を覗いて、同じバグが既に直っているのを見て凹む。

CVS版に、GDKの代りにGtkGLAreaを使って描画を行うコードが入っているのを見て、「無暗に選択肢を増やす前にやることがあるだろう」とか、ちょっとイライラ。


2003-01-31

λ. 研究会発表

無事に終わって一安心。これで今度こそ春休みに。

λ. 借りた本

『情報科学における論理』
小野 寛晰 [著]
Information Flow: The Logic of Distributed Systems
Jon Barwise, Jerry Seligman [著]
Tags:

2006-01-31

λ. CiteULike: A free online service to organise your academic papers

学術論文に特化したソーシャルブックマークサービスか。 ちょっと面白そう。 とりあえずアカウント取ってみた。 <URL:http://jp.citeulike.org/user/msakai>

CiteULikeは、読んでいる学術論文の情報をシェア・保存・整理することのできる、研究者のための無料サービスです. おもしろそうな論文をウェブ上で見つけたら、ボタンをクリックするだけであなたの個人ライブラリに追加することができます. CiteULikeが自動的に書誌情報を取得しますから、一つ一つ入力する必要もありません. また、全部ウェブブラウザー上で済ませられます. 専用のソフトウェアをインストールする必要はありません.

あなたの個人ライブラリはすべてCiteULikeのサーバーに保存されますから、どこからでもアクセス可能です. また、ほかの人と自分のライブラリをシェアしたり、同じ論文を読んでいる人を探すこともできます. さらには、自分の研究分野の中でそれまで知らなかった文献に出会う可能性もあります.

本日のツッコミ(全1件) [ツッコミを入れる]

ψ ゆっけ [酒井スィショー、お久しぶり。 久しぶりにヒビルテみさせてもらいました。 これ面白いね。なんか世の中の流れを感じるな〜]


2007-01-31

λ. 今日も発表練習

15:00から始めて、終わったのは19:30過ぎ。本番では持ち時間30分(発表20分、質疑応答10分)なので、4人分で2時間ちょいくらいで終わると思っていたのになぁ。

それと、配布資料も作らんとなぁ……。

λ. Haskellでパーサを書く時に面倒な点

先日のPTQ実装のパーサをいじって、名詞の性や動詞の変化を扱うようにしようとしていたのだけど、Haskellでこれを実現するのはちと面倒くさいという事に気付く。Prologみたいに論理変数と単一化があれば、何が入力で何が出力かを決めることなく、素性が一致するという制約だけを書けるのになぁ。もちろん、使っているパーサーコンビネータを拡張して論理変数と単一化を実現すれば良いだけの話なのだが、それも大げさすぎる気がする。大体、PTQの場合は名詞の性と動詞の変化くらいにしか使うところはないわけで。

それはそうと、文法フォーマリズムで単一化文法が主流になっている理由の一端が理解できたする。

λ. 「女性は産む機械、装置」柳沢厚労相が大失言

なんかえらい騒ぎになっているが、「産む機械、装置の数は決まっているから、あとは一人頭で頑張ってもらうしかない」というのが女性差別発言という感覚が良くわからない。そもそも、「生産要素投入が増えないのであれば、生産性を上げなきゃ生産量は増えない」というごく当たり前の事実を少子化問題に適用し、比喩を用いて説明しただけなんだよね?

例えば、我々は人間や生物も一種のオートマトン(=機械)として抽象化して物事を考えることがある。これは人間性を無視したことなんだろうか? そんなことはない。ある面に着目して物事を抽象化・単純化することは、元のものにあった他の全ての側面を切り捨てることであり、そりゃ人間性だとかは切り捨てられる。けど、それは対象となる議論にとって本質的でないから注目しないだけであり、その他の側面が存在しないなんて誰も考えちゃいない。そんなのはあえて説明するまでも無い、当たり前の前提だ。この発言に対する過剰な反応は、私には抽象的に物事を考えること自体を否定しているように感じられて、ちょっと薄ら寒いものを感じる。

柳沢厚労相の発言は不用意だったとは思うが、辞任しなくてはならないような問題とはとても思えない。しかし、安倍内閣は阿呆らしいスキャンダルが多いね……

(2/3追記) 発言要旨

どういう文脈での発言かイマイチよくわかってなかったのだけど、YouTubeにあがっていた スーパーモーニング 2007/02/02 で1月27日の講演での発言要旨が紹介されていたので以下に引用する。

では、人口の状況はどうか。平成17年の国勢調査を受けて、18年に年金の人口推計をやるわけです。(中略) 特に、2030年に例えば30歳になる人を考えると、今、7、8歳になってなきゃいけない。生まれちゃってるんですよ、もう。あとは「産む機械」って言っちゃなんだけど、装置の数が決まっちゃったことになると、機械って言っちゃ申し訳ないんだけど、機械って言ってごめんなさいね。あとは産む役目の人が、一人頭でがんばってもらうしかない。2030年はもう勝負は決まっているとよく役人に言われる。

これを読む限りでは、単に「2030年時点の出産可能な年齢の人数は既に決まってしまっていて増えようがないのだから、少子化を解決するにはあとは一人あたりの出産数を増やすしかない」という事実を述べているだけに思えます(「機械」は数が既に決まっていて増やせないことの喩え)。

Tags: 時事

λ. 秋葉原のPC-Successに異変、31日15時に突如閉店

以前に一度だけ通販で購入したことがあったけど、評判悪かったんだねぇ。全然知らなかった。あと、「仕入先に対する月末の支払いができなかったらしい。企業同士の取引って『月末締めの*ヶ月後払い』みたいのが多いから、店舗じゃなくて通販で買うんなら月初に振り込めってことかな」というコメントは参考にしようと思った。

Tags: 時事
本日のツッコミ(全10件) [ツッコミを入れる]

ψ takot [この件については,切り捨てた部分が > それは対象となる議論にとって本質的でないから 「本質的ではない」ことはな..]

ψ ささだ [まぁこうなることくらい想像できてしかるべきではなかろうか,という気はする.]

ψ さかい [それが安倍内閣クオリティ…… orz]

ψ uenoB [抽象化それ事態は自明なマッピングでまあ悪くないと思うんですが,その次のモデルの検証と問題への適用に関する考察がごっそ..]

ψ たけを [重さのレベルが違うし、片やフィクションなんですけど… 『ザ・ホワイトハウス』って米国の政治ドラマで、厚生大臣相当(i..]

ψ たけを [ごめん、↑のヘロインは多分マリファナか何か、僕の間違いです。ヘロインて中毒性ありまくりだよねw]

ψ とおる。 [いや、少し前までは日本でも「女は子供を産んで育てる装置」という認識があったんですよ。(だから教育なんか必要ないし、政..]

ψ さかい [そういった人たちが「冗談じゃない!」と思ってしまうのは、無理からぬことだと思いますし、それを責めるつもりはないです。..]

ψ Aileron [機械が如何こうより、この程度の内容で この程度しか喋れないのは議員として頭悪くね?っと思って 一人、ばかーばかーっ..]

ψ 無名関数 [菅代表代行も失言「東京は子供の生産性低い」 http://news.livedoor.com/article/det..]


2008-01-31

λ. ベジダイニング

野菜がおいしい。

[ベジダイニング]

Tags:

2009-01-31

λ. Firefoxが起動しなくなった

Firefoxが「プロシージャエントリポイント ?InsertElementAt@nsVoidArray@@QAEHPAXH@Z がダイナミックリンクライブラリ xpcom.dll から見つかりませんでした」というよくわからないエラーで起動しなくなった。 再インストールしたら直ったみたいだが、はて……

firefox.exe - エントリポイントが見つかりません。: 
プロシージャエントリポイント ?InsertElementAt@nsVoidArray@@QAEHPAXH@Z がダイナミックリンクライブラリ xpcom.dll から見つかりませんでした。