夜寝付けないので、ボーっとPCいじっているうちそんなものを作ってしまいました。 私は紫藤さんとこのhs-modeを適当にいじって使っているのですが、やっぱり処理系のインタフェースがあった方がいいなぁと以前から思っておりまして。ということで、インタフ…

の答えわからん…でも悔しくて答えが見られない。うう。

http://verificationguild.com/ つーてもハードウェア（EDA）業界のフォーラムですけどね。

今見たらエントリーが増えている。すいません本当ならばキッチリとご返答差し上げるところなのですが、自ら変な縛りを設けているためにorz 個人的に大変興味深いので禁を犯してトラバつけてしまいました。そしてまた。嗚呼。 なるほど。割にimaginaryなもの…

…自ら禁を破ってトラバつけてしまった。ダメすぎる俺。 ええと、あくまで例外ですので（今後例外がいくつできるんだろう…orz）。上記キャンペーンは続行中です。 これ、悪魔の方も本当に人間がやるんですかね。そうすると、「インターフェースが提示されれば…

自分の界隈の話ですが、「言語処理系の構築」で飯食ってる人も一応いますよ。 あの会社の誰々さんに頼もう、とかいう感じで仕事の発注出したりします。

まぁそんで。ていうかあんまりつながりないですが。やっぱり思いますけど、大学で正規の教育を受ける機会があるなら、そこでちゃんと勉強するのが一番の早道ですし、もったいないのでサボらないでください。絶対に後々効きますので。ええ。

ええと、やっぱり書いてしまうわけですが:P でも、誰かのブログにトラックバックもつけないし、つけられてもコメントもらっても反応しませんです。書きっぱなしジャーマンってことで。 仕事で言語（処理系）を作る機会は…自分の知る限り、DSL（Domain Specif…

いろいろ書きたいこともあるのですが、今月いっぱいはここにいろいろ書くのは差し控えます（せいぜいテニスの話くらい）。その他、よそのブログにコメントしたりここでのコメントにレスしたり、もしばらく封印。いや、場合によって書くかもしれませんが、場…

今日を最後に職場が変わることになりました。そして、会社の先輩にずっと借りっぱなしだったこれを返しました。Categories for the Working Mathematician (Graduate Texts in Mathematics)作者: Saunders Mac Lane出版社/メーカー: Springer発売日: 1998/12…

最近、暇なときに『Final Fantasy XII』をやってるんですが。今回のこのゲーム、フィールド画面と戦闘画面が一体になりました。フィールドにモンスターがいて、近づいたら互いにバカバカ戦闘をおっぱじめるのですよ。 で、併せて「ガンビットシステム」なる…

最近ここ、テニス日記になってるな・・・ 先月いけなかった分の振り替えを、ここに来て一気に消化しています。 んで相変わらずフォアのストロークが変な感じ。 あまりにひどいのでコーチに相談。「え？ちゃんと打ててますよ〜？」という返事がいったん返って…

一個前のエントリー書いてて、ふと思い出したのですが…こないだ、友人（♂）の結婚披露宴に呼ばれていきました。 ところが会場の都合やら何やらで、行ってみたら最前列の上座。いわゆるVIP席です。そして隣に座ったのは、新郎の恩師であるところの大学の先生…

こちらでトラックバックもらったので、トラックバック返し。元ネタはこの本。 しかし…何と言うか、私はそこまで否定的な意味で書いたつもりはないのです。「ブログ世代は以前の世代よりものを考えずに書くようになった」というのは、まぁ「ワープロ世代は手…

ここ1週間で2回くらい整体行ったのだけれど、そのせいかやたら体が軽かった。 そういう面ではよかったのだけど… ストローク 以前からのストローク（特にフォアハンド）のスランプがずっと尾を引いている。体全体がちぐはぐで、全然ちゃんと打てている気がし…

会社のPCではてなツールバーがバグるようになったので*1使わなくなったら、ここにほとんどアクセスしなくなってしまいました。 UIって重要。 *1:業務用のPCに入れるな、という話もありますが:p すいません会社の人。

全称記号は省きますが、 ところで [tex:xx^{-1}=(1x)x^{-1}=(((x^{-1})^{-1}x^{-1})x)x^{-1} =*1x^{-1}] となるので、結局 よって そうなのか、逆元の公理ってかたっぽだけでいいのか…うーん（イマイチ納得できていない） 追記：ためしに公理の方（単位元、…

しばらく時間が空いて体が鈍ってたのかすごく重かったのと*1、前回のときになにやら、ストローク（特にフォア）を打つときの体重移動で変な癖がついてしまったので、敢えて初心者のクラスで受講。昔通った道だ。なつかしや。結局、「変な癖」は最後の最後で…

を読みました。ウェブ進化論 本当の大変化はこれから始まる (ちくま新書)作者: 梅田望夫出版社/メーカー: 筑摩書房発売日: 2006/02/07メディア: 新書購入: 61人 クリック: 996回この商品を含むブログ (2377件) を見るなんかまぁ、ビール煽りながら、しかも"W…

疲れたまってて体が動かず、イマイチ低調。またやたらに人が多くてあんまり沢山打てなかった。 ストローク スクールの前に遊びで打って、そのときあまりウォーミングアップやらずにやったせいか、なんだかフォアハンドに変な癖がついてちゃんと打てなかった…

でした＠土曜日。 linear category というのを導入する話だったのだけど、その中で sum of maps を考える問題で激しく詰まってしまった。2時間くらい考えても結局解けず*1。ムズ。あと、ラーメン二郎は一人で食いに行きました。 *1:テキストに出て来ないnatu…

どうも疲れ気味。眼精疲労がたまってるので、あんまりPCの画面見られず。 家でも職場でも（ぉ ぐったりしてます。

本棚の奥にしまっていた本をなんとなく眺めていたら、自分の中では*1全部解決してしまいました。 という事で、その本を引用して、この話題については自分的終了にします。って今までも一回しか触れてないけど。 ところで、ある入力に対してはシステムが異常…

O3 Whiteの試打メインでやっちゃったので、自分の練習としては普段ほど得るものがなかったのですが。 ストローク フォアハンドは、よくも泣く悪くもなく、といったところ。普段とラケットが違うというのを考慮すれば、それなりに打てている。コースの打ち分…

以前マシンで試打したらPrinceのO3 Whiteが結構よさげに思えたので、借りてきて昨日・今日のテニス（お遊び＋スクール）で、今使ってるO3 Redと比較しながら使ってみた。…うーん、正直なところ、あんまりいい感じがしなかったなぁ。バチコーン、という、ボー…

Newton-Raphson法ってどうなんだろう、という素朴な疑問があったりして。 話はちょっと逸れますが > 例えば、「そのアルゴリズムは止まるんですか？」みたいな、定義に含まれることを質問してしまいそうで。これは「そのソートで本当にソートされるんですか…

まったくもって話は変わりますが、Googleで「たけを」で検索すると、ここがトップで引っかかるみたいです。ほら→google:たけを… 一番目は違いますよ。固有名詞「たけを」では私がNo.1です。

mixiの僕の日記読んでる人はわかると思いますけど、ここ数日プライベートでちょっとしたことがあって、かなり心身ともにやられていました。ついさっき解放されて、安堵から弛緩しまくっています。 だから何だと問われても困るんですけど、いやちょっと、書か…

こちらのコメントにもありますが、特許文書読みすぎると特許脳になります。 前に仕事で特許書いた後UML書いてたら、クラス図のクラスに「○○の機能を具備する装置」とか普通に書いてしまった事が。（実話）

おおぅなんだこれは。 へえと思いつつ、ついでに「お気に入り」なるものの存在を発見。 そして自分はブックマークをまったく使っていなかったことに気づく。しかし使い方とかメリットとかさっぱりわからんのです。