2010-02-01から1ヶ月間の記事一覧
数学者のブログをあぶり出す生々しい検索語 - MarriageTheorem 別室によれば,はてなダイアリーで数学者のブログを見つけるのに, 「数学 リジェクト」で検索をかける だそうで. やってみたら,今はそう出てこないような気がするけど,この検索語を入れると…
よくわからないままにやっつけ仕事. 配布資料から読みとれることだけを使って書きましたよ. 証明してることはすごく単純なことなのにな. 結構時間使ってやってみたけどわからないもんはわからぁーん! というわけで最後の問題は証明最後まで書いてないけ…
計算機の講義はCoqの説明に入ったあたりから出なくなった. そのおかげで,今回課されたCoqでプログラミングするレポートに四苦八苦.まずは先生のWebページにアップされてる講義ノートを見ながらCoqのお勉強・・・ どうやら課題の1題目は例題に似てる・・…
自分も数学者を目指しているので,Pardueでポスドクをしてる日本人数学者の先生が書いているブログアメリカ大学教員の日記: 数学者への道に,数学者になるためのロードマップが書かれていて参考になる.まず, 第1ラウンド:大学(学部)を卒業する。 この…