利用者の投稿記録
提供: miniwiki
- 2017/10/12/ (木) 18:31 (差分 | 履歴) . . (+3,550) . . 新 LabVIEW (2017年09月01日13時23分付け英語版にならってカテゴリーCategory:Linux向け数値解析ソフトウェアに追加。)
- 2017/7/27/ (木) 18:15 (差分 | 履歴) . . (+5,862) . . 新 ノンパラメトリック手法 (→各種のノンパラメトリック手法: リンクを追加(見つけました。英語版にはen:Category:Computational statistics(メインページ有り)もあるようです)。)
- 2017/7/14/ (金) 17:48 (差分 | 履歴) . . (+1,549) . . 新 Uppaal (2016年09月06日20時01分付け英語版en:Uppaal Model CheckerにならってカテゴリーCategory:モデルチェッカに追加。)
- 2017/6/16/ (金) 18:16 (差分 | 履歴) . . (+2,500) . . 新 MuPAD (2017年05月08日11時04分付け英語版en:MuPADにならってカテゴリーCategory:Linux向け数式処理システムに追加。)
- 2017/6/14/ (水) 15:43 (差分 | 履歴) . . (+1,672) . . 新 反例 (カテゴリーCategory:病的な反例に追加(メインページ作らずにすいません)。)
- 2017/5/30/ (火) 18:01 (差分 | 履歴) . . (+7,371) . . 新 Microsoft Mathematics (2017年02月28日13時24分付け英語版en:Microsoft MathematicsにならってカテゴリーCategory:数学教育ソフトウェアに追加。)
- 2017/5/12/ (金) 18:06 (差分 | 履歴) . . (+13,172) . . 新 数学的構造 (→逆リンク情報: 念のため。)
- 2017/4/27/ (木) 15:49 (差分 | 履歴) . . (+8,520) . . 新 Wolfram (プログラミング言語) (2017年04月27日06時39分付け英語版en:Wolfram Lnguageにならって新カテゴリーCategory:定理証明ソフトウェアに追加。)
- 2017/4/27/ (木) 15:31 (差分 | 履歴) . . (+11,730) . . 新 Planner (2016年11月17日01時40分付け英語版en:Planner (programming language)にならって新カテゴリーCategory:定理証明ソフトウェアに追加。)