「コンビネータ論理」の変更履歴

2022年7月24日 (日)

• 最新前 18:482022年7月24日 (日) 18:48‎ Bcxfubot 会話 投稿記録‎ m 63,917バイト +9‎ 外部リンクの修正 http:// -> https:// (code.google.com) (Botによる編集) 取り消し

2021年9月11日 (土)

• 最新前 12:262021年9月11日 (土) 12:26‎ Guchi 会話 投稿記録‎ m 63,908バイト +4‎ 編集の要約なし 取り消し タグ: ビジュアルエディター

2021年9月10日 (金)

• 最新前 14:512021年9月10日 (金) 14:51‎ Guchi 会話 投稿記録‎ m 63,904バイト +64‎ →‎ラムダ計算の概要 取り消し タグ: ビジュアルエディター

2021年5月25日 (火)

• 最新前 04:302021年5月25日 (火) 04:30‎ 115.31.39.178 会話‎ 63,840バイト +1‎ ラムダ式の括弧忘れを修正 取り消し タグ: ビジュアルエディター

2021年3月12日 (金)

• 最新前 12:312021年3月12日 (金) 12:31‎ SeitenBot 会話 投稿記録‎ m 63,839バイト +14‎ Botによる: {{Normdaten}}を追加 取り消し

2020年12月19日 (土)

• 最新前 11:102020年12月19日 (土) 11:10‎ 整腸剤 会話 投稿記録‎ m 63,825バイト +22‎ 編集の要約なし 取り消し

2019年8月20日 (火)

• 最新前 15:352019年8月20日 (火) 15:35‎ Shinsa82 会話 投稿記録‎ m 63,803バイト −46‎ 編集の要約なし 取り消し
• 最新前 15:342019年8月20日 (火) 15:34‎ Shinsa82 会話 投稿記録‎ m 63,849バイト 0‎ 編集の要約なし 取り消し
• 最新前 15:332019年8月20日 (火) 15:33‎ Shinsa82 会話 投稿記録‎ m 63,849バイト +16‎ 編集の要約なし 取り消し

2019年7月2日 (火)

• 最新前 05:202019年7月2日 (火) 05:20‎ 若山1728 会話 投稿記録‎ 63,833バイト −6‎ →‎コンビネータ計算の非決定性 取り消し タグ: モバイル編集 モバイルウェブ編集
• 最新前 05:162019年7月2日 (火) 05:16‎ 若山1728 会話 投稿記録‎ 63,839バイト −2‎ →‎コンビネータの例 取り消し タグ: モバイル編集 モバイルウェブ編集

2019年6月26日 (水)

• 最新前 07:202019年6月26日 (水) 07:20‎ Shinsa82 会話 投稿記録‎ 63,841バイト +144‎ →‎コンビネータ計算: 訳し残りを補足 取り消し タグ: ビジュアルエディター: 中途切替

2018年10月8日 (月)

• 最新前 05:492018年10月8日 (月) 05:49‎ 紅い目の女の子 会話 投稿記録‎ 63,697バイト +62‎ 要曖昧さ回避テンプレートを付加 取り消し タグ: 2017年版ソースエディター

2018年3月24日 (土)

• 最新前 09:022018年3月24日 (土) 09:02‎ MetaNest 会話 投稿記録‎ 63,635バイト +30‎ 編集の要約なし 取り消し

2017年8月16日 (水)

• 最新前 04:572017年8月16日 (水) 04:57‎ Duck775 会話 投稿記録‎ m 63,605バイト −12‎ 見出しへのボールド体除去 取り消し

2016年4月7日 (木)

• 最新前 11:552016年4月7日 (木) 11:55‎ MetaNest 会話 投稿記録‎ 63,617バイト +186‎ →‎関数型言語のコンパイル 取り消し
• 最新前 10:102016年4月7日 (木) 10:10‎ MetaNest 会話 投稿記録‎ 63,431バイト +189‎ →‎参考文献 取り消し

2014年5月16日 (金)

• 最新前 19:422014年5月16日 (金) 19:42‎ Sillycrown 会話 投稿記録‎ 63,242バイト +162‎ →‎コンビネータ計算の非決定性 取り消し
• 最新前 19:392014年5月16日 (金) 19:39‎ Sillycrown 会話 投稿記録‎ 63,080バイト +1,146‎ →‎コンビネータ計算の非決定性 取り消し

2014年4月5日 (土)

• 最新前 13:582014年4月5日 (土) 13:58‎ Sillycrown 会話 投稿記録‎ m 61,934バイト +2‎ →‎コンビネータ計算の非決定性 取り消し

2014年1月30日 (木)

• 最新前 00:562014年1月30日 (木) 00:56‎ 119.83.197.79 会話‎ 61,932バイト +19‎ 編集の要約なし 取り消し
• 最新前 00:542014年1月30日 (木) 00:54‎ 119.83.197.79 会話‎ 61,913バイト +94‎ 編集の要約なし 取り消し
• 最新前 00:382014年1月30日 (木) 00:38‎ 119.83.197.79 会話‎ 61,819バイト +230‎ 編集の要約なし 取り消し
• 最新前 00:272014年1月30日 (木) 00:27‎ 119.83.197.79 会話‎ 61,589バイト +392‎ 編集の要約なし 取り消し

2013年10月10日 (木)

• 最新前 08:232013年10月10日 (木) 08:23‎ Tails 会話 投稿記録‎ m 61,197バイト +1‎ →‎コンビネータの例 取り消し

2013年7月19日 (金)

• 最新前 07:242013年7月19日 (金) 07:24‎ 180.42.1.241 会話‎ 61,196バイト −9‎ 編集の要約なし 取り消し

2013年7月17日 (水)

• 最新前 14:482013年7月17日 (水) 14:48‎ Tails 会話 投稿記録‎ m 61,205バイト +2‎ →‎コンビネータ項 取り消し

2013年6月22日 (土)

• 最新前 14:282013年6月22日 (土) 14:28‎ 218.33.189.82 会話‎ 61,203バイト +19‎ →‎Dana Scott ⇒ [[デイナ・スコット]] 取り消し

2013年6月20日 (木)

• 最新前 14:572013年6月20日 (木) 14:57‎ 218.33.189.82 会話‎ 61,184バイト +106‎ →‎数学におけるコンビネータ論理: →‎和訳の修正 取り消し

2013年5月24日 (金)

• 最新前 13:452013年5月24日 (金) 13:45‎ Sillycrown 会話 投稿記録‎ m 61,078バイト −3‎ →‎論理学 取り消し
• 最新前 13:452013年5月24日 (金) 13:45‎ Sillycrown 会話 投稿記録‎ 61,081バイト −2,064‎ →‎論理学 取り消し
• 最新前 13:412013年5月24日 (金) 13:41‎ Sillycrown 会話 投稿記録‎ 63,145バイト +27‎ →‎論理学 取り消し
• 最新前 13:362013年5月24日 (金) 13:36‎ Sillycrown 会話 投稿記録‎ m 63,118バイト 0‎ →‎論理学 取り消し
• 最新前 13:322013年5月24日 (金) 13:32‎ Sillycrown 会話 投稿記録‎ 63,118バイト +142‎ →‎コンビネータ計算の非決定性 取り消し

2013年4月11日 (木)

• 最新前 18:172013年4月11日 (木) 18:17‎ EmausBot 会話 投稿記録‎ m 62,976バイト −353‎ ボット: 言語間リンク 12 件をウィキデータ上の d:Q1481571 に転記 取り消し

2013年3月27日 (水)

• 最新前 23:282013年3月27日 (水) 23:28‎ 114.152.23.245 会話‎ 63,329バイト −28‎ →‎ラムダ抽象から同値なcombinatorial termへの変換 取り消し

2013年3月20日 (水)

• 最新前 11:432013年3月20日 (水) 11:43‎ 122.19.212.180 会話‎ 63,357バイト −626‎ →‎論理学 取り消し

2013年3月15日 (金)

• 最新前 07:112013年3月15日 (金) 07:11‎ 122.19.212.180 会話‎ 63,983バイト −5‎ →‎論理学 取り消し

2013年3月5日 (火)

• 最新前 09:412013年3月5日 (火) 09:41‎ 122.19.212.180 会話‎ 63,988バイト −60‎ →‎論理学 取り消し
• 最新前 09:402013年3月5日 (火) 09:40‎ 122.19.212.180 会話‎ 64,048バイト −3‎ →‎論理学 取り消し

2013年1月25日 (金)

• 最新前 09:022013年1月25日 (金) 09:02‎ 114.160.121.71 会話‎ 64,051バイト +85‎ →‎コンビネータ計算の非決定性 取り消し

2013年1月21日 (月)

• 最新前 12:272013年1月21日 (月) 12:27‎ Fryed-peach 会話 投稿記録‎ m 63,966バイト +6‎ →‎外部リンク 取り消し

2013年1月17日 (木)

• 最新前 11:492013年1月17日 (木) 11:49‎ Sillycrown 会話 投稿記録‎ m 63,960バイト +9‎ →‎論理学 取り消し
• 最新前 11:452013年1月17日 (木) 11:45‎ Sillycrown 会話 投稿記録‎ 63,951バイト −121‎ →‎論理学 取り消し
• 最新前 11:402013年1月17日 (木) 11:40‎ Sillycrown 会話 投稿記録‎ 64,072バイト −248‎ →‎論理学 取り消し

2012年10月31日 (水)

• 最新前 07:492012年10月31日 (水) 07:49‎ 昇華融解 会話 投稿記録‎ m 64,320バイト +3‎ 編集の要約なし 取り消し
• 最新前 05:562012年10月31日 (水) 05:56‎ 昇華融解 会話 投稿記録‎ 64,317バイト +65‎ 編集の要約なし 取り消し

2012年10月23日 (火)

• 最新前 14:472012年10月23日 (火) 14:47‎ 笹崎 会話 投稿記録‎ m 64,252バイト 0‎ ふつうcalculusを算術とは訳さない 取り消し

2012年10月12日 (金)

• 最新前 10:252012年10月12日 (金) 10:25‎ Sonchou 会話 投稿記録‎ m 64,252バイト −71‎ 解消済み仮リンク 取り消し

2012年10月10日 (水)

• 最新前 02:122012年10月10日 (水) 02:12‎ Sillycrown 会話 投稿記録‎ m 64,323バイト +24‎ 編集の要約なし 取り消し