• 検索結果がありません。

ポスター 過去の活動内容 Sendai Logic Homepage

N/A
N/A
Protected

Academic year: 2018

シェア "ポスター 過去の活動内容 Sendai Logic Homepage"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

<講演内容>

ゲーデル以降, 数学基礎論は何をしてきたか? この講演では, 論理, ゲーム,

超限帰納法,不完全性などの基本概念を軸にして,数学基礎論の深化発展を

振り返り,さらに最近の研究動向の例として私と仲間たちの研究も紹介する.

問合せ先: 東京工業大学情報理工学研究科 鹿島亮 kashima @ is.titech.ac.jp

講演会のお知らせ

数学基礎論の考え方・学び方

- 論理,ゲーム,超限帰納法 -

講師: 東北大学大学院理学研究科数学専攻

田 中 一 之 教授

日時: 2009 年 6 月 6 日(土)15 時∼16 時

場所: 東京工業大学大岡山キ

ャンパス

西8号館 W831 講義室

参加費無料 どなたでも聴講できます.

<講師略歴> 1955年生.カリフォ ル ニ ア 大 学 バ ー ク レ ー 校 Ph.D. 東 京 工 業 大 学 理 学 部 助 手 な ど を経て,1997年より 現 職 . 左 の 表 紙 の 本 の 他 , 多 数 の 解 説 書 と 研 究 論 文 を 発 表 し ている.

参照

関連したドキュメント

30-45 同上 45-60 同上 0-15 15-30 30-45 45-60 60-75 75-90 90-100 0-15 15-30 30-45 45-60 60-75 75-90 90-100. 2019年度 WWLC

 「事業活動収支計算書」は、当該年度の活動に対応する事業活動収入および事業活動支出の内容を明らか

質問内容 回答内容.

問13 あなたの職種を教えてください? 

これからはしっかりかもうと 思います。かむことは、そこ まで大事じゃないと思って いたけど、毒消し効果があ

 「事業活動収支計算書」は、当該年度の活動に対応する事業活動収入および事業活動支出の内容を明らか

活動前 第一部 全体の活動 第一部 0~2歳と3歳以上とで分かれての活動 第二部の活動(3歳以上)

証明の内容については、過去2年間に、優良認定・優良確認を受けようとする都道府県(政