だかーぽなつかしい

posted at 19:15:12

おお、やすみかー

posted at 09:21:45

今日休講なんて先週いってたっけ。

posted at 09:22:17

@daisy1754 メーリスで言語処理系論休講ってきてた。。

posted at 09:24:17

ラーメン食べてこーら飲んだら猛烈に気持ち悪くなった

posted at 20:56:21

また突然ubuntuログアウトした。bashでemacs hogeって入力してエンター落ちた瞬間に落ちた。

posted at 22:47:21

論理合成がなかなか終わらない。こんなもんなのか。

posted at 14:27:28

call by nameにするためにタプルとリストの実装をちょっと変えねばならぬ。めんどい。

posted at 17:05:17

この、気がついたらニコニコで数時間トラベルしてるのはいい加減何とかしないと…

posted at 00:58:38

寝る前に一応今日出力した10万パターンをチェックするプログラム作った。とりあえず、ランダムに生成した10万パターンで誤差が2ビット以上あるのはなかったから明日か明後日には基盤で動かすかなー。何が恐ろしいかって、これは先々週出された課題だってことだなぁ・・・

posted at 01:43:33

明日は朝ゆっくりしてられるし、今から思う存分漫画読むぞー

posted at 01:44:09

今日は噂のペプシを買って飲もう。。。

posted at 15:34:48

「5/23 23:20に、課題5の自動チェックを一部修正しました。」・・・ん？

posted at 00:46:37

@nue_of_k OS第5回の自動チェック、修正されてから走ったのかなあと思いまして。。もしこの修正で弾かれたりしたら嫌だなぁ...

posted at 01:20:41

@punk_cyber やっぱそうなのか。。

posted at 01:27:30

多相型・パターンマッチの型推論もようやくできたっぽい。しばらくバグと戦っていたけど、もう大丈夫だろう・・・。大丈夫だと信じたい。大丈夫であってくれ。

posted at 01:31:57

Yコンビネータが動いた。…え、これ、別に特別な拡張とかしてないんだけど、なんなんだ。どっか型推論甘いとこあったか・・・？

posted at 02:20:41

朝5時前までB型H系を読んでたせいで眠い

posted at 10:26:07

休校するほどの雨なのか…

posted at 10:44:16

FP加算器、とりあえず入力入れたら出力がでてきた。今からこの値があってるかをチェックする作業。

posted at 15:40:14

VHDLに落としたのでとりあえず10万通りチェックした。丸め誤差以外はおっけー。丸め誤差もちょっとRound-Evenになってないっぽいだけで、許容範囲だと思うけど…気になるからもうちょっと粘る。

posted at 21:01:49

にやり

posted at 23:22:15

けいおんタオル、空けたけど使うのはさすがに無理だ。もったいないw

posted at 00:46:43

今日はゲーセンで散財したり漫画読んだりニコニコ見たりしてたら一日が終わっていた。夜から申し訳程度に課題をやってたけど、グダグダやってたからほとんど進んでない。でも一応型スキーマの実装ができた。よかたよかた。

posted at 00:56:12

今日は地下に行ってFP加算器をVHLDに落とす作業をしようかと思ってたけど、起きたときに雨降ってたからやっぱり引きこもることにした。そのせいで今までgdgd過ごしてしまったorz

posted at 16:26:11

家でそれっぽいVHDL組んで明日地下でデバッグかなー。。。

posted at 16:26:46

とりあえず同符号の場合はVHDLに落とした。気がする。けど、まあどうせ動かないから明日頑張ってデバッグしなくちゃいけないんだろーなーorz

posted at 18:18:36

キャラメルプリンタイム

posted at 18:18:46

シュミレートするためのVHDLの書き方がよく分からないからとりあえず放置して明日どっかで本をあさる。「ファイル入出力機能などを用いて」ってさらってかかれても。

posted at 20:26:18

よし、ファンタ飲んだらパターンマッチの型推論やる。

posted at 21:26:31

パターンマッチの型推論動いたから夜御飯。お腹空いた。

posted at 23:00:52

あずにゃんタオルがもったいなくて開けれない使えない。

posted at 00:16:52

あずにゃんたおるが可愛かったから、いまから唯と澪も取ってこようかと思う。コツはつかんだつもりだからそれぞれ1回か2回で取れるだろう。。。

posted at 10:55:12

山田ーーーー

posted at 17:14:00

とうとうこのパソコンもスピーカーから音がでない現象に襲われた。

posted at 17:55:22

もうだめだ。ゲーセンいってらんないとやってらんねぇ！ってことでゲーセン行く。

posted at 20:01:05

今日はひたすらゲーセンで散財しよう

posted at 20:07:08

アメ横に向かうために上野公園を突っ切ったらカップルが軽めになさっていた

posted at 20:16:23

あずにゃんタオルがとれた

posted at 21:00:55

ゲーセンでは結局1000円しか散財しなかった。QMAとUFOキャッチャーを適当にやってきた。戦利品はミクのストラップとあずにゃんのタオル。あとは帰り道に漫画を大量に買ってきた。こっちの方が断然高くついた。

posted at 21:40:05

とりあえずzlib爆発しろ

posted at 03:50:04

最近睡眠が一日2回ぐらいに分断されてて、常に眠い。

posted at 09:45:29

いやあ、早く見たいな俺の妹。。

posted at 22:06:45

もうこんな時間だと・・・？

posted at 00:02:01

型推論の実装と戦ってたらご飯食べるの忘れていた。でも、おかげで単相型、マッチングなしの型推論はだいたいできた。

posted at 00:04:22

気のせいだった。「とりあえずタプルとリストの対応は後回しでいいやー」ってしてたの忘れてたw対応しないと。

posted at 00:06:36

let recの型推論も忘れていたので追加していた。ちゃんと相互再帰関数とかでも推論できた。よかったよかった。

posted at 00:33:26

あとリストだけなんだけどなー。なぜかヘテロリストを弾いてくれない。

posted at 01:21:44

もうきょうはやーめた

posted at 01:25:46

結局気になって少しプログラムをいじってた。リストもちゃんと型推論できた。

posted at 02:43:25

寝起きのキャラメルマキアート

posted at 17:48:54

SPARCのスライドを作ってて、そういえばレポートも提出しろとかいってたなーってのを思い出した。7月末までとはいえ、近いうちに書かないと細かいこと忘れそうだからなぁーめんどくさー

posted at 21:33:09