Serval~jawikiの投稿記録
利用者の編集は335回。 2010年5月14日 (金)にアカウント作成。
2011年12月9日 (金)
- 02:522011年12月9日 (金) 02:52 差分 履歴 +1,382 N プログラミングの統一理論 en:Unifying Theories of Programming 12:14, 22 January 2011 より翻訳
2011年12月1日 (木)
- 02:242011年12月1日 (木) 02:24 差分 履歴 −2 m 証明可能性論理 編集の要約なし
- 02:242011年12月1日 (木) 02:24 差分 履歴 +1,187 N 解釈可能性論理 en:Interpretability logic 12:03, 17 April 2010 より翻訳
- 02:192011年12月1日 (木) 02:19 差分 履歴 +2,745 N 証明可能性論理 en:Provability logic 12:14, 18 September 2010 より翻訳
- 02:002011年12月1日 (木) 02:00 差分 履歴 +854 N 形式理論 en:Formal theory 15:30, 15 August 2010 より翻訳
2011年11月27日 (日)
- 05:232011年11月27日 (日) 05:23 差分 履歴 +18 N 言明 ←命題へのリダイレクト 最新
- 05:222011年11月27日 (日) 05:22 差分 履歴 +4,462 N 有限演算 en:Finitary 17:02, 12 October 2009 より翻訳
2011年11月24日 (木)
- 04:062011年11月24日 (木) 04:06 差分 履歴 +62 スティーヴン・スメイル →スメイルの18問題
2011年11月22日 (火)
- 02:102011年11月22日 (火) 02:10 差分 履歴 +21 N 離散凸解析 ←凸解析へのリダイレクト 最新
- 02:092011年11月22日 (火) 02:09 差分 履歴 +1,620 N 凸解析 en:Convex analysis 18:11, 16 November 2011 より翻訳
2011年11月20日 (日)
- 16:032011年11月20日 (日) 16:03 差分 履歴 +16 m 粒子反粒子振動 →歴史
- 15:442011年11月20日 (日) 15:44 差分 履歴 +153 粒子反粒子振動 →歴史
- 15:212011年11月20日 (日) 15:21 差分 履歴 −3 m ニュートリノ振動 →歴史
- 15:192011年11月20日 (日) 15:19 差分 履歴 +628 ニュートリノ振動 →歴史
- 14:522011年11月20日 (日) 14:52 差分 履歴 +4 m ニュートリノ →質量
- 14:512011年11月20日 (日) 14:51 差分 履歴 +658 ニュートリノ →質量
- 03:132011年11月20日 (日) 03:13 差分 履歴 +18 m スメイルの問題 編集の要約なし
- 03:042011年11月20日 (日) 03:04 差分 履歴 +5,409 N スメイルの問題 en:Smale's problems 13:13, 31 October 2011 より翻訳
2011年11月18日 (金)
- 19:342011年11月18日 (金) 19:34 差分 履歴 +33 N 計算的宇宙論 ←デジタル物理学へのリダイレクト 最新
- 19:322011年11月18日 (金) 19:32 差分 履歴 −22 m カール・フリードリヒ・フォン・ヴァイツゼッカー 編集の要約なし
- 19:292011年11月18日 (金) 19:29 差分 履歴 −25 シミュレーション仮説 →計算主義と観念的シミュレーション理論
- 19:262011年11月18日 (金) 19:26 差分 履歴 +175 m デジタル物理学 編集の要約なし
2011年11月13日 (日)
- 18:072011年11月13日 (日) 18:07 差分 履歴 +18 N マインド ←精神へのリダイレクト
- 18:052011年11月13日 (日) 18:05 差分 履歴 +24 N 精神的対象 ←心的世界へのリダイレクト 最新
- 18:052011年11月13日 (日) 18:05 差分 履歴 +24 N 心的対象 ←心的世界へのリダイレクト 最新
- 17:582011年11月13日 (日) 17:58 差分 履歴 +18 N 物質的世界 ←宇宙へのリダイレクト 最新
- 17:572011年11月13日 (日) 17:57 差分 履歴 +18 N 物質世界 ←宇宙へのリダイレクト 最新
- 17:522011年11月13日 (日) 17:52 差分 履歴 +18 N 物理的世界 ←宇宙へのリダイレクト 最新
- 17:522011年11月13日 (日) 17:52 差分 履歴 +18 N 客観的 ←客観へのリダイレクト
- 17:512011年11月13日 (日) 17:51 差分 履歴 +18 N 主観的 ←主観へのリダイレクト
- 17:512011年11月13日 (日) 17:51 差分 履歴 +6 m 心的世界 編集の要約なし
- 17:502011年11月13日 (日) 17:50 差分 履歴 −3 m 心的世界 編集の要約なし
- 17:492011年11月13日 (日) 17:49 差分 履歴 +2,607 N 心的世界 en:Mental world 13:09, 13 November 2011 より翻訳
- 15:552011年11月13日 (日) 15:55 差分 履歴 −86 m 物体 編集の要約なし
- 14:412011年11月13日 (日) 14:41 差分 履歴 +18 m 証明論 編集の要約なし
2011年11月4日 (金)
- 02:032011年11月4日 (金) 02:03 差分 履歴 −13 m モデル理論 →概要
- 01:232011年11月4日 (金) 01:23 差分 履歴 +21 N 参照系 ←基準系へのリダイレクト 最新
- 01:222011年11月4日 (金) 01:22 差分 履歴 +21 N 基準座標系 ←基準系へのリダイレクト 最新
- 01:192011年11月4日 (金) 01:19 差分 履歴 −2 基準系 →特定の用途で用いられている基準系
- 01:162011年11月4日 (金) 01:16 差分 履歴 +24 N 球面座標 ←極座標系へのリダイレクト
- 01:152011年11月4日 (金) 01:15 差分 履歴 +24 N 円筒座標 ←極座標系へのリダイレクト
- 01:142011年11月4日 (金) 01:14 差分 履歴 +24 N 球面座標系 ←極座標系へのリダイレクト
- 01:142011年11月4日 (金) 01:14 差分 履歴 +24 N 円筒座標系 ←極座標系へのリダイレクト
- 01:102011年11月4日 (金) 01:10 差分 履歴 +3,365 N 基準系 とりあえず作成
- 01:102011年11月4日 (金) 01:10 差分 履歴 −827 準拠枠 otheruses
2011年11月3日 (木)
- 17:092011年11月3日 (木) 17:09 差分 履歴 +1,033 N Template:Logic-stub ←新しいページ: '{| cellspacing="2" cellpadding="3" style="width:80%; border:solid #999 1px; background:#F8F8F8; margin:0.5em auto; clear:both" |style="width:10%; text-align:ri...'
2011年11月1日 (火)
- 22:232011年11月1日 (火) 22:23 差分 履歴 +3 モデル理論 編集の要約なし
- 03:262011年11月1日 (火) 03:26 差分 履歴 +12 証明論 編集の要約なし
- 02:472011年11月1日 (火) 02:47 差分 履歴 +428 宇宙 (数学) →集合論
2011年10月31日 (月)
- 00:402011年10月31日 (月) 00:40 差分 履歴 +33 N セマンティックス ←セマンティクスへのリダイレクト
