[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/12 01:03 / Filesize : 563 KB / Number-of Response : 1084
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

Inter-universal geometry と ABC予想 (応援スレ) 63

217 名前：１３２人目の素数さん mailto:sage [2021/12/30(木) 10:03:21.57 .net]
>>201
>出してくる文献が古過ぎるやん
仕方ないですよ　昭和時代末期の話ですからね
>圏論プログラミング
　Lambek, J. and Scott, P. J., 1986.
　Introduction to Higher Order Categorical Logic,
　Cambridge University Press.
という本は大学の図書館で見ましたよ　
まあ読まなかったんですけど

学部の時読んだのは、これですか
　David Gries
　The Science of Programming




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´Д｀）＜563KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef