コンテンツにスキップ

Ocyacyaの投稿記録

Ocyacyaの結果トークブロック記録アップロード記録グローバルブロック記録グローバルアカウント不正利用記録

利用者の編集は357回。 2008年2月9日 (土)にアカウント作成。

投稿の検索開く折り畳む

⧼contribs-top⧽

IPアドレスまたは利用者名:

名前空間:

選択した名前空間を隠す

関連付けられた名前空間も含める

タグ絞り込み:

選択した名前空間を隠す

最新版の編集のみを表示

ページ作成を伴う編集のみを表示

細部の編集を表示しない

⧼contribs-date⧽

この日から:

この日まで:

02:472012年5月7日 (月) 02:47 差分履歴 +716 証明法編集の要約なし

06:582012年4月15日 (日) 06:58 差分履歴 +24 Mizar/ErrorCode 編集の要約なし
06:552012年4月15日 (日) 06:55 差分履歴 +23,706 Mizar/ErrorCode 編集の要約なし

13:362012年4月13日 (金) 13:36 差分履歴 +38 Mizar/ErrorCode 編集の要約なし

01:492010年4月19日 (月) 01:49 差分履歴 +263 Mizar/環境部編集の要約なし
01:272010年4月19日 (月) 01:27 差分履歴 +981 Mizar/構文編集の要約なし

11:382010年1月27日 (水) 11:38 差分履歴 +797 N Mizar/演習/1 ページの作成: 簡単な証明。以下の証明は当然エラーが出ない。なお、A1はラベルである。 environ begin for x,y being set st x = y holds y = x proof let x,y ...
11:042010年1月27日 (水) 11:04 差分履歴 +155 N Mizar/演習ページの作成: == Mizar演習 == * 1 * 2 * 3 * 4 * 5 * 6
10:532010年1月27日 (水) 10:53 差分履歴 +26 Mizar →目次

15:442010年1月24日 (日) 15:44 差分履歴 +164 Mizar/ErrorCode 編集の要約なし

02:552009年10月5日 (月) 02:55 差分履歴 +1,275 N KETpic ページの作成: == 目次 == {| border="0" align=right width=250px cellpadding="4" cellspacing=0 class="noprint" style="clear: right; border: solid #aaa 1px; margin: 0 0 1em 1em; font-size: 90%;... 最新

15:512009年7月27日 (月) 15:51 差分履歴 +758 Mizar/Q&A/意味編集の要約なし

06:382009年7月26日 (日) 06:38 差分履歴 −1 Mizar/Q&A/意味編集の要約なし
06:362009年7月26日 (日) 06:36 差分履歴 +2 Mizar/Q&A/意味編集の要約なし
06:332009年7月26日 (日) 06:33 差分履歴 +1,011 Mizar/Q&A/意味編集の要約なし

11:102009年7月23日 (木) 11:10 差分履歴 +1,038 Mizar/Q&A/意味編集の要約なし
03:282009年7月23日 (木) 03:28 差分履歴 +2 Mizar/Q&A/意味編集の要約なし
03:262009年7月23日 (木) 03:26 差分履歴 +1,387 N Mizar/Q&A/意味ページの作成: ------------------------------------------------------------------------------------------------ > 有界なる単調数列の収束について > > 下記のような式は　C...
03:212009年7月23日 (木) 03:21 差分履歴 +2,022 Mizar/Q&A/翻訳編集の要約なし
03:092009年7月23日 (木) 03:09 差分履歴 +29,039 N Mizar/Q&A/翻訳ページの作成: reserve k, k1, n, n1, m, m1 for Element of NAT; reserve X, y for set; reserve p for Real; reserve r for real number; reserve a, a1, a2, b, b1, b2, x, x0, z, z0 for Complex; ...
02:102009年7月23日 (木) 02:10 差分履歴 +72 N Mizar/Q&A ページの作成: == 目次 == * 翻訳 * 意味
02:022009年7月23日 (木) 02:02 差分履歴 +20 Mizar 編集の要約なし
01:432009年7月23日 (木) 01:43 差分履歴 +4 Mizar/本体部/証明したい式編集の要約なし最新
01:352009年7月23日 (木) 01:35 差分履歴 0 Mizar/本体部/証明編集の要約なし最新

02:112009年7月1日 (水) 02:11 差分履歴 +34 Mizar/本体部/proof 編集の要約なし最新
02:022009年7月1日 (水) 02:02 差分履歴 −11 Mizar/本体部/proof 編集の要約なし
01:522009年7月1日 (水) 01:52 差分履歴 +710 Mizar/本体部/proof 編集の要約なし
00:392009年7月1日 (水) 00:39 差分履歴 +4 Mizar/本体部/量化編集の要約なし最新
00:352009年7月1日 (水) 00:35 差分履歴 +17 Mizar/本体部/量化編集の要約なし

09:082009年6月17日 (水) 09:08 差分履歴 +165 利用者:Ocyacya 編集の要約なし最新
02:412009年6月17日 (水) 02:41 差分履歴 +6 Mizar/証明思考法 →コンピュータによる、定理の自動証明法（導出原理の完全性）
02:402009年6月17日 (水) 02:40 差分履歴 +1,273 Mizar/証明思考法編集の要約なし

13:072009年6月16日 (火) 13:07 差分履歴 +164 Mizar/ErrorCode 編集の要約なし
12:532009年6月16日 (火) 12:53 差分履歴 +342 Mizar/ErrorCode 編集の要約なし
12:132009年6月16日 (火) 12:13 差分履歴 +620 Mizar/ErrorCode 編集の要約なし
11:522009年6月16日 (火) 11:52 差分履歴 +183 Mizar/ErrorCode 編集の要約なし
11:222009年6月16日 (火) 11:22 差分履歴 +21 Mizar/証明思考法編集の要約なし
11:142009年6月16日 (火) 11:14 差分履歴 +9 N 証明法ページの作成: 証明法
10:432009年6月16日 (火) 10:43 差分履歴 +628 N Mizar/証明思考法ページの作成: 数学の証明するには論理記号を使い、空間条件(論理集合(論理式)):法則条件と言った形式で表現しなければならない。従って、 ...
01:162009年6月16日 (火) 01:16 差分履歴 +61 Mizar 編集の要約なし

06:522009年3月23日 (月) 06:52 差分履歴 +9 Mizar/本体部/性質編集の要約なし最新

10:172009年3月17日 (火) 10:17 差分履歴 +1,472 数学/証明編集の要約なし
08:582009年3月17日 (火) 08:58 差分履歴 +485 数学/定義編集の要約なし
04:422009年3月17日 (火) 04:42 差分履歴 0 Mizar/本体部編集の要約なし

"https://ja.wikibooks.org/wiki/特別:投稿記録/Ocyacya" より作成