証明をバッチリ形式的に書くと、その証明には”正しい”推論しか使われていないことをコンピュータに検査してもらえる。つまり、「定理を乱用してない？」とか、「場合分けに抜けはない？」とか、「『明らか』と書いた部分が実は明らかじゃないのでは？」みた…

グラフの描画に便利なgnuplotを久しぶりに使う機会があった。ターミナル上で起動してみると、 $ gnuplot G N U P L O T Version 5.2 patchlevel 2 last modified 2017-11-15 Copyright (C) 1986-1993, 1998, 2004, 2007-2017 Thomas Williams, Colin Kelley …

通信環境悪くて対戦できないスプラトゥーン。何もしないせっかくA-くらいまで上げたウデマエが落ちてしまいそうなので、ヒーローモードで遊んでいる。 目標は全種類のヒーロー系ブキのレプリカを手に入れること。レプリカはそのブキで全ステージクリアすれば…

この前、マインクラフトの画像を記事に載せようかと思ったけど、著作権が心配だったのでやめた。ちょっと調べてみたらマインクラフトの世界内で自分で作った何かを動画や画像としてwebにあげるのは問題ないようだ。 Mojang Accountによると、プレイヤーがマ…

家で使ってるNintendo Switchの通信速度がすごく悪い。Switchの設定画面で通信テストを行うと下り3Kbpsとかいう数字が出たり、そもそもDNSサーバーと通信できなくてテスト失敗したりする。スプラトゥーン2で快適に遊べる通信環境にしたい！ パッと思いつく劣…

妹に質問されて、久しぶりに物理の問題を解いた。二階の線形常微分方程式の解き方とか全然覚えてなかったのでネットとか昔の教科書をみてやった。やっぱあの辺は解法の暗記しないといけない感じであんまし好きじゃないなぁ。一般解がちゃんと全部尽くしてる…

家で喉が渇いたとき、よく牛乳を飲む。冷蔵庫から牛乳パックを取り出して、マグカップに冷えた牛乳を注ぐ。一杯目を気持ちよく飲み干した直後はまだ喉の乾きが治らない。二杯目を注ぐ。勢いよく飲む。そして、お腹を下す。一杯目で満足できなくても止められ…

マイクラ楽しい。最近ようやく村人を増やせてきたので、たくさん交易していい装備揃えて冒険にいきたい。炭鉱みつけたいなぁ。あと、最近のアップデート(ver 1.13かな？)で水系の要素が色々増えたらしいから、海も見つけたい。今日川に鮭が泳いでて釣らずに…

一日一記 今日から雑な文章を毎日書いていきたい。こう思ったきっかけは以下のツイート。 ヒカキン氏「消えるクリエイターは週1頻度で、時間をかけて凝った動画を配信する。消えずに活躍する人は質が低くても、毎日続ける」これはブログも同じ。「内容薄くな…

背景 もともと、大学のメールアドレスとGmailアドレスを持っていた。大学アドレスで受信したメールはGmailアドレスへ転送する設定にしてあり、Gmailアプリから大学アドレスを返信先に変更してメール送信出来るようにもなっていたので、実質Gmailアプリでメー…