数オリの問題に挑戦 (IMO2019問題3) その1

以下は今年7月に行われた国際数学オリンピックの問題の1つです。SNSを題材にしたもので今風な感じが面白いです。世界最高峰の競技数学なので解くのは非常に大変ですが、複雑な数式などは出てこない問題なので数学が苦手な人でも理解できる内容です。

問題3．あるソーシャルネットワークサービスにはユーザーが2019人おり，そのうちのどの2人も互いに友人であるか互いに友人でないかのどちらかである．いま，次のようなイベントが繰り返し起きることを考える：

• 3人のユーザーA，B，Cの組であって，AとB，AとCが友人であり，BとCは友人でないようなものについて，BとCが友人になり，AはB，Cのどちらとも友人ではなくなる．これら以外の2人組については変化しないとする．

はじめに，友人の数が1009人であるユーザーが1010人，友人の数が1010人であるユーザーが1009人存在するとする．上のようなイベントが何回か起きた後，全てのユーザーの友人の数が高々1人になることがあることを示せ

Android上でLinuxターミナルを動かす

たまたま見つけたTermuxというAndroidアプリが面白かったので紹介します。タイトルの通りこのアプリはAndroid端末上にLinux環境を実現できます。aptコマンドでパッケージ管理ができるのでいろいろ活用の幅は大きそうです。

Windows10 Proの自動更新を無効にする方法 (2019年6月情報)

夜中にPCが勝手にスリープから復帰する症状が再発した。以前対策したはずなのにどうにもWindowsは夜更かしが好きらしい。前と同じくWindows Updateが原因だったのでいっそ自動更新を無効にして対策しました。ちなみに今回紹介する方法はWindows10 Homeでは使えませんので悪しからず。

FirefoxやChromeで動画をダウンロードする方法 (youtube-dl編)

この記事ではFirefoxやChromeなどのPCブラウザで動画をダウンロードする方法を紹介します。

具体的にはOpen Withというアドオンでyoutube-dlを起動するボタンを設置します。導入が完了すれば動画サイトを開いてブラウザ上にあるボタンをぽちっと押すだけでサイト上の動画が保存できます。

Hello World!

ブログを始めることにしました。自分が持っている技術的なネタとかを備忘録的に書いていこうと思います。