雑記

後期の始まり

大学生の長い夏休みが明け, いよいよ後期が始まってしまいました. 初っ端からの授業は良い睡眠時間でした. 今期は3つ授業がある. そろそろ就活も始まる時期. 頑張っていきましょい.

祇園祭に行ってきた

宵宵宵山, そして宵宵山に行って来ました. 明日は学校に行かなくてはいけないので, 今日と昨日の分です. 昼間は暑くてかなんので, 夜の四条に繰り出して, たくさん鉾を見て来ました. 今日歩いたコースは, 四条烏丸→四条河原町→八坂神社→四条河原町→四条烏丸→…

はてなブックマークの○○usersアイコンがニコ動ランキングのページででかくなってウザい

デカイよ!前からずっと思ってたけど、なんかデカイよ!よ!

基本情報技術者試験(FE)受かった

午前は76.25点, 午後は93点であった. やはりストラテジ系の得点が15/25しか取れていなく, 午前の点数の足を引っ張る状態となってしまった. 午後の点数はぼちぼちと言ったところであろう. 次は応用情報技術者試験(AP)を受けようと思う. 順調に受かれば, 就活…

ラムダ計算の話でD \simeq D \to Dが出てくる理由が分かりかけたけどやっぱりよく分からない

ラムダ計算の数学的体系を考えようとすると となってしまうので, 普通の方法ではうまくいきませんよね, みたいな話をdomain theoryの導入ではしばしば見かける. 大体の文献でほとんど自明みたいに書かれるから, ずっとよく分からなかったのだけど, やっと意…

圏論の説明を書いたブログ記事があなたに理解できない理由

圏論は数学である しかも, とても洗練された数学だ. 数学が苦手な人が, たった数ページのブログ記事で圏論を理解できるわけがない. 理解した人は, 何ヶ月も何年もかけてそこに至った 圏論についてブログ記事を書く人は「うおおおお圏論分かったwwwwすげぇwwww…

xのxのxのxのxのxのxのxのxのx乗乗乗乗乗乗乗乗乗の謎

タイトルに括弧を付けるとすると, (xの(xの(xの(xの(xの(xの(xの(xの(xのx乗)乗)乗)乗)乗)乗)乗)乗)乗)の謎 となります.いきなりですが, 問題です. 問一 次の方程式をについて解きなさい. ただし, 冪の記号は右結合するものとする. 解答 最初の冪の上側がな…

「zshのalias -s (suffix alias)が神な件」の反応を見て思ったこと

今年は, 幸先のいいスタートとなった. 年が明けてから, と言うか2月に, 二つもエントリーがヒットしたからだ. 実装して理解する遅延評価の仕組み 〜 thunkを絵に描いて理解しよう・JavaScriptでHaskellを実装!? - プログラムモグモグ zshのalias -s (suffi…

美しすぎるハートの数式

バレンタインデーなどというイベントとは全く無縁の人間だが、Heart Curve -- from Wolfram MathWorldというページをぼんやり眺めていたら、驚くべきほど美しいハートの数式を見つけてしまった。 更に、この関数はHeart Surface -- from Wolfram MathWorldの…

はてなブログに移行しない理由

2012年は, 多くのプログラマーがはてなダイアリーからはてなブログに移行するのを見た. さらに先日, はてなブログは正式サービスとなった*1. それでもはてなダイアリーを使い続けるのには理由があるので, ここに書いておく. はてなの中の人には, はてなブロ…

2013年の抱負

学位 最優先事項よ♪ 物理 今までどおり勉強, 電磁気学極めたい. あと量子力学. 数学 挫折気味. 幾何?代数? プログラミング モチベーションを保つ(ウッ FE, AP アレとアレとアレをリリース(吐血

2012年を振り返って

「諸行無常」 『涅槃経』 「なにもかも…変わらずにはいられないです。楽しいこととか、うれしいこととか、ぜんぶ。…ぜんぶ、変わらずにはいられないです。」 『CLANNAD』 大きく環境が変わった年でした。 「朝ニハ紅顔アリテ、夕ニハ白骨トナレル身ナリ」 『…

複素数の絶対値をめぐる技術

「複素数の絶対値と向き合えますか?」 複素数は, 2つの実数で表すことができます. それは実部と虚部であったり, または絶対値と偏角であったりします. 特に, 前者から後者への表記の変換は, 数覚の一つの重要な根幹となります. 今回は, 複素数の絶対値を素…

「今生きている人は今まで死んだ人より多い」は間違いである

― 今生きている人は今まで死んだ人より多いこんな都市伝説のような話がある。グラフまで持ち出してまことしやかに語っているブログ記事まで存在する。人口増加が指数関数的に加速しているので、今まで死んだ人より多いくらいの人間が生きているという主張だ…

ほめられて伸びてきた世代のSNSにおける女装及び幼女化の動機について

中学や高校では100点満点の絶対的な点数評価であったためすっかり忘れていたのだが、小学生の頃の通知簿(あゆみと言われていた)は三段階評価、優・良・可であった気がする。最近、『人類は衰退しました』というラノベ原作のアニメにも出てきていた、「ゆと…

最近いろんなモノが要らなくなってきた

最初に要らないと感じたのは, node.jsだった. かつて熱狂的なnode.js支持者であった私の興味は, 完全に失われてしまい, 嫌悪感さえ感じるようになった. 新しいパソコンにはもはやインストールしていない.次に, Pythonが要らなくなった. といっても, Vimのプ…

狂信的なプログラミング言語支持者批判

どうも最近目も当てられないのでちょっとだけ書いておく。特定のプログラミング言語を盲目的に持ち上げるのは辞めよう。広義的に言語支持者と言えば、それなりに合理的な理由を持っている者もいる。そういう人達を批判する理由はないし、そういう立場ではな…

mplayerというソフトが素晴らしすぎて困る

いいソフトというのは客観的な基準は無い。趣旨にも依るが、ソフトというのは基本的に道具であり、道具は人を選ぶ。つまり、人のおすすめソフトがあなたに合うとは限らないということだ。以上のお断りをご理解していただいた上で、mplayerというソフトの素晴…

スクロールバーは死ぬのか

最近, スクロールバーの進化をまとめた画像が話題になりました. (画像の出典: http://twitter.com/ilistes/status/250658949467099136 ) ほう, スクロールバー, かっこよくなっているなぁといった感じです. Vistaや7のものが無いのは, おそらくこの人がマカ…

3つのベクトルの張る体積

平行四辺形の面積 まず, 2つのベクトル(ベクトルを横に書く悪習は辞めましょう) が張る平行四辺形の面積を考えよう. 小学生でも習うこの公式 = (底辺) × (高さ) を思い出そう. 底辺をとすると, これに対する高さは となる. ここで, はとがなす角である. する…

ギブズの現象

フーリエ級数 を実数の周期関数とする. ここで, で定義された数を, フーリエ係数と呼ぶ. がある条件を満たしたら(凡人が考えつくような関数なら大丈夫), フーリエ級数はに「収束」し, は次のように表すことが出来る. は偶関数の成分, は奇関数の成分を表し, …

Googleの電卓が進化した

Googleの電卓, 以前から高機能であることが度々取り上げられていますが, 最近, 更にパワーアップしました. なんと, 本当に電卓のボタンが出てくるようになったのです!!! 大きな数でも大丈夫!!! 単位の変換も, より分かりやすいUIで!!!ますます便利…

単位ステップ関数のフーリエ変換

単位ステップ関数のフーリエ変換は, 非常に難しい. 今回はこれを考察してみよう. フーリエ変換は次の式で定義する. 単位ステップ関数は次のように定義される. この関数の微分はデルタ関数で与えられる. これの両辺をフーリエ変換すると, よって, 公式 を用い…

数覚を養う ー 定積分の感覚

問: 次の定積分を求めよ. はい, 不定積分がだから... って考えた人, 負けです. あなたの負け. こんなものは, のグラフが頭に入っていれば, 一瞬で2だと分かるのです. sin xの感覚 のグラフを見てください. 赤く塗りつぶしたところが積分したいところです. お…

暑い

たしかに

任意の関数は偶関数と奇関数の和で表せることを示せ

問題: 実数全体で定義される任意の関数は, 偶関数と奇関数の和で表せることを示せ.解答: , を次のように定義する. すると, であり, は偶関数, は奇関数である. わりと長いこと気になってたけどなんてことなかった. 一意性もオーケー.んあ, ちょっと待って. …

Categories for the Working Mathematician買いました

とうとう買ってしまいました. これまで図書館でこの本を借りた回数は数えきれず.挫折した回数も数えきれず.functorとnatural transformまで読んで分かった気になって, ずっと放置してました.でも, 圏論の用語とかがぱんって出てきて, ぱっと引きたい時とかが…

ファイルが開けません

ボブ「おい、ジョン、このファイルはまたアレだよ。俺には無理だ。吸いだして読んどいてくれ。」 ジョン「オーケーさ。というか、前ツール渡したしたじゃないか。」 ボブ「うーん、ダメだわ。やっぱこういうのは向いてないみたいだ。」 ジョン「まぁいいさ。」 こち…

常用対数使わないって言う人は2進数使ってればいいと思う

log この関数ほど, 素晴らしい関数はないと思います. expを除いて.対数は大きな数をイメージするのに重要だし, そもそもグラフのプロットは対数プロットがほとんどです. (というのは言いすぎかもしれないですが, 科学では少なくとも...) しばしば話題に上が…

10!秒

階乗のおさらいをしましょう. 自然数について, 階乗を次のように定義します*1. 小さい方から並べると, 次のようになります. 階乗はみるみるうちに大きくなっていきます. 10の階乗は, です. ではタイトルの10!秒って大体何日くらいなんでしょうか. 順番に割っ…