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-two.iwiki.icu/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 準同型 助詞追加