flymake-haskellの導入

flymake-haskellを導入するにはEmacs Wikiの該当ページを参考。 ついでにエラーメッセージをミニバッファに表示するように設定します。ただhaskell-modeもミニバッファを利用しているので衝突。 なにせhaskell-modeはアイドルになって0.5秒後にミニバッファ…

flymakeの導入

Emacs-22には初めからついている。というわけで何の問題もなく導入。 Windows環境ではMeadowを更新したら入ってました。flymakeを利用するには、check-syntax:という名のターゲットを含むMakefileが必要です。 all: g++ test.cpp -O3 check-syntax: g++ test…

土曜日

ライブコーディング http://livecoding.org/ に行ってきました。 ライブコーダーがテーマを決めて即興でプログラムを書いて、その過程をみんなで鑑賞したり応援したりするというもので面白くて全く目が離せない。 Livecodingでは色々ためになる発見があった…

ICFP参加

学会があって東京にいったついでに、情報学の友人たちに会いに行ってきましたよ。 年に一度のICFP、関数型プログラミングコンテストにチームと直接会って参加するためです。田中さんや吉田さんや太田さんも日記を書いてますので参考にしてくださいね。 ICFP…

物理ポエム

ゆく河の流れは絶えずして しかももとの水にあらず。

重力塊魂

わが教室にGRAPEなる新型計算機(正確には演算ボード)が入ってきた。こいつは特定の演算(2質点間の重力)だけを超高速に遂行するというもので、使って見るとたしかに普通のコードで計算するより1000倍くらい速い。 ところで新しい環境に慣れるためには次のこと…

月曜日

花見

円山公園に花見にいってきました。 思い出 天井まで桜でした 公園を埋め尽くす場所取りシートに阻まれたヒトフラックスは、シートのわずかな移動で制御可能 場所取りが暇すぎたので隣のグループに混じって踊る 炭焼きウマー 寒いので次からは昼にやったらどうか

木曜日

シンプレクティックを見る

たぶん、あなたが今までに聞いたことのない音がするだろう。マシンがぶっ壊れたかと思うかもしれない。 http://www.geocities.jp/takascience/symplectic.wavhttp://www.geocities.jp/takascience/symplectic.png1次 Symplectic積分におけるエネルギーのずれ…

シンプレクティックを聞く

マクスウェルの悪魔シミュレータ

数理解析研究所での会合にあわせてアップロード。 悪魔の秘密を暴こう! http://www.geocities.jp/takascience/game_maker/maxwells-demon.zip

宇宙たこ焼きゲット

木曜日

遠足

春の遠足に劣らず大変なコースでしたが、今回は先頭に立って元気に縦断しました。 ハイキングというより登山だったので、見晴らしはよかったし、たまにすれ違うくらいで ぜんぜん混雑してませんでした。紅葉の季節にこういうのを見に行けばいいのではないか…

土曜日

ジョイパッド

生まれてこのかたゲームはキーボードでするものとばかり思っていた私ですが このまえ生協によったらサンワサプライのJY-P62UBKというジョイパッドが800円ぽっきりで 売っていたので、走っていって買いました。2つ。参考URL http://www.sanwa.co.jp/support/…

格子ゲージ理論

格子ゲージ理論とは、簡単に言うと世界はセルオートマトンで出来ているんじゃねーの?という理論です。んなことあるかいな。それだったらグライダーが飛ぶ4方向だけ物事の速度が速いとかいう現象が観測されるべきだろ。↓グライダー ● ● ● ● ● と思って、そ…

衝撃!衝撃波

衝撃波って、音速超えた時だけ出るのかと信じていたので、 なんであんなに偉い人々が衝撃波にこだわるのかなーとおもっていたら 有限の大きさの波は非線形効果によって尖っていき、必ず衝撃波になるんだということを知った。それに世の中には音速の遅い波も…

大文字登山

台風一過、こんなに空も透いから 大文字山に登ってきました。 人生初。今出川通りで、ビルや車止めの陰の長さから日没時刻を予測。 夕日が見れる時刻に頂上につくように見計らって登るのぼる登る。ちょうど帰省していた友達とその友達と、3人で登って 夜に…

月曜日

全自動ブックデジカメ試作型

ついに完成した。たいへんな回り道でありました。この装置は、この前のブックスキャナのスキャナの機能をデジカメに代替させることで より高速化を図ったものです。使ったのは、レゴの他には、ごく一般的なデジカメと日曜大工店で買った金属レール2本くらい…

日曜日

デジカメ買ってきた

さっそく怪しい装置に収める。デジカメが1台だと、それ自身を撮影するわけにはいかない。それは興味をそそられるトポロジーの問題だ。仕方がないのでいつもどおり携帯で撮影する。

日曜日

餘部鉄橋

青春18切符の旅に初挑戦。餘部鉄橋に行ってきた。かがやかしいかがく力の勝利を感じるかと思ったがそうでもなく、 最小の材料で最大の高架をかけるという 調和を感じた。

金曜日

ノートパソコン冷却システムの発明

ノートパソコンの暑い季節、皆さんいかがお過ごしでしょうか。学生部屋でも熱でPCが止まったり大変なことになっています。ICFPをやってたときはつねに計算していたのでキーボードが触りたくないほど熱くなって、キーボード裏面はもっと熱くて死ぬんじゃない…

新Petoris

で、X41Tabletはもちろんゲームにも使えるので、こちらの方面でも大変刺激を受ける。 人にゲームをやってもらうとアイデアをもらえるので、楽しいから改造するという奴です。そんで昔作ったPetorisを改良したので上げておきます。 帰りの電車の中でも作業し…