数学の本第63巻 [転載禁止]©2ch.net

数学の本第63巻 [転載禁止]©2ch.net - 暇つぶし2ch■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

50:１３２人目の素数さん
 14/11/19 21:39:46.63 
この前失敗したの忘れたのか

51:１３２人目の素数さん
 14/11/19 21:40:15.00 
数学板ID表示制検討スレッド [転載禁止](c)2ch.net  
http://wc2014.2ch.net/test/read.cgi/math/1416399853/

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が同じ質問をしていたら、 
型理論に関してよりオーソドックスな数理論理学的の話題である構成主義論理や証明論または圏論的型理論を扱ったものが 
答えられたと思うよ。 
 
なお厳密に言えば確か理論計算機科学のスレがこの数学板に存在してたはずだ。 
しかし実質上は利用者もおらず開店休業状態で放置されていたはず。 
それに理論計算機科学に関心を持つ人間の多数派は型理論や意味論よりも計算の複雑さ（計算量理論）方面を向いているしね。 
 
君も数理論理学と理論計算機科学のテイストの違い、それに型理論と型システムという言葉のニュアンスの差がわからないのならば 
余計な口を挟まないことだ。ましてや人を自演呼ばわりするなど己の無知をさらしているようなものだ。よく反省したまえ。

次ページ