Kiiiino3の投稿記録

2022年4月28日 (木)

• 02:112022年4月28日 (木) 02:11 差分 履歴 0‎ m 阿部翔太 ‎ →‎記録

2021年6月28日 (月)

• 04:332021年6月28日 (月) 04:33 差分 履歴 +31‎ m 大磯町 ‎ →‎居住者

2020年10月21日 (水)

• 12:512020年10月21日 (水) 12:51 差分 履歴 +46‎ 東京都立産業技術大学院大学 ‎編集の要約なし
• 12:472020年10月21日 (水) 12:47 差分 履歴 +543‎ 東京都立産業技術大学院大学 ‎ 事業設計工学コースの記述を追加

2020年10月20日 (火)

• 08:292020年10月20日 (火) 08:29 差分 履歴 +49‎ 東京都立産業技術大学院大学 ‎ →‎大学院

2019年4月12日 (金)

• 00:162019年4月12日 (金) 00:16 差分 履歴 −3‎ m 大磯町 ‎ →‎歴史

2018年4月26日 (木)

• 03:492018年4月26日 (木) 03:49 差分 履歴 −6‎ m 第3期の教育 ‎編集の要約なし

2017年1月5日 (木)

• 07:302017年1月5日 (木) 07:30 差分 履歴 +22‎ 形式理論 ‎ 英語版にあったformal systemへのリンクを追加
• 07:222017年1月5日 (木) 07:22 差分 履歴 +10,276‎ N 利用者:Kiiiino3/理論(数理論理学) ‎ ←新しいページ: 「In mathematical logic, a '''theory''' (also called a '''formal theory''') is a set of sentences in a formal languag...」 最新
• 07:212017年1月5日 (木) 07:21 差分 履歴 +14‎ 利用者:Kiiiino3/sandbox ‎編集の要約なし 最新

2016年12月19日 (月)

• 23:582016年12月19日 (月) 23:58 差分 履歴 +3‎ m 一般システム理論 ‎ →‎生命ステム理論

2016年12月10日 (土)

• 03:402016年12月10日 (土) 03:40 差分 履歴 0‎ m 比嘉幹貴 ‎ typo タグ: ビジュアルエディター: 中途切替

2016年4月27日 (水)

• 04:282016年4月27日 (水) 04:28 差分 履歴 0‎ m 木谷道場 ‎編集の要約なし

2016年3月3日 (木)

• 03:412016年3月3日 (木) 03:41 差分 履歴 0‎ m 淘綾郡 ‎ →‎近代以降の沿革

2016年2月17日 (水)

• 02:452016年2月17日 (水) 02:45 差分 履歴 0‎ m 米田信夫 ‎ Kiiiino3 (会話) による ID:58643508 の版を取り消し
• 02:422016年2月17日 (水) 02:42 差分 履歴 0‎ m 米田信夫 ‎ 誤訳

2016年2月12日 (金)

• 01:442016年2月12日 (金) 01:44 差分 履歴 +30‎ ISO/IEC 12207 ‎ ISO/IEC 15288英語版へのリンク追加

2015年10月26日 (月)

• 02:372015年10月26日 (月) 02:37 差分 履歴 +7,058‎ 利用者:Kiiiino3/直観主義型理論 ‎ https://en.wikipedia.org/w/index.php?title=Intuitionistic_type_theory&oldid=679546593 を貼り付け 最新

2015年7月15日 (水)

• 01:592015年7月15日 (水) 01:59 差分 履歴 +35‎ ペトリネット ‎ →‎一般化

2014年12月9日 (火)

• 13:312014年12月9日 (火) 13:31 差分 履歴 0‎ m Amour それは… ‎ typo

2014年11月24日 (月)

• 13:332014年11月24日 (月) 13:33 差分 履歴 0‎ m 平塚駅 ‎編集の要約なし

2014年10月23日 (木)

• 23:212014年10月23日 (木) 23:21 差分 履歴 0‎ m 普遍代数学 ‎ →‎代数の多様性: typo

2014年10月14日 (火)

• 02:062014年10月14日 (火) 02:06 差分 履歴 0‎ m 環 (数学) ‎ typo

2014年5月22日 (木)

• 00:492014年5月22日 (木) 00:49 差分 履歴 −2‎ m マルコフアルゴリズム ‎ Kiiiino3 (会話) による ID:51737798 の版を取り消し

2014年5月21日 (水)

• 08:132014年5月21日 (水) 08:13 差分 履歴 +2‎ m マルコフアルゴリズム ‎ 誤訳があったので修正

2013年10月2日 (水)

• 14:452013年10月2日 (水) 14:45 差分 履歴 −23‎ 利用者:Kiiiino3/直観主義型理論 ‎ 最初の段落を翻訳
• 07:282013年10月2日 (水) 07:28 差分 履歴 +274‎ 利用者:Kiiiino3/直観主義型理論 ‎編集の要約なし

2013年9月28日 (土)

• 05:442013年9月28日 (土) 05:44 差分 履歴 +6‎ m 利用者:Kiiiino3/直観主義型理論 ‎編集の要約なし
• 05:392013年9月28日 (土) 05:39 差分 履歴 −253‎ 利用者:Kiiiino3/直観主義型理論 ‎ ３パラ完了

2013年9月27日 (金)

• 14:022013年9月27日 (金) 14:02 差分 履歴 +381‎ 利用者:Kiiiino3/直観主義型理論 ‎ ３パラ途中
• 06:452013年9月27日 (金) 06:45 差分 履歴 +5‎ m 利用者:Kiiiino3/直観主義型理論 ‎編集の要約なし
• 06:322013年9月27日 (金) 06:32 差分 履歴 +189‎ 利用者:Kiiiino3/直観主義型理論 ‎ 最初の1段落を翻訳

2013年9月26日 (木)

• 08:172013年9月26日 (木) 08:17 差分 履歴 +17,482‎ N 利用者:Kiiiino3/直観主義型理論 ‎ en:Intuitionistic type theory oldid=574554174 を転載（翻訳予定）
• 08:112013年9月26日 (木) 08:11 差分 履歴 +129‎ 利用者:Kiiiino3/sandbox ‎編集の要約なし
• 08:082013年9月26日 (木) 08:08 差分 履歴 +71‎ N 利用者:Kiiiino3/sandbox ‎ 作成

2013年8月16日 (金)

• 02:142013年8月16日 (金) 02:14 差分 履歴 −21‎ m 瀬戸内美八 ‎編集の要約なし

2013年8月2日 (金)

• 01:462013年8月2日 (金) 01:46 差分 履歴 −3‎ m 信貴生駒スカイライン ‎ →‎概要

2013年7月7日 (日)

• 02:142013年7月7日 (日) 02:14 差分 履歴 0‎ m 整礎関係 ‎ →‎例

2013年6月4日 (火)

• 13:442013年6月4日 (火) 13:44 差分 履歴 +3‎ m 奈良ドリームランド ‎編集の要約なし

2013年4月26日 (金)

• 06:342013年4月26日 (金) 06:34 差分 履歴 −11‎ m 利用者:Kiiiino3 ‎編集の要約なし 最新
• 06:322013年4月26日 (金) 06:32 差分 履歴 −70‎ m カリー＝ハワード同型対応 ‎ →‎同型対応の拡張
• 06:302013年4月26日 (金) 06:30 差分 履歴 −20‎ m カリー＝ハワード同型対応 ‎ →‎同型対応の拡張

2013年4月12日 (金)

• 02:312013年4月12日 (金) 02:31 差分 履歴 +2‎ m 学校法人日生学園 ‎編集の要約なし

2013年2月14日 (木)

• 07:112013年2月14日 (木) 07:11 差分 履歴 +6‎ 城北公園通 ‎ 2012年時点ではおおさか東線は延伸していないので、おおさか東線側のwikipediaの記述にあわせた

2013年1月28日 (月)

• 08:362013年1月28日 (月) 08:36 差分 履歴 +46‎ N 利用者:Kiiiino3 ‎ ←新しいページ: '[http://d.hatena.ne.jp/kiiiino3/ 木下修司]'

2013年1月23日 (水)

• 08:452013年1月23日 (水) 08:45 差分 履歴 +3‎ m 準同型 ‎ 助詞追加