「型付きラムダ計算」の変更履歴

このページの記録を表示 (編集フィルター記録を閲覧)

版の絞り込み表示隠す

この日まで:

タグ絞り込み:

選択したものを除く

差分を表示するには比較したい版のラジオボタンを選択し、エンターキーを押すか、下部のボタンを押します。
凡例: (最新) = 最新版との比較、(前) = 直前の版との比較、m = 細部の編集、日時は個人設定で未設定ならUTC

最新前 06:182023年8月7日 (月) 06:18‎ ROE100 会話投稿記録‎ 5,452バイト +36‎ 読み取り消し

最新前 18:362021年12月7日 (火) 18:36‎ RnTkm 会話投稿記録‎ 5,416バイト +164‎ サブタイピングの辺り: 「派生型」避ける -> サブタイプ（下位型）、英語版en:Typed lambda calculus を参考に誤訳と思われるところを修正、「型が A である項」->「A型の項」、 {{仮リンク|System F-sub 取り消し

最新前 01:162016年3月13日 (日) 01:16‎ みそがい会話投稿記録‎ 5,252バイト 0‎ Okipow (会話) による ID:58908113 の版を取り消し取り消し

最新前 12:302016年3月10日 (木) 12:30‎ Okipow 会話投稿記録‎ 5,252バイト 0‎ 編集の要約なし取り消し
最新前 07:512016年3月10日 (木) 07:51‎ TAKAHASHI Shuuji 会話投稿記録‎ 5,252バイト +8‎ 「System T」および「System F」をwikify。取り消しタグ: ビジュアルエディター

最新前 02:212013年3月20日 (水) 02:21‎ EmausBot 会話投稿記録‎ m 5,244バイト −264‎ ボット: 言語間リンク 7 件をウィキデータ上の (d:Q2607208 に転記) 取り消し

最新前 07:142012年10月31日 (水) 07:14‎ 昇華融解会話投稿記録‎ m 5,508バイト +29‎ Category:ラムダ計算を追加 (HotCat使用) 取り消し

最新前 00:152012年7月2日 (月) 00:15‎ EmausBot 会話投稿記録‎ m 5,479バイト +26‎ r2.7.2+) (ロボットによる追加: ky:Типтүүлүк 取り消し

最新前 03:362012年3月1日 (木) 03:36‎ EmausBot 会話投稿記録‎ m 5,453バイト +36‎ r2.6.4) (ロボットによる追加: is:Tagskiptur lambda-reikningur 取り消し

最新前 07:362011年3月20日 (日) 07:36‎ Nakt 会話投稿記録‎ m 5,417バイト +9‎ 編集の要約なし取り消し

最新前 17:582010年10月16日 (土) 17:58‎ Luckas-bot 会話投稿記録‎ m 5,408バイト +45‎ ロボットによる追加: el:Λ-λογισμός με τύπους 取り消し

最新前 20:382010年7月27日 (火) 20:38‎ Xqbot 会話投稿記録‎ m 5,363バイト −4‎ ロボットによる変更: zh:有类型λ演算取り消し

最新前 13:222010年4月16日 (金) 13:22‎ Mtnk 会話投稿記録‎ 5,367バイト −2‎ 編集の要約なし取り消し

最新前 19:592009年9月23日 (水) 19:59‎ MakoBot 会話投稿記録‎ m 5,369バイト +39‎ ロボットによる: カテゴリ追加 Category:数学に関する記事取り消し

最新前 23:452009年5月25日 (月) 23:45‎ Melan 会話投稿記録‎ 5,330バイト +5,330‎ en:Typed lambda calculus（2009年5月7日 17:40:31(UTC)）の翻訳

「https://ja.wikipedia.org/wiki/型付きラムダ計算」から取得