[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
739
(1): 08/17(日)17:16 ID:TyT53DUJ(5/11) AAS
望月IUTは、圏論を使う
圏論を知らない 基礎論の人が
推論規則 ウンヌンカンヌン それって お笑いだよ
下記の 荒武 永史 『圏論的論理学の拡がり』などを 百回音読してねw ;p)

外部リンク:researchmap.jp
荒武 永史 アラタケ ヒサシ (Hisashi Aratake)
講演・口頭発表等
省29
756: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/17(日)19:54 ID:TyT53DUJ(9/11) AAS
>>739 追加

外部リンク:www.math.mi.i.nagoya-u.ac.jp
Takayuki Kihara, Associate Professor (Curriculum Vitae)
Department of Mathematical Informatics
Graduate School of Informatics
Nagoya University, Japan
外部リンク[html]:www.math.mi.i.nagoya-u.ac.jp
省27
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.122s*