を観にいきました。 以前も観ようといったのですが、夏休み期間の日曜だったので満席。その日はあきらめました。 今日は台風が近づいてきているし、夏休みも終わったので、余裕で入れました。それでも半分程度の人がいました。 内容はよかったです。ネガティ…

いろいろ考えたのですが、式(Expression)の中に操作(operation)の適応(apply)があるのがマズイかなぁと思います。関数(function)の適応ならOKなんですけれど。 でも、操作の適応を別の文法にすると、すごく使いづらくなるでしょう。 例えば、call foo(x); み…

事後条件のチェックを行うかどうかによって結果が変わる関数を思いつきました。 class TestBreaker instance variables private x: int := 0; operations public 破壊的操作: () ==> bool 破壊的操作() == (x := x+1; return true); functions public Test: …

そうか。今日は9.11の日だった。 あのときは出張中で、新潟のホテルのTVで見てたなぁ〜。

http://dailynews.yahoo.co.jp/photograph/pickup/?1157979609 そのGTDの中の１つに、いつかロケットの打ち上げを見てみたいなぁ〜、と ぼんやり思っています。でもちょっと・・・。 もともと昨日の日曜日が予定だったのだけれど、天候のため延期。 実際の打…

http://www.itmedia.co.jp/bizid/articles/0606/27/news003.html http://www.itmedia.co.jp/bizid/articles/0606/28/news097.html 自分のやりたいことをＡ４に最低でも５枚に書くそうだ。 １枚半まではスラスラかけたけれど、それ以降が続かない。 なんとか…

新しいツールを思いつきました。 指定したクラスの実体がどこにあるのかを見つけてくれるツールです。 【背景】 Javaはクラスファイルをロードしますが、実体がどこにあるのかがわかりにくいです。あるいは予想外の場所のjarファイルから読み込まれていて、…

１年ぐらい前からかな？ 体調が気になって始めました。 食事量とアルコール摂取を減らして８ｋｇ減。 内臓脂肪がだいぶ減りました。

1カロリー(cal)は1gの水の温度を1度上げるために必要なエネルギーです。 脂肪1kgは7200kcalに相当します。 なので、0.1kg減らそうと思うと、720kcalものエネルギーが必要です。

とりあえず、めでたい！

入れ替えました。

http://headlines.yahoo.co.jp/hl?a=20060905-00000021-mai-soci http://www.nao.ac.jp/hoshizora/topics.html 部分月食ですか〜。しかも、欠ける量が少ないです。時間帯も遅いしイマイチ。その半月前後は日食が起こる可能性があるのだけれど（月食は月と地…

お仕事で、別のプロジェクトの人からJavaScriptやFlushなどの質問を何度も受けます。何度も言っているのですが、それでも聞いてきます。 だから、私、やったことがないんですっ！！！ うーむ、何で私に聞くのかな？？？orz

何となくYESだけれど、何か違うような気がします。 今まではそれがうまく説明できなかったけれど、いくつかの糸口をつかみました。 クラスは継承するけれど、状態は継承しない。 クラスにはstaticなものとそうでないものがあるが、状態にはない。 よって、ク…

腕時計が止まった。 今日は残業でいけなかったので、明日、電池交換してもらおう。

技術的に実装できそうな見通しは立っています。 postは関数呼び出し前にコールスタックを１つ分用意し、old-valueを退避させています。それと同じ要領で、代入文を実行する前に似たものを用意し、old-valueを退避させます。そして代入後にinvを評価します。…

以前から、不変条件にold-valueが使えると状態遷移が記述できる、と考えてました。 ところが、最初の代入時にはまずいことに気がつきました。 そのときは、old-valueは存在しないのです。 で、初期状態を表す新しいキーワードを追加します。 仮に INIT とし…

以前からＦＭに興味を持っていたＨ君に、開発中のＯＶを見てもらった。 とても喜んでくれた。 ・・・でもね、 本家には到底かなわないのです。 見た目や使いやすさはなんとかなってもね。

次の季節へ・・・。

冷凍室がバカになって、霜がとれない・・・。 ・・・というか分厚い氷になって冷凍室が占領されている。 氷を作る器は、冷凍マンモス状態だ・・・。 冷蔵室は使えるので、しばらくは使っていたけれど・・・。 ・・・ そろそろ買い換えよーか・・・。

しっかし、Ｓ御大の返信はコワイっす。ｗ

いよいよ関係者にお披露目。 どうなるかな？

へちまを買った。（ダイソー￥３１５） 昔は実家でコレを植えて、風呂で体を洗うときはコレを使ってた。

LISP,Scheme,Haskellと関数型言語をかじってみました。 手続き型やオブジェクト指向言語よりも、やっぱり生産性は高いと感じます。 感覚的に、再利用可能なコードのうち、オブジェクト指向は半分ぐらいは再利用できるけれど、残り半分がうまくコンパクトに書…

復活 2006.08.25

冥王星の重力の影響を考えてみた。 もちろん、月や太陽が強く、タイタンよりも小さい。 具体的に身近なものと比較したい。 重力を考えるのに、私の尊敬するＡ．アインシュタインの一般相対性理論を用いて・・・、(上図) ・・・使い方がわからない。（＾＾； …

冥王星が惑星から降格しちゃったか〜。 衛星のCharon（三途の川の渡し守）ともども、愛着があったんだけどなぁ〜。 まぁ、冥王星がなくなるわけでもなく、名前を剥奪されるわけでもないからいいか。 ん？占星術？？？ あんた、月と太陽はなんだ？ 月は衛星じ…

ふと思いついたのだけど、どうなのかな？

金魚すくいの「ポイ」 最近、金魚すくいのノウハウをテレビでやっていたのですが、今年も試す機会はなかったですね〜。 地元の小規模の祭りではやってないっす。 ちなみに、POIも試したことはないっす。

よくお仕事で「採番」という単語を使うのだけれど、不思議とIMEの辞書にはない。 正しい日本語ではないのかな？ あるいは全国的には通じないのかな？ 「自動採番」は「児童裁判」になってしまいます。ｗ もうひとつ「節点」という単語をGISで使っているのだ…