14/11/19 21:39:46.63
この前失敗したの忘れたのか
51:１３２人目の素数さん
14/11/19 21:40:15.00
数学板ID表示制検討スレッド [転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板)
52:１３２人目の素数さん
14/11/19 21:42:54.36
大学関係の板ってIDやIPアドレスの表示をやたら嫌うが何故だ？
53:１３２人目の素数さん
14/11/19 21:44:39.12
なんでこんなに荒れてるの？
54:１３２人目の素数さん
14/11/19 21:45:00.04
>>53
ホロン
55:１３２人目の素数さん
14/11/19 21:46:09.09
>>53
ネトウヨによる韓国ゴリ押し
56:１３２人目の素数さん
14/11/19 21:49:06.00
これもみんなホロン部ってやつののしわざなんだ
57:１３２人目の素数さん
14/11/19 22:03:25.33
日本人は邪魔
58:17
14/11/19 22:17:00.17
>>20
17に書いてあることのなにが嘘なんだ？
数理論理学（数学基礎論）のスレがあるからどうなのだ？
君は文章が読めないのか？
型理論はオーソドックスな数理論理学というよりも理論計算機科学の話題なんだよ。
まして質問者は「型理論」でなく「型システム」という言葉を使って質問している。
ということは、型理論に対して質問者が持っている関心の中心は、
数理論理学的なもの（直観主義または構成主義論理や証明論的な側面など）よりも
プログラミング言語（の理論的なひな形）に対する型システムにあると推定できる。
だから、その質問にピッタリのスレはないね、と書いたのだ。
君が挙げている数理論理学スレで>>10が同じ質問をしていたら、
型理論に関してよりオーソドックスな数理論理学的の話題である構成主義論理や証明論または圏論的型理論を扱ったものが
答えられたと思うよ。
なお厳密に言えば確か理論計算機科学のスレがこの数学板に存在してたはずだ。
しかし実質上は利用者もおらず開店休業状態で放置されていたはず。
それに理論計算機科学に関心を持つ人間の多数派は型理論や意味論よりも計算の複雑さ（計算量理論）方面を向いているしね。
君も数理論理学と理論計算機科学のテイストの違い、それに型理論と型システムという言葉のニュアンスの差がわからないのならば
余計な口を挟まないことだ。ましてや人を自演呼ばわりするなど己の無知をさらしているようなものだ。よく反省したまえ。
59:１３２人目の素数さん
14/11/19 22:46:24.35
DQNや厨房にマジレスしても無駄なのだが
60:１３２人目の素数さん
14/11/20 00:29:41.12
そんな事より１よ、ちょいと聞いてくれよ。スレとあんま関係ないけどさ。
このあいだ、大学のセミナー室行ったんです。セミナー室。
そしたらなんか人がめちゃくちゃいっぱいで座れないんです。
で、よく見たらなんか黒板上がってて、モジュライ、とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、モジュライ如きで普段来てない大学に来てんじゃねーよ、ボケが。
objectを分類してんだよ、分類。
なんかHartshorneとかもあるし。スキーム論の演習か。おめでてーな。
スキームとは環付き空間であって、とか言ってるの。もう見てらんない。
お前らな、Knutsonやるからその席空けろと。
スキームってのはな、もっと関手っぽくあるべきなんだよ。
表現可能性を巡っていつ喧嘩が始まってもおかしくない、
スキームか関手か、そんな雰囲気がいいんじゃねーか。底空間だの構造層だのは、すっこんでろ。
で、やっと座れたかと思ったら、隣の奴が、レベル構造はNが3以上で、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、表現可能モジュライなんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、Drinfeldのレベル構造、だ。
お前は本当にモジュライを考えたいのかと問いたい。問い詰めたい。小１時間問い詰めたい。
お前、レベル構造って言いたいだけちゃうんかと。
モジュライ通の俺から言わせてもらえば今、モジュライ通の間での最新流行はやっぱり、
スタック、これだね。
擬分離代数的スタック。これが通の考え方。
スタックってのは自己同型射が多めに入ってる。そん代わり貼りあわせデータが緩め。これ。
で、それに2-カテゴリー。これ最強。
しかしこれを使うと高次の射も出てくるという危険も伴う、諸刃の剣。
素人にはお薦め出来ない。
まあお前、１は、代数空間でも考えてなさいってこった。
61:１３２人目の素数さん
14/11/20 06:11:36.27
トンスラーがお花畑に肥料をやってID申請（笑）
62:１３２人目の素数さん
14/11/20 06:13:55.38
>>58
>プログラミング言語（の理論的なひな形）に対する型システムにあると推定できる。
イタチだろ馬鹿
63:１３２人目の素数さん
14/11/20 08:40:43.68
>>62
適切な板があるならそちらに誘導してあげれば？
64:１３２人目の素数さん
14/11/20 10:25:58.85
>>63
情報学
プログラム
65:１３２人目の素数さん
14/11/20 17:26:45.40
ここ10年の計算機科学の発達ぶりは凄まじい
アメリカだと特に企業も力をいてれているのが大きい
66:１３２人目の素数さん
14/11/20 17:36:58.43
入門から前線まで運んでくれる計算機科学の教科書教えれ
67:１３２人目の素数さん
14/11/20 17:43:44.79
>>65
日本はホント斜陽だよな
技術立国日本（笑）
もう自国ホルホルする出版・放送業しか栄えないというｗ
68:１３２人目の素数さん
14/11/20 19:16:38.27
>>65
（笑）
69:１３２人目の素数さん
14/11/20 19:17:28.96
>>65-67
情報板へ
70:１３２人目の素数さん
14/11/20 20:58:53.50
>>66
こちらへどうぞ(｀・ω・´)ｼｬｷｰﾝ!
コンピュータ科学・情報科学の良書
ｽﾚﾘﾝｸ(informatics板)l50
71:１３２人目の素数さん
14/11/21 02:00:05.28
ホルホルするのは鮮人
72:１３２人目の素数さん
14/11/21 06:22:42.05
868 名無しさん＠０新周年＠転載は禁止 2014/11/21(金) 02:20:41.07 ID:xkEvL3AJ0
日本語で論理的なことが表現できないとは思わない。
ただし油断していると日本語は非論理的な内容でも成り立ちやすい。
特に一般日本人が弱いのは、集合・要素、必要条件・説明条件の区別。
これは欧米人と話すと一発で分かってくれるけど、日本人には説明しても理解できない人が多い。
73:１３２人目の素数さん
14/11/21 06:46:23.96
ああ、昔の日本、80年代の
時代に戻りたい。
今の時代なんて何も面白くない。
74:１３２人目の素数さん
14/11/21 07:55:28.30
>>72
国語の論説文で零点しか取れない日本の理系は加藤秀俊的な穏当な国語力に欠いてる癖に日本語は非論理的だのどうこうほざき過ぎ。
75:１３２人目の素数さん
14/11/21 07:56:09.97
日本人は全員ゴミ
76:１３２人目の素数さん
14/11/21 08:03:24.51
ヘイトスピーチだ
77:１３２人目の素数さん
14/11/21 08:20:32.36
日本人は論理より感情を優先する非論理的な民族
78:１３２人目の素数さん
14/11/21 14:24:26.78
色々検索していたら、クランツの本は否定していない10以上前の2チャンのスレが見つかったな。
誰とはいわないが、そこに書いていたお偉い方らしき人は、外国でのテキストと指定していて否定してはいなかったようだ。
あと、英語で書かれた外国の書評も見つかった。一体昔のスレと今のスレのギャップは何だったんだろ。
昔の2チャンはレベルが高かったようだな。
79:１３２人目の素数さん
14/11/21 14:28:03.64
ここにいる限り同じ穴の狢
馬鹿が嫌いなら学内のゴミを排除した優秀な学生のみのBBSにこもるが吉
80:１３２人目の素数さん
14/11/21 14:29:22.13
>>78の訂正：
>クランツの本は否定していない10以上前の2チャンのスレ
の部分を
>クランツの本を否定していない10年以上前の2チャンのスレ
に変更。
81:１３２人目の素数さん
14/11/21 22:53:44.18
>>73
80年代の何が面白かったの？
82:１３２人目の素数さん
14/11/21 23:59:56.21
消費文化的には豊かな時代だった。
その功罪についてはさておき、多くの人が夢をみることができた時代。
運営乙
83:１３２人目の素数さん
14/11/22 06:10:16.41
>>81
ジャップがギリギリ成長出来てた時代だからな
差別天国だったし
84:１３２人目の素数さん
14/11/22 06:24:32.90
また半朴か
85:１３２人目の素数さん
14/11/22 08:43:37.05
半朴の書き込みにお花畑は （←前スレで数学書の紹介/照会も自分では出来なかった当板門外漢）
痛くも痒くもない様子なのに、ちょっとチョンとか書き込まれると
重金属か何かで激烈な皮膚アレルギーを発症した患者のように暴れだす件
86:１３２人目の素数さん
14/11/22 09:50:11.07
好い加減自演やめたら？
ニートしててよっぽど暇なのかなんなのか知らないけど、虚しいと思わないのかな
87:１３２人目の素数さん
14/11/22 11:25:40.55
結局、パコ・クネさんは空白の7時間にナニしてたのかな
船が沈んでいく間、名前の通りパコパコしてたのかな？
88:１３２人目の素数さん
14/11/22 12:32:13.45
日本への誹謗中傷を黙認する辺り、スレを建てたのがどんなやつかは直ぐ分かる。
89:１３２人目の素数さん
14/11/22 13:25:10.61
>ヘイトスピーチと歴史修正主義に与する主張はスレ違い・禁止です。
>ネトウヨや在特会支持の人間も出入り禁止です。
トンスラーが得意な主張、実は単なる反日の口実
90:１３２人目の素数さん
14/11/22 15:26:37.12
歴史修正主義
ある特定の歴史家が、反対者の歴史観に対して、否定的な印象を広く一般に植え付けるためのレッテルとして用いることがある。
この用法による「歴史修正主義」とは、「客観的な歴史学の成果を無視し、都合の良い過去は誇張や捏造したり、悪い過去は
過小評価や抹消したりして、自らのイデオロギーに従うように過去を修正するもの」であったり、「既に修正された歴史観の
再修正をするもの」という意味で使用される。つまり、意味内容としては、ほぼ「否認主義」の類義語・同義語として用いられている。
トンスルの歴史の教科書のこといってるみたい。
91:１３２人目の素数さん
14/11/22 15:46:13.53
中韓 日本に歴史修正主義のレッテル貼りで国際世論を味方に
URLﾘﾝｸ(zasshi.news.yahoo.co.jp)
92:１３２人目の素数さん
14/11/22 17:39:35.72
愚韓論 悪韓論 卑韓論 沈韓論 恥韓論
今は環論ブームだな
93:１３２人目の素数さん
14/11/22 18:19:19.43
ツマンネ
94:１３２人目の素数さん
14/11/22 18:36:52.02
トンスラーは今日は休みか