酒井さんがたまにヒビルテにこういうのを載せてたけど、たまには私も載せてみよう。 四角形ＡＢＣＤについて、次のことが判っている。 ∠Ａ＝∠Ｃ＝９０° ∠Ｂ＝４５° 対角線ＢＤ＝８ このとき、もう１つの対角線ＡＣの長さを求めよ。 ちなみに、mixiの数学コミ…

今日は出勤日。家に帰ってからやろうと思ったけど、さすがに無理でした。でも、職場でトイレ行っている間に何気なく考えてたら、モヤモヤしたイメージがパーッと晴れたような気がって書くと宗教っぽくて嫌だけど。ブール代数のイデアル、フィルターってこん…

CNET Japanの江島健太郎のコラムより。 技術論やイノベーションを語る上で、エンジニアの士気や好奇心やモチベーションほど重要なものはない。てごわい大きな機能を実装するときには、まず関係のない小さなバグを２つ３つ潰したりして準備体操し、乗ってきた…

檜山さんのとこを読んで。あと酒井さんのところでも触れられてますが。 本当は一次ソースを見てから、と思ったけど長そうだし、何かFirefoxの調子悪くて何故かフラッシュが見られないので、２次ソースだけで。*1 今まで、単純に財産を相続させたいという思い…

ﾃﾗﾓｴｽちょっと写真ブレてますけど…(^^;

圏論勉強会のテキストに使っている、これ↓Conceptual Mathematics: A First Introduction to Categories作者: F. William Lawvere,Stephen Hoel Schanuel出版社/メーカー: Cambridge University Press発売日: 1997/10/09メディア: ペーパーバック クリック: …

おとといですが、行ってきました。業務で。いやなかなか興味深いお話が沢山聞けました。関係者の皆さん、どうもお邪魔しました。お喋りしてくださった皆さんありがとうございました。 いろいろコメントなどしたいですが、なんか最近くそ忙しいのでこの時期に…

某学会のサイト、パスワードを忘れて電話で質問すると口頭で答えてくれます。 …どういう風になってんだろうな、管理システム。

既に遅刻してる罠。このままだと、酒井さんの雄姿は見れそうにないかな… 他の皆さんも気になるけど、ここにきて体調が…orz 午後から出席を目指してがんばります。

気づかないうちに8月が・・・まだ一回もはてなに書いてませんでした。 最近余裕のない生活を送っています。とりあえず生存証明。

ふつける勉強会とか行きたかったけど自重します。

新規に考案した形式言語（XX-calculus の類）が特許提案されていて、操作的意味論の規則一つ一つがクレーム（請求項）になってました。いやぁそんな事もできるのね。考えてみれば、建前上操作的意味論って抽象機械の操作だから、「○○の様な操作をする機能を…

http://d.hatena.ne.jp/m-hiyama/20060701/1151716681より。任意のネットワークで考えるのは面倒なので、リストでやってみました。つまり、N人の人が一列に並んでいて、隣同士の人だけ「知っている」ような、元の問題のサブセット。 初期値のリストを与える…

http://homepage3.nifty.com/mogami/diary/d0606.html#26t1 を読んで、昔の萩谷先生のエッセイを思い出した。いや、それだけ。

に初参加しました。ふつける読書会。

世間の流行など全く知らない（と思う）職場の先輩が、たまったま古い本棚から、大昔のSICP（原著）を発掘してきて、何故かそのままハマってしまったようで。 んで私と「面白いですよねぇ」とか雑談で盛り上がっているうち、勢いで、職場で勉強会をやろうとい…

うー、最近めっきり忙しくなってしまいました。 いろいろ手を動かしたいけど仕事にとられてるし。読みたい本とか論文とかあるんだけど、どんどん机の上にスタックされています。悩ましい。 皆さん、論文1ページ読むのにどの程度時間かけますかね？アブストに…

少し前に某所で「オイラーの等式を知ったときも、別段感動しなかった」と書いて、猛反発を食らった俺が来ましたよ。 ということで、オイラーの等式には感動しなかった一人です。うう。 えー以下、元のエントリーとはどんどん離れて勝手に書きますが。 とりあ…

入れてみた。・・・はてなの表示がおかしい（特にウチ orz 本文横のプロフィールだのなんだのが変なところに移動してます。 下のエントリーみたいな、amazonのisbn表記がまったく表示されないっぽいし。

に参加してみました。danさんお世話様でした＆コーヒーご馳走様でした。 そのdanさんも言っていた、「SICPの醍醐味は5章」と言うのには狂おしいほどに同意。Lispマシン激しく作りたい。 geekが革新的なアーキテクチャ作る時代になってほしい。 つか、最近よ…

なんか疲れた。 一週間かけてなんかやろう、と思っていたけど結構イベントがあって忙しく、そんなに時間が取れなかった。残念。 文献数本並行に読みかけて途中で終了してるし。なんとも中途半端。今日は休養に充てました。

書きっぱなしジャーマンキャンペーンはこれにて終了しました。しかし、あんな変な制約入れてると、まったく書く気が起こらなくなりますな（当たり前）。

の答えわからん…でも悔しくて答えが見られない。うう。

いろいろ書きたいこともあるのですが、今月いっぱいはここにいろいろ書くのは差し控えます（せいぜいテニスの話くらい）。その他、よそのブログにコメントしたりここでのコメントにレスしたり、もしばらく封印。いや、場合によって書くかもしれませんが、場…

今日を最後に職場が変わることになりました。そして、会社の先輩にずっと借りっぱなしだったこれを返しました。Categories for the Working Mathematician (Graduate Texts in Mathematics)作者: Saunders Mac Lane出版社/メーカー: Springer発売日: 1998/12…

最近、暇なときに『Final Fantasy XII』をやってるんですが。今回のこのゲーム、フィールド画面と戦闘画面が一体になりました。フィールドにモンスターがいて、近づいたら互いにバカバカ戦闘をおっぱじめるのですよ。 で、併せて「ガンビットシステム」なる…

一個前のエントリー書いてて、ふと思い出したのですが…こないだ、友人（♂）の結婚披露宴に呼ばれていきました。 ところが会場の都合やら何やらで、行ってみたら最前列の上座。いわゆるVIP席です。そして隣に座ったのは、新郎の恩師であるところの大学の先生…

こちらでトラックバックもらったので、トラックバック返し。元ネタはこの本。 しかし…何と言うか、私はそこまで否定的な意味で書いたつもりはないのです。「ブログ世代は以前の世代よりものを考えずに書くようになった」というのは、まぁ「ワープロ世代は手…

会社のPCではてなツールバーがバグるようになったので*1使わなくなったら、ここにほとんどアクセスしなくなってしまいました。 UIって重要。 *1:業務用のPCに入れるな、という話もありますが:p すいません会社の人。