日本に帰ってきてます。

はてなでコメント欄とか編集ページ開けると、「リンク元」と書いてreferer（＋そこからの訪問者数）が表示されますが…昨日の日記にあったやつ↓ 1 http://ja.wikipedia.org/wiki/アストラナガン (;´Д`)？

Alloyタグ作ってみた。いつまで使うか謎ですが。Objectに対する恒等写像（の集合）を返す関数。前回、ちょっと書きかけて捨てちゃったので、こっちにメモ。 fun id : Object -> Object { { o, o': Object | o = o' } }

Alloyなる仕様記述言語 (本家サイト)で圏の定義を書いてみました。なぜAlloyかは、一応目的はあるので続きがあれば書きますが、特に深い意味はないです。仕様記述言語なら何でも良かったという話も。 でもここに書いてわかる人も少ないと思うし、現状、ほと…

http://golem.ph.utexas.edu/category/2007/08/question_about_tensor_categori.html 読みかけにつきメモ。

※ 今までになく超まじめに、長文だらだら書きました。注意（笑） 「せっかく才能があるのに、それをちゃんと使わないのはもったいない」 先日、とある知人と食事をしたときに、その人が共通の仕事仲間を指して言った台詞。その仕事仲間は、当初その才能をい…

こっち時間で午前2:30あたりから雪崩式に参加、5時前に眠くなって脱落。 どうも、日本現地会場はエアコンが効かず、大変だったみたいで、途中でファミレスに移動したらしい。お疲れ様でした。 The previous diagram should suggest in which sense ba “repre…

幸せ本はトレースで行き詰ってます。いや、そりゃね。線形代数だと行列の対角成分を足したもの、って位の認識はあるんだけど、これが何でこんな式になるんだろう。ふにゃふにゃ。 先の方には楽しそうな図があるんだけどなー。気分転換に、今日は適当にぐぐっ…

11^2 って書かれたのを、ちゃんと上付きで 112で表示してくれるんですね。突然思い出したけど。

その方法では、各ケタを1つずつ飛ばして足す。すると1つの自然数から2つの合計値が出てきます。その合計値が一致するか、差が11の倍数のとき、もとの数も11の倍数なのです。 (略) なぜそうなるかも本当はそんなに難しくありませんが……。 私ゃハッカーじゃな…

[1..100]>>=pen 『g rs = foldl (￥n (op, R v) -> op n v) 0 $ zip (cycle [(+),(-)]) rs なんてどうでしょう。』bonotake 『おおっ。いいですね。 実は最初、そういう感じのコードを思いつきで書いて、でもなんか動かなかったので上のように平たく書き直し…

この日記は8月7日のものですが、なぜかこの日だけピンポイントでスパムコメントに狙われてるので、日付をずらします。

The Math Behind the Music with CD-ROM (Outlooks)作者: Leon Harkleroad出版社/メーカー: Cambridge University Press発売日: 2006/08/07メディア: ペーパーバック クリック: 2回この商品を含むブログ (1件) を見るまた要らぬものを買ってしまった…だから…

さて以前の日記で書いた、「この本を読めば幸せになれる」という噂の『非線形有限要素法のためのテンソル解析の基礎』ですが、確かに幸せになれましたってか、すごくわかり易くていい本です。実際。1章に関してだけ言えば、有限要素法も何もなく、ただのテン…

どうやら、下界ではLL魂なるイベントやってるようですが、天竺にいる私には全く縁のないことでございます。何ですか？和田先生まで担ぎ出されてるんですか？ 楽しそうだなぁ('A`) まぁ、天竺は天竺で楽しくやっています。 以前、、こっちで知り合った物理系…

細かいことを抜きにして大まかに言うと、自分は「これ以上は仕事できない」と思ったことがありません。いつも「まだまだ仕事できるはずだけどやる気が出ないからやめる」か、「やる気は満々だが、いつの間にかディスプレイや論文の前で意識がなくなる」のど…

2007-8-12(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム)"Categories, Types and Structures" Section 2.3.2 の Excercise か Section 2.3.3 より交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1 - の予定です。 今月…