昨日、長野から帰ってくると家にEssencial Phone PH-1が届いていた。 この前注文したやつね。 開封してからずっとワクワクが止まらん。 まだ一日しか使っていないけど、レビューしてきたい。 細かいことは抜きに結論から言うと、スマートフォンの目指す『ス…

そう思いました。

長野県の諏訪にきました。 プログラミングシンポジウム略してプロシンに参加してます。 旅館から見える諏訪湖と夕日 僕は迷路を解くゲルオートマトンについて発表しました。 多くの人には何のこっちゃでしょうが、まあなんとか無事に発表を終えられました。 …

連日のベース練習記事の投稿。 以前にも書いたけど、僕のベースを練習する大目標はジブリ映画「耳をすませば」に出てくる地球屋の爺ちゃんたちのように、 仲間内でセッションをして楽しめるようになることだ。 下の二つの動画を見た結果、タブ譜に頼っていて…

音楽のど素人だから間違ってるかもしれないけど、チューニングについての僕の理解を書く。 チューニングというのは、楽器を弾いたときにちゃんと狙った音を出せるように調整すること。 基準となるAの音が440Hzで、2倍の880Hzが1オクターブ高いAとなるように…

楽譜の入手 ベース練習の目標はBUMP OF CHICKENの「車輪の唄」を弾くことにした。下のリンク先で楽譜が見れる。 車輪の唄 ベース / BUMP OF CHICKEN/バンプ(ベース) 練習で何回も見ると思ってブックマークに加えた。 本当は印刷しておきたいんだけど、サイト…

研究室にベースが持ち込まれた。 ギターよりも低い音が出る弦楽器。 まだ弾き方もよくわからない状態だけど、一応音は出せたのでベーシストとなった。 練習して他の人と合わせて演奏とかできるようになれたら嬉しい。 おっきい目標は、「耳をすませば」に出…

昨日見た裏切りマンキーコングの動画で西澤さんの格言に心を動かされた。 曰く、 ノーチラスというブキが存在しているのに使わないヤツは、 足の速い帰宅部と同じ！ その心は モッタイナイ！ だそうだ。 別に強いわけではないがとにかく面白いらしい。 実際…

SATySFiは2017年度の未踏プロジェクトで開発された組版処理システムで、 「柔軟な記述とわかりやすいエラー報告」が謳われている。 論文執筆するさいにLaTeXのわけわからんエラーで時間を食うんはもう嫌なのでSATySFiを使ってみようと思う。 Gitリポジトリ S…

ここのところ、ハイドラントカスタムをよく使っている。以前はスプラシューターやプライムシューター、スプラマニューバーといった撃ち合いに向いたブキを使っていた。しかし、撃ち合いに夢中になってしまって全体の局面を見ようにも見れなかった。敵から離…

Essential Phoneを購入した。今使っているスマホ Huawei nova liteは内部ストレージが16GBしかない上にプレインストールされたアプリが邪魔なのが不満だった。買ったときはSDカードにデータは入れればいいやと思っていたんだけど、アプリケーション自体は内…

今週は山登り行ったり、群馬に帰郷したりでばたばたしていたのでブログの更新が滞った。毎日何かしら書くのは難しいなぁ

LEANのチュートリアルを読んだらなんとなく思い出して来た。 Theorem Proving in Lean — Theorem Proving in Lean 3.4.0 documentation tacticとかまだよくわかってないけど、タームモードで処理できるうちはなんとかなりそう。まあ適宜参照しつつ不完全性定…

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

グラフの描画に便利な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で快適に遊べる通信環境にしたい！ パッと思いつく劣…