レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>974 > >>973 > どうも。スレ主です。 > レスありがとう > > (引用開始) > 今更どうでも良いけど、以前あがっていた東工大の講義は、数学科の学生向けじゃないと思います。 > ×多くの数学科で自然数の構成に類することを含む集合論を習う。 > ○数学基礎論を開講している大学はある。 > ○今でも基礎論などは研究対象で、それなりに研究者がいる。 > っていうイメージ。 > 基礎論は、数学よりも、情報系の研究者がつかうんじゃないかな。 > (引用終り) > > いや、確かに > 左側で、「情報理工学院 数理・計算科学系」ってありますものね > 経歴見ても、学歴が「東京工業大学 理学部 情報科学」か > 渡邊 治先生は、副学長か > 「○数学基礎論を開講している大学はある」に同意 > というか、集合論のついでに、論理やZFCその他をやるというイメージですが > > (参考) > https://researchmap.jp/read0048455/ > 研究者氏名 鹿島 亮 カシマ リョウ > 所属 東京工業大学 > 経歴 > 1991年 - 1995年:東京工業大学 助手 > 1995年 - 1998年:北陸先端科学技術大学院大学 助手 > 1998年 - 2002年:東京工業大学 講師 > 2002年 -:東京工業大学 助教授 > 学歴 > - 1991年東京工業大学 理工学研究科 情報科学 > - 1988年東京工業大学 理学部 情報科学 > > https://search.star.titech.ac.jp/titech-ss/pursuer.act?event=outside&key_t2r2Rid=CTT100381381&lang=jp > 渡邊 治(ワタナベ オサム) > 職歴 > 東京工業大学 助手(1982-) > 東京工業大学 講師(1989-) > 東京工業大学 助教授(1990-) > 東京工業大学 教授(1997-) > 東京工業大学 情報理工学院 学院長(2016-2018) > 東京工業大学 理事・副学長(研究担当)(2018-) > 学歴(出身学校・出身大学等) > 東京工業大学 理工学研究科 情報科学 修士 修了(1982) > 東京工業大学 理学部 情報科学科 卒業(1980)
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s