理学部数学科ではどんなことを勉強するか。 - ＊「ふっかつのじゅもんがちがいます。」
ということについて語ってるのをあまり見たことがない気がするので、試しに説明してみます。 ただ、僕は理学部数学科卒とはいえ、大学院に進むでもなく卒業後そのまま就職してしまったドロップアウト組なので、数学を正しく理解しているかというとそうでもなく、むしろ「大学のとき一番がんばったのは何ですか？」と言われたらアルバイトだったりする間抜け学生だったので、存分にまゆにつばをつけて読んでください。あと、有識者の突っ込みは歓迎します。 概ねどんなことをするのか 高校までに習うような数学の対象(：xy平面上や複素平面での四則演算や初等関数や微積分とかベクトルとか行列とか)はすごく機能豊富なものだったことを学び、それらが持っている機能のうち一そろいの一部分だけでも色々な面白い性質を持つことを学んでいきます。 どういう風に学ぶの 常に、定義->命題->証明のサイクルで学びます。定義命題証明定義命題証明定義命題
TDDを諦めることと、RSpecをやめること - 高柴ラボ
2014-10-17 TDDを諦めることと、RSpecをやめること Ruby on Rails Ruby RSpec 開発手法 最近Web上でも仕事場でも、RSpecをやめて別のテストフレームワークに変えようと思っている……みたいな話をちょくちょく見聞きするようになった。僕がRuby on Railsで開発を始めた2012年8月当時、すでにRSpecはテストフレームワークのデファクトと言ってよかった。一斉を風靡したRSpecが、なぜ今見直され始めているのか。 きっかけになったのは今年4月の、Rails作者であるDavid Heinemeier Hansson(以下DHH)によるTDD is dead発言だと思う。 5月にはこの発言によるTDDへの風評被害を重く見たKent Beck*1が、レフリーにMartin Fowler*2を迎え、DHHと相対するドリームマッチが開催された。この会談の
Goの文字列結合のパフォーマンス - Qiita
Goで文字列結合をする時、通常の+=は遅いから[]byteをappendした方が高速という話があったので、実際にどの程度の差が出るのか検証してみた。 Goでは文字列連結はコストの高い操作 - Qiita テストケース 以下のような9文字*10要素の文字列の配列要素を","で結合し、最後に","を追記するコードを実装した。得たい出力はstringなので、[]byteやbytes.Bufferを使う場合、最後にstringへのキャストを実行した。 var m = [...]string{ "AAAAAAAAA", "AAAAAAAAA", "AAAAAAAAA", "AAAAAAAAA", "AAAAAAAAA", "AAAAAAAAA", "AAAAAAAAA", } func BenchmarkAppendOperator_(b *testing.B) { for i := 0; i <
もし将棋盤がドーナツ型だったら
途中の局面は、私の棋力（将棋倶楽部24で初段ぐらい）では結論を出せません。■ 他の投稿動画 mylist/32180629
終焉の画家、ズジスワフ・ベクシンスキーが描いた地獄のビジョン、混沌と静寂。 : カラパイア
ポーランドの画家、ズジスワフ・ベクシンスキー（1929年 - 2005年、享年75歳）は、独特の世界観で退廃的で混沌とした絶望と死が見え隠れする作品を数多く生み出した。 その作風は不気味であり残酷であるものの、その世界にしかない独特の美しさを持っている。 ベクシンスキーの作品はすべてタイトルがついていない。作品の理論付けや詮索を非常に嫌ったという。これらの作品は、常にクラッシック音楽を大音量で聞きながら描いていた。 ■1. ■2. ■3. ■4. ■5. ■6. ■7. ■8. ■9. ■10. ベクシンスキーはポーランド南東部のサノク出身。少年時代にナチス・ドイツのポーランド侵攻を経験している。父も祖父も建築関係の仕事をしていた為、本人もクラクフ工業大学建築設計学部を出て建築業務で現場監督の仕事をしていたが、その後芸術の道へ進む。 1964年の初個展では作品の全てに買い手がつき、すぐさま
Go言語でプロファイリング（CPU profiling検証編） - taknb2nchのブログ
Go言語ではプロファイリングを行えるようになっています。 CPU profiling MEMORY recycling まずは「Go Profiling - John Graham-Cumming」のスライドを元にCPU profilingを試してみました。 ※試してみただけでどう対応すべきかについては述べません CPU profiling CPUプロファイリングはコード内のどの箇所に時間がかかっているかを調べるのに使用できます。 検証コードはこちらの内容から利用させていただいてます。 type Item struct { key string value string last time.Time } type Cache struct { cap int data map[string]*Item } func NewCache(cap int) *Cache { return &Ca
伸縮自在の不動産「Amazon Elastic Estate」 - いぬビーム
ついにAmazonが不動産に進出。しかもAWSの一機能だ。物件スペックを指定しての新規インスタンス(住居)確保はもちろん、1DK -> 2LDK といったサイズ変更も可能である（面積増加は可能だが、削減の場合は若干の条件がつく）。APIの向こうで行われるのは引っ越しであるから秒単位とはいかないが、同一エリア内なら最短6時間で梱包・移動・開梱まで完了する。 出勤中にスマホから間取り変更を指示すると、引越し先物件がサジェストされる。これをconfirmすれば、夕方には別の物件に帰宅することになる。元の鍵がそのまま使える。便利なのは "仮想住所" 機能で、配送業者に登録しておけば変更連絡なしに荷物が届く。電気ガス水道ネットといったインフラも承継してくれる。いくらクラウドが進化してもネットの中には住めないと思っていたが、何のことはない実世界をクラウドの範疇に含めてしまえば良かったのだ。 っていうサ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Btrfsは非常に安定した安心なファイルシステムです
Hello, systemd