タグ

2013年6月17日のブックマーク (3件)

  • 数学基礎論サマースクール2013

    数学基礎論サマースクールは数学基礎論の普及のために例年開催されている講習会です。 ご興味のある方ならどなたでも歓迎します。 最初にチュートリアルの時間を設けますので、 あまり基礎論になじみのない方も気兼ねなくご参加ください。 なお、今年のテーマは「証明と構成」です。 日時:2013年8月5日(月)-7日(水) (8日(木)-9日(金)には証明論研究集会が開催されます) 会場:慶応義塾大学 三田キャンパス 南校舎475教室 (交通アクセス・キャンパス案内) ※教室が変更となりました。ご注意ください。 参加費:無料 定員: 85名(先着順)。会場の都合です。どうぞご了承ください。 懇親会:8月6日18:30~(会費3000円+α) つるの屋 申し込み:終了しました。多数のお申込みをいただきましてどうもありがとうございました。 世話人:照井一成(京都大学) terui at kurims.kyo

  • デジタル時代に「ノートに書き留めること」 | ライフハッカー・ジャパン

    「New York Observer」の元編集長で、現在は「Flavorpill」の編集責任者を務めるElizabeth Spiersが、手書きでメモをとる理由と、そのメモの使い道に関して話をしてくれました。 数日前に私は、少しの間ひどいパニックに見舞われました。どうしてもペンが見つからなかったからです。大事なペンを失った私は、エリザベス・キューブラー=ロスがモデル化した「悲嘆のプロセス」に陥りました。 否認:「たぶん、ペンなんて必要ないんだ。ペンなんかいらない!」 怒り:「あのいまいましいペンはどこ!?」 取引:「気の利く素敵なボーイさん、チップをはずむからペンをいただけないかしら?」 そして、ついに最後のステージへと至りました。 受容:「ペンの代わりになるものを探すしかない」 その時にどうしてもペンが必要だったのは、あるアイデアがひらめいていたからです。書きつける前に、そのアイデアがす

    デジタル時代に「ノートに書き留めること」 | ライフハッカー・ジャパン
  • Amazon.co.jp