そんな地獄に気付いた時から、不安な気持ちがつきまとうようになった。 「これどういう意味？」「無限次元の測度！？」「でも、サイコロのナニを説明するような簡単な定理のはずだよね？」「てか、超基本じゃないか」「この後には中心極限定理とかあるんだろ…

確率論は重要だ。色んな応用がある。機械学習的なナニも基本となる数理は確率・統計だ。そんな確率論だが、なに、あれは測度論だ。Lebesgue積分のような測度論は大学の2回生くらいで習うから、ある意味細かいことは抜きにして、確率論はそんなに難しいものじ…

というやつを初めて受けてみた(第201回)。英検も受けたことないのに。 素の実力が知りたかったので、完全に無勉。よくありがちな、 突然だが(しかも決定事項だが)米国出張をする気はないか？ (ゑ？中学の授業でしか話したことないよ？？) やべぇ、終電近いよ…

「半分の半分の半分の... についてどう思うか？これをどう考える人が数学的なのか？」的な質問を最近受けたが「実数とは何か？」という口頭試問を受けているのでもなければ難しい問題だ。 \begin{equation} 1,\ \frac{1}{2},\ \left(\frac{1}{2} \right)^2,\…

というのを数年前に知った。外資と仕事したからだ。ずっと、ぼけーっと眺めていたが、非常に面白いツールであることに気付いた。 大体「こいつは登録しているだろう」と思うと登録していたりするし、それだけでなんとなく性格が少し分かる気がする。 そうい…

【うるう秒の挿入】 7月1日の、親時計うるう秒挿入作業見学会の見学証明書に押す記念スタンプが出来上がりました。 pic.twitter.com/267vYPbI7l — 明石市立天文科学館 (@jstm135e) 2015, 6月 24 これはやべぇな。7/1は8時59分60秒に仕事にいかんといかんな。…

なんかTwitterを辿って行ったらベルリンは鐘 | Champion タップ！とかがリンクされていた。 微妙にクスリときてしまった。最近はWebコミックが増えたなぁ。ももくり | くろせ -comico（コミコ）マンガ / タテ読み！タダ読み！人気のオリジナル漫画が無料読み…

さて、曲線が$y = f(x),\ y = g(x)$の時は良いのだが、パタメータ表示されている場合が面倒くさい。簡単のためにパラメータの動く範囲を有界閉区間に制限して \begin{equation} p(s) = \{ x_1(s),\ y_1(s) \},\ 0 \le s \le 1,\ q(t) = \{ x_2(t),\ y_2(t) \…

高校とかでよく曲線の交点を求めよなんて問題が出たものだ。 単純なものでは、2次元平面内の曲線 \begin{equation} y = f(x),\ y = g(x) \end{equation} の交点を求めるというもので、$y$同士を等号で結んで$f(x) = g(x)$として、$x$についての方程式を解く…

void youareshock() try { throw; puts("お前は既に死んでいる！"); } catch (...) { puts("あべし"); } すると、 terminate called without an active exception 中止 (コアダンプ) してしまう。catchステートメントの中でもないのに例外再送出すんなやとい…

デスマーチ。そんなことをしたこともありました。 Death March | Levistoneなんとなくこのカードゲームはネタとして持っておきたくもあるな。 emacs秀丸？vimに並ぶlinux/unix開発者の愛好エディタ。Windows環境に最適化された一般PG/SEには理解されず、変態…

流石に、30分で10GB超は厳しいものがあって、HDD残量がどんどん減る減る。 ということで、エンコードでmp4に。 アマレココでキャプチャーした動画のエンコード方法 | くまらじゅのまんまでaviutlで。 x264が怒ってエンコードできないかもしれないけど、理由…

ということが大分前にあった。現在進行形でもあるが。 TZ-DCH2000というやつがあるのだが、まともに吸い出すとなると、i.LINK(TS)端子になる。しかし、各社レコーダとしては中位機種以上でないとi.LINKが使えない！しかも、色々使いにくそうだしとか。TZ-DCH…

Amazon.com: Fallout 4 - PC: Video Games ふむ$59.99かー。最近送料も結構する気がするし、円安だから色々覚悟がいるな(何が？) 微妙に「Pip-Boy Edition」が気になってしまうが、初回特典みたいなもんか？ GOTYまで待ってDLC込みのを買いたい気もするが、…

と書いて「せいしゅん」と読んでも良いかもしれない(嘘) 6/11のプレスリリースで記録製品事業からの撤退について記載がある。 そうか...。円板焼き焼き～♪とかやって過ごしたあの頃が懐かしい。 三菱のアゾがどうだとか、等倍、速くても倍速までだ、とか8倍…

と言っても、アウトラインフォントエディタは有償のものが多いし案外高くて、遊びでやるには厳しいものがあるので、なんとかフリーのもので。 FontForge Open Source Font Editorがフリーだ！Windows版は不安定との噂がどっかに書いてあったので、Ubuntuでや…

3次Bézierスプライン曲線の極値を求めたい。あるセグメントが \begin{equation} P_0 = (x_0, y_0),\ P_1 = (x_1, y_1),\ P_2 = (x_2, y_2),\ P_3 = (x_3, y_3) \end{equation} から定まるとする。 この時、セグメントは \begin{equation} \ell(t) = (1-t)^3 …

またダメだー161分3秒かかってスコア83点でAランク扱い...。 本質的にはC言語の研修レベルのアルゴリズムでA*探索アルゴリズムだとかそんな気の利いたものは不要だったというに...。 最初のアプローチでミスって結構作り直したので、std::bad_allocが飛んで…

TrueTypeフォントとか滑らかなやつはベクターデータで書かれていたりする。 AppleのマニュアルDigitizing letterformsを斜め読みすると「Bezier quadratic curves」なんて出てくるし、 \begin{equation} p(t) = (1-t)^2 p_{0} + 2t(1-t) p_{1} + t^2 p_{2} \…

なんか、svgタグでパスが書けちゃうらしいので実験。 とりあえずパス – SVG 1.1 （第２版）でも参考にしてみる。 ははぁ、随分楽に描ける。 <svg width="5cm" height="4cm" viewBox="0 0 500 400" xmlns="http://www.w3.org/2000/svg" version="1.1"> <path d="M 0,100 C 0,200 200,200 200,100" fill="none" stroke="red" /> </path></svg>

よく考えると、OS X MavericksとWindows 8.1の游ゴシック体・游明朝体のfont-family名について - ゆめいろデザイン :: フリーランス UIデザイナーにあるように、字游工房のフォント(字游工房＿游書体ライブラリー＿游ゴシック体ファミリーとか)が入っている…

人材獲得作戦・４ 試験問題ほか: 人生を書き換える者すらいた。を見てしまった。 これはpaizaのランクSの問題の1つではないか。 なお、可能な全経路を列挙した上で最短を求める、というアルゴリズムは、マップのほとんどがスペースである場合に現実的な時間…

を作ろうかなとふと思った。 ggると、 #include "Python.h" らしい。なるほど！ g++ -c main.cpp main.cpp:1:20: fatal error: Python.h: そのようなファイルやディレクトリはありません #include "Python.h" ^ 想定内！(゜∀ ゜)gcc - fatal error: Python.h…

してみたら惨敗だ。休日なのでやってみっかー！でやったのになんとも朝から気分が悪い。 119分3秒かかってスコア70点でBランクとはなんたるザマ...。 境界値データで1個ひっかかったのと大規模データが全滅(タイムオーバー)してしまった...。糞アルゴリズム…

社畜ちゃん台詞メーカーなるものを最近よく見る。 試してみるとなかなか面白そうである。どういう仕組みになっているのだろうか？ $(function () { $("#XXX").click(function () { ... } } か。DOMツリーが構築された後に、onclickハンドラを置換してるんだ…

2015-05-31の記事で で、タイトルに反映してみたが、なんか一部へんてこになってしまった... 追々調べてみようか...。 と書いてみたが、どうも一部だけ... というか「ら」だけ変とかそれ自体が変すぎる気がするので、作業ファイルを確認したら、予想通りサブ…

そういえば、大分前にgcc/g++にも飽きてきたので、LLVM/Clangに手を出してみるかと、きつねさんでもわかるLLVM ?コンパイラを自作するためのガイドブック? | インプレスを買ったは良いが、幾分読んで放置してたな...。 VirtualBox内のUbuntu14.04LTSさんが早…

githubにpushして確認していたら恥ずかしいcommit logになっていることに気付いて、ローカルでログを修正した。git/コミットログを修正する方法 - TOBY SOFT wikiを参考にした。というかまんま。 んで、git pushしたら hint: Updates were rejected because …

ローカルで作っていたgitリポジトリをリモートで使いたくなったので、Githubを使うことにした。GitHubにリポジトリを作成してみる - yk5656 diaryの通りに[Initialize this repository with a README]でリモートリポジトリを作成してみた。SSHの公開鍵を作成…