ケータイ小説 計算機科学入門 第2話 - sumiiのブログ
定義だけなら サルでもできる 理論は例と定理が命 有限状態オートマトンの例 入力として 0と1の列を考える 自然数nを2進数で 大きい桁から順に書いた列よ nが3の倍数かどうか 「計算」するオートマトンを作るわ 状態集合Qは{q_0, q_1, q_2} つまり状態はq_0, q_1, q_2の3つ 現在の状態がq_iだったら それまでの入力列が表す自然数nを 3で割った余りはiになる そうなるように 遷移を定義するの 例えば現在の状態がq_2のとき それまでのnを3で割った余りは2 そこに入力0が来たら 2進数の下一桁に0を付け加えるのだから nは2nに変化する nを3で割った余りが2ならば 2nを3で割った余りは1だから 状態はq_1に変化する つまり q_2 ---0---> q_1 状態q_2に 入力1が来たら nは2n+1に変化する nを3で割った余りが2ならば 2n+1を3で割
ケータイ小説 計算機科学入門 第1話 - sumiiのブログ
なんでこんなキモい話書くの？ 計算機科学（コンピュータサイエンス）にも「常識」があるンだけど 現代人は忙しいし ましてや技術者はデスマーチ （研究者でもいるけど） 大学の授業受けたり 教科書とか読む暇ないでしょ（書く暇も） 情報とか計算機（コンピュータ）とか Computer = 日本語では計算機だけど 1+2=3みたいな計算だけじゃない 「情報」を処理することはみんな「計算」 情報って何、とか言い始めると哲学になっちゃうけど 知識の表現ってことにしておいて だから文字や文章はもちろん 画像とか音声・音楽とかも情報 計算モデル 「計算機科学」だから 計算機（っていうか「計算」そのもの）について「科学」するんだけど いちいち電子回路から考えてたら大変だし 古来、「計算（機）」は電子回路だけじゃないの 本質を明確にしたいから抽象化＝一般化して 数学的なモデルを考えるわ 有限状態オートマトン 一
OMakeでリアルタイムTeX - sumiiのブログ
ブームに乗り遅れて？いますが、 OMake つかって LaTeX コンパイルしたら簡単すぎて身長が5cm伸びた を見てOMakeを使ってみました。これは便利！ ただ、xdviの画面もリアルタイムに更新してほしかったので、 #!/bin/sh platex "$@" killall -q -USR1 pxdvi.binのようなスクリプトを書き、「LATEX = 」行でplatexのかわりにそちらを使うようにしました（「pxdvi.bin」は私が使っているxdviのバイナリ本体の名前です）。もっと良い方法があれば教えてください（←これが目的）。とりあえず、latexが複数回実行されると、そのたびにxdviも再描画されて画面がちらつきます。 ところで、あけましておめでとうございます。 追記：そんなこと↑をしなくても LATEX = platex LaTeXDocument(foo, foo) .
FirefoxでJavaがフリーズする・ハングする・固まる人は… - sumiiの日記
「コントロールパネル」→「Java」の「ネットワーク設定」で、「ブラウザの設定を使用」を「直接接続」にすると直るかもしれません。最近のアップデートのせいらしいです。私は某社のサーバ管理に必要なJavaアプレットや、授業の教科書を執筆されている先生の研究室ホームページがフリーズして困りました。 追記：それでも固まるアプレットがあるので、同じくJavaコントロールパネル上の「詳細」→「その他」→「システムトレイにJavaアイコンを配置」もオフにすると良いようです。他には「詳細」→「Javaコンソール」→「コンソールを表示する」を有効にしろ、という話も（これだとJavaが起動するたびに余計なウインドウが表示されますが）。むー。
継続祭りプログラム発表 - sumiiのブログ
http://logic.cs.tsukuba.ac.jp/Continuation/program-j.html 浅井 健一 (お茶の水) Typing printf (継続を使った printf の型付け) Oleg Kiselyov (FNMOC) Demo of persistent delimited continuations in OCaml for nested web transactions (ネストした web トランザクションのための永続的限定継続のデモ) 伊東 勝利 (Kahuaプロジェクト) Various use of continuations in Kahua - Application in practical web programming experience - (Kahua における継続の様々な使い方 - プラクティカルな web プログラミング
新OCaml本 - sumiiのブログ
http://gihyo.jp/book/2007/978-4-7741-3264-8 プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ 作者: 五十嵐淳出版社/メーカー: 技術評論社発売日: 2007/11/29メディア: 単行本（ソフトカバー）購入: 11人 クリック: 169回この商品を含むブログ (51件) を見る が届きました。図書登録手続きに2週間ぐらいかかる(!)そうなので、しばらくきちんと読めませんが、ぱっと見ただけでもWebにあった授業資料から大幅加筆（というかほとんどリライト？）されていて、説明も非常に懇切丁寧でわかりやすい気がします。ところどころにあるジョーク(?)も心が和みます。:-) 「OCamlでは，このような型に関する抽象や型への適用の構文は用意されていませんので，すべて心の中で行います」（強調は原文ママ）はすでに有名ですが、
思いて学ばざれば則ち殆うし - sumiiのブログ
あるところに同じようなことを（ほとんど成り行きで）書いたのですが、重要な問題のような気がしてきたので、こっちにも書いてみる。 一般に、関数型言語やプログラミング言語（および計算機科学、ないし任意の専門）についての情報は、 一般書・一般誌、Webやメーリングリストやブログ 教科書・専門書 論文 口頭での議論（学会発表や質疑応答、グループのミーティング、部屋での会話） などで交換されます。 で、一般に情報の「ディープさ」は上から下へ行くほど濃くなると思うのです（少なくとも僕の専門分野ではそう）。そのごく一部である1.だけ（しかも日本語onlyで）「勉強」していろいろと議論するのは、（何もしないよりは良いのかもしれませんが）非常に危険です。その危険をちゃんと意識していればno problemですが。「高速道路」の話と同じことかも。 たとえば、日本のネット(?)では今になって妙に持ち上げられている
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
毎年恒例の… - sumiiのブログ
Fail-Safe CコンパイラRelease 1 - sumiiのブログ
東海道新幹線の空席 - sumiiのブログ
灯台下暗し - sumiiのブログ