英語を調べる辞書はどうするのがベストなのかと今更ながら考えている。というのも、これを書いている研究室貸与パソコンに元から「キングソフト辞書」というのが入ってたのでそのまま使ってたのだが、どうやらサービス自体が終了していて今後はアップデート…

人間に勝つコンピュータ将棋の作り方作者: 瀧澤武信,松原仁,古作登,橋本剛,小谷善行,鶴岡慶雅,山下宏,金子知適,保木邦仁,伊藤毅志,竹内章,篠田正人,コンピュータ将棋協会出版社/メーカー: 技術評論社発売日: 2012/09/29メディア: 単行本（ソフトカバー）購入…

全然大丈夫 [DVD]出版社/メーカー: ポニーキャニオン発売日: 2008/08/29メディア: DVD クリック: 68回この商品を含むブログ (108件) を見る「あまちゃん」で荒川良々が出ているのを見て思い出して借りた。いちおう主演は荒川ということになっているが、どっ…

以前もマニフェストについてブログに書いていたのだが、きのう改めて思ったことをメモ程度に。twitterでもつぶやいたけど。マニフェストを見て投票しましょう、というのは、「電化製品を選ぶときはちゃんとスペックを見て比較して買いましょう」という意見に…

しばらく前から自分のサイトとかブログをやっている。かれこれ15年ぐらいにはなると思うのだが、そのうち今Web上に残っていてすぐに参照できるのは、2006年以降のものだけだ。2006年というとずいぶん昔のようだが、ぼくの大学5年目の年なので、それは感覚的…

http://toeic900.jpn.org/ というようなブログを読んでたのだが、自分は確かに「やらなくてもいい理由」を探すのに長けているタイプだなと思った。それでもそこそこ人生何とかなっているのは、やっている時の効率が比較的よいからなのだろうか。TOEIC、こな…

日曜日にはじめて競輪のＧ１の決勝戦を観てきた。Ｇ１自体がたぶん初めてだったと思う。岸和田も前回行ったガールズのときとはくらべものにならないほどの人出で、１万人ぐらい入っていたのではないか。平塚ぐらいごはん食べるところがあればいいのだが、か…

http://www.oremada.jp/ 日活100周年の記念作品らしい。つまり、日活はまだ本気出してないだけ、ということなのだと宣言したに等しい。以下ネタバレ含む。

指定方向外進行禁止、という道路標識がある。名前を知らなくても画像を見ればわかると思う。で、これってかなり面白いのがいろいろあるので収集してるサイトないのかなと思ってたのだが、あった。「道路標識と信号機の森」さん http://trafficsignal.jp/~mor…

よくfacebookに「こどもが生まれました」的な投稿があって、それは大変めでたいことなのだが、アカウントがない人の画像を勝手に掲載していいのか、という疑問を感じる。別にそういう投稿を否定したいわけではない。むしろ、どちらかと言うと、そういう投稿…

空梅雨、と言うか、梅雨入りしてからほとんど雨が降っておらず、むしろ「まだ梅雨入りしていない」という方が正確な気がする。実際確か北陸や東北はまだ梅雨入りしていないのではないか。気象庁のデータを見る限り、奈良県北部の降水量は６月に入って0.0mm（…

はやめに出そうと思ってたが、1週間経過してしまった。 先週6/1,2で徳島に行ってきた。目的は、将来的な移住も含めた視察？と言うとかなり大げさなのだが、最近徳島でアツい「サテライトオフィス構想」がどんなものなのかを知るための旅行だった。具体的には…

学校から、先週の金曜日（2013/05/31）にサルが出たというメールが来た。一部引用。 先週金曜日の朝に、大学構内でかなり大きな猿が目撃されたようです。 その猿はグリーンラボ方面から宿舎に下る坂道を降りて来て、宿舎内の 公園を横切り、大学の校舎の方へ…

先日やっていたNHKのクローズアップ現代という番組で、スマートアグリというのが紹介されていた。*1まあなんというか、最近よく言われる農業の大規模化、IT化みたいなものの最新形態で、いろいろな情報をセンサーで管理して、そのデータは蓄積されてビッグデ…

日曜日は畑仕事。 月曜日は学校。 火曜日は学校。 今日も基本的には学校。定期健診的に歯医者にも行った。大学ではほとんど授業に出ていない。基本的には単位が揃っているので今年は研究、ということなのだが、学費を払っているのに授業に出ていないというの…

http://hk-movie.jp/index.html 土曜日に、奈良からはるばる尼崎は塚口まで行ってきた。塚口駅前の映画館はグルメシティのポイントカードを見せると300円ぐらい割引になるすごい映画館で、いままで北大和のグルメシティで蓄積したポイント分ぐらい得した気持…

例えばwikipediaにもプログラム意味論という項目があって、ぼくがやっている研究のベースにあるのはこういった理論なのだが、「意味論」という単語がいまいちピンとこなくてずっと苦しんだ。最近、なんでピンとこないかの理由が少しわかった気がするので書い…

今日はじめて今場所の相撲をリアルタイムでテレビで観戦した。相撲も９時終わりぐらいにずらして開催したほうが一般のファンを呼び込めそうだと１０年ぐらい前からずっと主張しているのだが、そう簡単でもないのだろうか。稀勢の里、近年見たことがないレベ…

あまり踏み入ってはいないのだが、 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1380364303?fr=rcmd_chie_detail こういうのを見ると謎を感じる。昔、知恵袋を利用したエロチャットみたいなのも見たことがある。あれはまだあるのかもしれない…

昔少年ジャンプで連載されていた究極のヘンタイ漫画、「究極！！変態仮面」が映画化するという話は聞いていたのだが、いつのまにか公開されていたのね。 http://hk-movie.jp/index.htmlそして梅田ではとうに公開が終わっており、奈良では上映予定はなく、塚…

火曜日にそのAIMから奈良に戻る際、はじめて昼行バスというのを使ってみた。ちゅうこうばす、と発音するのが正しそうだが、残念ながらMS-IMEには登録されていなかったし、普段の会話でも使わない。昼のバス、とか、昼バス、ぐらいか。http://www.kakuyasubus…

先週の火曜日から今週の月曜日まで、Agda Implementor's Meeting(通称AIM、エイム）というのに参加してきた。国際ワークショップ、とでも言うのだろうか参加者は海外からも来ていて、やりとりは英語オンリー。途中から慣れてはきたけど疲れた。自分の英語力…

忘れないうちに平塚記念最終日に平塚競輪場にはるばる行った記録を残しておく。 やっぱり、グランプリやるようなところは格段に賑やか。記念ということもあるけど、それだけではない。 具体的には、飲食店が多い。寿司屋もある。ホッピーも飲める。そして安…

ドメイン特化言語 パターンで学ぶDSLのベストプラクティス46項目作者: マーチンファウラー,Martin Fowler,角征典,ウルシステムズ株式会社,レベッカパーソンズ,Rebecca Parsons,平澤章,大塚庸史,坂本直紀出版社/メーカー: ピアソン桐原発売日: 2012/05/02メデ…

何か物事がわからないときは、わかるところまで戻って、そこから始める。それしか方法はないのに、それを選べない自分の驕りのようなものを感じることがある。これを、自分が納得できる範囲でどれぐらい減らせるかというのが、どんな道でも成功する秘訣なの…

大学にいて先生からいろいろと教わっていると、先生の先生、の話が出てくることがある。この「先生の先生」の話がとても好きだ。やはり、自分も「先生」と言われる立場になっているからかもしれないが、「先生の先生」*1の話というのは、表面的には、怒られ…

と、さっき荒川静香がテレビで言っていた。ここのところの記録。ブログを休んでいたのは特に明確に思うところがあったわけではなく、なんとなく、である。最近はてなダイアリープラスというのに加入して、アクセス解析ができるようになったので、まったく記…

http://projecteuler.net/ を、Haskellで始めてみた。 １問目は何とかなったが、２問目でいきなり挫折。そして http://www.haskell.org/haskellwiki/Euler_problems にちゃんと解答があり、参照してみると１問目の解き方もかなり違っていた。Haskellの処理系…

週末は生駒市で借りている高山の畑での植え付け作業と、学校で新しく借りはじめたグリーンラボの開墾に追われた。グリーンラボについて検索してみると前の学長・磯貝先生の記事が出てきたが、学校が無料で貸してくれる畑である。スイカ植えたらだめ・農薬ダ…

お金持ちになりたい、という人は非常に多い。もちろん、ぼくもなれるものであればなりたい、という気持ちはある。けれども最近気付いたのは、ここにはセキュリティ要件？みたいなことが欠落している人が多いのではないかということである。要するに「金持ち…