トップページ⇒math
22コメント3KB

Set theory -> Type theory ->‥

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2009/03/22(日) 12:20:12
Set Theory -> Type theory -> Category -> Topos -> ??
-> Operational semantics -> ??

数学を基礎付けるメタロジック　流行の変遷

0002１３２人目の素数さん2009/03/22(日) 12:40:06
type theory ってなんだっけ
0003１３２人目の素数さん2009/03/22(日) 12:47:42
専門家には話す話題もなにもないクソスレで
素人には、何のことやらわからないクソスレだなｗ
0004１３２人目の素数さん2009/03/22(日) 15:55:50
前スレ？になるのかな

集合論の次に来る物
http://science6.2ch.net/test/read.cgi/math/1169008179/
0005１３２人目の素数さん2009/03/25(水) 21:22:15
sage
0006１３２人目の素数さん2009/03/31(火) 06:52:48
sage
0007１３２人目の素数さん2009/03/31(火) 08:07:07
sageんな！

ageろ！
0008１３２人目の素数さん2009/04/02(木) 09:24:57
sage
0009１３２人目の素数さん2009/04/04(土) 01:36:48
sage
0010１３２人目の素数さん2009/04/07(火) 20:46:14
sage
0011１３２人目の素数さん2009/04/08(水) 09:21:20
Coqのバックグラウンドになってる型理論の易しくて詳しいないっすかね？特にInductive命令がよくわからん。
Inductive命令で生成される定数ってなんでああなるのかなあ。「数学的帰納法の原理の一般化なんだろうなあ」程度
には思えるんだけど、詳しい導出がわからん。今、Coq'ArtのChapter6を読もうかと思ってるんだけど、そこには
理論的なところの詳しいこと書いてるかなあ。

誰か偉い人教えて著
0012１３２人目の素数さん2009/05/02(土) 04:30:38
>>1
Operational semanticsってなんだよ
説明しろやｺﾞﾙｧ
0013１３２人目の素数さん2009/05/17(日) 09:51:29
>>1
おいいつになったらOperational semanticsの説明すんだよｺﾞﾙｧ
0014１３２人目の素数さん2009/05/17(日) 10:00:21
ググれゴミ
0015１３２人目の素数さん2009/05/21(木) 13:36:02
ぐぐっても和漢ねーから聞いてんだｺﾞﾙｧ
0016１３２人目の素数さん2009/07/10(金) 08:16:52
834
0017１３２人目の素数さん2009/08/18(火) 10:54:48
947
0018１３２人目の素数さん2009/10/05(月) 16:02:37
293
0019１３２人目の素数さん2010/02/04(木) 16:38:03
324
0020１３２人目の素数さん2010/03/10(水) 16:45:23
854
0021１３２人目の素数さん2010/05/07(金) 18:40:02
964
0022名無しさん＠そうだ選挙に行こう2010/07/11(日) 06:07:29
Operational semantics
はtoposの後にくるものじゃないのね
ふむ
■ このスレッドは過去ログ倉庫に格納されています