Serval~jawikiの投稿記録

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 セマンティックス ←セマンティクスへのリダイレクト