Coq クィックリファレンスさっさと書けよ、俺
何というか、もっと時間があれば……。
取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion
とかの説明を書いたのと、自前で inversion
を行うのページを足した。えーと、次どうしよう……。
| 固定リンク
| コメント (0)
| トラックバック (0)
何というか、もっと時間があれば……。
取り敢えず最近、帰納法と場合分けのページで書きかけだった inversion
とかの説明を書いたのと、自前で inversion
を行うのページを足した。えーと、次どうしよう……。
| 固定リンク
| コメント (0)
| トラックバック (0)
Yash のテスト環境として Oracle Solaris 11 Express を VirtualBox に入れた。
Live CD から起動して仮想ハードディスクにインストールするのだが、途中で仮想機械のメモリが足りなくなって何度かやり直した (1 GB ではインストール中にフリーズ。1.5 GB で成功)。インストール後は 0.75 GB でもちゃんと動く。
それにしても Solaris は相変わらず対応している POSIX のバージョンが判らない。
| 固定リンク
| コメント (0)
| トラックバック (0)
バージョン 2.25 を公開した。
補完設定ファイルが増えて、補完がそれなりに実用的になってきた筈。Cd コマンドの引数を補完する際にサブディレクトリが補完できないのも直してある。
| 固定リンク
| コメント (0)
| トラックバック (0)
取り敢えず touch コマンドの件は諦めた。
補完設定ファイルは 120 個を越えそれなりに充実してきたので、補完設定を書くのに注力するのはこれまでにして、今後はリファクタリングやら多言語対応やらを進める。
| 固定リンク
| コメント (0)
| トラックバック (0)
引き続きいろいろ補完設定スクリプトを書いているが、touch コマンドのオプションの引数のところで悩む。このコマンドは touch -d 2011-11-15T01:04:33.325 ...
のようにオプションの引数で日時を指定するのだが、あらゆる年月日時分秒の値を補完候補として表示する訣にはいかないし、かといって何も表示しないと引数の書式が解らなくて困る。候補を出さずに引数の書式だけ情報として表示できればよいのだが、今の yash にはそんな機能はない。
| 固定リンク
| コメント (0)
| トラックバック (0)
FreeBSD で yash をログインシェルに設定してコンソールからログインすると、yash から起動したコマンドが Ctrl-Z を押したときなどに停止しなくて困ることがある。Yash が親プロセスから SIGTSTP シグナルなどを無視するシグナルハンドラを受け継いでいるのが原因なので、.yash_profile に以下のように書くと直る。
trap - TSTP TTIN TTOU
| 固定リンク
| コメント (0)
| トラックバック (0)
金を払うことを課金する
と書いている人を時時見かけるのだが、何なんだろう。
募金
の例もそうだが、こういう主客逆転の誤用は今後増えてゆくのだろうか。
| 固定リンク
| コメント (0)
| トラックバック (0)
俺妹第 6 回。田村さんちは面白いな。しかし抱き枕が入った箱をカッターで開けるのはいただけないぞ。
ヨスガノソラ第 5 回。駆け足気味だが奇妙なところがなく受け入れやすい話の展開。あとエロはこのくらいでいいです。
その 307 は欠番。
| 固定リンク
| コメント (0)
| トラックバック (0)
乱数の値をそのままサンプリングデータとして使用した音声は白色雑音になることが知られている。乱数に従って MIDI ポートを叩いてみるのもいいけど、擬似乱数をそのまま音声として再生して音色を聴き比べてみるのも面白いのではないかと思った。序でにフーリエ変換して全ての周波数成分が一様分布しているか見てみるとか。
| 固定リンク
| コメント (2)
| トラックバック (0)
set -o help
を実行すると不正なメモリアクセスが発生していたのを修正した。
ここらへんのオプションの解析のコードは歴史的経緯によりぐちゃぐちゃになっているので、いい加減書き直したいところ。
| 固定リンク
| コメント (0)
| トラックバック (0)
Yash コマンド自身の補完設定を書いた。Yash コマンドの引数の書式は set コマンドと大体同じなので、既に書いてある set コマンドの補完設定を拡張して yash に対応させた。序に sh, bash, dash, ksh, mksh にも対応しておいた。
| 固定リンク
| コメント (0)
| トラックバック (0)
百花繚乱第 5 回まで。話はどうということもないのだが、エンディングがファンクだったり釘宮さんの声が聴けたり豊崎さんのかわいい系じゃない声が聴けたり、変なところに見所 (というか聴き所) のあるアニメ。
| 固定リンク
| コメント (0)
| トラックバック (0)
補完設定ファイルをまだまだ増やしているところ。ある程度纏まったらリリースとして出したいが、多分 1 箇月以上先。
環境によって ps コマンドのオプションがばらばらで泣ける。
| 固定リンク
| コメント (0)
| トラックバック (0)
今期はイカ娘、ミルキィホームズ、神のみ、それ町あたりがコメディアニメとしていけそうな感じ。
俺妹第 5 回。そこそこ面白くなってきた。妹の無茶振りに毎回兄がどう対処するかを楽しむアニメ。解答がごり押し気味なのが玉に瑕。
FA 第 4 回。話の向かう先が未だ見えない。画はいいんだがなぁ。
| 固定リンク
| コメント (0)
| トラックバック (0)