コンテンツにスキップ

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/本体部/量化 ‎編集の要約なし

07:372009年6月20日 (土) 07:37 差分履歴 +6‎ Mizar/証明思考法 ‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）
06:532009年6月20日 (土) 06:53 差分履歴 0‎ Mizar/証明思考法 ‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）
06:372009年6月20日 (土) 06:37 差分履歴 +456‎ Mizar/証明思考法 ‎ →‎コンピュータによる、定理の自動証明法（導出原理の完全性）
06:202009年6月20日 (土) 06:20 差分履歴 +3,503‎ 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" より作成