http://www.kmonos.net/wlog/96.html#_2319090427 今ある普通の言語の場合、「別に最左である必要はなくて、最大要素のインデックスならどれでもよかった」という実装をすることができません。 「普通の言語」どころか（書いた私が）頭のおかしいコードです…

してもらいました。今まで3台必要だった機器（VDSLモデムとひかり電話対応ルータと無線LANアクセスポイント）が1台になって非常にすっきりしました。ただ、機器は郵送だったのですがMACアドレスの登録が必要だったようで、つながらないので（「VDSL」のLEDが…

http://www.microsoft.com/japan/presspass/detail.aspx?newsid=3677 * 基礎的情報学分野 – 氏名：京都大学 大学院情報学研究科 准教授 五十嵐淳（36歳） – 研究：「オブジェクト指向言語理論の研究」 * 応用的情報学分野 – 氏名：産業技術総合研究所サービ…

「面白い研究をしているのだが論文（業績）にならなくて困る」という声を立て続けに*1耳にしたので、コンピュータソフトウェア誌の「ソフトウェア論文」と「小論文」カテゴリを（しつこく）宣伝します。掲載は有料ですが、発刊数ヵ月後にはオンラインで無償…

最近、EasyChair（無料の*1学会論文投稿・査読用サーバ）が重かったのだが、 Warning: EasyChair will be moved to a new server on April 18. It will be unavailable for several hours on April 18 and April 19. とのこと。締め切りまで何度も何度も何度…

かなり前にも触れましたが、ATTAPL (Advanced Topics in Types and Programming Languages)の234ページにある Such a relation is called "logical" because it respects the actions of the logical operators (in this case implication) that correspond …

長男：（部屋にある時計の一つを指して）「すうじがたりないよー？」 私：「省略されてるんだよー」 長男：「しょうりゃくう？」 私：「隠れてるんだよー」 長男：「どこにかくれてるのー？」 私：「うーん、頭の中に隠れてるんだよー」 長男：（必死に自分…

http://citeseerx.ist.psu.edu/stats/venues?y=2007他の年と比べても明らかにおかしい（笑）と思うのですが、どういう計算なのでしょうか。（←自分で確認しろよ）