トップ 最新 追記

日々の流転


2003-04-01 [長年日記]

λ. 戦場のピアニスト

.

Tags: 映画

2003-04-03 [長年日記]

λ. 買った本

『魔術師オーフェンはぐれ旅 我が聖域に開け扉(上)』
秋田禎信[著] 草河遊也[イラスト]
Tags:

λ. 借りた本

『長い家路(上)』
ダニエル・スティール(Danielle Steel)[著], 天馬龍行[訳]
『作家の値うち』
福田 和也 [著]
『小説ネクロノミコン』
朝松 健 [著]
『イリヤの空、UFOの夏〈その2〉』
秋山 瑞人 [著] 駒都 えーじ[イラスト]
小説すばる 2002年9月号
『エレガントな宇宙』
ブライアン・グリーン(Brian Greene)[著], 林 一, 林 大 [訳]
Tags:

λ. Terminal Emulator <Guevara>

TeraTermKonsoleみたいにタブ化出来たら良いのにと思っていたので、結構期待。.NETってのもよいですね。

……とか言いつつ、こんなパッチあてて、Cygwin/XFree86でmltermを使っている今日この頃です。

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

ψ 中村 [TeraTermWindowChanger http://www.geocities.co.jp/Playtown-..]

ψ さかい [このソフト面白いですね。 よく考えたもんだなぁ。 ただ、手元のWinXPだとウィンドウを最小化しようとした時の挙動..]


2003-04-04 [長年日記]

λ. 新学期

色々と憂鬱。

λ. 入手した本

メディアセンターで処分される本を何冊かゲット。

The Semantics of Destructive Lisp
Ian A. Mason
A Programming Approach to Computability
A. J. Kfoury, Robert N. Moll, Michael A. Arbib
Logical Foundations of Functional Programmming
Gerard Huet
The Mathematics of Inheritance Systems
David S. Touretzky
Equational Logic as a Programming Language
Michael J. O'Donnell
DATA COMPRESSION Techniques and Applications
Thomas J. Lynch
Tags:
本日のツッコミ(全2件) [ツッコミを入れる]

ψ おかだ [libsigc++ (cygsigc.dll) はどこから持ってくればいいのでしょうか?gtkmm-win32-2...]

ψ さかい [パッチが不要だったのでパッケージを作るのを忘れていました。 パッケージを追加したので試してみてください。]


2003-04-11 [長年日記]

λ. やっと一週間が終わった。クタクタ。

λ. 汚染されたデータの型

型を使ってJavaのコードのセキュリティを検証するという話を聞いていて思ったのだが、Ruby等でのオブジェクトの汚染状態を、型システムのレベルで扱うような静的型付け言語は存在するのだろうか?

λ. GNOME関係色々

librsvg-2.3.0には私のパッチがマージされてますが、ltmain.shが古いままなのでDLLをビルドする場合には、自分で libtoolize -f するなりして下さい。

ところで、GNOMEのCVSのアカウント貰っちゃいました。私のようなヘタレがアカウント貰ってしまって良いのかとも思うけど、貰えるものは貰っとくのがポリシーなので(笑)。

libIDLのHEADを試していたら、cygwinのscanfは64bit整数に対して正しく働かない事に気付く。glibのg_printf()系の関数は、printf()系が正しく動作しない場合にはtrioのコードを使うが、scanf系は面倒を見てくれない。どうしよっかなぁ...

Tags: cygwin
本日のツッコミ(全2件) [ツッコミを入れる]

ψ むとぽん [すげー > CVSアカウント]

ψ さかい [どうもです。 がむばってcygwin用のパッチを取り込んでもらうつもり。]


2003-04-14 [長年日記]

λ. 借りた本

『数学パズル ものまね鳥をまねる—愉快なパズルと結合子論理の夢の鳥物語』
レイモンド・スマリヤン(Raymond Smullyan)[著], 阿部 剛久, 福島 修身, 黒沢 俊雄, 山口 裕 [訳]
Tags:

λ. GNOME2

libIDLとORBit2のパッチをcommit。scanfが64bit整数を扱えない問題にはまだ対処していないので、libIDLをコンパイルする際には./configure.inを書き換えて誤魔化す必要があるでしょう。

Tags: cygwin

2003-04-15 [長年日記]

λ. 睡眠不足。

λ. Squeak

豊田さんが使っているのを見て面白そうだったので試してみる。なかなか楽しい。

λ. 研究室

慶應の他のキャンパスの事は知りませんが、SFCに限っていえば学年の制限は一応無いので、B1から研究室に入っている変な人もいますよん(あるいは大学に入る前から研究室に入り浸っているもっと変な人とかも)。でも、研究室に入らなくても、卒論を書かなくても卒業できるんで、そういう意味では全然すごくないですよー

λ. ファイルのロック

Cygwinのファイルロック関係って何だか微妙ですよね。今GConfのファイルロックに悩まされていたり。

Tags: cygwin
本日のツッコミ(全2件) [ツッコミを入れる]

ψ ささだ [そういう柔軟な発想ができるのが,凄いなーと思います.慶応が凄い,という話ではなく,私の頭が固い,というだけかもしれな..]

ψ さかい [なんか気恥ずかしいっす (^^; 制度的として学年の区切りが無いのはやりたい事がある学生にはやっぱ便利です。 ..]


2003-04-19 [長年日記]

λ. GNOME 2.2.1 patches available for test

む、先をこされちまったい。実はこれを見る少し前に、ようやくNautilusのクラッシュの原因を発見して、動作させることに成功したのに……。(ちなみに、CyGNOMEのパッチを見るとその部分は単に無効化されていた)

Tags: cygwin

λ. 買った本

『公共経済学の理論と実際』
中村 慎助, グレーヴァ 香子, 小沢 太郎 [編集]
『社会保障論』
-
Tags:

2003-04-23 [長年日記]

λ. 創立記念日

で休みだったのだけど、TODOは片付かず。

λ. a11y

ってAccessibilityの略なのか。そんなの知らねーよ!

λ. お兄ちゃん vs おにぃちゃん (4/22)

本物の妹さんが久しぶりに更新しました

 どうも本物の妹さんは二人いるようです。「お兄ちゃん」と呼ぶ方と 「おにぃちゃん」と呼ぶ方です。う〜ん、あと何人いらっしゃるのでしょう?

なるほど。呼び方に違いがあったのかっ! 鋭いなぁ。


2003-04-24 [長年日記]

λ. だるい。何やってるんだろ、俺。

λ. 東方妖々夢

久しぶりに遊ぶ。また少し演出が派手になってるし、会話時のグラフィクスも新しくなってる。それから新しい「森羅結界」のシステム面白い。

Tags: 東方

λ. 萩野服部研

他に特にやりたいようなテーマもないので、今期はBonoboでもいじってみる予定。Gnomeでも邪道編みたいな事出来るようになったら楽しそうだし。

Tags: tom

λ. 読書

『バツイチ30ans 2』
小池田 マヤ [著]
Tags:

2003-04-25 [長年日記]

λ. 安田さんのサーベイページ

安田さんのサーベイページ人の日記からリンクされているのを見て、少し驚く。

Tags: tom

λ. 同姓同名

同姓同名の方が未踏に採択されて驚いた話を書いたら、忘れた頃に、本人からツッコミをもらってしまって、少し驚く。(ツッコミのURL修正しました。ZnZさんの指摘に感謝)

未踏は、適当なネタがあれば応募してみたいところ。

λ. 『ニニンがシノブ伝 2』, 古賀 亮一

を読んだ。

ニニンがシノブ伝 (2) (Dengeki comics EX)(古賀 亮一)

Tags:

λ. 聞かなければ良かった

聞かなければ良かった……

Tags: 向井研
本日のツッコミ(全2件) [ツッコミを入れる]

ψ たかはし [#p02、どの辺に少し驚かれたのかが気になります:-)(というかあれは笑うところですし)]

ψ さかい [もちろん笑いましたよん。 少し驚いたのは、元ネタが「キノの旅」だとしたら、たかはしさんが読んでるというのが、ちょっ..]


2003-04-30 [長年日記]

λ. 夕方まで寝ていたりとか、色々ぐだぐだ……

λ. Declarative Pearls?

FLOPS 2004 の案内にこんな事が書いてあったり。比喩ではなく実際にPerlで宣言的なプログラムを……って話だったら嫌すぎ。

Declarative Pearls
new and excellent declarative programs with illustrative applications

λ. Re: a11y

いや、まったくです。google://a11yで約五千件以上もヒットしてずいぶん驚きました。

λ. Re: あれ、師匠もでつか

CPLの拡張で何かやってみようかと思って、計算モデルに証明を入れようと春休み中にいろいろ考えてたのですが、まったく見通しがたってなかったり。かといって、今やってるXXXで応募する気にもなれないしなぁ。つーわけで、今回はパスです。ゆっけは何をやろうとしてるのか気になるなぁ……

λ. 理工学者のための C プログラミング入門

この講義は、一般の(つまり情報関係ではない)理工学の学生を対象として、 C 言語の入門に数値・非数値アルゴリズムの入門を加えた内容となっています。 題名をつければ、「理工学者のための C プログラミング入門」といったとこ ろでしょうか。その場ですぐ答えが出せる簡単なクイズを沢山準備することで、 無理なく学習できるように工夫したつもりです。

2003-03-03に言及した union-find の計算量について検索してて発見。面白い。

Tags: URL

λ. 東方妖々夢

幻符時符。とりあえず一億点とりたいのう。

Tags: 東方

λ. Hiki

某プロジェクトのWeb siteに使うWikiに、Hikiを推してみたり。

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

ψ はら [CPL ってどんなものですか?(今頃^^;)簡単なサンプルプログラムを見せていただけません?]

ψ さかい [CPLのRubyによる実装をRAAに登録してあるので、 実行例はその中のsample/examples.txtを見る..]

ψ ゆっけ [アイデア押せ押せ系のソフトで行こうかとおもとります。まぁちと技術に不安がありますが。ちなみに研究会でやってることです..]

ψ いっちー [tml のところから gtk on cygwin にリンクが貼られていますね。 成果が認められたのだと思います。おめ..]

ψ さかい [……と言うことは、それが兼卒業制作になるのかな? なんかイイ感じですね。> ゆっけ いっちーさん、お久しぶりです。..]

ψ ゆっけ [>すぃしょー そうだねー、うまくいくとイイなー。]