うーむ、（たとえばこのエントリのような）下らないエントリを書いたり、細かい修正をするとき、「ちょっとした更新」をチェックしても、やはり後からアンテナがあがってしまうのだが、どうしたものか。後から細かく直すのが癖なんです…。申し訳ない。

http://www.yomiuri.co.jp/national/news/20060515i514.htmhttp://www.pref.miyagi.jp/zeimu/konbini.html 県では５月１２日に平成１８年度の自動車税納税通知書を発送しましたが，バーコードデータの作成ミスにより，納税通知書のバーコードの読み取りがで…

出張で東京へ行く（というか東京を通る）たびにチーズケーキバーやら芋ケーキやら買って帰るのですが、そろそろマンネリ化。何かおいしいおみやげを教えてください。追記：チーズうさぎを教えていただいたので買ってみました。あと、読むのが間に合わなかっ…

もうずーっと自宅からwww.usma.eduとかwww.army.milとかに接続できません。前にちょっと書いたChris Okasaki氏のWebページがどうなったか見たいだけなんですが。なんで？

最近、とある10年前ぐらいのレポートにリンクが増えてきて、かなり恥ずかしいです。せっかくリンクしていただいたので削除はしませんが、ちょっとだけ言い訳を… 無理矢理日記形式にしたので、文体が変＆口調が偉そうですが、私の悪い癖なのでスルーしてくだ…

実家の両親が赤ちゃんを見に来ました。予想された事態ですが、その場の中でもっとも赤ちゃんの扱いがうまかったのは（僕の）父だった。ぬう。…というように、偉そうなことを書いたら下らないことを書いて（自分の精神とブログの）バランスをとろうとする、根…

いろいろなところで何度もいっていて、しつこくて恐縮ですが…ギリシャ数学やインド数学が2000年もたってから、現代文明に必須の実用知識へ発展したように、一見すると「役に立たない」研究も「筋が良ければ」将来の実用価値の積分は巨大になると僕は思います…

http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20060510#p01といえば、http://www.cs.bham.ac.uk/~hxt/cw04/barker.pdfとかいう話があったのを思い出しました。今日はブログが長い…。かけた時間は短いんですが。

論理学系（基礎論系？）の方が見てくださっている（かもしれない）うちにお尋ねしようと思ったのですが、論理において「データ抽象」みたいなものはあるんでしょうか。たとえば抽象型のあるプログラミング言語というか、多相λ計算の一種などでは デカルト座…

http://www.amazon.co.jp/exec/obidos/ASIN/4106101416/あまり買う気がしなかったので立ち読みですみませんが…うーむ、何なんだろう（笑）。「論理だけでは駄目」というのは古代ギリシャ（アリストテレス？）の「ロゴス、エートス、パトス」からある言説であ…

研究でも教育でも立派な実績のある、とある大学教授の先生が、「私は人に物を教えるのも、教わるのも嫌いである」という趣旨の発言をされていて、少し考えさせられました。確かに論争が好きだった(?)というガリレオと、ろくに発表もしてくれなかった（微積分…

が心配だったのでセゾンカードが企画していた自宅通販(?)の簡易検査をやってみました。指に機械をつけて寝るだけ。結果はどうなることか。どきどき。ちなみにステータスコードらしきものが液晶に表示されているので、どういう意味なのか検索しようとしたので…

http://www.mainichi-msn.co.jp/today/news/20060510k0000m040135000c.htmlすっかり忘れられていますがhttp://d.hatena.ne.jp/sumii/20051212/1134352202の続きです。まったく追いついていませんが。

ちょっと写真が必要になって、まともなものがなかったので撮ってもらいました。焼いてもらった写真は良いのですがCD-Rのほうの画像が…。同じ写真でも、こんなに印象が違うとは。しょうがないので、ちょっと画像処理しました（おい）。

Wadlerのパクリ。というか劣化コピー。 悪魔：「あなたが私と契約してくれたら、(A)『私があなたに一億円をあげる』、(B)『あなたが私に一億円をくれたら、どんな願いでもかなえてあげる』のどちらかをして差し上げます。(A)と(B)のどちらにするかは、私が決…

僕も今のコンピュータやプログラミング言語は嫌いなので（わりと本気）、http://alohakun.blog7.fc2.com/blog-entry-285.html 計算機とかプログラミング言語なんて，本当は無いほうが良いんですよ． にわりと同意します。ユーザがコンピュータやプログラムな…

またしても子供の話題ですみません。数週間前、僕が添い寝をしていた夜に、いつのまにか赤ちゃんが動いたらしくベッドから落ちて大泣きし右往左往したのですが（幸い何ともなかった）、それ以来、男のくせに赤ちゃんのことがいとおしくてたまりません（笑）…

「放射線安全規制検討会航空機乗務員等の宇宙線被ばくに関する検討ワーキンググループ」の議事録がおもしろい。特に第2回で、「日本乗員組合連絡会議」の意見に対して「委員のコメント」で LNT仮説は、低線量域の防護基準を安全側に考えるための管理目標値を…

4月ぐらいからスカパーのナショナルジオグラフィックで「ユダの福音書」のCMがうざかったので*1、懐疑的な気持ちでhttp://en.wikipedia.org/wiki/Gospel_of_Judasあたりからいろいろと辿って読んでみたが…歴史は漫画より奇なりというか、下手なオカルトやSF…

http://www.computer-shogi.org/らしい。作者の専門は化学らしい。某F社をやめてI研究室で将棋囲碁をやっている友人によると、プロの棋譜を統計処理して評価関数を学習した「だけ」（←褒め言葉のつもり）だそうで。詰み探索もしてないとか、特定の知識をベー…

「たらい回し」だから…ではないが人に振ってばかりなので、ちょっとは情報を提供する。Mooreの論文は（たとえば東大のように）ScienceDirectを購読していれば普通にダウンロードできて、はじめにMcCarthyの証明を説明しています。コピペできないので面倒です…

親がお金を出すというので、三越の人に勧められるままに良い値のカブトを買ってみる。加藤一冑とか何とか。見た目も明らかにカッコイイ。…という話をプログラミング言語と結び付けようとしたが無理だった。追記：写真１、写真２。ついにこのブログにも子供の…

http://www.kmonos.net/wlog/61.html#_1445060501項書き換えの例として死ぬほど研究されていそうなので「人類の外部記憶」であるGoogleで検索する…のは問題の趣旨からして駄目ですよね（笑）。ちなみに今日から外山研究室でTerm Rewriting and All Thatの輪…