離散数学の授業で定理証明器のことをちょっと触れたいと思って、証明の例題に使っている上記命題をCoqで証明してみました。多分いろいろ上手くないと思うのだけれどもさらしてみます。 Require Import Classical. Require Import Arith. Require Import Omeg…

私が学生として通っていた某大学は比較的新しいものなのですが、それができたのは市からの熱烈な誘致活動の結果だそうです。その当時の市長たちが、「この市を発展させるには、企業にとって魅力があるものになることが大事。それには良質な労働力が必要。だ…

どうして日本の大学はアメリカの様にならないのか - As a Futurist...一応ランキングでは公立で30位以内に入ってくる大学にいますが、そんなに意識の高い学生なんてそうそういませんって。そりゃアイビーリーグに入ってくるような人たちは違うかもしれません…

というわけでGo!

数学者が「幾何学の起源」や「基礎論」を疑い、別の幾何学や不完全性定理を導きだしたように。 http://d.hatena.ne.jp/KGV/20081203#1228309384 なんかタイトルで終わってますが、まあそういうことです。元記事では枝葉末節の部分なのでどうでもよいのですが…

ProofWeb知らなかった。CoqとかIsabelleとかのような定理証明器をウェブ上で動かせます。インストールがいらないのでちょっと遊んでみるのに便利ですね。まあ、操作性では劣りますが。

必要な予備知識を最低限にした論文なのに査読に時間がかかるなぁとか思っていたのですが、査読を見たら山ほど間違いとか不自然な表現とかを指摘されていて、要するにそういうのをピックするのに時間を取らせてしまったようです。ごめんなさい、ごめんなさい…

Twitter / tri_iro: くそう、こんなことになるなら、もうちょっと真面目に書いておけ ... そりゃあ、普通でない論文だってたくさんありますし、どれが普通でない論文かは著者が決めるわけではないので…。いずれにしても、修士論文とジャーナルに出すための論…

というわけで今日はここまで。この次は一年後とかかねぇ(爆)。RSSで見ている皆さん、フィードを突然汚してしまってすみません。

娘の日々＠レゴ・パーク小学校 - インタラクティヴ読書ノート別館の別館ちゃんと書こうと思っているうちに半年過ぎたので、とりあえず貼っておきます。うちの学科の人に教えてもらった動画。 参考資料:Math Education: An Inconvenient Truth - YouTube計算…

http://d.hatena.ne.jp/Hide_and_Seek/20080907#1220789392はaleph naught(アレフノート)と読むのが一番普通です。とりあえず、私の周りの人はみんなそう言っております。

なんか一年前の記事だぞ。時間差反応にもほどがある。

知の開国：大学の若手研究者ができる４つのこと - tatemuraの日記私どもの世界だと、ただでさえ読む能力と時間がある人が限られているのに、それに加えて日本語で書いたりなんかしたら誰にも読んでもらえなくなってしまいます…。「普通の論文には1.5人の読者…

そんなら、客でいたまえよ。――あるいは「学界とオーケストラ」――: 朴斎雑志ルールに則っていても競争をしている学会と、競争はなく協力をしているオーケストラはあまりにも違うと思うのですけれども。それとも競争がまったくない学会というのも存在している…

というわけで。

http://online.wsj.com/article_email/SB123119236117055127-lMyQjAxMDI5MzAxNjEwOTYyWj.html 職業選択の… - 東大数理図書室BLOG アメリカでは数学者が「Best Job」なんだそうな - Marriage Theorem 新居これは私にはたちの悪い冗談にしか思えません。うちの…

私でいいんですか？本当に？とか思いながらやっているんですけどね。あ、もちろん日本のものじゃないので賄賂とか送っても無駄ですよ。アメリカでもないです。 いやぁ、内容はすごくよいんですよ。よいんですけどね。あー、なんか書き方がぐちゃぐちゃでいら…

えーと、タイトルは釣りです。一応自分もレビューアとして関わっているわけなんで。出版直後に献本を頂いておきながら、今頃のそのそ書いてみます。数学ガール フェルマーの最終定理 (数学ガールシリーズ 2)作者: 結城浩出版社/メーカー: ソフトバンククリエ…

Handy Manny | Disney JuniorDisney ChannelでやっているHandy Mannyは騒がしいものが多い子供番組の中で、なんだかとってもふんわかした人の多い独特の雰囲気で好きなのですけれども、特に年末に何回か放映されたクリスマスのものとニューイヤーパーティー…

私はどうしても、海外で暮らしたいのだ。 行けばいいんじゃないかと、とりあえず。んで、夜中に着いた初めての街で初めて実地で話すフランス語で寮のおっちゃんに「ここで今日からお世話になることになっている〇○なんですが」って必死に説明するとか(実話)…

本年もよろしくお願いいたします。多分更新頻度はあまり変わらないと思いますが(爆)。