ISBN:4-00-006883-0:detail 方向微分 ベクトルを考え、点がからの方向に動いたときにがどのような割合で変化をするかを考えるとき、のについての微分をで考えれば良い。これを方向の関数の方向微分という。 勾配ベクトル場 変数関数に対して、その勾配ベクト…

までをまとめたいと思います。絵をかくのクソみたいにメンドいから文章だけです。 半導体とは 電気的性質で物質を分類すると 導体 絶縁体 半導体 に分けることができます。一般に、この分類基準は抵抗率であることが多いですが、これを「エネルギー帯構造」…

っていうトラックバックがぼくの高貴なブロッグの雰囲気をこわしてるのムカつくけどおれが消すのメンドいからお前ら積極的になんとかしろ!!!!!!!!!!!!!!!!!!!!!!

準同型写像 2 つの群 があり、からの中への写像が次の条件を満たすとき、をからへの準同型写像という。つまり、。 特に が 1 対 1 写像のとき、同型写像と言う。 定理 証明 。は群であるから、には逆元が存在する。これを両辺にかけると 。ここで両辺にの逆…

半期に一度の自己評価をおこなう時期になりましたので、上司に「そろそろ…」と伝える恒例行事ももうすぐですね。

ブログ書いていませんのでブログ書いていきましょう。

ちょっと前から量子スピンって何なんだろうという好奇心がモゴモゴしておりまして、種々の Web サイトを見たり Wikipedia 探訪をしてみたりしたものの「分かった!」という実感に至らず、というか余計に分からないことが増えまくったので、量子場に手を出して…

ISBN:4-7819-0574-9:detail イデアル がの空でない部分集合で、 という性質を持つとき、をのイデアルと言う。のイデアルはある整数を用いてと表される。 証明 の元が0だけのときは、である。これ以外のとき、には正整数が含まれる。このとき、に含まれる最小…

[ISBN:4-535-78504-X:detail] 集合 G に写像 が与えられており、 と書くとき、 を満たす G を群と言う。 ここで、は単位元、は逆元と呼ばれる。さらに、 に対して が成り立つとき を可換群(アーベル群)と言う。 が可換群のとき、演算 を と書くことがあり、…

簡単に現在のメモリ使用量を確認するコマンドとして free がありますが、free コマンドで出力される Mem-free が少ないからといってパニックに陥る必要はありません。 Mem-free は、その時点でメモリに乗っているバッファキャッシュやページキャッシュの領域…

夏風邪ひきました。 夜に会社から帰ってくるだろ、まだ残暑きびしいもんだから徒歩で帰るとじっとりと汗をかくだろ、でも家に帰ってくると部屋のなかがどうしようもなく暑いからすぐ薄着になってガンガンクーラーつけるだろ、で、疲れてるもんだからすぐに寝…

UITableView は iOS の中心とも言える View であるため、API としても様々な部分がカスタマイズできるようになっています。 UIView として宣言されている ReadOnly でないプロパティは、(自明ですが)カスタマイズ可能と考えてまずまちがいありません。 |objc…

背景 Vimperator といえば Firefox の超有名アドオンです。Firefox にはこのアドオンがあるために、ぼくは Chrome に移行できない。 Vimperator のなにが良いかというと、Firefox が Vi のキーバインドで操作できる点にあります。 Firefoxをキーボード操作で…

夏と言えば花火、花火といえば夏です。 しかし、東京での花火というと人間がたくさんいますから酸素が足りなくなる。酸素がないと人間はダメです。おまえらはだめだ。もちろんぼくもだめです。ダメさ加減でいうとどっこいどっこい、もうみんなダメだ。 それ…

自転車がぬすまれたんですけど、一日したらよくわからんうちに優秀な帰巣本能でアパートの駐輪場に帰ってきました。 この結果から、伝書鳩よりか自転車に手紙あずけた方が確実に相手に手紙届けてくれる可能性あると思ったけど、自転車はただ帰ってくるだけだ…

ノンファットミルクチョコレートチップバニラクリームフラペチーノとか、頼むとき確実に舌を噛んで死ぬ気がする。

礼服で会社に行かないほうがよいです。会社に礼服で行くと このクソ暑いのに礼服を着ていると汗でジットリなってムダにクリーニングに出す必要が生じる 会社では異常な体制で仕事をしたりする場合があり、そのときに礼服が擦れるし耐久性が心配になる そもそ…

はじめてコミケ行きましたけど、人間がたくさんいました。

そいやコンクリートジャングルで暮らすうちに蓄積したストレスを発散すべく MacBook Air を購入したのでした。 この MacBook Air は SSD 搭載ですが、SSD といえばフラッシュメモリ、フラッシュメモリといえば書き換え回数制限です。書き換え回数の上限に達…

自宅の管理会社におこられた！！！！！！！！！！！！！！！！！！！！！ぼくは 2 週間ほど前にだれよりも静かに自宅のカギを紛失してて、管理会社から借りたカギで生活してました。 警察にも届けたけどなにも音沙汰なくて、あーカギというのは儚いものであ…

現実と戦う時間なんてありません。

env に -i 引数を渡してコマンドを実行する。 $ env -i your_command よく知られている env コマンドの使い方は設定されている環境変数を出力することである。何も引数を与えないで env コマンドを実行すると、設定済みの環境変数が標準出力に出力されるので…

ぼくは奨学金にかなり世話になりながらこの人生を歩んできました。 奨学金というのは、一言で言えば低利子の借金ですし、借金というのはもともと人の金ですから返さないといけません。この金は別に返さないでいいよーという奇特な人もタマにいますが、滅多に…

このあいだ 3 年くらいかけてようやく LOST の全シリーズを見終わりましたので、急ぎご報告いたします。 世界210カ国以上の国と地域で放送され、社会現象となった あの伝説のテレビシリーズ「LOST」謎が謎を呼ぶストーリーと、先が読めないミステリアスな展…

みなさん今日も家族の灯りに照らされておだやかな食事時間をおすごしのようで何よりです。ぼくはそんなみなさんを見て自分のことのように嬉しい。 かくいうぼくは両肩に疲労という荷物を背負いつつ独りぼっちでラーメン屋さんのラーメン喰うことにしたんです…

iPhone から某 WebService のフォーム認証をパスするまでのコードを書く上で HTTP POST を行う処理を実装する必要があったので、その流れを少しメモって行こうとおもいます。 なお実装は、https://github.com/kishikawakatsumi/ldr-touch をかなり参考にして…

iOS5 beta4 がリリースされたので、早速じぶんの iPhone にインストールしていたら、バックアップ取るのを忘れていたので、ぼくの家計簿データが死にました。

オクトーバーフェストというと世界最大規模のお祭りなわけですけど、これはもともとドイツのお祭りでもともとはドイツの人が醸造を祝うお祭りで、そもそも日本には無縁です。 ですから、そのようなオクトーバーフェストが日本で開催されるということそのもの…

SnowLeopard までは Terminal.app には SYMBL プラグインとして Visor が存在しており、hot-key を入力するとどこからともなくミョーンっていう感じで Terminal が出現し、スゴく渋いということで、ギーク、ワナビーを含めて人気がありました。 しかし、OS …

XCode 4.2 から ARC (Automatic Reference Counting) というリファレンスカウンタを自動で制御してくれる機能がついていますが、これを有効にすると retain/release/autorelease といった手動での参照カウンタ制御用メソッドの呼び出しがコンパイルエラーと…