2010-01-01から1年間の記事一覧
はい、読了しましたよ。 ネタバラシ編だけに、ネタバレなしで書くのは難しいので、以降はネタバレ上等で書きます。ただし念のため、人名だけは色を変えて。
圏論がわかった気になる(でも本当の理解はできない)話を、FormalMethods勉強会なるところでしてきました。 スライド作成も発表もすべてiPad使用。KeyNote for iPadのノウハウがいろいろわかって良い体験でした。ってそっちがポイントかい!ということで当…
ここを参考にしました。 http://www.coldsleep.jp/2010/05/28/ipad_calendar/ ただし、「STEP.2 複数カレンダーの同期」で STEP.2ではGoogle Syncのモバイル端末用ページで設定を行うので別途モバイル端末が必要になります と書いてますけど、iPadからアクセ…
2ヶ月ぶりの日記更新。twitterあると日記書かなくなりますね。噂どおり。 久々にアクセスしてみたら日記を書くフォームのデザインが一新されててびびりました。さて。お題の通り、我が家には現在仕事部屋とリビングにMacが鎮座しておりまして、その2台の間で…
今日のつぶやき。 最近の若い人はメールに慣れすぎだなぁ。必要なときは対面や電話でのコミュニケーションをもっと活用しないと。とオッサン的つぶやき。 posted at 18:04:33 緊急の仕事をお願いするとか、すぐに返事が必要なのにメール1通投げるだけ、じゃ…
jQuery is a Monad | Important Shock (via jQueryはモナドだ - id:anatooのブログ) を読んでのつぶやき。適当にskimしてます。 あれ、モナド則ってこんなんだったっけ?? posted at 12:12:46 って、Haskellのモナド則と違うものを説明してるのか。孔明の罠…
一旦活動を終了し、ただの飲み会へと変貌を遂げた圏論勉強会ですが。飲みの席で話してたら、やっぱり普通の勉強会することになりました。新しいテキストと共に、結構ガチで。 ということで、折角なのでこの際、参加者を広く募集したいと思います。以下概要。…
開催日時 2010年02月13日(18:00-21:00) 開催場所 東京都(魚や一心 自由が丘店) 場所:自由が丘駅前 http://maps.google.co.jp/maps/place?hl=ja&safe=off&rlz=1C1CHMV_jaJP323JP323&lr=&oq=&um=1&ie=UTF-8&q=%E9%AD%9A%E3%82%84%E4%B8%80%E5%BF%83&fb=1&gl=j…
前回の日記で そのココロは?みたいなところを書きかけたけど長くなりそうなので、別エントリーにしたいと思います。 とか書いてて、実際に沢山書いてたのですが、自分の中でいろいろ盛り下がってしまったので、ざっくり消しました。 まぁ一言で端的に言うと…
今日つぶやいたこと。 そうかもしれませんね。ただ、それをやることで、科学な人達への説得力はゼロになってしまいます。 RT @salmonsnare: たぶん、郡司先生は「そもそもこの文脈での「ルール違反」とは何か?」みたいな部分に興味を持っているんだろうと思…
今日は圏論勉強会でした。Kirby変形(Kirby計算、Kirby calculus)のお話。 2時間に限定した*1分、久々に濃縮な時間が過ごせたのではないでしょうか。 さて。タイトルの通り、今日を持ちまして圏論勉強会は一旦休息することとなりました。 これまで5年以上、…
2010-01-17(日)(14:30-20:00) 神奈川県(慶応大学・矢上キャンパス 25-501) テキスト: P. Selinger, "A survey of graphical languages for monoidal categories" 6 Products, coproducts, and biproducts より (http://www.mscs.dal.ca/~selinger/papers/gr…
新年明けました。