2005-11-12から1日間の記事一覧

しゃっくり

しゃっくりが止まらないと言われる。少し見回して手近にあった携帯電話と大きな虫眼鏡を取る。 携帯電話を頭の上に乗っけて左手で支えさせる。そして、右手に握らせた虫眼鏡を垂直に立てて柄で携帯電話を叩かせる。こんこんこん。 「止まったでしょ。」 「止…

合法化

yahoo newsより 財団法人医療経済研究機構の調査では、喫煙による超過医療費(1999年度現在)は1・3兆円、労働力の損失(同)を5・8兆円と推計している。 喫煙による損害は7兆円ぐらいらしい。それで2.3兆円くらい税金を収めているので税金を3倍くら…

正多角形

全ての頂点に正五角形が2枚、正七角形が1枚くるような立体は、それぞれの正多角形が何枚ずつで構成されている可能性があるか全て答えよ。

なんだっけ

http://homepage3.nifty.com/mogami/diary/d0511.html#10t2 これと同様に任意の解析学や整数論の問題を、線形オペレータの固有値問題のh→0極限に置き換える方法が存在するのではないかと思う。 これに似た状況で否定されているものが想起させるのだけれども…

不動点関数

http://plapla.tk/%7Eplaster/d/ 11/12 http://d.hatena.ne.jp/flappphys/20051112#p3 色々考えたが、結局遅延評価でなきゃきつくて、かつ Haskell だと Hindley-Milner の型付けが強いのでコンビネータを扱うのはきついと。Haskell をもうちょいと軽くした…

可換

人の思考には勝手に「可換」という性質があるのだろう。 昔、javaで継承の内部クラスは、内部クラスの継承になって欲しかったのになってくれなくて困った。 それで、この辺の可換性をさらりと表現できるといいなと思う。 と実例を考えたら、ほとんどが可換に…

拡大家族

日本人の国家観は、拡大家族だと思う。これは実に好ましくない。