« 2010年10月 | トップページ | 2010年12月 »

2010年11月27日 (土)

Coq クィックリファレンスさっさと書けよ、俺

何というか、もっと時間があれば……。

取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion とかの説明を書いたのと、自前で inversion を行うのページを足した。えーと、次どうしよう……。

| | コメント (0) | トラックバック (0)

無題

Amazon.co.jp のダメダメな点は、各商品のページからメーカーのサイトへのリンクがないことである。

| | コメント (0) | トラックバック (0)

2010年11月23日 (火)

Oracle Solaris 11 Express in VirtualBox

Yash のテスト環境として Oracle Solaris 11 Express を VirtualBox に入れた。

Live CD から起動して仮想ハードディスクにインストールするのだが、途中で仮想機械のメモリが足りなくなって何度かやり直した (1 GB ではインストール中にフリーズ。1.5 GB で成功)。インストール後は 0.75 GB でもちゃんと動く。

それにしても Solaris は相変わらず対応している POSIX のバージョンが判らない。

| | コメント (0) | トラックバック (0)

テレビ番組等感想 その 310

イカ娘第 8 回。どうしてこの番組は普通に落ちを付けないのだろう。

| | コメント (0) | トラックバック (0)

2010年11月21日 (日)

Yash 2 その 199: バージョン 2.25 出した

バージョン 2.25 を公開した。

補完設定ファイルが増えて、補完がそれなりに実用的になってきた筈。Cd コマンドの引数を補完する際にサブディレクトリが補完できないのも直してある。

| | コメント (0) | トラックバック (0)

2010年11月20日 (土)

Yash 2 その 198

取り敢えず touch コマンドの件は諦めた。

補完設定ファイルは 120 個を越えそれなりに充実してきたので、補完設定を書くのに注力するのはこれまでにして、今後はリファクタリングやら多言語対応やらを進める。

| | コメント (0) | トラックバック (0)

2010年11月15日 (月)

Yash 2 その 197

引き続きいろいろ補完設定スクリプトを書いているが、touch コマンドのオプションの引数のところで悩む。このコマンドは touch -d 2011-11-15T01:04:33.325 ... のようにオプションの引数で日時を指定するのだが、あらゆる年月日時分秒の値を補完候補として表示する訣にはいかないし、かといって何も表示しないと引数の書式が解らなくて困る。候補を出さずに引数の書式だけ情報として表示できればよいのだが、今の yash にはそんな機能はない。

| | コメント (0) | トラックバック (0)

2010年11月13日 (土)

FreeBSD で yash

FreeBSD で yash をログインシェルに設定してコンソールからログインすると、yash から起動したコマンドが Ctrl-Z を押したときなどに停止しなくて困ることがある。Yash が親プロセスから SIGTSTP シグナルなどを無視するシグナルハンドラを受け継いでいるのが原因なので、.yash_profile に以下のように書くと直る。

trap - TSTP TTIN TTOU

| | コメント (0) | トラックバック (0)

「課金」

金を払うことを課金すると書いている人を時時見かけるのだが、何なんだろう。

募金の例もそうだが、こういう主客逆転の誤用は今後増えてゆくのだろうか。

| | コメント (0) | トラックバック (0)

2010年11月12日 (金)

テレビ番組等感想 その 309

ミルキィホームズがどんどん駄ニメから普通に面白いアニメになってきた。

| | コメント (0) | トラックバック (0)

2010年11月 8日 (月)

テレビ番組等感想 その 308

俺妹第 6 回。田村さんちは面白いな。しかし抱き枕が入った箱をカッターで開けるのはいただけないぞ。

ヨスガノソラ第 5 回。駆け足気味だが奇妙なところがなく受け入れやすい話の展開。あとエロはこのくらいでいいです。

その 307 は欠番。

| | コメント (0) | トラックバック (0)

2010年11月 6日 (土)

Re: 疑似乱数の善し悪しを可聴化して耳で聴いて感じてみた

乱数の値をそのままサンプリングデータとして使用した音声は白色雑音になることが知られている。乱数に従って MIDI ポートを叩いてみるのもいいけど、擬似乱数をそのまま音声として再生して音色を聴き比べてみるのも面白いのではないかと思った。序でにフーリエ変換して全ての周波数成分が一様分布しているか見てみるとか。

| | コメント (2) | トラックバック (0)

Yash 2 その 196

set -o help を実行すると不正なメモリアクセスが発生していたのを修正した。

ここらへんのオプションの解析のコードは歴史的経緯によりぐちゃぐちゃになっているので、いい加減書き直したいところ。

| | コメント (0) | トラックバック (0)

Yash 2 その 195

Yash コマンド自身の補完設定を書いた。Yash コマンドの引数の書式は set コマンドと大体同じなので、既に書いてある set コマンドの補完設定を拡張して yash に対応させた。序に sh, bash, dash, ksh, mksh にも対応しておいた。

| | コメント (0) | トラックバック (0)

2010年11月 3日 (水)

テレビ番組等感想 その 306

百花繚乱第 5 回まで。話はどうということもないのだが、エンディングがファンクだったり釘宮さんの声が聴けたり豊崎さんのかわいい系じゃない声が聴けたり、変なところに見所 (というか聴き所) のあるアニメ。

| | コメント (0) | トラックバック (0)

2010年11月 1日 (月)

Yash 2 その 194

補完設定ファイルをまだまだ増やしているところ。ある程度纏まったらリリースとして出したいが、多分 1 箇月以上先。

環境によって ps コマンドのオプションがばらばらで泣ける。

| | コメント (0) | トラックバック (0)

テレビ番組等感想 その 305

今期はイカ娘、ミルキィホームズ、神のみ、それ町あたりがコメディアニメとしていけそうな感じ。

俺妹第 5 回。そこそこ面白くなってきた。妹の無茶振りに毎回兄がどう対処するかを楽しむアニメ。解答がごり押し気味なのが玉に瑕。

FA 第 4 回。話の向かう先が未だ見えない。画はいいんだがなぁ。

続きを読む "テレビ番組等感想 その 305"

| | コメント (0) | トラックバック (0)

« 2010年10月 | トップページ | 2010年12月 »