by VHDL。楽勝気味だった。後は適当にレポ書いて提出と。

ぴらぴら様(id:yoira)の多大なる協力のおかげで、問題の半分は示せた。来週までにもう半分。

千葉滋先生が「ハッカーと研究者」というお題で「ハッカー養成塾!」に登場していらっしゃるのだが、その中で僕が4月号に書いた「アカデミックな世界では論文を重視し実装を軽視する傾向がある」という一文に反応して頂けました。割とラジカルな事を書いたの…

13日に小柴ホールで有ったやつ。 動的言語のメリット and デメリット 言語の進化は遅い 言語は人間と直接触れ合うものだが、人間の進化が遅いので言語の進化も遅い Rubyは「普通のLisp」 「普通」である事の重要性 Scheme難しい Ocaml難しい Haskell難しい …

ここんところSequent Calculiと格闘しまくり。論理系は得意じゃないのだがやるしかなぃぃ。かなり息切れ気味だが、課題が６段パイプラインでやってくる。さて、どうしたものか。というか周りを見てても最近かなり息切れしてる雰囲気だ。ISer元気がないぞ。

write(2)の正しい使い方にEPIPEシグナルについての記述を追加しました。このシグナルの存在意義がよく分かりません。

言語処理系論 レジスタ割付 OS演習 MPIライクな通信ライブラリを作る(分散メモリ型並列計算機の通信ライブラリ) リモートプロセスの生成 全対全コネクションの確立 barrior, reduce等 MPIの仕組みから調べないとなぁ。(Opteron * 2) * 24台のクラスタを駆使…

SigScheme version 0.6.1をリリースしました。SigScheme 0.6.1 New Features Support R5RS hygienic macros Support format strings (covers SRFI-28 and SRFI-48) Add global symbol exportation control method in portable way (see doc/global-obj.txt) …

ここ1月ぐらい取り組んでたモノが実働レベルになった。後一個大きい機能を実装したら終わり。ちょっと飽きてきた。

現状ではヒープサイズが増える一方なので compaction もしてみようかな、という話。 H. B. M. Jonkers. A fast garbage compaction algorithm. Information Processing Letters, 9(1):25--30, July 1979 HaskellのYhcが参考にしているとの事で図書館でゲット…

学校にVHDLのレポートを書きに来たんだが、どうにもマウスでぽちぽち開発するのが面倒だったのでModelSimのドキュメントを漁っていた所、Tclでマクロが書ける事が分かった。GUIがTcl/Tkなんだそうな。これでマクロを書いてビルドやら波形出力やらを自動化す…

kzk9.netドメイン取りました。

今日の昼間は威勢良く ab -n 1000000 -c 100 localhost:8080/とかして喜んでた。調子に乗ってepoll使ってみようと思って作業を始めた。 SOURCES=httpd.c http-protocol.c ... httpd-epoll: gcc -o $(SOURCES)makeしたらメインファイルが吹っ飛んだ...。make…

離散数学 本日もkernel/signal.cに突撃... OCaml演習 pattern match parametric polimorphism record & variant 多相データ型 softdrinkにてOCamlで書かれた道路管制システムが有るという噂を聞き付けたのだが、本当なのかな。授業の最後にRubyの凄い人が小…

論理学 NPTLのシグナルモデルを理解する為にkernel/signal.cを読んでた... ハードウェア演習 VHDL3回目 レポート: シリアル -> パラレル変換回路の作成 MLに流れてたが、13日にMatzさんが大学に来はるらしいので聞きに行こう。今週は珍しくレポートの提出期…

ALU作成中。足し算出来た。でも品質を保証するには全パターンをファイルに記述して、その結果をファイルに書き出し、得られるだろう結果とdiffを取る必要が有るな。ファイル入出力がまだ良く分かってない。

地下でちまちま読んで、現在5章突入。勉強になりまくり。5章とAppendix Aは絶対に読んだ方が良い!!

某社の面接。疲れた。出来は...70%ぐらいかなぁ...。

前にid:jun0さんが紹介してくれたc10k problemのDan Kegel氏も作業をしてたようだ。すごー。でもパッチ見たらCode Weaverの人ばっかり。あれ？

離散数学 体調悪すぎで欠席... OCaml演習第1回 課題はgcd, log, pow, fib, isprime, compose

VHDL2回目 課題「ALUを作れ」 加算、減算、左右シフト、論理演算、乗算、除算、剰余など httpdは大体出来た。文字列処理が面倒だったので良い機会だと思って、自分用の文字列処理ライブラリみたいなのを作ってみた。しっかしRubyで書きたかったなぁ...。

西田先生のお話をお聞きしたり、バイト先で書いてるモノが少しずつ動き始めたり、CPU発表したり、httpd書いたり(GET & HEADまで実装)、Non-Blocking I/Oについて深追いしたり、某面接に向けておさらいしたり(これがメイン)、そんな感じ。sendfile(2)がread &…

udp server/clientの実装 簡易httpサーバーの実装 3つの実装 process thread select/poll GET/HEAD Server Status 設定ファイル オプショナル RFC2616に準拠して機能拡張 課題溜まってきたぁ...。

HPSG (Head-Driven Phrase Structure Grammar) LiLFeS課題3回分溜めてしまった。

情報論理(H谷先生) ハードウェア演習 VHDL初歩(ModelSim) 小石川植物園で理学部交歓会 ビール飲みまくり S原先生の vi a.out 話 H木先生の研究室勧誘話 はりーさんにはめられて全員の前で喋る事に... まぁほとんど誰も聞いて無かったけど トイレに行くために…

while (buf->filled == BUF_SIZE) { pthread_unlock(&buf->mutex); pthread_cond_wait(&buf->cond, &buf->mutex); }unlockがいらない。unlockはpthread_cond_waitが処理してくれる。いや、unlockしないとdead lockしちゃうじゃないですか、だから自分でやる…

課題やる。溜まりすぎ。 LiLFeS αβ枝刈り OS演習 pthread (Bounded Bufferを用いた並列素数判定プログラム)

C(++)言語: valgrindの使い方少し前ぐらいからvalgrindの使い方をまとめていました。よければどうぞ。

またBSD本ネタですが、BSDの実装ではsignalが呼ばれた際にsignal contextとsignal handlerをスタック上に確保し、sigreturnで返ってくるという実装が用いられています。これをsignal trampoline codeと呼ぶそうです。しかしgniibe先生のcodeblogを見るとどう…

例のBSD本にnull(address 0)の読み書きが禁止されている為に、nullポインタにアクセスするとSEGVが起こると書いて有りました。確かにそうですね。アマノジャクぶりを発揮してこんなのを試してみました。 int main(void) { void *p = (void*)0; int r = mprot…