Lisperはプログラムに何を見るか - 八発白中
男子校に通う中学生の僕らにとって「家庭科」の授業は休憩時間のようなものだった。 僕の中学校には家庭科室というものがない。だから、いつもの教室で野菜の種類やそれに含まれる栄養素なんかを教わるというだけの、正直退屈な授業だった。話される内容はどれもただ暗記すればいいものなので、授業を聴かなくても定期試験前に教科書を読み通すだけで九〇点は取れる教科だった。 学校としても文科省の教育課程に沿うがためだけに時間割にねじ込んでいるに過ぎなかったと思う。特別教室がないことでも真面目にこの教科を取り扱う気がないことがわかるし、生徒の方でもその学校の態度を敏感に感じとっていた。 そんなやる気のない男子学生の前に立って話すのは教師にとって楽しいものではなかっただろう。僕らの先生は、落ち着いた雰囲気でどこかしたたかさのある、髪の長い女の先生だった。 その日も彼女はいつも通り、キノコに含まれる何々という栄養素が、
コードを削除したら喜ぶべき。知らない人がみたら意味不明なコードが残っていませんか？
昔はよくわかっていなくて、今は身にしみてよくわかっていることの一つは、追加した行数がマイナスのパッチは素晴らしいということだ。コードは削除できるなら消したいし、自分の書いたコードであれ、誰かが消してくれたらとてもよいことだと思う。 昔はがんばって書いたコードはなるべく「活用」したいと思っていた。活用というのはつまり、捨てるのはなんとなくもったいないから、そのコードをなるべく消さずにすませたいということだ。 しかし無理にコードを生かしておくことの意味など何もない。 コードの履歴などは全部いったん置いておいて、ある時点のソースコードを初めて見たものとしよう。そのソースコードが、そのプログラムが実装するべき機能を実装するために十分かつ最小限のコードであるのと、十分かつ最小限のコードに加えて何かよくわからないコードのどちらかであるとしたら、どちらのほうがいいコードだと思うだろうか？ 前者のほうがい
自分と同じ苦労をしなくていい人を見るとキレる人々 - 狐の王国
「社会の論理」を持ち込む人々という記事。 「社会では通用しない」と言いたがる人の視野の狭さについての話だが、まったくその通りだよなあと思いつつも、これって他のところでもよくある話だよなあと思ったりもした。 で、表題にいきついたのだが、要するに人は自分のしてきた苦労をしなくてもいい人を見ると冷静になれないんじゃないか、と。 最近の言語を否定したがるCOBOLプログラマ 金持ちを問答無用で嫌う貧乏生まれ Excelのマクロで一瞬で仕事終らせると「心がこもってない」とか言いだすおっさん ネットで情報わんさか手に入れてる若いオタクを見ると「昔はこんな情報一つ手に入れるだけでも云々」とか言いだす老害オタク 才能に恵まれた人をひたすら妬む無能 失職して派遣村に入った人に説教したがる再就職で苦労したクチの人 在日外国人は簡単に生活保護もらえると聞いてキレる低所得者 職のある外国人労働者をヘイトするリスト
プログラムの実行時間を計る事と半環の代数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「零の概念とmax-plus半環の紹介」において： max-plus半環やmin-plus半環の計算技術は、トロピカル代数（tropical algebra、より一般にはエキゾチック代数）と呼ばれたりします。[...snip...] 例えば、プログラム意味論に計量的な要素を入れるとき、トロピカル代数が使えそうです。 実際にトロピカル代数を使ってプログラムの実行時間を計って*1みます。 「零の概念とmax-plus半環の紹介」で導入した概念は断りなしに使います。内容はまだ生煮えなところがあります。 内容： プログラムのモノイドとプログラムの半環 プログラムの実行時間 実行時間の計測値となる半環 もっと精密に実行時間を記録するには まだ精密さが足りないと思うなら プログラムのモノイドとプログラムの半環 p, q などはプログラムを表すとします。プログラムの全体をMとします。当然に、その「プログ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
