外部サービス・ツールの紹介
Latest Author koba-e964 /Date 2018-09-05 22:15:39 / Views 6824
アルゴリズムの勉強をしてる時に、使えるかもしれないサービスを紹介。
- オンライン数列辞典(OEIS)
- https://oeis.org/?language=japanese
- 適当な数列を検索すると、その数列の数式を見つけてくれるサービス・必見!
- 倍数の証明ジェネレータ
- http://tma.main.jp/baisuu/
- 数学的な問題に帰着できるときに、倍数判定で解けそうで頭のなかでは可能っぽいけど、証明はできない。
そんなときに実際に証明してくれるサービス。 - SRM 585 Div2 Middle なんかで使えそう
- 数学公式集
- http://keisan.casio.jp/menu/system/000000000510
- 数列の和 順列・組合せとか使えるかも
- Wolfram|Alpha
- http://www.wolframalpha.com/
- 和・微分・積分や方程式・漸化式を解いたり素数の生成をしたり etc. 様々なことに使えます
- AOJ用Sumbit&Testツール
- https://github.com/pobo380/aoj-kitic
- AOJへのSubmitとTestケースの実行ができます。
- AirSRM
- https://github.com/kawakami-o3/AirSRM
- Topcoder SRM 練習支援スクリプト
- Spaghetti Source
- 旧: http://www.prefield.com/algorithm/
- 新: https://github.com/spaghetti-source/algorithm
- 前原貴憲さんの言わずと知れた、各アルゴリズムのC++実装が紹介されているページ
- Graph Visualizer
- https://dl.dropboxusercontent.com/u/5742517/graph.html
- グラフを入力すると可視化してくれるツール。
- GDraw
- http://y3eadgbe.github.io/GDraw/
- GUIでグラフが書けるツール。
問題管理系サービス
- AtCoder Problems
- http://kenkoooo.com/atcoder/
- AtCoderの問題を管理してくれてるサイト。
ユーザー間diff、ショートコード、最速実行時間、オススメ問題の表示など多機能。
- AOJ-ICPC
- http://ichyo.jp/aoj-icpc/
- ICPC関連のAOJの問題を管理してくれてるサイト。難易度や出題日などで絞り込める。
- 修行(AOJ / Codeforces / PKU)
- http://shugyo.hadrori.jp/
- AOJ / Codeforces / PKU の問題を管理してくれてるサイト。ユーザー間diff機能アリ。
- competitiveprogramming.info
- https://competitiveprogramming.info/
- SRMの問題を管理してくれてるサイト。Practice roomの情報もとって来てくれる。
- 良問, 教育的問題リスト