Lisp Scheme Part41 (809レス)
Lisp Scheme Part41 http://mevius.5ch.net/test/read.cgi/tech/1531587928/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
680: デフォルトの名無しさん [sage] 2024/04/15(月) 13:15:54.71 ID:WhsyARtf どのレスがマウントに見えたのか知らんけど 集合論なんてAppendixか記号一覧でサラッと確認して本題を進めるのに 集合論のブルーバックスを読んでシッタカウンチクを語る方がマウントに近い行為だと思うけどw まさか公理的集合論とその形式的手法をガッツリやるのかな http://mevius.5ch.net/test/read.cgi/tech/1531587928/680
681: デフォルトの名無しさん [sage] 2024/04/15(月) 13:20:30.61 ID:WhsyARtf そんな訳ないかw 単純に集合論とか圏論は逃げ (研究者じゃない限り)コンピュータ科学は実践を伴ってナンボの世界なわけで そこのレベル低そうな人にウンチク唱えられても何か可哀そうで娯楽にすらならん http://mevius.5ch.net/test/read.cgi/tech/1531587928/681
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s