Heartsnative/数学

はつねいてぃぶやっぱすごかった。
なにがすごいってやっぱり柏森さんのセンスがすごい。
子音を統一した文章ってなんか独特の空気が出てくる。
カラオケか何かで歌いたいクオリティ。
HATSUNEtiveも好きだけどこれやっぱすごい。
電気の恋人も間奏の音が中毒になる。あれはいい。

そして定義に帰った微積をやってみるテスト。
sin x の導関数って代数的に求められるのかな…。

数学ガール ゲーデルの不完全性定理 読了

まず数学に関する理解と#onwritingに見れる「書くこと」に対する姿勢が無いとありえない作品だと思う。
高校生たちの姿を通じてわかりやすく伝えようとしているのがすごく伝わってきました。

ゲーデルの不完全性定理の＜冬＞は眠くて若干流し読みだったので今度ゆっくり読もうと思います。
ただ、今回はいつもに増してミルカさんがかわいかっこいい。


「きみには、螺旋が見えてない。」 #mathgirl

進行中

今日は久々に充実した一日だった。
朝から学校行って御輿の設計を確定させた。
これはずいぶん大きな一歩。
何度13Fとの間を往復したことか。
2回だけど。

AutoCADをフル活用した。原寸図A3で出したし。
あと建設の見たことの無い機械とか活用した。
木材加工とかホームセンター並みにできるね。あそこは。

そして帰ってから墓参り。
お彼岸だし。

もっかい帰ってきてからハーゲンダッツを食べた。
うまい。
アーモンドプラリネクリームだったかな。
今度はスイートポテトパイ食べよう。

数学少女。むしろ理系少女

言い負かされたい。

ああ、言い負かされたいとも。

CUDAサマーキャンプ

行ってきました。
まず何より驚いたのが私の話を理解して聞いてくれるのが当たり前なんですよ。
やばいやばい。
ゼータ関数が通じる人初めて見た。
それ以前にみんなプログラミングわかるんだもの。
嬉しいったらありゃしない。
普段はそうちょうくんしか聞いてくれないのに。
まあ、そうちょうくんすら聞いてくれないときもあるけどｗ。

で、改めて高専生のQualityの高さに驚いた。
基本的に自分以上のプログラミング能力なんだもん。
なんか工業高校が生ぬるく見えてくるレベル。
工業高校でも十分Qualityは高いはずなんだけどね。

で、NVIDIAからはいろいろもらいました。ボールペンとか。タオルとか。
でも一番もらったのは知識と交友関係です。
正直GTX285よりもいいものをもらった。
よし、今日良いこといってるｗｗ。

肝心のCUDAの解説については箇条書きで
・GPUのコア数やべえｗｗ
・並列化やべえ
・てか質問しやすい環境やべえ
・みんなのモチベーションやべえ。俺もやべえ。
・てか俺のテンションやべえ。twitterユーザーやべえ。
・おれきめえ。
・プログラミングコンテストやべえ、バイナリゼーションやべえ。
・長野高専の人やべえ、128で割ってintでキャストとかやべえ。
・そうか、if文へらすんだもんな。やべえ。
・で、結局二次元のidxのつけ方がわからん。
・xとyは分ける方針でいいの？
・飯塚さんやべえ。面白い。Iくんに似てるｗ。
・てかこれに参加して以降の俺のテンションとモチベーションやべえ。
・今週末パソコン甲子園の予選やべえ。
・こんな記事書いてるばあいじゃねえ。
・でも眠い。

カオスｗｗ

あ、それと参加した人でこの記事見た人がいたら
近くにいる人は10/3、4の総科祭来てねー。

" KST [検索] "

連絡取れる人は連絡取るよ。