ヨーキョクデイ

いろいろ雑食

スマホ新調

愛用の Xperia Z3 Compact だが、いわゆるタッチ切れの諸症状が出てきており、使用においてストレスフルであるがゆえ、いっそ新しくしちゃえと。Galaxy S8 SC-02J である。従来機に比べて横幅がちょっと広く、縦がかなり長いので操作に慣れるのがつらそう。 …

MIDI キーボード買った

www.roland.comRoland の A-49 という代物。評判がよさそうだったのでチョイス。諸々の活動が捗るのではなかろうか。

久々にプロ野球観戦

およそ 1 年半ぶりの観戦。コボパーへ。2 年前に千葉に赴いたときには中止となってしまったロッテを拝んできた。今回も雨の予報であったが、ごくたまにぱらぱらと降るレベルで、支障なし。前回と同じく先発は則本で、上等なピッチングを見せてくれたし、好調…

領域を n 個の小領域に分割する・2

領域を n 個の小領域に分割する - ヨーキョクデイ 前回はグラフで考えようということを書いたが、では具体的にどんな特徴を持つグラフを考えればいいのか。まず、必然的に各国は離島であったりしてはいけないし、島は海に隣接してないといけないので、連結。…

領域を n 個の小領域に分割する

たとえば、大きな島を $n$ 個に分けろということになった場合、その形や方角なんかを無視して、何パターンの地図が描けるかという問題。 四色問題以前 四色問題ではグラフ理論な話に持ち込むが、ここでもその技法を流用することにする。それは、それぞれの国…

シャア専用マウス買った

3 年ぶりのマウス新調。チャタリングが気になってきたので。 今回は新機軸として、ロジクールのマウス M336 の赤をチョイスした。シャア専用とはこの色からイメージしただけである。ちょうどタイムセールで安かったので。Logicool ロジクール Bluetooth マウ…

パソコン組んだった

先代が 5 年選手になって、それより前に買った流用パーツがあったりと寿命が近いと感じたため、先日新調した。 CPU Intel / Core i5 6600 (3.3GHz) CPU クーラ ENERMAX / ETS-N30R-HE マザーボード ASRock / H170 Pro4 SSD 1/2 SanDisk / Extreme PRO SDSSDX…

HERCULES のギタースタンドが壊れたので交換してもらった

急にギタースタンドが物故割れてベースが倒れてきたが無事でよかった— えれ (@e10s) 2015, 12月 14 HERCULES の首吊り式のスタンドなんだが、高さ調節部のプラスチックがもげた— えれ (@e10s) 2015, 12月 14 ああ、同様の症状が発生した人がいる…… https://t…

mbed で Eject-io っぽいのを実装して、mbed な踏切を動かす

www.adventar.orgEject Advent Calendar 2015 の 14 日目。Eject-io とは 2 年前に登場した次世代 I/O I/F であるらしい。 hasegaw blog: 次世代I/Oインターフェイス「Eject-io」 この Eject-io を模したシステムを mbed LPC1768(青 mbed)で作ったわけだ。…

ワイヤーネットで HDD をテレビに VESA マウントする装置を作った

俺が工作したくなる季節、それが冬。テレビがそれなりに大きいのをいいことに、その裏が物置と化しており、整理が必要だったので。まずは対象物。 テレビ 東芝 REGZA R3 32V 録画用外付け HDD BUFFALO HD-LB2.0TU2/N(1kg くらい) で、工事に使った金物とか…

野球観戦

およそ 1 年ぶりにコボスタへ。西武戦。則本と岸の投げ合いで投手戦なのか貧打戦なのかよくわからない中、ウィーラーのホームランなどで 3-0 で楽天が勝利。 スコアボード | 東北楽天ゴールデンイーグルス オフィシャルサイト 例によってソロ観戦であって、…

(1+x^k) の乗積を展開したときの係数・その 4

(1+x^k) の乗積を展開したときの係数 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 2 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 3 - ヨーキョクデイ 今回は整数の分割から歩み寄る。 18 の "strict partition" を考えてみ…

(1+x^k) の乗積を展開したときの係数・その 3

(1+x^k) の乗積を展開したときの係数 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 2 - ヨーキョクデイ 前回の続きとして、 $$\begin{cases} q_0(0)=1 \\ q_n(r)=0 & \left(r \frac{n(n+1)}{2}\right) \\ q_n(r) = q_{n-1}(r)+q_{n-1}(r-n) \…

(1+x^k) の乗積を展開したときの係数・その 2

(1+x^k) の乗積を展開したときの係数 - ヨーキョクデイ 乗積 $$\begin{align} Q_n(x) &= (1+x)(1+x^2)(1+x^3) \cdots (1+x^n) \\ &= \prod_{k=1}^{n}(1 + x^k) \end{align}$$ に対して、多項式 $$\begin{align} Q_n(x) &= q_n(0) + q_n(1)\,x + q_n(2)\,x^2 …

(1+x^k) の乗積を展開したときの係数

何年か前になぜか気になって、でもそのままにしていた問題をシンプルにした物だが、数学熱が高いことを理由に改めて考えてみた。 今気にしている式は、 $$\begin{align} Q_n(x) &= (1+x)(1+x^2)(1+x^3) \cdots (1+x^n) \\ &= \prod_{k=1}^{n}(1 + x^k)\end{a…

マニアのための n 倍角・その 3

前回は 7 年近く前に書いた マニアのための n 倍角・証明 であるが、これは $\sin$ の n 倍角、すなわち $\sin n\theta$ を $\sin(\theta+\alpha)$ の有限積で表すものであった。つまり、 $$\sin n\theta = 2^{n-1} \prod_{k=1}^n \sin\left(\theta + \frac{…

積の微分法則の復習

今回は積の微分の公式をいじる。 $x$ の関数である 2 関数 $f(x),\,g(x)$ の積を $x$ で微分すると、 $$\frac{d}{dx} \left(f(x)g(x) \right) = \left( \frac{d}{dx}f(x) \right)g(x) + f(x) \left(\frac{d}{dx}g(x) \right)$$ となるわけである。一般に複数…

スイッチングハブ買った

先日家族からプロバイダ変更の検討などの相談があり、どういったプランの契約内容かも知らなかったのでいろいろと調査してみたところ、より高速なインターネッツ環境が整えられた気がする。ところで我が家は 1 階にインターネッツの諸機器があり、我が部屋は…

ファームの試合を観戦した

イースタン戦が中山の荘銀・日新スタジアムとかいう、つまるところの山形県野球場で開催されたので行ってきた。楽天 vs 巨人。QVC マリンでのオープン戦がおじゃんになったので、ようやく今季初観戦。 この球場に来たのは実に 20 年ぶり(!)2 回目で、イチ…

Samba24 なの(仮)終焉

Samba24 なの(仮)を閉鎖した。時代の流れなのでやむなし。

Samba24 なの(仮)メンテ

どうやら 25 日にサーバの大規模メンテが入ったらしく、CGI が 500 を吐きやがることを偶然発見したので、メンテ内容を精査したところ、Ruby が 1.8.5 から 2.2.0 にバージョンアップされていた。 XREAサーバー Apache/PHPのバージョンアップメンテナンスに…

鉄分補給の旅

9 日から 11 日にわたって、千葉に行ってきたのだが。10 日に QVC マリンで開催されるプロ野球オープン戦の観戦のため。 2015年3月10日 千葉ロッテ 対 横浜DeNA 試合情報 | 千葉ロッテマリーンズ オフィシャルサイト 9 日、酒田から新庄回りで向かう。新庄か…

定期的にソフトを再起動したい

俺様用メモ。 非アクティブウィンドウのスクロールをマウスホイールで可能にするソフトっていうのが Wheel Redirector やら各種あると思うのだが、別用途で昔から使っていた Pito! にもこの機能がある。しかしながら、Windows 7 でこれらを使っていると、ふ…

あけおめ

今年こそ本気出す。

J1 復帰

モンテディオが昇格プレーオフを制したわけです。天皇杯決勝も控えているのでなんとかしてほしいですね。勝っちゃうと ACL もあるし。

スマホ機種変更した

愛用の ELUGA V がもっさりしてきてつらいので、発売間もない Xperia Z3 Compact SO-02G のオレンジをゲット。例によってドコモオンラインショップにて。大型化してきているらしいスマホ界隈の中で、サイズが ELUGA V とほぼ同じなのであえてこれを選んだの…

mbed 始める

前々から動く物が作りたかったというか、物を制御したかったわけで、お手軽マイコン環境が欲しかったのだ。当初は Arduino を狙っていたのだが、ここは流行に乗ったのかよくわからない mbed がよろしいな、と。というわけで mbed NXP LPC1768 というのをゲッ…

今年 2 度目のコボスタ

コボスタにてオリックス戦。オリックスを見るのはイチローが 3 打数 5 安打とかやっとったとき以来。 前半の楽天勝ちムードから一転、オリックスの逆転勝利というお寒い試合であった。それゆえに 8 回終了時点で撤収。AJ と T-岡田の豪快なホームランを見る…

ファームの試合を観戦した

イースタンリーグの試合が鶴岡で開催されたので行ってきた。楽天 vs 西武。 楽天の先発は松井裕樹で、カウントを悪くする場面が多かったものの、6 イニングを投げ、15 奪三振、被安打 2、無失点という無双具合であった。試合自体も西武のミスにつけ込んだり…

出でよ、蜂子皇子

羽黒山で蜂子神社御開扉というイベントが開催中なので行ってきたわけだ。何がすごいかというと、140 年くらいぶりの開扉であり、出羽三山の開祖とされる蜂子皇子の像が初めて一般公開されるという、非常にレアなアレだということ。 まずは外でお祓いを受け、…