忍者ブログ
スティーヴ・アウディの講演会に行ってきました。

お題は、スティーヴが近年、ティエリ・コカン(Coq の人)やウラジミール・ヴォエヴォドスキー(フィールズ賞受賞者)とともに精力的に研究しているホモトピー型理論についてで、これがめっぽうおもしろかったんでまとめがてら近日中ブログに何か書ければいいなあと思っていますが、今日は、ちょくせつ講演の内容とはかかわらないけどちょっとおもしろかったことを少しばかり。

講演はまず、「数学の基礎を与えるものとしてのホモトピー型理論」という話題からはじめられたのですが、そのさいスティーヴが「でも、じっさいのところ、数学者は『数学の基礎』なんてことはあんまり気にしてないんだよねえ」と言って、「ここに来ている人の半数ぐらいは数学科の人だと思うんだけど、そのなかで ZF の公理系を列挙できる人ってどれぐらいいる? いたら手を挙げてみて」と問いかけたところ、手を挙げた人は皆無。ぼくも「数学やってる人の大方は ZF(C) だのなんだのこしゃこしゃしたことはどうでもいいと思ってるだろうな」とは思ってはいましたが、じっさいその証拠と思われる現場を目にして「おお」と思いました。

あと、おそらくはティエリ・コカンと思われる人が来ていたのですが、その人が小学校に上がるか上がらないかというくらいの娘さんを連れてきていて、それで、話題が Coq にふれたとき、そのティエリ・コカンと思しき人が娘さんの耳元で何か「ごにょごにょ」と言ってたんですね。彼がティエリ・コカンその人だとすると、たぶん、「この Coq ってのはお父さんが作ったんだぞ」とか何とか耳打ちしたと思われ、何だかほほえましいなあ、と思ったのでした。(ただ、その人はティエリ・コカンでもなんでもないという可能性もじゅうぶんあって、だとすると、この「ほほえましいエピソード」はもっぱらぼくの妄想ということになり、その場合、「ほほえましい」のはぼくの頭だ、ということになる)

追記:上記に述べた方は、どうもティエリ・コカンさんではなかったようなので(そもそも、もしそうであれば、別途講演があったはず)、大方の予想通り、ほほえましい(より正確には、おめでたい)のはぼくの頭でした。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
06 2017/07 08
S M T W T F S
2 3 4 5 6 7 8
9 10 11 12 13 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
最新コメント
[07/28 ウブロ激安ブランド館]
[07/28 adidas running shoes women]
[07/28 韓国ブランドコピー時計]
[07/28 gennick[Kifiquqibunoocgi]]
[07/28 adidas x tubular]
[07/28 adidas white cleats]
[07/28 360 frontal]
[07/27 ブランド激安市場時計激安]
[07/27 AlbertRox]
[07/26 adidas neo lite racer mens]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]