こんにちは、大学 1 年生になったばかりの E869120 です。 私は競技プログラミングが趣味で、AtCoder や日本情報オリンピックなどに出場しています。ちなみに、2021 年 4 月 7 日現在、AtCoder では赤（レッドコーダー）です。 本記事では、アルゴリズムの学習や競技プログラミングで使える数学的な部分を総整理し、それらについて解説したいと思います。前編・中編では数学的知識、後編（2021/4/26 公開予定）では数学的考察の側面から書いていきます。 【シリーズ】 アルゴリズム・AtCoder のための数学【前編：数学的知識編①】　←　本記事 アルゴリズム・AtCoder のための数学【中編：数学的知識編②】 アルゴリズム・AtCoder のための数学【後編：数学的考察編】 1. はじめに 21 世紀も中盤に入り、情報化社会（いわゆる「IT 化」）が急激に進行していく中、

「電気の配線がごちゃごちゃになってるよ」 そう。 そんなことは、言われなくてもわかっている。 気づいたらいつの間にか、ケーブルはお互いに絡みに絡んでごっちゃごちゃになっている。 別に絡ませたいわけでもなく、絡ませるよう努力したわけでもなく、誰かが触ったわけでもないのに・・・。 小売チェーン店で働いていたときには、「スパイラルチューブ」なるものを使って複数の配線をまとめなさいと上司から指示を受けては、最寄りの百均なんかに買いに走った。 でも、このスパイラルチューブというのが曲者で、グルグルとコードに対して巻けば確かに綺麗にまとまるのだけど、まあとにかく１ｍ巻くのにも時間がかかる。 おまけに、途中で配線を増やすとか、途中で枝分かれさせようとか、綺麗にしようとしだせば・・・もう思い出しただけでもうんざりするくらい手間がかかる。 でも、配線あるところそんな悩みはどこまでも付いてくる。 お店で家電の

UnityでARやVRのインターフェースを作って、ROSで動作するロボットと通信したかった。今回はROS#(ros sharp)を使ってみる。 動作環境[1] - WindowsとUbuntu Unity動作用にWindows PC、ROS動作用にUbuntu PCを用いました。 Unity動作用PC Windows 10 ROS# v1.3 Unity 2018.2.17f1 ROS動作用PC Ubuntu16.04 ROS Kinetic Kame 動作環境[2] - Ubuntu Ubuntu PCにUnityを入れても同様の手順で動作しました。 GAZEBO等のシミュレータと連携させる際にオススメです。 Ubuntu16.04 ROS Kinetic Kame ROS# v1.4 Unity 2018.4.0f1 ROS# v1.3, v1.4はUnity2018.2.6以降に対応

Lobi事業部 サービス基盤チームの長田です。 最近プロジェクト内で使用する開発環境にDockerを利用するようになったので、その紹介をします。 Dockerにしたってどういうこと？ 公開済みのWebサービスに変更を加えて動作確認をする場合、本番環境でそれを行うわけにはいきません。 ほとんどの場合はローカルマシンでWebサービスの全体または一部のコピーを動かして動作確認を行うことでしょう。 その後ステージング環境などの他の開発メンバーも触ることができる環境で動作確認やQAを行い、 問題がなければ晴れて本番環境に反映、という流れが一般的かと思います。 この「ローカルマシンでWebサービスのコピーを動かす」部分にDockerを利用している、ということです。 Dockerにしてどうなった？ Before 開発環境構築に1〜2日かかっていた After 開発環境構築がランチに行っている間に終わるよ