Mister雑記

競プロやります。

学業で役立つWeb上のツール群

この記事はISer Advent Calendar 2019の8日目の記事として書かれたものです.

昨日はsh-mugさんの「AtCoderでLanguage Ownerになりたい!」でした.次はOCamlでも是非LOを狙って欲しいですね.


投稿日時を見ての通り遅刻です,ごめんなさい. 当初書く予定のネタが思ったより書くのが面倒だったのでボツになりました.環境構築系の記事はハードルが高いですね. それからしばらくネタを探した結果,ツール繋がりで「普段使っているWeb上のツールたち」を宣伝することにしました.

今回宣伝するツールは全て無料で使えます1.ブラウザはGoogle Chromeを想定していますが,大半はおそらく他のブラウザでも利用できます.

目次


Google

www.google.com

これをツールと呼ぶのは微妙ですが,アメリカのGoogleで検索できるURLです. Web上に転がっている情報の量は日本語より英語の方が桁違いに多いので,基本的にこちらから英語で単語を検索するようにしています.

さらにNew Tab RedirectというChrome拡張に上のURLを登録すると,デフォルトで上のURLを開くようにできて便利です.

参考記事


Overleaf

Overleaf

f:id:misteer:20191210154337p:plain

LaTeXのオンラインエディタです. これを紹介するためにこの記事を書いていると言っても過言ではないです. 過去にLaTeXの環境構築で挫折した方には,是非とも試していただきたいツールです.

有料オプションもありますが,無料でもプロジェクトを無制限に作れたり,オンラインで同時編集ができたりなど,申し分なく使えます.

ただし日本語環境で使う場合は多少設定が必要なので,下の参考記事も参考にして下さい.

参考記事


HackMD

hackmd.io

f:id:misteer:20191210154626p:plain

先程紹介したOverleafはLaTeXのオンラインエディタだったのに対し,こちらはMarkdownのオンラインエディタです. 学業ではあまり使いませんが,はてなブログの下書きとして使っています.

GitHubと違って,数式もLaTeXの記法で簡単に書けます. リアルタイムでプレビューが表示されるのもとても良いのですが,数式やリンクを大量に使うと画面がガタガタするのが少し残念なポイントです.気になるようならプレビューを表示しないようにもできます.

あと重要な点として,オンラインで複数人同時に編集できます.ミーティングのログを残すのにとても便利です.


draw.io

www.draw.io

f:id:misteer:20191210154420p:plain

オンラインペイントツールですが,フローチャートやグラフといったダイアグラムを描くのに適したツールです.

レポートや記事に簡単な図を載せたいときに使っています. 使い心地に難ありな部分もありますが,それでも機能としては十分有用です.


Trello

trello.com

f:id:misteer:20191210154440p:plain

タスク管理ツールです.「タスクをカードで管理する」という単純な仕様のため,使い方はとても理解しやすいと思います. 理情では3Sから大量の課題が出るため,それらの期日や進捗の管理に役立っています.

さらにCronofyという拡張を追加することで,Trelloはかなり強力になります.この拡張は「TrelloとGoogle Calendarを同期する」もので,これによりTrelloのタスクがGoogle Calendarにも反映されるわけです.


Grammarly

www.grammarly.com

英語の校正ツールです. 三単現等の文法ミスや読みづらい文を指摘したり,全体の読みやすさを点数で出してくれたりします.

今セメスターでは全く使っていませんが,卒論でかなりお世話になると思います.



今回紹介するツールは以上です.1つでも皆さんのお役に立つツールがあれば幸いです.

明日はゴールド/496さんのルービックキューブの状態の総数が43,252,003,274,489,856,000通りであることの証明(ルービックキューブが1時間で揃えられるようになる方法付き)(前編)です.お楽しみに2



  1. 有料オプションがあるものもありますが,基本それらの機能は紹介しません.

  2. 遅刻したのでもう公開されていますが.