14/11/18 19:50:33.47
トンスルは出入りおｋだってよ
3:１３２人目の素数さん
14/11/18 19:51:15.14
差別用語やネトウヨコピペを貼る人間は他所に隔離スレでも作れや
4:１３２人目の素数さん
14/11/18 19:51:55.97
>>2
ジャップはホント差別好きだよな
5:１３２人目の素数さん
14/11/18 19:51:56.73
大あわてて半朴が用意しおったかｗ
6:１３２人目の素数さん
14/11/18 19:54:40.43
国籍透視と在日認定でスレが始まるとか…しかもここ数学板なのに
日本の民度も落ちるところまで落ちたよな
7:１３２人目の素数さん
14/11/18 19:56:15.71
お前には関係ない国のことが心配か？
8:１３２人目の素数さん
14/11/18 22:24:43.49
日本人全員禁止
9:１３２人目の素数さん
14/11/18 22:52:34.30
もうこんなスレ誰も来ないから
差別主義者とネトウヨのたまり場でまともな話題は期待できない
じゃあな
10:１３２人目の素数さん
14/11/18 22:56:59.10
型システム理論を学ぶのに参考になる本があったら教えてください
11:１３２人目の素数さん
14/11/18 23:00:56.58
>>10
「大嫌韓時代」 桜井誠 でも読んだら？
日本のベストセラーで日本人のものの考え方が凝縮されている
こんな差別スレで教えを請おうという人にはお似合いの書籍だよ
12:１３２人目の素数さん
14/11/18 23:09:54.71
>>9
ｽﾚﾘﾝｸ(math板:402番)
13:１３２人目の素数さん
14/11/18 23:12:30.51
>>11
それって数学書なの？
14:１３２人目の素数さん
14/11/19 00:46:39.02
>>11
ワロタ
まあこのスレの連中の聖書なんだろな
15:１３２人目の素数さん
14/11/19 00:49:11.40
>>9
> もうこんなスレ誰も来ないから
> 差別主義者とネトウヨのたまり場でまともな話題は期待できない
> じゃあな
↑
？
16:１３２人目の素数さん
14/11/19 00:59:57.58
半朴が建てたスレ
17:１３２人目の素数さん
14/11/19 01:00:39.09
>>10
> 型システム理論を学ぶのに参考になる本があったら教えてください
つらつら考えるに、この手の質問に相応しいスレも板もないね。まあ人数が少ないからなあ。とくに日本だと。
型システムの理論は、（数理論理学以外の『普通の』）数学やオーソドックスな数理論理学よりは
理論計算機科学に属する話題だからね。
入門書としては、Benjamin Pierceの"Types and Programming Languages" (MIT Press)が今だと標準かな。
この本は東大情報の連中がオーム社から翻訳を出してる。
より数理論理学寄り（つまり高階の直観主義論理の証明論という視点から）の型理論としては
Martin-L\"ofのITTやCC, ECCなどに関するモノグラフも出てたし入手可能なものも少なくないが
まあそのあたりは自分でググって調べてくれ。
あと数学の基礎づけとして最近話題になってるのがPrincetonのIASの連中（圏論の教科書を少し前に出したAwodeyとか）による
Homotopy Type Theoryで、Luluってオンデマンド出版社から製本された形でも購入できるがPDFファイルなら無料で入手できるので
数学との関連での型理論って方向に興味があるのなら、上のフレーズでググってごらん。
18:１３２人目の素数さん
14/11/19 01:26:37.45
>>17
とても参考になります
ありがとうございました
19:１３２人目の素数さん
14/11/19 08:11:28.31
「大嫌韓時代」
日本人なら数学書読む前にまずこれを読め
20:１３２人目の素数さん
14/11/19 11:35:11.57
>>17
嘘つくなよ
数学基礎論・数理論理学 その15 [転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板)
数理論理学（数学基礎論） その11
ｽﾚﾘﾝｸ(math板)
自演乙か
21:１３２人目の素数さん
14/11/19 13:21:23.34
日本人はゴミ
22:１３２人目の素数さん
14/11/19 17:00:55.39
数学は通信で学士とれないから酷い。独学者へのイジメ行為。
23:１３２人目の素数さん
14/11/19 17:03:34.20
と、ヒッキーが申しております
24:１３２人目の素数さん
14/11/19 17:31:54.97
通信の学士（数学）があればヒキのチャンピオンベルトになる。
日本数学会は独学ヒッキーを差別している。
25:１３２人目の素数さん
14/11/19 18:10:26.58
放送大学があるだろ
26:１３２人目の素数さん
14/11/19 20:12:56.32
銃夢ってイブニングかなんかで火星編ということで再開してるやん
27:１３２人目の素数さん
14/11/19 20:13:46.75
この板のレスをID表示にしてもらうには何をすればいいんだ？
俺はネトウヨがたった2，3人で荒らしてるだけだと信じたいよ
リアルで会う日本人はこんなに民度低くない
28:１３２人目の素数さん
14/11/19 20:23:01.52
日本人は全員ゴミ
29:１３２人目の素数さん
14/11/19 20:25:03.77
そう信じたい気持ちはわかるが、ネトウヨ数人じゃここまでにはならんよ
匿名で日本人の奥底の差別感情が発露しやすくなってる
ニュースカテゴリの板見てみろよ、ヤフーコメント欄もな…あれが日本人の民度であり一般的な態度
30:１３２人目の素数さん
14/11/19 20:26:05.78
>>27
ID設定変更申請スレッド
ｽﾚﾘﾝｸ(operate板)
とりあえずID議論スレ立ててその結果をもとに申請するんじゃね？
31:１３２人目の素数さん
14/11/19 20:26:46.21
ネトウヨと真砂の砂は尽きること無い
ヘイトスピーチのヴァリエーションも多様だよ
ジャップのナルシズムマジでキモいわ
32:１３２人目の素数さん
14/11/19 20:28:53.57
へたに共存してポンコツ韓国人の主張する
出来損ないの「正しい歴史」を後から押し付けられても迷惑だし・・
韓国人は韓国人同士で・・・ｗ
33:１３２人目の素数さん
14/11/19 20:30:53.12
ジャップはここから出てけ
34:１３２人目の素数さん
14/11/19 20:32:53.38
ﾆｯﾎﾟｫｰﾝｼﾞﾝは本当に恥ずかしいﾐﾝｼﾞｮｸです
35:１３２人目の素数さん
14/11/19 20:35:49.76
日本人の嫌がることだけをしましょう
36:１３２人目の素数さん
14/11/19 20:42:50.86
日本人「人の嫌がることを進んでします」
韓国人「人の嫌がることを進んでします」
37:１３２人目の素数さん
14/11/19 20:49:59.88
日本人全員乙
38:１３２人目の素数さん
14/11/19 20:52:05.37
民度
ウリナラ度
39:１３２人目の素数さん
14/11/19 21:03:42.50
半朴はお兄様に恥ずかしい
40:１３２人目の素数さん
14/11/19 21:06:35.02
おーよちよち
ネットで真実をたくさん学習したんでしゅねー
41:１３２人目の素数さん
14/11/19 21:06:58.90
偉そうなこと言うなよジャップ。
お前たちのして来た悪事を考えれば、全然償いが足りない。
42:１３２人目の素数さん
14/11/19 21:07:04.17
ここまで目に余る差別表現を、匿名とは言えよく使えるな…これで「世界中から愛される日本人」なんだろ（笑）
43:１３２人目の素数さん
14/11/19 21:08:08.70
>>41
戦争責任にほっかむりで犯罪者を崇めるような連中になに言っても無駄
44:１３２人目の素数さん
14/11/19 21:09:03.59
差別ってか
”ネット上の「真実」を勉強した俺を認めてくれ！”って言う承認要求なのかも
45:１３２人目の素数さん
14/11/19 21:09:40.47
謝罪と賠償を求めるニダー（１００年後）
46:１３２人目の素数さん
14/11/19 21:16:37.90
100年後には滅亡しているだろう
47:１３２人目の素数さん
14/11/19 21:19:10.09
トンスルのお花畑
48:１３２人目の素数さん
14/11/19 21:25:51.53
【中国ＢＢＳ】日本と韓国、中国よりも民度が高いのはどっちか
URLﾘﾝｸ(blog.searchina.net)
49:１３２人目の素数さん
14/11/19 21:26:45.67
>>30
軽く調べた慣例に即してやってみます
ｽﾚﾘﾝｸ(math板)
50:１３２人目の素数さん
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
トンスラーは今日は休みか