2007-01-01から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 - の予定です。 今月…
近くの学術書扱ってる本屋ぶらついてたら、Categories for the Working Mathematician (Graduate Texts in Mathematics) を発見。しかも3冊(!) おー、と思いつつ手にとって見ていたら、後ろから「いい本だね。私も持っている。ちょっと内容が抽象的だけ…
月曜から疲れてぐったり感のある今日この頃です。天竺の生活は楽しいですが、疲れるものは疲れます。 でそんなさなか、異様に盛り上がってますが、今更釣られてみるテスト。 「少し疲れているから休みを取って体を休ませます」と言って仕事を休む人を見かけ…
適当な圏の中の適当な対象Xに対して、X→X みたいに、domainとcodomainが同じものを endomorphism といいます。これの関手版が endofunctor で、適当な圏 C に対して C → C と同じ圏への変換をかます関手を endofunctor と呼びます。モナドは常に endofunctor…
自分はこの手のコンテストが苦手なので、参加せずにscoreboard眺めつつ仕事してるんですけども。 たった今、kuma--が上位に食い込みましたね! あとの人もがんばれー…ってそか、日本時間だともう日曜終わっちゃったのか。 月曜もがんばれー(←無責任)
ということで、独立記念日です。
2007-7-8(日)(10:00-17:00) 東京都 (びぎねっと トレーニングルーム) テキスト:"Categories, Types and Structures" Section 2.3 (p.15) より 交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1 出られるかなぁ。
前回の圏論勉強会で出た話の備忘録。今やってるテキストに、"Cartesian category"(カルテシアン圏?とかデカルト圏とか。以下CC)なるものが出てきます。これは、λ計算が成すような Cartesian closed category (カルテシアン閉圏とかデカルト閉圏とか。以下…
信号と天気予報。交差点で両方同時に青になる体験をしました。あやうく轢かれるところでした。
/⌒ヽ / ´_ゝ`) ちょっとnerdが通りますよ・・・ | / | /| | // | | U .U ゼミでしゃべって撃沈した記念。
なるものが立ち上がりました。 有志により,定期的な勉強会を開きます。 数学の圏論の勉強をします。 なんとなく,そんな感じを目指しています。 スケジュール,内容は未定です。 さしあたり,第1回に向けてメンバー募集中です。素人さんも玄人さんも, 誰…
詳しくは以前の日記参照。 自分はSkype経由で参加予定。でも寝そう。
Googleマップで、米国内だと「経路を表示」って機能が使えて、これが結構便利なんですが。ここで安易に、"Starbucks"への経路(あるいは、Starbucks からの経路)を検索すると、こうなります。更に、スペル間違えて "Starbacks" とすると、こうなります。 横…
もう一個あったのですが、こっちはあまり興味そそられず。個人的に。 データベースにはIMDbとか使えばいいのかな?(たまにここをエンジンに使ってるサイト見かけますが、APIとかよく知らず)
天竺を走ってる地下鉄に、こんなのが。ちょっとピンボケなのはご勘弁を。 超バカに考えて (in Haskell) import List numConcat n = foldr1 (++) $ map show [1..n] main = print $ head $ genericDrop (5100000000 - 1) $ numConcat 999999999 こんなのにな…
落書きしてみた。Hoareのなんか(って何だよ) 圏論ってタグつけるほどのもんじゃないけど…も少し書くと、これはモデルの抽象化の話を可換図式で書いてみたもの。Sがモデルの状態、αが抽象化。 具体的な世界で成り立つ論理式の帰結は、抽象化した世界での論…
ココに来て、いいなぁと思った事の1つが、ホワイトボードです。 ここ、部屋や廊下、ありとあらゆるところにでっかいホワイトボードがあります。フロアを歩き回ってて、見えるところに一箇所はほぼ必ずあるという感じ。 特に、1フロアに2箇所くらい、ソフ…
天竺ではてなを編集しようとすると、Firefoxが(必ずと言っていいほど)落ちます。たいてい、「プレビュー」をした瞬間がヤバいです。 で、今IE6で試してますが、問題なさそう。いったいこのFirefoxに何が?これは既知のバグなのでしょうか?天竺からいろい…
圏論勉強会(第三十回) 開催日時 2007年06月24日(びぎねっと トレーニングルーム) 開催場所 東京都 "Categories, Types and Structures" Section 2.2 (p.12) より交通アクセス: http://begi.net/modules/xfsection/article.php?articleid=1今月・来月はリモ…
天竺に向かう橋の上にこんなのが。矢印の方向が天竺。 あれっ?
は6/24(日)になりそうな気配。自分も天竺からSkypeで参加…するかも。でも、論文締め切りの直前でちょっとツライ。しかも、こっちだと深夜〜明け方だしなー。
ブックマーク。 http://oss.timedia.co.jp/show/ossz/oneline/2005-03-09 最近になって.lhsを使い始めた。
くらい経とうとしてます。(まだこっちは金曜日ですが) こっちでやる研究の概要もなんとなく固まって、とりあえず一安心。 ときに、同じ部屋の、博士課程の学生さんがすんげーでかくて手足が長く、ぶっきらぼうな感じなので、最初ちょっとビビっていたので…
あんまりぼやかしておくのもつまらないので書きますが、天竺 = アメリカ東海岸の某都市 and/or 大学 です。 まぁ、明言はそのうちするかもしれないし、しないかもしれませんけど。 今、その大学の研究室から。なんつーか、こいつらスゲーなと驚く事もあり、…
何が速報だ、という話もありますが、天竺付近に着きましたというか着いてます。 今日は月曜日ですが、いきなり祝日なので、日用品含めてお買い物してます。時差ぼけでちょっと眠いです。 しっかし皆勉強してるなぁ。学生の街なんですが、どこのコーヒーショ…
しばらくご無沙汰にしていたはてなの日記ですが、天竺に移動したらいろいろ書けそうな気もしてます。 明日5時起きなので、今日はこれにて就寝。
mixiにも書いたんですが、こっちにも転載。今度天竺に行くのに、1つ困っていることがあります。 私はiPodを、mac mini+iTunes で使ってるんですけど、今回mac miniは持ってかないので、あっちに行くとiPodの更新ができなくなってしまったりします。たまに…
まつもとさんがDATEに触れているのでびっくりした。いったい全体どういう脈絡でこんな話に!?と最初読んで面食らってしまったEDA業界の人ですが、元記事読んで多少納得するところはあり。ただ一点補足するなら、元記事の根幹にある動機が、近年のLSIのマル…