支点が等速円運動する振り子の運動方程式をラグランジュ形式で導出し、さらに SageMath を用いて数値解析することにより、実際の運動をシミュレーションする試み。
ガキのころは外で遊んだり、スポーツに明け暮れたりしていたものだが、やはりおっさんにもなると外出がおっくうになったりもして、休みの日は部屋でひねもすのたりしているのがよかったりもして。そんな昨今、もやっとした心境の中、外に出ては美しい風景が…
ヤクルトファンの後輩氏に連れられる形で神宮へ。セの試合は初。そして初の外野席。なかなかひどい試合ではあった。こちらを 0 時に出て、3 時ころから久々の再会に話を盛り上がらせつつ後輩氏の車で夜通し東京に向かい、昼から都内を散策した後に 17 時開始…
先週のことですけどね。BUFFALO の WSR-2533DHP-CB というやつ。今使っているのが 10 年近く前に買ったやつで、軽く驚き。自室の無線環境の向上を目指して。部屋でスマホをいじるときに、不安定感抜群だったので。11ac に進化したのだが、どうかな。BUFFALO …
1 年半ぶりのマウス新調。チャタリングがうざくなってきたがゆえ。今回は 2 年保証が有効であるので、ロジクールのサポートサイトで保証を要求し、何度かのメールのやりとりののち、新品が送られてきたわけ。もうちょっと長持ちしてもいいじゃんとは思うんだ…
WD の青、4TB である。5 年選手になる、前マシンからの流用 HDD が死ぬ前に交換しておこうと。10k 弱であった。WD HDD 内蔵ハードディスク 3.5インチ 4TB WD Blue WD40EZRZ-RT2 SATA6Gb/s 5400rpm 2年保証出版社/メーカー: Western Digital発売日: 2016/12/0…
愛用の Xperia Z3 Compact だが、いわゆるタッチ切れの諸症状が出てきており、使用においてストレスフルであるがゆえ、いっそ新しくしちゃえと。Galaxy S8 SC-02J である。従来機に比べて横幅がちょっと広く、縦がかなり長いので操作に慣れるのがつらそう。 …
www.roland.comRoland の A-49 という代物。評判がよさそうだったのでチョイス。諸々の活動が捗るのではなかろうか。
およそ 1 年半ぶりの観戦。コボパーへ。2 年前に千葉に赴いたときには中止となってしまったロッテを拝んできた。今回も雨の予報であったが、ごくたまにぱらぱらと降るレベルで、支障なし。前回と同じく先発は則本で、上等なピッチングを見せてくれたし、好調…
領域を 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…
急にギタースタンドが物故割れてベースが倒れてきたが無事でよかった— えれ (@e10s) 2015, 12月 14 HERCULES の首吊り式のスタンドなんだが、高さ調節部のプラスチックがもげた— えれ (@e10s) 2015, 12月 14 ああ、同様の症状が発生した人がいる…… https://t…
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）で作ったわけだ。…
俺が工作したくなる季節、それが冬。テレビがそれなりに大きいのをいいことに、その裏が物置と化しており、整理が必要だったので。まずは対象物。 テレビ 東芝 REGZA R3 32V 録画用外付け HDD BUFFALO HD-LB2.0TU2/N（1kg くらい） で、工事に使った金物とか…
およそ 1 年ぶりにコボスタへ。西武戦。則本と岸の投げ合いで投手戦なのか貧打戦なのかよくわからない中、ウィーラーのホームランなどで 3-0 で楽天が勝利。 スコアボード | 東北楽天ゴールデンイーグルス オフィシャルサイト 例によってソロ観戦であって、…
(1+x^k) の乗積を展開したときの係数 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 2 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 3 - ヨーキョクデイ 今回は整数の分割から歩み寄る。18 の "strict partition" を考えてみる…
(1+x^k) の乗積を展開したときの係数 - ヨーキョクデイ (1+x^k) の乗積を展開したときの係数・その 2 - ヨーキョクデイ 前回の続きとして、$$\begin{cases} q_0(0)=1 \\ q_n(r)=0 & \qty(r \frac{n(n+1)}{2}) \\ q_n(r) = q_{n-1}(r)+q_{n-1}(r-n) \end{case…
(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 + \…
何年か前になぜか気になって、でもそのままにしていた問題をシンプルにした物だが、数学熱が高いことを理由に改めて考えてみた。今気にしている式は、$$\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{ali…
前回は 7 年近く前に書いた マニアのための n 倍角・証明 であるが、これは $\sin$ の $n$ 倍角、すなわち $\sin n\theta$ を $\sin(\theta+\alpha)$ の有限積で表すものであった。つまり、$$\sin n\theta = 2^{n-1} \prod_{k=0}^{n-1} \sin(\theta + \frac{…
今回は積の微分の公式をいじる。$x$ の関数である 2 関数 $f(x),\,g(x)$ の積を $x$ で微分すると、$$ \dv{x} \qty(f(x)g(x) ) = \qty( \dv{x} f(x) )g(x) + f(x) \qty(\dv{x} g(x) ) $$となるわけである。一般に複数の関数の積で表される $f(x) = \prod_k f…
先日家族からプロバイダ変更の検討などの相談があり、どういったプランの契約内容かも知らなかったのでいろいろと調査してみたところ、より高速なインターネッツ環境が整えられた気がする。ところで我が家は 1 階にインターネッツの諸機器があり、我が部屋は…
イースタン戦が中山の荘銀・日新スタジアムとかいう、つまるところの山形県野球場で開催されたので行ってきた。楽天 vs 巨人。QVC マリンでのオープン戦がおじゃんになったので、ようやく今季初観戦。 この球場に来たのは実に 20 年ぶり（！）2 回目で、イチ…
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 でこれらを使っていると、ふ…
今年こそ本気出す。
