id:hargの中の人が、一身上の都合によりid:hayamizに変身したため、本日をもって「[・ _ゝ・]日記を書くはやみずさん」は終了させていただきます。ありがとうございました。本日からは、id:hayamizの中の人が「日記を書く [・w・] はやみずさん」を心機一転…

今日実験がおわってから、学生控室でだらだら作業しながら実験のできない人について話をしていた。話の中で出てきた実験のできない人は二種類いる。 理論を理解していないし、予習もしていないので何をしていいのかわからない 理論を理解していて、予習もし…

OCamlは関数に渡す引数をスペースで区切るので、関数の引数に関数の戻り値を渡すときは、そいつを括弧で囲んでやらなきゃいけない。 funa (funb "hogehoge");; みたいに。括弧あったりなかったり考えるのがめんどい→全部括弧つければいいんじゃね？→それ何て…

今日大学で、C#の本を持ってる人がいたことからC#の話になり、最近のC#はクロージャが使えるらしいよ*1、というところから長ば強引に「クロージャを知りたいならSchemeが一番」とSchemeの宣伝に持っていった。そこで説明するときにとっさに"自由変数"と"束縛…

Ubuntuに引き続き、Twitter girlが学科でTwitterを広める予感、、、！ と書いておくとTwitter girlが自動的に巡回してTwitterを広めるというサービスはまだ実装されていません。

JRの見学に応募した気がするけど、事務室前の掲示には名前がなかったので人数制限にひっかかったらしい。なので今週は見学なし。

もしやと思って調べてみたら、やっぱりGnumericで複素数演算できた。Excelでもできるっぽい。今まで必死に手計算してた俺は一体、、、

プログラミングの勉強をしにいったはずの学科で、今日もせっせと電気回路の図を作っています。レポートさんから注文が入るたびにせっせと回路図を組み立てては出荷しています。いろいろと注文の種類が増えるにつれて、部品の数も増えてきました。

オレオレマージソートの一部 let rec merge_two ls1 ls2 ret = match ls1, ls2 with | x1 :: xs1, x2 :: xs2 -> if (comp x1 x2) then merge_two xs1 ls2 (x1 :: ret) else merge_two ls1 xs2 (x2 :: ret) | ls1, [] -> rev_append ls1 ret | [], ls2 -> rev…

夢の中で、Ruiさんからお茶に塩を混ぜたらオレンジジュースの味がするのを教えてもらって飲んだ。更にお茶の量を増やすとクレープフルーツジュースの味になった。

OCamlでひきつづきソーティング。camloptに-pオプションをつけるとgprofでネイティブコードのプロファイリングができるので試してみたら、全体の40%の時間がGC関係のコードに使われていた。リストをガンガン組み換えていく作業が、かなりのゴミを発生させて…

String.compare と = だとString.compareのほうが遅いので、同じ値が多い場合は = で比較してからcompareするようにしたら早くなるかな、と思ってコードを書く。すると早くなった！しかし、よくコードを見ていると意図しているアルゴリズムとは別のアルゴリ…

ソフトウェアの授業の課題のソーティングプログラムをOCamlで書き始めてから、度重なるStack overflowに悩むこと1週間。ファイル読み込み時のstack overflowは普通に末尾再帰に書き直してうまくいったけど、2つのリストをマージする関数に2,000,000要素くら…

math.runge-kutta とか作ろうかと思った。思っただけ。

ほげほげふがふがな経緯によって、普段からチョークバッグにLANケーブルを入れて常に携帯しているんだけど、いつも無線ばっかり使っていてなかなかケーブルを活用することがなかった。で、今日はじめて活用した。食べかけのお菓子の袋に封をするために。LAN…

最近家に帰ったころにはへとへとどろどろの状態。mixiの人の日記とかみて思わずコメントしたくなっても頭の中に浮かんだ文章は、普通の人が読んだとうとう本格的に狂ったか、と思われるような感じになったりするのでコメントしないくらいでろでろの状態。

とりあえず誘導電動機の勉強。理論だけならわかってしまえばわりと簡単だった。xcircuitで回路図書きまくる。

工学部電気系専攻の行事である工場見学が始まった。今日はバスに揺られて、東北地方と呼ばれて久しい茨城県は日立製作所に行ってきた。 でかい モーターとかジェレネーター(発電機)を作っている工場を見学させてもらった。内部は当然撮影禁止なのであの迫力…

例えばExcelで名簿なんかを作るときに、後から機械的に扱いやすいフォーマットで作成しているかとか、データに一貫性があるか（カタカナと平仮名が混ざっていないか、半角と全角が混ざっていないかなど）とか、そういうところでなんとなくその人のセンスがわ…

どんなイベントか知らないんだけど、とりあえず買ってみた。Gaucheプログラミングが会場で販売されるらしい。

むずいむずい。ソフトウェアの課題に全然手をつけてない。よくないなぁ。OCamlで書いてるけど、ダメそうだったらCで書こうかな。

昨日アラビックヤマトのTシャツを買ったので、大学に着ていったら予想通りの観測結果が得られた。

Intel® Education - Enhanced Learning with Educational Technology上から2つ目の写真は俺が撮った。しかしまだまだ修行が足りぬ。

一向に減る気配がない。こんなときは秘技タスク分割！ ↓ 増えただけだった。

咳をしまくる人間は 家 で 寝 て ろ 決まった生活を維持することはとてもコストのかかることです。特に生活を乱されて慣性力を削がれるのは死活問題です。大学にとっても頭の痛い問題ですが、それは出席した彼にとってもそうです。あと、その彼は予防接種を…

友達が家に来てたので、「Wiiやりたいよね。買いにいくか」と思いたって勢いでWii買った。ボクシングおもすれー。

マージソートはナイーブに実装したらスタックが溢れる。さて。

末尾再帰とそうでない関数で、再帰の回数をうんと大きくしたときの実験をしていたときのこと。 (define (succ x) (if (= x 0) 1 (+ 1 (succ (- x 1))))) という関数をGauche*1で定義して、次のように実行 (succ 10000000) するとメモリ使用量がぐんぐん増え…

できた。arrayでデータを受け取ってlistで返すという謎仕様なのは、データの列を分割するのはarrayのほうが簡単で、分割してソートした結果を組み立てていくのはlistのほうが簡単だったから。 open Array open List let rec mysort comp arr = match arr wit…

明治に通っているJSEC同期生と一緒に飯食ってきた。久々に会ったので、色々と話しこんでいるうちに閉店時間になっちゃったよ。法学部で文系の人だけど、ふつうに理系な話もできる人なので話しやすい。パソコンの話になったときに、Linux見たことないらしいの…