Macsyma64の投稿記録

2019年9月16日 (月)

• 03:122019年9月16日 (月) 03:12 差分 履歴 +49 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 02:212019年9月16日 (月) 02:21 差分 履歴 +3 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 02:142019年9月16日 (月) 02:14 差分 履歴 −15 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 01:582019年9月16日 (月) 01:58 差分 履歴 +579 シークエント計算 (∃L)，(∀R) のバリエーションを追加． タグ: ビジュアルエディター

2019年9月15日 (日)

• 15:242019年9月15日 (日) 15:24 差分 履歴 −5 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 12:482019年9月15日 (日) 12:48 差分 履歴 +60 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 12:372019年9月15日 (日) 12:37 差分 履歴 +25 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 12:302019年9月15日 (日) 12:30 差分 履歴 +10 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 12:262019年9月15日 (日) 12:26 差分 履歴 +18 m シークエント計算 →LK の推論規則 タグ: ビジュアルエディター
• 12:212019年9月15日 (日) 12:21 差分 履歴 +285 m シークエント計算 自由出現への項の代入におけるいわゆる "free for" の条件を追加． タグ: ビジュアルエディター

2018年12月21日 (金)

• 08:232018年12月21日 (金) 08:23 差分 履歴 −5 m 勁文社 →外部リンク

2018年11月19日 (月)

• 02:112018年11月19日 (月) 02:11 差分 履歴 +598 Wikipedia:削除依頼/現代芸術社 編集の要約なし

2018年11月18日 (日)

• 05:082018年11月18日 (日) 05:08 差分 履歴 +346 利用者‐会話:Unamu →エルム (出版社) のリンク先について
• 04:492018年11月18日 (日) 04:49 差分 履歴 +705 利用者‐会話:Unamu →エルム (出版社) のリンク先について: 新しい節
• 02:072018年11月18日 (日) 02:07 差分 履歴 +28 m ソノシート →ソノシートを発売していた会社
• 02:052018年11月18日 (日) 02:05 差分 履歴 −16 m エルム 編集の要約なし

2018年10月10日 (水)

• 01:482018年10月10日 (水) 01:48 差分 履歴 +25 ソノシート →関連項目
• 01:452018年10月10日 (水) 01:45 差分 履歴 +4 m 朝日ソノプレス社 編集の要約なし
• 01:412018年10月10日 (水) 01:41 差分 履歴 +330 朝日ソノプレス社 36.12.16.154 (会話) による ID:70221806 の版を取り消し タグ: リダイレクト解除 取り消し
• 01:392018年10月10日 (水) 01:39 差分 履歴 −10 m ソノシート 編集の要約なし

2018年10月9日 (火)

• 12:012018年10月9日 (火) 12:01 差分 履歴 +2 m アニメソング →資料・参考文献
• 12:002018年10月9日 (火) 12:00 差分 履歴 +211 m アニメソング →資料・参考文献
• 11:492018年10月9日 (火) 11:49 差分 履歴 +4 m ソノシート →歴史
• 11:422018年10月9日 (火) 11:42 差分 履歴 +3 m エルム 編集の要約なし
• 11:412018年10月9日 (火) 11:41 差分 履歴 −236 m エルム 事実に即した内容に変更．
• 11:382018年10月9日 (火) 11:38 差分 履歴 +6 m ソノシート →概要
• 11:292018年10月9日 (火) 11:29 差分 履歴 +116 m 朝日ソノプレス社 →外部リンク
• 08:582018年10月9日 (火) 08:58 差分 履歴 +16 m ソノシート →関連項目
• 08:562018年10月9日 (火) 08:56 差分 履歴 +155 m ソノシート →関連項目
• 08:512018年10月9日 (火) 08:51 差分 履歴 +31 m 朝日ソノラマ →関連項目
• 08:492018年10月9日 (火) 08:49 差分 履歴 +4 m 朝日ソノプレス社 →外部リンク
• 08:482018年10月9日 (火) 08:48 差分 履歴 +256 N 朝日ソノプレス社 新規作成 タグ: 小さな記事の作成 参考文献（出典）に関する節がない記事の作成 カテゴリを含まない記事の作成
• 05:372018年10月9日 (火) 05:37 差分 履歴 −5 m ソノシート リンクの修正 タグ: ビジュアルエディター: 中途切替